angr.knowledge_plugins.cfg.cfg_node¶

class angr.knowledge_plugins.cfg.cfg_node.CFGNodeCreationFailure¶

Bases: object

This class contains additional information for whenever creating a CFGNode failed. It includes a full traceback and the exception messages.

__init__(exc_info=None, to_copy=None)¶

short_reason

long_reason

traceback

class angr.knowledge_plugins.cfg.cfg_node.CFGNode¶

Bases: Serializable

This class stands for each single node in CFG.

__init__(addr, size, cfg, simprocedure_name=None, no_ret=False, function_address=None, block_id=None, irsb=None, soot_block=None, instruction_addrs=None, thumb=False, byte_string=None, is_syscall=None, name=None)¶

Note: simprocedure_name is not used to recreate the SimProcedure object. It’s only there for better __repr__.

Parameters:: block_id (BlockID | int | None)

simprocedure_name

instruction_addrs

irsb

soot_block

property dirty¶

property function_address¶

property addr¶

property block_id¶

property byte_string: bytes | None¶

property is_syscall: bool¶

property thumb: bool¶

property size: int¶

property no_ret: bool¶

property name¶

property successors¶

property predecessors¶

successors_and_jumpkinds(excluding_fakeret=True)¶

predecessors_and_jumpkinds(excluding_fakeret=True)¶

get_data_references(kb=None)¶

Get the known data references for this CFGNode via the knowledge base.

Parameters:: kb – Which knowledge base to use; uses the global KB by default if none is provided
Returns:: Generator yielding xrefs to this CFGNode’s block.
Return type:: iter

property accessed_data_references¶

Property providing a view of all the known data references for this CFGNode via the global knowledge base

Returns:: Generator yielding xrefs to this CFGNode’s block.
Return type:: iter

property is_simprocedure¶

property callstack_key¶

copy()¶

merge(other)¶: Merges this node with the other, returning a new node that spans the both.

to_codenode()¶

property block: Block | SootBlock | None¶

class angr.knowledge_plugins.cfg.cfg_node.CFGENode¶

Bases: CFGNode

The CFGNode that is used in CFGEmulated.

input_state

looping_times

depth

creation_failure_info

final_states

syscall

return_target

property callstack_key¶

property creation_failed¶

property syscall_name: str | None¶

downsize()¶: Drop saved states.

copy()¶