lifting-bits / remill

Library for lifting machine code to LLVM bitcode
Apache License 2.0
1.26k stars 142 forks source link

Revisit BX in AArch32 with a PC destination #521

Open sschriner opened 3 years ago

sschriner commented 3 years ago

When the target register is the PC for BX (branch and change architecture to Thumb) the instruction is considered indirect control flow. However the target is known, so this could be direct control flow despite the architecture change.

(See TryDecodeBX in AArch32)