IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretationgithub.com/NASA-SW-VnV18 pointsu1hcw9nx5 months ago