Btw, discovered something trying to update my research collection for memory safety and static analysis. Turns out, a prior technique for analyzing C that looked promising also has a Haskell project. That&#x27;s Liquid Types.<p>Links describing it &amp; to various projects
<a href="http:&#x2F;&#x2F;goto.ucsd.edu&#x2F;~rjhala&#x2F;liquid&#x2F;haskell&#x2F;blog&#x2F;about&#x2F;" rel="nofollow">http:&#x2F;&#x2F;goto.ucsd.edu&#x2F;~rjhala&#x2F;liquid&#x2F;haskell&#x2F;blog&#x2F;about&#x2F;</a><p>C verifier download
<a href="http:&#x2F;&#x2F;goto.ucsd.edu&#x2F;csolve&#x2F;" rel="nofollow">http:&#x2F;&#x2F;goto.ucsd.edu&#x2F;csolve&#x2F;</a>