The Sanitizers Handbook: Memory, Initialization, and Races

Some of the most dangerous native failures are produced by programs that appear to be working correctly. The cryptographic operation returns the right ciphertext. The parser rejects malformed input. T