期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
代码分析中的层次式静态检测方法
1
作者 徐路路 张丽萍 郭越 《计算机与现代化》 2013年第9期58-61,65,共5页
为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序... 为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序切片形式化抽象成布尔公式通过SAT求解器求解确定警告切片的真假性,综合第一层次和第二层次的分析结果提高分析工具的精确度。实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度,并能有效减少误报。 展开更多
关键词 静态分析 速度重比重静态分析工具 层次式分析 警告程序切片 SAT求解器
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部