Comment by zamalek Comment by zamalek 13 hours ago 0 replies Copy Link View on Hacker News Exactly the caveat that they themselves disclose: some scenarios are too dynamic for static analysis.