Tim Blazytko

Hi @serpilliere! Yeah, this absolutely makes sense. Thanks! I also think that it is reasonable to include it somewhere around the simplifier (or, at least make it optional).

> I don't say every implemented algorithms are ok, but if you have a counter example, feel free to open an issue about this: it has to be fixed! Just...

Hi! I could do this, but in this case I think I would also have to modify/recreate all Assign/IR blocks in `ira_cfg` manually, if I want to perform further analysis...

Hi! I think both approaches have advantges and disadvantages. On the short term, introducing `replace_right_values` and `replace_left_values` seems for sure way more feasible (perhaps `simplify_lhs` and `simplify_rhs` are better wordings?)....

Hi! Perhaps it is better to submit the PR first and discuss the details afterwards . Otherwise it might (or will) not make any sense to you. Give me a...

This was quicker than intended: See PR #1021 for more details. The simplification pass for `ExprAssign` is required to rewrite memory expressions as follows: ```python # ebx = @32[eax] ebx...

Hi Nikita, thanks for your interest. We like the idea, it sounds very useful for the community. Pull requests are definitely welcome. If you have any questions, don't hesitate to...

The video is currently not available but will be released in the next months by the organizer. I will update the repository then.

Thank you! :)

Thanks! It is based on the Usenix paper, but not intended to compare function similarity. Currently, it is more or less a wrapper for randomised exploration based on Unicorn. In...