mirror of
https://github.com/nganhkhoa/CTF-All-In-One.git
synced 2024-12-25 11:41:16 +07:00
6 lines
168 B
Markdown
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)
|
|
|
|
## 简介
|