angr.rust.optimization_passes.deref_coercion_simplifier_uninlined

class angr.rust.optimization_passes.deref_coercion_simplifier_uninlined.DerefCoercionSimplifierUninlined

Bases: OptimizationPass, SRDAMixin, CFAMixin, AILBlockRewriter

Simplify explicit deref coercion operations that have not been inlined. 1. Identify assignments where a VirtualVariable is assigned the result of a deref coercion function call. 2. Record the mapping from the VirtualVariable to the argument of the deref coercion function. 3. Traverse the AIL graph and replace occurrences of the VirtualVariable with the recorded argument. 4. Remove the original assignment statements that performed the deref coercion. 5. Update the AIL graph to reflect these changes.

ARCHES = None

PLATFORMS = None

STAGE: OptimizationPassStage = 8

NAME = 'Simplify explicit deref coercion operations (uninlined)'

__init__(func, manager, **kwargs)