noreturn functions - Githubissues

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

noreturn functions #47

Closed ghost closed 7 years ago

ghost commented 8 years ago

During the decompilation, the tool can be lost if functions that never return are encountered. In particularly when the call was put in the middle of the function, the flow continue and it can generate unwanted loops.

2 solutions :

abort decompilation if too many loops have been computed
create a list of known noreturn functions, and propagate the flag if there are some wrappers. What to do with this simple example : eax = exit ... call eax ?

ghost commented 8 years ago

Need a visual command to specify a function/call that it never returns.

ghost commented 7 years ago

e952a4989f5c11ba4071d03ea658af1547edf00a