해킹/Fuzzing
Symbolic Execution
NextLine
2017. 10. 17. 14:48
Reference
https://www.cc.gatech.edu/~harrold/6340/cs6340_fall2009/Slides/SymExClass-09.pdf
Symbolic Execution을 가장 쉽게 알 수 있는 PT 한장이라고 생각합니다.
아래 PT에서 Normal execution은 Concrete execution과 동일합니다.
Concrete execution : 구체적인 Input이 주어지고 그 Input으로 특정 루틴을 거쳐 실행이 되는것
Symbolic execution : 가능한 모든 경로를 거쳐서 각각의 path conditions을 얻는것(path conditions = 특정 지점에 도달할 수 있는 논리식)