zyt755

BUG: error in translating the "sbb" instruction

1

There is an error in lifting the x86 instruction "sbb" to IRs while calculating the AF flag. Since %32 and 15 perform unsigned greater than calculations, %33 will only become...

Failure when trying to reproduce the README instructions

10

Hi, I follow the instruction to install revng. But orchestra cannot work correctly to install rev.ng [https://github.com/revng/orchestra/tree/master#building-from-source](url). I type `orc update` and get ``` [+] WARNING - The remote HEADs...

Inconsistencies between lifting IRs and physical CPU

4

Hi, guys, several consistencies between lifting IRs and physical CPU are discovered while using. 1, In the case of the `imul` instruction, Remill resets both the `AF` and `ZF` flags...