Super HN

   IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com) 4 points by u1hcw9nx 3 hours ago