awesome-repositories.comBlog

© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com

MCP Blog Curated searches Sitemap Privacy Terms

Symqemu | Awesome Repository

eurecom-s3symqemu

0

View on GitHub↗

374 stars·51 forks·C·NOASSERTION·0 viewswww.s3.eurecom.fr/tools/symbolic_execution/symqemu.html↗

Symqemu

Features

Firmware Emulation Frameworks - Symbolic execution engine built on top of QEMU.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

SymQEMU: Compilation-based symbolic execution for binaries