結果 : static and dynamic program analysis