angr.state_plugins.scratch

class angr.state_plugins.scratch.SimStateScratch

Bases: SimStatePlugin

Implements the scratch state plugin.

__init__(scratch=None)

property ail_block_idx

property is_ail

property priv

push_priv(priv)

pop_priv()

set_tyenv(tyenv)

tmp_expr(tmp)

Returns the Claripy expression of a VEX temp value.

Parameters:

• tmp – the number of the tmp

• simplify – simplify the tmp before returning it

Returns:

a Claripy expression of the tmp

store_tmp(tmp, content, reg_deps=frozenset({}), tmp_deps=frozenset({}), deps=None, **kwargs)

Stores a Claripy expression in a VEX temp value. If in symbolic mode, this involves adding a constraint for the tmp’s symbolic variable.

Parameters:

• tmp – the number of the tmp

• content – a Claripy expression of the content

• reg_deps – the register dependencies of the content

• tmp_deps – the temporary value dependencies of the content

clear()