IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretationgithub.com/NASA-SW-VnV91 pointsingve4 years ago