Results
2
comments of
pa_kt
Seems like VEX library is unable to model RCR instruction correctly. Try binaries without RCR instructions.
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...