claripy.ast.base

module documentation

(source)

Undocumented

Class	`ASTCacheKey`	Undocumented
Class	`Base`	This is the base class of all claripy ASTs. An AST tracks a tree of operations on arguments.
Function	`simplify`	Undocumented
Constant	`WORKER`	Undocumented
Variable	`l`	Undocumented
Variable	`md5_unpacker`	Undocumented
Variable	`var_counter`	Undocumented
Function	`_d`	This function is the deserializer for ASTs. It exists to work around the fact that pickle will (normally) call __new__() with no arguments during deserialization. For ASTs, this does not work.
Function	`_make_name`	Undocumented
Variable	`_unique_names`	Undocumented

def simplify(e): (source) ¶

Undocumented

WORKER = (source) ¶

Undocumented

Value

bool(os.environ.get('WORKER', False))

l = (source) ¶

Undocumented

md5_unpacker = (source) ¶

Undocumented

var_counter = (source) ¶

Undocumented

def _d(h, cls, state): (source) ¶

This function is the deserializer for ASTs. It exists to work around the fact that pickle will (normally) call __new__() with no arguments during deserialization. For ASTs, this does not work.

def _make_name(name, size, explicit_name=False, prefix=''): (source) ¶

Undocumented

_unique_names: bool = (source) ¶

Undocumented