angr.knowledge_plugins.propagations.propagation_model

class angr.knowledge_plugins.propagations.propagation_model.PropagationModel

Bases: Serializable

This class stores the propagation result that comes out of Propagator.

__init__(prop_key, node_iterations=None, states=None, block_initial_reg_values=None, replacements=None, equivalence=None, function=None, input_states=None, function_block_count=None)

Parameters:

• prop_key (tuple)

• node_iterations (defaultdict[Any, int] | None)

• states (dict | None)

• block_initial_reg_values (dict | None)

• replacements (defaultdict[Any, dict] | None)

• equivalence (set | None)

• function (Function | None)

• input_states (dict | None)

• function_block_count (int | None)

key

node_iterations

input_states

states

block_initial_reg_values

replacements

equivalence

graph_visitor

function_block_count

downsize()

block_beginning_state(block_addr)

Return type:

PropagatorState