1
0
mirror of https://github.com/nganhkhoa/CTF-All-In-One.git synced 2025-02-17 22:47:33 +07:00
CTF-All-In-One/doc/8.33_ucklee.md
2018-08-05 17:43:10 +08:00

6 lines
168 B
Markdown

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