4 ms·
How does your checker work?
by ScottBurson 12y ago
How does your checker work?
- awruef 12y agothe parent comment has a link that includes code and a blog post. clang-analyzer uses "symbolic execution". the work I've been doing in extension also uses symbolic execution.