angr.analyses.decompiler.optimization_passes.engine_base¶
- class angr.analyses.decompiler.optimization_passes.engine_base.SimplifierAILState¶
Bases:
objectThe abstract state used in SimplifierAILEngine.
- __init__(arch, variables=None)¶
- copy()¶
- merge(*others)¶
- store_variable(old, new)¶
- Parameters:
old (VirtualVariable)
- get_variable(old)¶
- Parameters:
old (VirtualVariable)
- remove_variable(old)¶
- class angr.analyses.decompiler.optimization_passes.engine_base.SimplifierAILEngine¶
Bases:
SimEngineLightAIL[SimplifierAILState,Expression,Statement,Block]Essentially implements a peephole optimization engine for AIL statements (because we do not perform memory or register loads).