It&#x27;s not. Like most of academic ones, it can be picked up or clean-slated if people really want it. The authors tend to move on, though, as in BitC (unfortunately...). I have some others for you, though. Most research is on automatically transforming C instead of a safer, manually-done C. Best are these:<p><a href="https:&#x2F;&#x2F;www.cs.rutgers.edu&#x2F;~santosh.nagarakatte&#x2F;softbound&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.cs.rutgers.edu&#x2F;~santosh.nagarakatte&#x2F;softbound&#x2F;</a><p><a href="http:&#x2F;&#x2F;sva.cs.illinois.edu&#x2F;downloads.html" rel="nofollow">http:&#x2F;&#x2F;sva.cs.illinois.edu&#x2F;downloads.html</a><p><a href="http:&#x2F;&#x2F;dslab.epfl.ch&#x2F;proj&#x2F;cpi&#x2F;" rel="nofollow">http:&#x2F;&#x2F;dslab.epfl.ch&#x2F;proj&#x2F;cpi&#x2F;</a><p>Paper mentioning several of the safe C&#x27;s, including those like Vault you can&#x27;t have:<p><a href="https:&#x2F;&#x2F;pdfs.semanticscholar.org&#x2F;a890&#x2F;a850dc78e65e26f8f4def435b17094ce08cf.pdf" rel="nofollow">https:&#x2F;&#x2F;pdfs.semanticscholar.org&#x2F;a890&#x2F;a850dc78e65e26f8f4def4...</a><p>Galois, as usual, graciously open-sourced two of theirs (Ivory &amp; Tower) that&#x27;s already fielded in real world:<p><a href="http:&#x2F;&#x2F;ivorylang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;ivorylang.org&#x2F;</a><p>Popcorn and TALC are older ones in prototype form:<p><a href="https:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;talc&#x2F;releases.html" rel="nofollow">https:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;talc&#x2F;releases.html</a><p>Someone here showed me this one I haven&#x27;t evaluated but is used in compiler front-end:<p><a href="https:&#x2F;&#x2F;eigenstate.org&#x2F;myrddin&#x2F;" rel="nofollow">https:&#x2F;&#x2F;eigenstate.org&#x2F;myrddin&#x2F;</a><p>The C0 one used in Verisoft is embedded in vc0compiler-trunk probably. They did great things with it but I haven&#x27;t been brave enough to try to retrieve it ;).<p><a href="http:&#x2F;&#x2F;www.verisoft.de&#x2F;VerisoftRepository.html" rel="nofollow">http:&#x2F;&#x2F;www.verisoft.de&#x2F;VerisoftRepository.html</a><p>So, altogether, what remains is quite scattered and prototype form. Plus, you still have to rewrite the software. So, I&#x27;ve mostly been recommending people apply Softbound, SAFECode, and CPI to their code just to see what happens. If it still works and fast enough, then just use it as it covers most bases. Also, contributing to those three&#x27;s codebase is a very, wise move with potentially large impact.