Hacker News new | ask | show | jobs
by zamalek 205 days ago
Exactly the caveat that they themselves disclose: some scenarios are too dynamic for static analysis.