NASA-SW-VnV/ikos
View on GitHub ↗ ★ 3,177 C++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
23 mentions on Hacker News by 14 people: 8 stories, 15 comments · first 2018-12-11 · latest 2026-01-19
20082026
-
▲ 18
IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretationstory by u1hcw9nx · 2026-01-19 · 1 comment
-
▲ 1
Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretationstory by nateb2022 · 2024-11-11 · 0 comments
-
▲ 1
Static analyzer IKOS 3.2 Releasedstory by ivanperez-keera · 2023-12-28 · 0 comments
-
▲ 2
NASA's static analyzer IKOS 3.2-rc1 published – Request for testersstory by ivanperez-keera · 2023-12-17 · 0 comments
-
▲ 91
IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretationstory by ingve · 2022-04-20 · 38 comments
-
▲ 1
IKOS (Inference Kernel for Open Static Analyzers)story by jjuhl · 2019-04-24 · 0 comments
-
▲ 5
IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretationstory by pmarin · 2018-12-12 · 0 comments
-
▲ 3
IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretationstory by ingve · 2018-12-11 · 0 comments