My practitioner view of program analysis
https://sawyer.dev/posts/practitioner-program-analysis/Article
- Practitioner’s critique of formal program analysis from real-world usage
- Argues gap between formal proofs and informal reality is the core weakness
- Focuses on what analysis tools actually deliver vs. their theoretical promises
Discussion
- One commenter notes the formal/informal gap critique dates to a 1979 paper
- Another says author seems unaware of the SAT/SMT solver ecosystem entirely
| Type | Link |
| Added | Apr 22, 2026 |
| Modified | Apr 22, 2026 |