CTF-All-In-One/doc/8.33_ucklee.md
firmianay b7d4f8ed46 fix
2018-07-14 00:31:51 +08:00

7 lines
169 B
Markdown

# 8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code
[paper](https://cseweb.ucsd.edu/~dstefan/cse291-winter18/papers/ucklee.pdf)
## 简介