Valentin Obst
Valentin Obst
Thanks for the report, I will take a look at it in the next few days.
Thanks for bringing this up, looks like a genuine bug. tl;dr: This is a problem with the normalization passes that we perform on the intermediate representation before building the final...
> Adding RISC-V to our test collection is a very good thing! :) However, I am inclined to suggest to postpone merging of this PR for the time being for...
> I might have an idea why the old code did not catch the case: We use the CFG to check for incoming edges when removing blocks, right? But if...
> Your updated `ToJsonCompact` format looks very good! > Nice, I included that in the first new commit. > Right now, your option a) would probably result in the best...
> Apart from the issue you mentioned yourself, everything looks good to me. Thanks for the review! Then I'll now clean up the commit log and resolve the merge conflicts...
There is quite a wealth of literature on the topic of binary code similarity, and function recognition as a particular subproblem, that would be relevant here. I recall that Qasem...
Hi, unfortunately it is not uncommon for implementations of static analysis algorithms to use a lot of memory. This is true for any tool that does analyses that maintain a...
I made the discussed changes (only to the Capstone backend for now). In short: - There is now only one compile time version of the ESIL for each instruction. Its...
> ping Yea, I got side-tracked with other stuff, so nothing happened here ... but still got this one on my list of things to do :)