“reading the code like the Devil reads the Bible”
Recognizing patterns of programming errors
-> eliminating entire classes of bugs in audited code