Yeah. I'm not sure how transpiling to rust is that much different than using the various standard analysis tools. And back porting things like the counted by at

Yeah. I'm not sure how transpiling to rust is that much different than using the various standard analysis tools. And back porting things like the counted by attribute. Also the lowest hanging fruit in C would be adding the ability to box and unbox fat pointers to objects.