angr.analyses.variable_recovery.annotations

class angr.analyses.variable_recovery.annotations.StackLocationAnnotation

Bases: Annotation

eliminatable = False

relocatable = False

__init__(offset)

class angr.analyses.variable_recovery.annotations.VariableSourceAnnotation

Bases: Annotation

eliminatable = False

relocatable = False

__init__(block_addr, stmt_idx, ins_addr)

static from_state(state)