S2E / qemu

QEMU VM with generic KVM extensions for symbolic execution
24Updated last year

Alternatives and similar repositories for qemu:

Users that are interested in qemu are comparing it to the libraries listed below