IKOS: static analyzer for C/C++ based on the theory of Abstract Interpretationgithub.com/NASA-SW-VnV3 pointsingve8 years ago