# eurecom-s3/symqemu

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/eurecom-s3-symqemu).**

374 stars · 51 forks · C · NOASSERTION

## Links

- GitHub: https://github.com/eurecom-s3/symqemu
- Homepage: http://www.s3.eurecom.fr/tools/symbolic_execution/symqemu.html
- awesome-repositories: https://awesome-repositories.com/repository/eurecom-s3-symqemu.md

## Description

SymQEMU: Compilation-based symbolic execution for binaries

## Tags

### Part of an Awesome List

- [Firmware Emulation Frameworks](https://awesome-repositories.com/f/awesome-lists/security/firmware-emulation-frameworks.md) — Symbolic execution engine built on top of QEMU.