Camille Mougey
Camille Mougey
Hi there, From what I remember, the Pcode was not that complete; it is enough for decompilation, but lack elements (for instance, some flags) for a correct emulation. It might...
Not sure to understand what you're asking. If you want to try without `gcc`, you just have to remove: `-o qemu -t python,llvm` `-o gcc -t qemu,long` And replace `-o...
Regarding the `z3_ir.py` error, we can likely use the `model.eval` API instead of inspecting the AST of z3
As @serpilliere remarks, we didn't give you feedback for now. Here is my current remarks / questions: * Regarding the integration, I'm not sure adding it to the IR core...
Hi @mrphrazer, nice to hear from you again =] Another way to do the trick is to ask to `ira.get_out_regs` the registers to save, and then add at leaves bottom:...
As a side note: assigning to `IRDst` doesn't immediately modify the control flow (unlike it could be when assigning on `PC`, `EIP`, ...). The `IRDst` value is used at the...
Hi, Did you take a look at #499? Maybe there are some fix in this pending PR (unfortunately not updated for a while) that might help you.
Wow, very nice! I also agree for the dse_crackme thing, this is completely normal (and is related to the way the final test is performed). We also excluded it on...
Hello, Hum, for now, I would rather explictely call the simplifier in your script, instead of modifying `AssignBlock.simplify` in Miasm. We have this kind of code in several place in...
Hi, Thanks for the PR. Can you rebase on master, to have llvmlite working (for CI regression tests)?