CTF-All-In-One/doc/8.33_ucklee.md
2018-06-11 14:56:56 +08:00

2 lines
80 B
Markdown

# 8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code