VirtualTam's bookmarks

1. ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

   2018-12-13
   nasa programming/c programming/c++ static-analysis static-analysis/lint

   Permalink
   • https://www.di.ens.fr/~cousot/AI/IntroAbsInt.html
   • https://www.reddit.com/r/C_Programming/comments/a5a5nc/ikos_21_an_open_source_static_analyzer_for_c_and_c/