結果 : static analysis methods