angr.analyses.decompiler.empty_node_remover

class angr.analyses.decompiler.empty_node_remover.EmptyNodeRemover

Bases: object

Rewrites a node and its children to remove empty nodes.

The following optimizations are performed at the same time: - Convert if (A) { } else { … } to if(!A) { … } else { }

Variables:

_claripy_ast_conditions – True if all node conditions are claripy ASTs. False if all node conditions are AIL expressions.

__init__(node, ail_manager, claripy_ast_conditions=True)

Parameters:

• ail_manager (Manager)

• claripy_ast_conditions (bool)