QEMU VM with generic KVM extensions for symbolic execution - View it on GitHub