Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Symqemu	267	7 months ago	25	other	C
SymQEMU: Compilation-based symbolic execution for binaries
Hyperkernel	145	4 years ago			C

Dobby2	44	3 years ago		other	Python
Build your emulation environment as needed
Crax Lab	27	7 years ago	1		C
AIS3 CRAX lab demo
Qemu	21	a year ago	2	other	C
QEMU VM with generic KVM extensions for symbolic execution
Symbolic Trace	11	10 years ago	1		Haskell
Symbolic execution of LLVM IR traces for program understanding.
Hv6	7	4 years ago	1		C

Alternatives To Symqemu

Select To Compare

Symqemu ⭐ 267

SymQEMU: Compilation-based symbolic execution for binaries

most recent commit 7 months ago

Hyperkernel ⭐ 145

most recent commit 4 years ago

Dobby2 ⭐ 44

Build your emulation environment as needed

most recent commit 3 years ago

Crax Lab ⭐ 27

AIS3 CRAX lab demo

most recent commit 7 years ago

Qemu ⭐ 21

QEMU VM with generic KVM extensions for symbolic execution

most recent commit a year ago

Symbolic Trace ⭐ 11

Symbolic execution of LLVM IR traces for program understanding.

most recent commit 10 years ago

Hv6 ⭐ 7

most recent commit 4 years ago

Suggest An Alternative To symqemu

Alternative Project Comparisons

Symqemu vs Hyperkernel

Symqemu vs Dobby2

Symqemu vs Crax Lab

Symqemu vs Qemu

Symqemu vs Symbolic Trace

Symqemu vs Hv6

Popular Qemu Projects

Docker Osx ⭐ 33,944

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

most recent commit 6 months ago

Utm ⭐ 23,002

Virtual machines for iOS and macOS

most recent commit 5 months ago

Osx Kvm ⭐ 17,616

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

total releases 1latest release December 06, 2021most recent commit 6 months ago

Redox ⭐ 14,520

Mirror of https://gitlab.redox-os.org/redox-os/redox

most recent commit a year ago

Lima ⭐ 13,893

Linux virtual machines, with a focus on running containers

dependent packages 8total releases 61latest release December 01, 2023most recent commit 3 months ago

Popular Symbolic Execution Projects

Angr ⭐ 7,005

A powerful and user-friendly binary analysis platform!

dependent packages 16total releases 213latest release December 05, 2023most recent commit 5 months ago

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

dependent packages 7total releases 310latest release November 19, 2023most recent commit 2 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 10 months ago

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dependent packages 1total releases 3latest release December 23, 2022most recent commit 3 months ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 5 months ago

Popular Virtualization Categories