IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation
Posted 3 hours ago by
u1hcw9nx
2
points
https://github.com/NASA-SW-VnV/ikos
0
comments