search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Update qemu_globals.h as needed for x64 #129

Open moralismercatus opened 9 years ago

moralismercatus commented 9 years ago

In Klee, qemu_globals.h contains data from QEMU. This data may need to be updated for x64 support.