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

(github.com)

17 points | by u1hcw9nx 2 days ago ago

1 comments