cozy.claripy_ext
¶
Module Contents¶
Functions¶
|
Simplifies a claripy AST expression, given some knowledge base (kb) of information |
|
|
|
- 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]] ¶