Featured
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++
3.2k
218
15 contributors
Custom license
Achievements
Trendshift snapshots GitHub's daily Trending list and runs its own trending list
GitHub Trending
NASA-SW-VnV/ikos has been featured on GitHub Trending, first reaching #3 on Nov 11, 2024
Trendshift Trending
NASA-SW-VnV/ikos has trended on Trendshift's daily, weekly and monthly list
Daily
First achieved on 9th, Nov 2024 for C++
Weekly
First achieved in Week 45, 2024 for C++