Ghidra Decompiler Analysis Engine
The decompiler has to infer high-level type information about the variables it analyzes, as this kind of information is generally not present in the input binary. The decompiler recognizes common high-level unstructured control flow idioms, like break, and can use node-splitting in some situations to undo compiler flow optimizations that prevent a structured representation. During the main simplification loop, many p-code operations are normalized in specific ways for the term rewriting process that aren’t necessarily ideal for the final output.