angr.analyses.decompiler.optimization_passes.cross_jump_reverter

class angr.analyses.decompiler.optimization_passes.cross_jump_reverter.CrossJumpReverter

Bases: StructuringOptimizationPass

This is an implementation to revert the compiler optimization Cross Jumping, an ISC optimization discussed in the USENIX 2024 paper SAILR. This optimization is somewhat aggressive and as such should be run last in your decompiler deoptimization chain. This deoptimization will take any goto it finds and attempt to duplicate its target block if its target only has one outgoing edge.

There are some heuristics in place to prevent duplication everywhere. First, this deoptimization will only run a max of max_opt_iters times. Second, it will not duplicate a block with too many calls.

STAGE: OptimizationPassStage = 10
NAME = 'Duplicate linear blocks with gotos'
DESCRIPTION = 'This is an implementation to revert the compiler optimization Cross Jumping, an ISC optimization discussed\nin the USENIX 2024 paper SAILR. This optimization is somewhat aggressive and as such should be run last in your\ndecompiler deoptimization chain. This deoptimization will take any goto it finds and attempt to duplicate its\ntarget block if its target only has one outgoing edge.\n\nThere are some heuristics in place to prevent duplication everywhere. First, this deoptimization will only run\na max of max_opt_iters times. Second, it will not duplicate a block with too many calls.'
__init__(*args, node_idx_start=0, max_opt_iters=3, max_call_duplications=1, **kwargs)
Parameters:

  • node_idx_start (int)

  • max_opt_iters (int)

  • max_call_duplications (int)