Open XVilka opened 6 years ago
I think this is really needed. But it needs to be implemented along with ESIL rewrites, as most ESIL has wrong flags in most of the instructions (at least for x86).
Also it probably needs to use qemu, as it's impossible to run the tests for all the architectures in a sane amount of time without it.
See https://github.com/sushant94/esil-tests
cc @condret @ret2libc @sivaramaaa