Hacker News new | ask | show | jobs
by bjornsing 154 days ago
The concept is called static analysis.
1 comments

Seems adjacent, with some overlap.