| An Jing (安靖),Fan Wenqing,Yang Yixian.[J].高技术通讯(英文),2013,19(3):332~337 |
|
| Defeating constraint based program analysis with temporal correlation function |
| |
| DOI： |
| 中文关键词: |
| 英文关键词: program analysis, symbolic execution, satisfiability problem, constraint solving |
| 基金项目: |
| Author Name | Affiliation | | An Jing (安靖) | | | Fan Wenqing | | | Yang Yixian | |
|
| Hits: 714 |
| Download times: 0 |
| 中文摘要: |
| |
| 英文摘要: |
| Constraint based program analysis is widely used in program validation, program vulnerability analysis, etc. This paper proposes a temporal correlation function to protect programs from analysis. The temporal correlation function can be applied to resist against both static and dynamic function summary and concolic testing. What’s more, the temporal correlation function can produce different outputs even with same input. This feature can be used to damage the premise of function summary as well as prevent concolic testing process to run the new branch with new input. Experiment results show that this method can reduce efficiency and path coverage of concolic testing, while greatly increasing the difficulty of constraint based program analysis. |
|
View Full Text
View/Add Comment Download reader |
| Close |
|
|
|
