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