alt.hn

1/19/2026 at 10:49:46 AM

IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

https://github.com/NASA-SW-VnV/ikos

by u1hcw9nx

1/20/2026 at 6:21:39 AM

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?

by pseudohadamard