Symbolic execution optimization method based on input constraint

Symbolic execution optimization method based on input constraint

Show other versions (1)

To solve path explosion,low rate of new path’s finding in the software testing,a new vulnerability discovering architecture based on input constraint symbolic execution (ICBSE) was proposed.ICBSE analyzed program source code to extract three types of constraints automatically.ICBSE then used these i...

Full description

Bibliographic Details
Main Authors: Sunlyu WANG, Yuqi LIN, Qiusong YANG, Mingshu LI
Format: Article
Language:zho
Published: Editorial Department of Journal on Communications 2019-03-01
Series:Tongxin xuebao
Subjects:
symbolic execution;input constraint;path explosion;bug finding
Online Access:http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2019062

Internet

http://www.joconline.com.cn/thesisDetails#10.11959/j.issn.1000-436x.2019062

Similar Items