Hacker News new | ask | show | jobs
by viraptor 3367 days ago
> All of the potential problems are known and there are tools to deal with them.

This is untrue. There are tools out there to deal with a lot of the issues, but not all of them. Due to what C allows and the halting problem, you cannot create such tools. Static analysis and dynamic sanitizers are still useful of course, but let's not pretend they're a solution.