監査原則の静的監査は、行動テストを補完します。テストは正しい動作を検証します。静的分析は、正しい動作と共存できる構造的な脆弱性を見つけます。APR-Shaper v4.2.0は、Phase 37でAPR-Liteに適用されたのと同じ規律に従って、静的ソース分析によって監査されました。
Narnaiezzsshaa Truong（Mon）がこの問題を研究しました。