結果 : program static analysis