ropc icon indicating copy to clipboard operation
ropc copied to clipboard

Published 20 hours ago • verified publisher icon pakt

Error in gdefs.ml while generating gadgets for SPEC binary

Open sriskanda88 opened this issue 11 years ago • 3 comments

Hi,

The tool works excellently when I use it on small target binaries but when I use it on larger binaries (SPEC) I get the same error at the same place every single time. The last few lines of the output are attached. I tried debugging it but to no avail :(

fatal error

Any help is greatly appreciated !

Thanks, Skanda

sriskanda88 avatar Feb 07 '14 06:02 sriskanda88

Seems like VEX library is unable to model RCR instruction correctly. Try binaries without RCR instructions.

pakt avatar Feb 08 '14 19:02 pakt

Yup, I tried some test binaries without RCR and it worked fine. Is there any fix or workaround? Some way to ignore all RCR and RCL instructions maybe?

sriskanda88 avatar Feb 08 '14 23:02 sriskanda88

One way to "ignore" unknowns is to replace them with constants (like 0) before passing AST statements to the symbolic evaluator. This could introduce bugs, because such behavior doesn't model code semantics correctly.

pakt avatar Feb 11 '14 07:02 pakt