Rare find

ikos. Static analyzer for C/C++ based on the theory of Abstract Interpretation.

github.com/NASA-SW-VnV/ikos

Problem

Audience

Updates

No founder updates yet. Check back soon.