cozy.claripy_ext

Module Contents

Functions

simplify_kb(→ claripy.ast.bits)

Simplifies a claripy AST expression, given some knowledge base (kb) of information

get_symbol_name(sym)

model([n])

cozy.claripy_ext.simplify_kb(expr: claripy.ast.bits, kb: claripy.ast.Bool) claripy.ast.bits

Simplifies a claripy AST expression, given some knowledge base (kb) of information

Parameters:
  • expr (claripy.ast.bits) – The expression to simplify

  • kb (claripy.ast.Bool) – The knowledge base which is used to simplify the expr. This is typically a series of equalities conjoined together.

Returns:

A simplified version of the input expression, or the original expression if no simplification occurred.

Return type:

claripy.ast.bits

cozy.claripy_ext.get_symbol_name(sym)
cozy.claripy_ext.model(constraints, extra_symbols: set[claripy.BVS | claripy.FPS] | frozenset[claripy.BVS | claripy.FPS] = frozenset(), n=1, **kwargs) list[dict[claripy.BVS | claripy.FPS, claripy.BVV | claripy.FPV]]