IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation
17 points by u1hcw9nx
by pseudohadamard
0 subcomment
Has anyone tried this recently? There's a couple of these things on Github and related sites and they all tend to be serious fixer-uppers and typically stop getting updates at some point, see for example https://github.com/lvc/api-sanity-checker. In this case the last update was in late 2024 and there are lots of still-unresolved issues throughout 2025. Is it worth the effort that'll inevitably be required to play with it?
Hacker News