angr.rust.mixins.cfg_transformation_mixin

class angr.rust.mixins.cfg_transformation_mixin.CFGTransformationMixin

Bases: object

Mixin providing CFG graph transformation operations (block removal, splitting, etc.).

__init__(graph)

update_block_indexes()

remove_jump_target(block, jump_target, jump_target_idx)

Parameters:

• block (Block)

• jump_target (Const | int)

• jump_target_idx (int | None)

remove_false_branch(block)

Parameters:

block (Block)

replace_jump_target(block, old_target, old_target_idx, new_target, new_target_idx)

Parameters:

• old_target (Const | int | None)

• old_target_idx (int | None)

• new_target (Const | int)

• new_target_idx (int | None)

remove_block(block)

Parameters:

block (Block)

split_block(block, new_head_stmt)

Parameters:

block (Block)