claripy.operations

module documentation
(source)

Undocumented

Function basic_length_calc Undocumented
Function concat_length_calc Undocumented
Function ext_length_calc Undocumented
Function extend_check Undocumented
Function extract_check Undocumented
Function extract_length_calc Undocumented
Function int_to_str_length_calc Undocumented
Function length_same_check Undocumented
Function op Undocumented
Function preprocess_union Undocumented
Function reversed_op Undocumented
Function str_basic_length_calc Undocumented
Function str_concat_length_calc Undocumented
Function str_replace_check Undocumented
Function str_replace_length_calc Undocumented
Function strindexof_bv_size_calc Undocumented
Function strlen_bv_size_calc Undocumented
Function strtoint_bv_size_calc Undocumented
Function substr_length_calc Undocumented
Variable backend_arithmetic_operations Undocumented
Variable backend_bitmod_operations Undocumented
Variable backend_bitwise_operations Undocumented
Variable backend_boolean_operations Undocumented
Variable backend_comparator_operations Undocumented
Variable backend_creation_operations Undocumented
Variable backend_fp_cmp_operations Undocumented
Variable backend_fp_operations Undocumented
Variable backend_operations Undocumented
Variable backend_operations_all Undocumented
Variable backend_operations_vsa_compliant Undocumented
Variable backend_other_operations Undocumented
Variable backend_strings_operations Undocumented
Variable backend_symbol_creation_operations Undocumented
Variable bin_ops Undocumented
Variable commutative_operations Undocumented
Variable expression_arithmetic_operations Undocumented
Variable expression_bitwise_operations Undocumented
Variable expression_comparator_operations Undocumented
Variable expression_operations Undocumented
Variable expression_set_operations Undocumented
Variable infix Undocumented
Variable inverse_operations Undocumented
Variable leaf_operations Undocumented
Variable leaf_operations_symbolic_with_union Undocumented
Variable not_invertible Undocumented
Variable op_precedence Undocumented
Variable opposites Undocumented
Variable prefix Undocumented
Variable preprocessors Undocumented
Variable reverse_distributable Undocumented
Variable reversed_ops Undocumented
Variable union_counter Undocumented
Function _handle_annotations Undocumented
def basic_length_calc(*args): (source)

Undocumented

def concat_length_calc(*args): (source)

Undocumented

def ext_length_calc(ext, orig): (source)

Undocumented

def extend_check(amount, value): (source)

Undocumented

def extract_check(high, low, bv): (source)

Undocumented

def extract_length_calc(high, low, _): (source)

Undocumented

def int_to_str_length_calc(int_val): (source)

Undocumented

def length_same_check(*args): (source)

Undocumented

def op(name, arg_types, return_type, extra_check=None, calc_length=None, do_coerce=True, bound=True): (source)

Undocumented

def preprocess_union(*args, **kwargs): (source)

Undocumented

def reversed_op(op_func): (source)

Undocumented

def str_basic_length_calc(str_1): (source)

Undocumented

def str_concat_length_calc(*args): (source)

Undocumented

def str_replace_check(*args): (source)

Undocumented

def str_replace_length_calc(*args): (source)

Undocumented

def strindexof_bv_size_calc(s1, s2, start_idx, bitlength): (source)

Undocumented

def strlen_bv_size_calc(s, bitlength): (source)

Undocumented

def strtoint_bv_size_calc(s, bitlength): (source)

Undocumented

def substr_length_calc(start_idx, count, strval): (source)

Undocumented

backend_arithmetic_operations: set[str] = (source)

Undocumented

backend_bitmod_operations: set[str] = (source)

Undocumented

backend_bitwise_operations: set[str] = (source)

Undocumented

backend_boolean_operations: set[str] = (source)

Undocumented

backend_comparator_operations: set[str] = (source)

Undocumented

backend_creation_operations: set[str] = (source)

Undocumented

backend_fp_cmp_operations: set[str] = (source)

Undocumented

backend_fp_operations = (source)

Undocumented

backend_operations = (source)

Undocumented

backend_operations_all = (source)

Undocumented

backend_operations_vsa_compliant = (source)

Undocumented

backend_other_operations: set[str] = (source)

Undocumented

backend_strings_operations: set[str] = (source)

Undocumented

backend_symbol_creation_operations: set[str] = (source)

Undocumented

bin_ops: set[str] = (source)

Undocumented

commutative_operations: set[str] = (source)

Undocumented

expression_arithmetic_operations: set[str] = (source)

Undocumented

expression_bitwise_operations: set[str] = (source)

Undocumented

expression_comparator_operations: set[str] = (source)

Undocumented

expression_operations = (source)

Undocumented

expression_set_operations: set[str] = (source)

Undocumented

infix: dict[str, str] = (source)

Undocumented

inverse_operations: dict[str, str] = (source)

Undocumented

leaf_operations = (source)

Undocumented

leaf_operations_symbolic_with_union = (source)

Undocumented

not_invertible: set[str] = (source)

Undocumented

op_precedence: dict[str, int] = (source)

Undocumented

opposites: dict[str, str] = (source)

Undocumented

prefix: dict[str, str] = (source)

Undocumented

preprocessors = (source)

Undocumented

reverse_distributable: set[str] = (source)

Undocumented

reversed_ops: dict[str, str] = (source)

Undocumented

union_counter = (source)

Undocumented

def _handle_annotations(simp, args): (source)

Undocumented