CTF-All-In-One/doc/8.33_ucklee.md

mirror of https://github.com/nganhkhoa/CTF-All-In-One.git synced 2024-10-19 01:12:52 +07:00
# 8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code

[paper](https://cseweb.ucsd.edu/~dstefan/cse291-winter18/papers/ucklee.pdf)

## 简介
finish 8.25 2018-06-11 13:56:56 +07:00			`# 8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code`
fix 2018-06-17 16:46:53 +07:00
fix 2018-07-13 23:31:51 +07:00			`[paper](https://cseweb.ucsd.edu/~dstefan/cse291-winter18/papers/ucklee.pdf)`
fix 2018-06-17 16:46:53 +07:00
			`## 简介`