angr.analyses.decompiler.region_simplifiers.goto

class angr.analyses.decompiler.region_simplifiers.goto.GotoSimplifier

Bases: SequenceWalker

Remove unnecessary Jump statements. This simplifier also has the side effect of detecting Gotos that can’t be reduced in the structuring and eventual decompilation output. Because of this, when this analysis is run, gotos in decompilation will be detected and stored in the kb.gotos. See the _handle_irreducible_goto function below.

TODO: Move the recording of Gotos outside this function

__init__(node, function=None, kb=None)