武汉理工大学学报（信息与管理工程版）
武漢理工大學學報（信息與管理工程版）
무한리공대학학보（신식여관리공정판）
Journal of Wuhan University of Technology (Information & Management Engineering)
2015年
5期
585-588
,共4页
静态分析%软件质量%软件验证%性能改进
靜態分析%軟件質量%軟件驗證%性能改進
정태분석%연건질량%연건험증%성능개진
static analysis%software quality%software verification%performance improvement
针对主流的基于规则的静态分析工具，提出了一种快速的规则检查方法。由于一个代码文件通常只包含有限类型的程序缺陷，根据规则的特征对象对待匹配的规则进行过滤，可以极大地提高静态分析的效率。在开源静态分析工具PMD上进行了技术实现并开展了相关对比实验，实验结果表明，该方法较PMD方法效率平均提升了28．7％。
針對主流的基于規則的靜態分析工具，提齣瞭一種快速的規則檢查方法。由于一箇代碼文件通常隻包含有限類型的程序缺陷，根據規則的特徵對象對待匹配的規則進行過濾，可以極大地提高靜態分析的效率。在開源靜態分析工具PMD上進行瞭技術實現併開展瞭相關對比實驗，實驗結果錶明，該方法較PMD方法效率平均提升瞭28．7％。
침대주류적기우규칙적정태분석공구，제출료일충쾌속적규칙검사방법。유우일개대마문건통상지포함유한류형적정서결함，근거규칙적특정대상대대필배적규칙진행과려，가이겁대지제고정태분석적효솔。재개원정태분석공구PMD상진행료기술실현병개전료상관대비실험，실험결과표명，해방법교PMD방법효솔평균제승료28．7％。
Based on rule-based static analysis tools, an optimized rule-checking algorithm was proposed to improve their performance.This work was based on the observation that a source file generally contains limited types of vulnerabilities.There-fore, performance can be improved by filtering rules according to their characteristic objects.Comparative experiments were con-ducted against an open source static analysis tool PMD.Experimental results show that the proposed technique outperforms PMD by 28.7%in average.
