论文部分内容阅读
针对主流的基于规则的静态分析工具，提出了一种快速的规则检查方法。由于一个代码文件通常只包含有限类型的程序缺陷，根据规则的特征对象对待匹配的规则进行过滤，可以极大地提高静态分析的效率。在开源静态分析工具PMD上进行了技术实现并开展了相关对比实验，实验结果表明，该方法较PMD方法效率平均提升了28．7％。