angr.rust.mixins.cfa_mixin

class angr.rust.mixins.cfa_mixin.CFAMixin

Bases: object

Control Flow Analysis Mixin

__init__(graph, project)

num_predecessors(block)

get_one_predecessor(block)

Return type:

Block

num_successors(block)

get_one_successor(block)

Return type:

Block

static first_non_label_stmt(block)

Return type:

Statement | None

static last_stmt(block)

Return type:

Statement | None

static replace_stmt(block, stmts, replacement)

terminal_call(block)

Return type:

Call | None

get_call_target(call)

Return type:

str | None

Parameters:

call (Call)

match_call(block_or_stmt, expected, monopolize=True, use_trait_name=True)