結果 : equivalent static analysis method