Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution
Joint Authors
Song, Yang
Zhang, Xuzhou
Gong, Yun-Zhan
Source
Mathematical Problems in Engineering
Issue
Vol. 2020, Issue 2020 (31 Dec. 2020), pp.1-12, 12 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2020-05-25
Country of Publication
Egypt
No. of Pages
12
Main Subjects
Abstract EN
This paper sets out to reveal the relationship between code pattern and infeasible paths and gives advices to the selection of infeasible path detection techniques.
Lots of program paths are proved to be infeasible, which leads to imprecision and low efficiency of program analysis.
Detection of infeasible paths is required in many areas of software engineering including test coverage analysis, test case generation, and security vulnerability analysis.
The immediate cause of path infeasibility is the contradiction of path constraints, whose distribution will affect the performance of different program analysis techniques.
But there is a lack of research on the distribution of contradict constraints currently.
We propose a code pattern based on the empirical study of infeasible paths; the statistical result proves the correlation of the pattern with contradict constraints.
We then develop a path feasibility detection method based on backward symbolic execution.
Performance of the proposed technique is evaluated from two aspects: the efficiency of detecting infeasibility paths for specific program element and the improvement of applying the technique on code coverage testing.
American Psychological Association (APA)
Song, Yang& Zhang, Xuzhou& Gong, Yun-Zhan. 2020. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering،Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
Modern Language Association (MLA)
Song, Yang…[et al.]. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering No. 2020 (2020), pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
American Medical Association (AMA)
Song, Yang& Zhang, Xuzhou& Gong, Yun-Zhan. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering. 2020. Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1195057