# binary exploitation

- [pwn.college](https://pwn.college)
- [ionetgarage](https://io.netgarage.org/), [pwnable.kr](https://pwnable.kr/), [pwnable.tw](https://pwnable.tw), [pwnable.xyz](https://pwnable.xyz)...
- [the nightmare book](https://guyinatuxedo.github.io/)
- [how2heap](https://github.com/shellphish/how2heap)

## tooling

- [angr](https://angr.io/)
- [z3](https://github.com/Z3Prover/z3), [cvc5](https://cvc5.github.io/), [stp](https://stp.github.io/), [yices2](https://yices.csl.sri.com/): smt solvers