Ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretationgithub.com/NASA-SW-VnV1 pointnateb20222 years ago