C2rust vs. Corrode
Are there similar projects which markup C to safer-C ?I remember seeing something similar but i cant find it. Somehow, it analyzes C code and produced C code with safe pointers, etc.Can someone please help ? Thanks(Not ASAN or binary-instrumentation projects)