计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2013年
9期
58-61,65
,共5页
静态分析%速度重比重静态分析工具%层次式分析%警告程序切片%SAT求解器
靜態分析%速度重比重靜態分析工具%層次式分析%警告程序切片%SAT求解器
정태분석%속도중비중정태분석공구%층차식분석%경고정서절편%SAT구해기
static analysis%static analysis tool of speed heavy proportion%hierarchical analysis%alarm program slice%SAT solver
为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法.第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序切片形式化抽象成布尔公式通过SAT求解器求解确定警告切片的真假性,综合第一层次和第二层次的分析结果提高分析工具的精确度.实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度,并能有效减少误报.
為瞭提高以速度為重比重的靜態分析工具輸齣結果的精確度和可信度,提齣一種層次式靜態檢測方法.第一層次選取速度重比重的靜態分析工具併產生檢測的初始輸齣結果;第二層次以初始檢測結果的警告信息為依據提取程序切片,然後將警告程序切片形式化抽象成佈爾公式通過SAT求解器求解確定警告切片的真假性,綜閤第一層次和第二層次的分析結果提高分析工具的精確度.實驗結果錶明該方法能夠從一定程度上提高分析工具的精確度和可信度,併能有效減少誤報.
위료제고이속도위중비중적정태분석공구수출결과적정학도화가신도,제출일충층차식정태검측방법.제일층차선취속도중비중적정태분석공구병산생검측적초시수출결과;제이층차이초시검측결과적경고신식위의거제취정서절편,연후장경고정서절편형식화추상성포이공식통과SAT구해기구해학정경고절편적진가성,종합제일층차화제이층차적분석결과제고분석공구적정학도.실험결과표명해방법능구종일정정도상제고분석공구적정학도화가신도,병능유효감소오보.
