Catching all bugs with static analysis is actually really easy, as long as you don't mind false positives.
Conventional static analysis tools come nowhere close to catching all bugs, even accounting for the false positives.
alt Hacker News
Conventional static analysis tools come nowhere close to catching all bugs, even accounting for the false positives.