Implementation of Intraprocedural Symbolic Execution
碩士 === 國立中正大學 === 資訊工程研究所 === 107 === Symbolic execution is a program analysis technique for software testing and bug finding, which uses symbols instead of concrete values as program inputs. The input symbols can represent arbitrary values. The program is executed as in a normal execution excep...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2019
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/p7sc8y |
| Summary: | 碩士 === 國立中正大學 === 資訊工程研究所 === 107 === Symbolic execution is a program analysis technique for software testing and bug finding, which uses symbols instead of concrete values as program inputs. The input symbols can represent arbitrary values. The program is executed as in a normal execution except that values may be symbolic formulas over the input symbols.
In this thesis, we implement an intra-procedural symbolic execution algorithm based on Cetus compiler infrastructure. For the tested benchmark programs, the experimental results show that our implementation can successfully obtain the information of execution paths and constraints.
|
|---|