IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation

2 points | by u1hcw9nx 2 hours ago

No comments yet