angr.knowledge_plugins.key_definitions.key_definition_manager¶

class angr.knowledge_plugins.key_definitions.key_definition_manager.RDAObserverControl¶

Bases: object

__init__(func_addr, call_site_block_addrs, call_site_ins_addrs)¶

Parameters:

func_addr (int)
call_site_block_addrs (Iterable[int])
call_site_ins_addrs (Iterable[int])

rda_observe_callback(ob_type, **kwargs)¶

class angr.knowledge_plugins.key_definitions.key_definition_manager.KeyDefinitionManager¶

Bases: KnowledgeBasePlugin

KeyDefinitionManager manages and caches reaching definition models for each function.

For each function, by default we cache the entire reaching definitions model with observed results at the following locations: - Before each call instruction: (‘insn’, address of the call instruction, OP_BEFORE) - After returning from each call: (‘node’, address of the block that ends with a call, OP_AFTER)

__init__(kb)¶

Parameters:: kb (KnowledgeBase)

has_model(func_addr)¶

Parameters:: func_addr (int)

get_model(func_addr)¶

Parameters:: func_addr (int)

copy()¶

Return type:: KeyDefinitionManager