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