NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
91 best points · 39 comments · 8 Hacker News posts · 3,179 GitHub stars · View on GitHub
Hacker News discussions
- IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation (91 points, 38 comments, by ingve, 2022-04-20)
- IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (18 points, 1 comments, by u1hcw9nx, 2026-01-19)
- IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (5 points, 0 comments, by pmarin, 2018-12-12)
- IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretation (3 points, 0 comments, by ingve, 2018-12-11)
- NASA's static analyzer IKOS 3.2-rc1 published – Request for testers (2 points, 0 comments, by ivanperez-keera, 2023-12-17)
- IKOS (Inference Kernel for Open Static Analyzers) (1 points, 0 comments, by jjuhl, 2019-04-24)
- Static analyzer IKOS 3.2 Released (1 points, 0 comments, by ivanperez-keera, 2023-12-28)
- Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation (1 points, 0 comments, by nateb2022, 2024-11-11)