二维码（扫一下试试看！） | | 基于符号执行提高缺陷分析的准确性研究 | | Improving the Accuracy of Static Defect Analysis Based on Symbolic Execution | | 投稿时间：2017-12-15 | | DOI：10.15918/j.tbit1001-0645.2017.383 | | 中文关键词:静态分析符号执行缺陷检测不可达路径 | | English Keywords:static analysissymbolic executiondefects detectioninfeasible path | | 基金项目:国家重点研发计划网络空间安全重点专项（2016YFB0800900）；国家自然科学基金面上项目（61672534） | | | 摘要点击次数:852 | | 全文下载次数:291 | | 中文摘要: | | 静态分析是检测软件代码缺陷和提升软件代码质量的有效方式. 由于静态分析不实际运行代码，不能获取足够的运行时信息，因此分析结果的准确性有待提高. 相比而言，符号执行技术能够模拟执行程序并收集大量的数据流信息，提升数据流分析的准确程度，弥补静态分析的不足. 为了提高静态分析工具分析程序缺陷的准确性，本文设计并实现了一个代码缺陷检测工具ABAZER-SE，它基于GCC抽象语法树，综合采用符号执行与静态分析技术以检测源代码中的缺陷. 使用Toyota ITC静态分析基准对该工具进行了评估，实验结果表明，本文方法及工具可以提高静态分析结果的准确性. | | English Summary: | | Static analysis is an effective way of detecting defects and improving the quality of software codes. However, without running the programs, it can not collect runtime information, so the accuracy of its analysis result is low, i.e. there are false positives. Symbolic execution method can collect data flow information through simulating the execution of the target program, thereby increasing the accuracy of static analysis. In order to improve the accuracy of static analysis results, this paper designed and developed a defect detection tool ABAZER-SE, which was built on the GCC abstract syntax tree and combined symbolic execution and static analysis techniques. The tool was applied on the Toyota ITC benchmark and the experimental results show that it can improve the accuracy of static defect analysis. | | 查看全文查看/发表评论下载PDF阅读器 | |
.北京理工大学学报2020年总目次（第40卷）[J].北京理工大学学报（自然科学版）,2020,40(12):1369~1386..[J].TransactionsofBeijingInstituteofTechnology,2020,40(12):1369-1386.二维码（扫一下试试看！）北京理 ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21严迎建,郑震,郭朋飞,朱春生.一种检测S盒能量信息泄漏的t检验方法[J].北京理工大学学报（自然科学版）,2021,41(5):542~547.YANYingjian,ZHENGZhen,GUOPengfei,ZHUChunsheng.At-TestMethodforDetectingPowerIn ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21罗森林,杨俊楠,潘丽敏,吴舟婷.面向信息与通信技术供应链网络画像构建的文本语义匹配方法[J].北京理工大学学报（自然科学版）,2021,41(8):864~872.LUOSenlin,YANGJunnan,PANLimin,WUZhouting.TextSemanticMatchingMethodf ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21高原,施云惠,韩妍妍,曾萍,尹宝才.附加法向信息的三维网格预测编码[J].北京理工大学学报（自然科学版）,2019,39(1):88~94.GAOYuan,SHIYun-hui,HANYan-yan,ZENGPing,YINBao-cai.Compressionof3DMeshBasedonNorm ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21张冬晓,陈亚洲,程二威,杜宝舟.无人机信息链路电磁干扰效应规律研究[J].北京理工大学学报（自然科学版）,2019,39(7):756~762.ZHANGDong-xiao,CHENYa-zhou,CHENGEr-wei,DUBao-zhou.EffectsofElectromagneticInte ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21王晓萌,张涛,辛伟,侯长玉.深度学习源代码缺陷检测方法[J].北京理工大学学报（自然科学版）,2019,39(11):1155~1159.WANGXiao-meng,ZHANGTao,XINWei,HOUChang-yu.SourceCodeDefectDetectionBasedonDeepLea ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21.北京理工大学学报2019年总目次（第39卷）[J].北京理工大学学报（自然科学版）,2019,39(12):1321~1338..[J].TransactionsofBeijingInstituteofTechnology,2019,39(12):1321-1338.二维码（扫一下试试看！）北京理 ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21邱志强,吴开志,廖晶,代少飞.一种计算机数控的医用呼吸模拟平台设计[J].北京理工大学学报（自然科学版）,2019,39(S1):141~146.QIUZhi-qiang,WUKai-zhi,LIAOJing,DAIShao-fei.ADigitalControlSimulationPlatform ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21.北京理工大学学报2018年总目次（第38卷）[J].北京理工大学学报（自然科学版）,2018,38(12):1321~1338..[J].TransactionsofBeijingInstituteofTechnology,2018,38(12):1321-1338.二维码（扫一下试试看！）北京理 ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21郑凤,陈艺戬.基于多径的双极化信道信息反馈方法[J].北京理工大学学报（自然科学版）,2017,37(4):365~370.ZHENGFeng,CHENYi-jian.CSIFeedbackBasedonMulti-PathsInformationinDual-PolarizedMIMOSystem ... 北京理工大学科研学术 本站小编 Free考研考试 2021-12-21
| |
