versat - 2019-03-14

GitHub recommended the repository https://github.com/NASA-SW-VnV/ikos to me.
Short description from the readme:

IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.

I have looked a bit at the repository and IKOS (from NASA - Software Verification and Validation) really looks interesting but i have not tried it yet.

One thing that is maybe not that nice is that it is licensed under the "NASA Open Source Agreement version 1.3" which seems to be not fully compatible or at least not accepted as a free license by FSF and others. But there is already a request to change it, so maybe they switch to a "better" one.

If someone has already tried it or uses it i would be interested about the experience, opinion or other feedback.

Maybe we could use it as another analyzer for Cppcheck ...