There are at least a few memory safe C compilers (PoCs) [1] [2] [3] and probably more than a few memory safe C subsets [4] and dialects. However, they are not

There are at least a few memory safe C compilers (PoCs) [1] [2] [3] and probably more than a few memory safe C subsets [4] and dialects. However, they are not part of the C ecosystem, they don't compile into C and don't provide anything like musl gcc wrapper to be able to incrementally add memory safety in certain situations. [1] https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ https://www.cs.rutgers.edu/~santosh.nagarakatte/softbound/ [2] http://sva.cs.illinois.edu/index.html http://sva.cs.illinois.edu/index.html [3] http://chrisseaton.com/plas15/safec.pdf http://chrisseaton.com/plas15/safec.pdf [4] bounds checking feature in tcc https://bellard.org/tcc/ https://bellard.org/tcc/ http://download.savannah.nongnu.org/releases/tinycc/ http://download.savannah.nongnu.org/releases/tinycc/