IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretationgithub.com/NASA-SW-VnV5 pointspmarin8 years ago