Comment by Legend2440

Catching all bugs with static analysis would involve solving the halting problem, so it's never going to happen.