静的検査で洗える部分なんて、ほんの一部だ。
セマンティックな部分はほとんどノーチェック。
結局は安全はテストに大きく依存していることを自覚しろっての。