angr.analyses.variable_recovery.annotations¶
- class angr.analyses.variable_recovery.annotations.StackLocationAnnotation¶
Bases:
Annotation- __init__(offset)¶
- property eliminatable¶
Returns whether this annotation can be eliminated in a simplification.
- Returns:
True if eliminatable, False otherwise
- property relocatable¶
Returns whether this annotation can be relocated in a simplification.
- Returns:
True if it can be relocated, false otherwise.
- class angr.analyses.variable_recovery.annotations.VariableSourceAnnotation¶
Bases:
Annotation- __init__(block_addr, stmt_idx, ins_addr)¶
- property eliminatable¶
Returns whether this annotation can be eliminated in a simplification.
- Returns:
True if eliminatable, False otherwise
- property relocatable¶
Returns whether this annotation can be relocated in a simplification.
- Returns:
True if it can be relocated, false otherwise.
- static from_state(state)¶