angr.knowledge_plugins.key_definitions.liveness

class angr.knowledge_plugins.key_definitions.liveness.Liveness

Bases: object

This class stores liveness information for each definition.

__init__()
add_def(d)
Return type:

None

Parameters:

d (Definition)

kill_def(d)
Return type:

None

Parameters:

d (Definition)

make_liveness_snapshot()
Return type:

None

at_new_stmt(code_loc)

Only support moving from a statement to the next statement within one basic block.

Return type:

None

Parameters:

code_loc (CodeLocation)

at_new_block(code_loc, pred_codelocs)

Only support moving to a new block from one or more blocks.

Return type:

None

Parameters:
find_defs_at(code_loc, op=ObservationPointType.OP_BEFORE)
Return type:

set[Definition]

Parameters:
find_defs_at_raw(block_addr, block_idx, stmt_idx, op=ObservationPointType.OP_BEFORE)
Return type:

set[Definition]

Parameters:

  • block_addr (int)

  • block_idx (int | None)

  • stmt_idx (int | None)

  • op (int)

copy()
Return type:

Liveness