angr.go.utils.graph

angr.go.utils.graph.is_jump_only(block)
Return type:

bool

Parameters:

block (Block)

angr.go.utils.graph.conditional_pred(graph, block)

The block whose conditional jump leads to block, looking through trampoline (jump-only) blocks.

Return type:

Block | None

Parameters:

  • graph (networkx.DiGraph)

  • block (Block)

angr.go.utils.graph.skip_jumps(graph, block)

Follow trampoline blocks until a block that does something.

Return type:

Block

Parameters:

  • graph (networkx.DiGraph)

  • block (Block)

angr.go.utils.graph.leads_to(graph, block, target)

Whether block is target or a trampoline chain ending at it.

Return type:

bool

Parameters:

  • graph (networkx.DiGraph)

  • block (Block)

  • target (Block)

angr.go.utils.graph.block_before(graph, block, target)

The last block of the trampoline chain from block to target (block itself when it is adjacent).

Return type:

Block | None

Parameters:

  • graph (networkx.DiGraph)

  • block (Block)

  • target (Block)