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)