angr.state_plugins.uc_manager

class angr.state_plugins.uc_manager.SimUCManager

Bases: SimStatePlugin

__init__(man=None)

assign(dst_addr_ast)

Assign a new region for under-constrained symbolic execution.

Parameters:

dst_addr_ast – the symbolic AST which address of the new allocated region will be assigned to.

Returns:

as ast of memory address that points to a new region

get_alloc_depth(addr)

Return type:

int | None

Parameters:

addr (int | Base)

set_alloc_depth(addr, depth)

Parameters:

• addr (Base)

• depth (int)

is_bounded(ast)

Test whether an AST is bounded by any existing constraint in the related solver.

Parameters:

ast – an claripy.AST object

Returns:

True if there is at least one related constraint, False otherwise