Symbolic Execution

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 = 특정 지점에 도달할 수 있는 논리식)