監査の最良の方法は、コードベース全体を「メンタルインタプリタ」として作って、頭の中で実行することです。数週間かかることもあります。しかし、その後バグが自動的に落ち始めます。朝起きると新しい虫を思い浮かべるかもしれません。