I&#x27;m interested in the answer to that, too. A member of the Chrome team asked what static analysis or advanced verification tools I thought they could use in a significant C++ project. Digging around, I think I just found one, limited one plus two ways of doing Design-by-Contract (asserts &amp; OOP). That was it. Not inspiring lol.<p>Now, there has been work on type-safe or memory-safe version of C++. They&#x27;re non-standard. They also get smashed when a memory error occurs and <i>that will happen</i>. So, suggesting to rely on language-based isolation in C++ is a more a joke than something worth trying.<p>Good example of work on C++ safety:<p><a href="https:&#x2F;&#x2F;www.cis.upenn.edu&#x2F;~eir&#x2F;papers&#x2F;2013&#x2F;ironclad&#x2F;paper.pdf" rel="nofollow">https:&#x2F;&#x2F;www.cis.upenn.edu&#x2F;~eir&#x2F;papers&#x2F;2013&#x2F;ironclad&#x2F;paper.pd...</a>