call *(exit) : not detected as "noreturn"

plasma-disassembler / plasma

Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.

GNU General Public License v3.0

3.05k stars 275 forks source link

call *(exit) : not detected as "noreturn" #70

Closed ghost closed 7 years ago

ghost commented 8 years ago

The analyzer must save any computed immediate values. Checking the immediate value is not sufficient, we can have : call *(rip + OFF) where rip + OFF = exit. This bug occurs often in PE.

This feature will be very useful to simulate the li instruction in MIPS. li is a pseudo instruction, it uses 2 other instructions (example ori + addiu).

ghost commented 7 years ago

e6637f3766b3c0d333ee0e38b16f47f68543747b