Jonathan Salwan

Go ahead for a PR :)

btw, i don't really maintain ropgadget since i'm on other projects now. So, if you want to be a maintainer, i'm ok with this :)

[Ropper](https://github.com/sashs/Ropper) by @sashs maybe ?

Maybe you can start with the rop chain generated by the tool and then update it manually to avoid bad bytes? For example, maybe you can use some gadgets that...

Actually I was thinking about something like below but you are right, sounds fun for a training :). ``` hex(0x19318175 ^ 0x11111111) = 0x8209064 pop reg1 ; ret 0x19318175 pop...

Btw, i'm pretty sure we can automate this, sounds a good challenge :D

> Having the symbolized expressions and concrete values stored in a DB will not only enable recoverable processing, and also the ability to run a lot of offline analysis without...

Yes, AST will be shared between context (they are `shared_ptr`).

Awesome. Thanks for a such MR. Let me few weeks to review this. Can you try to fix CIs?

@cnheitman can you take a look at this too so that we have at least two reviews for a such MR?