That&#x27;s honest. :) I agree it will be around a while thanks to all the incumbent code. It&#x27;s why I push for efforts to automatically deal with its issues at least for legacy code. Astree Analyzer, Softbound +  CETS, CHERI processor, and CompCert compiler are all top examples of that. Links below. Enjoy. :)<p><a href="http:&#x2F;&#x2F;www.absint.com&#x2F;astree&#x2F;index.htm" rel="nofollow">http:&#x2F;&#x2F;www.absint.com&#x2F;astree&#x2F;index.htm</a><p><a href="http:&#x2F;&#x2F;www.cs.rutgers.edu&#x2F;~santosh.nagarakatte&#x2F;softbound&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cs.rutgers.edu&#x2F;~santosh.nagarakatte&#x2F;softbound&#x2F;</a><p><a href="https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;pdfs&#x2F;201503-asplos2015-cheri-cmachine.pdf" rel="nofollow">https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;pdfs&#x2F;201503...</a><p><a href="http:&#x2F;&#x2F;compcert.inria.fr&#x2F;" rel="nofollow">http:&#x2F;&#x2F;compcert.inria.fr&#x2F;</a>