- [ ] Qsym ([paper](https://sangho2.github.io/papers/yun:qsym.pdf)), - [ ] Symcc ([paper](https://www.s3.eurecom.fr/docs/usenixsec20_symcc.pdf), [GitHub](https://github.com/eurecom-s3/symcc), [site](https://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html)), - [ ] SymQEMU ([paper](https://www.ndss-symposium.org/wp-content/uploads/ndss2021_2B-2_24118_paper.pdf)), - [ ] Fuzzolic ([site](https://season-lab.github.io/fuzzolic/)), - [ ] Jigsaw ([paper](https://www.cs.ucr.edu/~csong/oakland22-jigsaw.pdf)).
