INNER CODE UNIT · Python

BasicBlock

P1sec/hermes-dec · src/hermes_dec/decompilation/defs.py:43

class BasicBlock:
    start_address: int
    end_address: int

    # These flags should indicate whether we have
    # encountered cycling in
    # "graph_traversers/step2_visite_code_paths.py"
    # (which indicates the presence of a loop):
    may_be_cycling_anchor: bool = False
    may_be_cycling_target: bool = False

    # These flags delimite blocks that will mark
    # the code not continue into something
    # whichsoever
    is_unconditional_throw_anchor: bool = False
    is_unconditional_return_end: bool = False

    # These flags delimite blocks that have the

View source record →