結果 : static analysis techniques