監査人は高価で、時間的な制約があり、人間です。彼らの仕事は、エッジケースを見つけることであり、未チェックのコールパターンを整理することではありません。チームが監査前にOlympixを使用すると、監査結果の20%がなくなります。そして何が残るでしょう? より多くのシグナル、より少ないノイズです。