VirtualTam's bookmarks

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

   tags: 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/