結果 : linear static analysis method