Reach 125K+ monthly visitors
Advertise on TrendshiftNASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++
3.2k
217
15 contributors
Custom license
Achievements
Trendshift snapshots GitHub's daily Trending list and runs its own trending list. The dynamic badges below mark the best position this repository has reached on each platform. They refresh automatically as its position climbs
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++