もう少し突っ込んだ話すると
ソースコードにはセキュリティホールは存在せずバイナリにセキュリティホールが存在するケースがある
コンパイラのバグとかバッファオーバーフローとか色々
こんなのソースコード一億回読み直しても絶対見つからない
だってソースコードは完璧に正しいんだから