IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation
7 points
6 hours ago
| 0 comments
| github.com
| HN
No one has commented on this post.