3 ms·IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation5 points by pmarin 8y ago