angr.rust.optimization_passes.outliners.unwrap_outliner

class angr.rust.optimization_passes.outliners.unwrap_outliner.UnwrapSimplifierState

Bases: object

State for tracking unwrap pattern detection.

__init__(conditional_jump_block, unwrap_failed_block, ownership_move_block, cmp_expr, unwrap_failed_func_name)
class angr.rust.optimization_passes.outliners.unwrap_outliner.UnwrapOutliner

Bases: OptimizationPass, CFAMixin, SRDAMixin, DFAMixin, CFGTransformationMixin, SSAVariableMixin

Replace unwrap/expect patterns with simplified function call expressions.

ARCHES = None
PLATFORMS = None
STAGE: OptimizationPassStage = 7
NAME = 'Outline unwrap function calls'
__init__(func, manager, **kwargs)