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

17 points by u1hcw9nx | 1 comments
Loading...