angr.analyses.fcp.fcp

class angr.analyses.fcp.fcp.SV

Bases: object

SizedValue: A faster implementation of claripy.ast.BV.

__init__(value, bits)
value
bits
class angr.analyses.fcp.fcp.FCPState

Bases: object

The abstract state for FastConstantPropagation.

__init__()
tmps
simple_stack
regs: dict[int, SV]
stack: dict[int, SV]
sp_value
bp_value
register_read(offset, size_in_bytes)
Return type:

int | None

Parameters:

size_in_bytes (int)

register_written(offset, size_in_bytes, value)
Parameters:

  • offset (int)

  • size_in_bytes (int)

  • value (int | None)

stack_read(offset, size_int_bytes)
Return type:

int | None

Parameters:

  • offset (int)

  • size_int_bytes (int)

stack_written(offset, size_int_bytes, value)
Parameters:

  • offset (int)

  • size_int_bytes (int)

  • value (int | None)

copy(with_tmps=False)
Return type:

FCPState

Parameters:

with_tmps (bool)

callee_stored_regs
class angr.analyses.fcp.fcp.SimEngineFCPVEX

Bases: SimEngineNostmtVEX[FCPState, SpOffset | RegisterOffset | int, None], SimEngineLight[type[FCPState], SpOffset | RegisterOffset | int, Block, None]

THe engine for FastConstantPropagation.

__init__(project, bp_as_gpr, replacements, load_callback=None)
Parameters:
class angr.analyses.fcp.fcp.FastConstantPropagation

Bases: Analysis

An extremely fast constant propagation analysis that finds function-wide constant values with potentially high false negative rates.

__init__(func, blocks=None, vex_cross_insn_opt=False, load_callback=None)
Parameters: