以下不属于代码静态分析的方法是()。