CN102708045B - 一种缓解路径爆炸的动态符号执行方法 - Google Patents
一种缓解路径爆炸的动态符号执行方法 Download PDFInfo
- Publication number
- CN102708045B CN102708045B CN201210106958.XA CN201210106958A CN102708045B CN 102708045 B CN102708045 B CN 102708045B CN 201210106958 A CN201210106958 A CN 201210106958A CN 102708045 B CN102708045 B CN 102708045B
- Authority
- CN
- China
- Prior art keywords
- constraint condition
- path
- node
- execution
- decision diagram
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
- 238000000034 method Methods 0.000 title claims abstract description 25
- 238000004880 explosion Methods 0.000 title abstract description 5
- 238000012360 testing method Methods 0.000 claims abstract description 54
- 238000010586 diagram Methods 0.000 claims abstract description 38
- 238000013507 mapping Methods 0.000 claims abstract description 7
- 230000003068 static effect Effects 0.000 claims abstract description 7
- 230000014509 gene expression Effects 0.000 claims description 44
- 230000008569 process Effects 0.000 abstract description 9
- 238000001514 detection method Methods 0.000 description 6
- 230000006870 function Effects 0.000 description 6
- 238000005516 engineering process Methods 0.000 description 4
- 206010027476 Metastases Diseases 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 230000009401 metastasis Effects 0.000 description 2
- 238000012546 transfer Methods 0.000 description 2
- 230000007704 transition Effects 0.000 description 2
- 239000011800 void material Substances 0.000 description 2
- 241000995070 Nirvana Species 0.000 description 1
- 239000000654 additive Substances 0.000 description 1
- 230000000996 additive effect Effects 0.000 description 1
- 230000003542 behavioural effect Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000013506 data mapping Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000009434 installation Methods 0.000 description 1
- 230000037361 pathway Effects 0.000 description 1
- 235000002020 sage Nutrition 0.000 description 1
- 238000009738 saturating Methods 0.000 description 1
- 238000010845 search algorithm Methods 0.000 description 1
- 238000013522 software testing Methods 0.000 description 1
- 238000010998 test method Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210106958.XA CN102708045B (zh) | 2012-04-13 | 2012-04-13 | 一种缓解路径爆炸的动态符号执行方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210106958.XA CN102708045B (zh) | 2012-04-13 | 2012-04-13 | 一种缓解路径爆炸的动态符号执行方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102708045A CN102708045A (zh) | 2012-10-03 |
CN102708045B true CN102708045B (zh) | 2014-07-23 |
Family
ID=46900850
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210106958.XA Expired - Fee Related CN102708045B (zh) | 2012-04-13 | 2012-04-13 | 一种缓解路径爆炸的动态符号执行方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102708045B (zh) |
Families Citing this family (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103019862B (zh) * | 2012-12-13 | 2015-08-19 | 北京神州绿盟信息安全科技股份有限公司 | 一种符号执行方法、装置及系统 |
CN103116540B (zh) * | 2013-01-23 | 2015-02-18 | 电子科技大学 | 基于全局超级块支配图的动态符号执行方法 |
CN103530471B (zh) * | 2013-10-23 | 2017-03-08 | 中国科学院声学研究所 | 一种基于模拟器的关键路径分析方法 |
CN104750608B (zh) * | 2015-03-25 | 2017-10-27 | 南京大学 | 一种程序中基于动态符号执行的自动错误定位方法 |
CN104732152B (zh) * | 2015-04-07 | 2017-11-24 | 南京大学 | 基于符号执行路径剪枝的缓冲区溢出漏洞自动检测方法 |
CN106599695B (zh) * | 2016-06-03 | 2019-07-09 | 南京大学 | 一种基于路径合并的可引导符号执行漏洞检测方法 |
CN107656863A (zh) * | 2016-11-03 | 2018-02-02 | 华东师范大学 | 一种基于关键点引导的数据流测试方法及其测试系统 |
CN108959056B (zh) * | 2017-05-17 | 2021-11-16 | 富士通株式会社 | 测试用例生成方法和测试用例生成装置 |
CN107885663B (zh) * | 2017-11-29 | 2021-01-22 | 中国电子产品可靠性与环境试验研究所 | 测试用例自动生成的方法、装置、计算机设备及存储介质 |
CN108681672A (zh) * | 2018-05-09 | 2018-10-19 | 西安电子科技大学 | 一种基于A-Star的引导型符号执行方法及系统、Android应用程序 |
CN109376535B (zh) * | 2018-08-14 | 2022-03-04 | 中国信息安全测评中心 | 一种基于智能化符号执行的漏洞分析方法及系统 |
CN109992507B (zh) * | 2019-03-22 | 2022-06-24 | 北京信息科技大学 | 基于模拟执行的程序模糊测试方法及装置 |
CN110457208B (zh) * | 2019-07-16 | 2023-01-06 | 百度在线网络技术(北京)有限公司 | 符号执行的引导方法、装置、设备及计算机可读存储介质 |
CN110750448B (zh) * | 2019-09-18 | 2023-10-24 | 北京丁牛科技有限公司 | 基于符号执行的测试用例生成方法及装置 |
CN111193640B (zh) * | 2019-12-26 | 2021-07-13 | 西安交通大学 | 采用策略分解和符号执行的有状态数据平面故障检测方法 |
CN113688403A (zh) * | 2021-10-26 | 2021-11-23 | 江苏通付盾科技有限公司 | 一种基于符号执行验证的智能合约漏洞检测方法及装置 |
CN114416598B (zh) * | 2022-03-28 | 2022-06-17 | 广州番禺职业技术学院 | 一种基于测试切片的众包测试扩增方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101710378A (zh) * | 2009-10-10 | 2010-05-19 | 北京理工大学 | 一种基于序列模式挖掘的软件安全漏洞检测方法 |
CN101714119A (zh) * | 2009-12-09 | 2010-05-26 | 北京邮电大学 | 基于二进制程序的测试数据生成器和方法 |
CN101814053A (zh) * | 2010-03-29 | 2010-08-25 | 中国人民解放军信息工程大学 | 一种基于功能模型的二进制代码漏洞发现方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8850396B2 (en) * | 2010-05-27 | 2014-09-30 | Red Hat Israel, Ltd. | Performing software testing based on grouping of tests using test list entity |
-
2012
- 2012-04-13 CN CN201210106958.XA patent/CN102708045B/zh not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101710378A (zh) * | 2009-10-10 | 2010-05-19 | 北京理工大学 | 一种基于序列模式挖掘的软件安全漏洞检测方法 |
CN101714119A (zh) * | 2009-12-09 | 2010-05-26 | 北京邮电大学 | 基于二进制程序的测试数据生成器和方法 |
CN101814053A (zh) * | 2010-03-29 | 2010-08-25 | 中国人民解放军信息工程大学 | 一种基于功能模型的二进制代码漏洞发现方法 |
Non-Patent Citations (4)
Title |
---|
JUTA:一个Java自动化单元测试工具;严俊等;《计算机研究与发展》;20101231;第47卷(第10期);第1843页第1段 * |
严俊等.JUTA:一个Java自动化单元测试工具.《计算机研究与发展》.2010,第47卷(第10期),第1840-1847页. |
基于符号化执行的Fuzzing测试方法;陈建敏;《计算机工程》;20091130;第35卷(第21期);第33页右栏第1段至第35页左栏倒数第1段 * |
陈建敏.基于符号化执行的Fuzzing测试方法.《计算机工程》.2009,第35卷(第21期),第33-35页. |
Also Published As
Publication number | Publication date |
---|---|
CN102708045A (zh) | 2012-10-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102708045B (zh) | 一种缓解路径爆炸的动态符号执行方法 | |
CN103116540B (zh) | 基于全局超级块支配图的动态符号执行方法 | |
CN104008053B (zh) | 一种用于漏洞发掘的动态符号执行路径搜索方法 | |
CN102508780B (zh) | 一种用于软件测试的交叉式动态法和装置 | |
CN103559122B (zh) | 基于程序行为切片的测试案例约减方法 | |
CN102253889B (zh) | 一种回归测试中基于分布的测试用例优先级划分方法 | |
Liffiton et al. | Enumerating infeasibility: Finding multiple MUSes quickly | |
Mao et al. | Adapting ant colony optimization to generate test data for software structural testing | |
Kang et al. | An approach for effective design space exploration | |
CN104598383A (zh) | 一种基于模式的动态漏洞挖掘集成系统和方法 | |
CN105528289B (zh) | 一种基于分支覆盖与相似性的回归测试用例优先排序方法 | |
CN105868116A (zh) | 基于语义变异算子的测试用例生成和优化方法 | |
CN102231134A (zh) | 基于静态分析的冗余代码缺陷检测方法 | |
CN102968375B (zh) | 基于关联规则挖掘的不可达路径检测方法 | |
Aceto et al. | The algorithmics of bisimilarity. | |
Mao | Generating test data for software structural testing based on particle swarm optimization | |
CN100559347C (zh) | 一种嵌套循环结构的识别方法 | |
CN101261602A (zh) | 一种基于语法树的程序正确性验证方法 | |
Arcaini et al. | Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism | |
Zhou et al. | Path constraint solving based test generation for hard-to-reach states | |
Gong et al. | Grouping target paths for evolutionary generation of test data in parallel | |
CN103678123A (zh) | 一种适用于处理器系统单粒子软错误脆弱点识别方法 | |
Jiang et al. | Test data generation approach for basis path coverage | |
CN105528296B (zh) | 一种面向对象软件的类簇测试方法 | |
Cai et al. | Automatic software vulnerability detection based on guided deep fuzzing |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
ASS | Succession or assignment of patent right |
Owner name: NO.54 INST., THE HEADQUARTERS OF THE GENERAL STAFF Effective date: 20130910 |
|
C41 | Transfer of patent application or patent right or utility model | ||
C53 | Correction of patent of invention or patent application | ||
CB03 | Change of inventor or designer information |
Inventor after: Zhang Xiaosong Inventor after: Chen Ting Inventor after: Guo Shize Inventor after: Ji Xiaoli Inventor after: Zhu Cong Inventor after: Hou Haojun Inventor before: Zhang Xiaosong Inventor before: Chen Ting Inventor before: Ji Xiaoli Inventor before: Zhu Cong Inventor before: Hou Haojun |
|
COR | Change of bibliographic data |
Free format text: CORRECT: INVENTOR; FROM: ZHANG XIAOSONG CHEN TING JI XIAOLI ZHU CONG HOU HAOJUN TO: ZHANG XIAOSONG CHEN TING GUO SHIZE JI XIAOLI ZHU CONG HOU HAOJUN |
|
TA01 | Transfer of patent application right |
Effective date of registration: 20130910 Address after: 611731 Chengdu province high tech Zone (West) West source Avenue, No. 2006 Applicant after: University of Electronic Science and Technology of China Applicant after: NO.54 INSTITUTE OF THE HEADQUARTERS OF GENERAL STAFF OF PLA Address before: 611731 Chengdu province high tech Zone (West) West source Avenue, No. 2006 Applicant before: University of Electronic Science and Technology of China |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20140723 |
|
CF01 | Termination of patent right due to non-payment of annual fee |