Comment by jibal

The author made multiple statements, and one of them was “it is not in general possible to find bugs by examining the code”, which is simply false.