claripy.ast.fp

module documentation

(source)

Undocumented

Class	`FP`	An AST representing a set of operations culminating in an IEEE754 floating point number.
Function	`FPS`	Creates a floating-point symbol.
Function	`FPV`	Creates a concrete floating-point value.
Variable	`fpAbs`	Undocumented
Variable	`fpAdd`	Undocumented
Variable	`fpDiv`	Undocumented
Variable	`fpEQ`	Undocumented
Variable	`fpFP`	Undocumented
Variable	`fpGEQ`	Undocumented
Variable	`fpGT`	Undocumented
Variable	`fpIsInf`	Undocumented
Variable	`fpIsNaN`	Undocumented
Variable	`fpLEQ`	Undocumented
Variable	`fpLT`	Undocumented
Variable	`fpMul`	Undocumented
Variable	`fpNeg`	Undocumented
Variable	`fpSqrt`	Undocumented
Variable	`fpSub`	Undocumented
Variable	`fpToFP`	Undocumented
Variable	`fpToFPUnsigned`	Undocumented
Variable	`fpToIEEEBV`	Undocumented
Variable	`fpToSBV`	Undocumented
Variable	`fpToUBV`	Undocumented
Function	`_fp_binop_check`	Undocumented
Function	`_fp_binop_length`	Undocumented
Function	`_fp_cmp_check`	Undocumented
Function	`_fp_length_calc`	Undocumented

def FPS(name, sort, explicit_name=None): (source) ¶

Creates a floating-point symbol. :param name: The name of the symbol :param sort: The sort of the floating point :param explicit_name: If False, an identifier is appended to the name to ensure uniqueness. :return: An FP AST.

def FPV(value, sort): (source) ¶

Creates a concrete floating-point value. :param value: The value of the floating point. :param sort: The sort of the floating point. :return: An FP AST.

fpAbs = (source) ¶

Undocumented

fpAdd = (source) ¶

Undocumented

fpDiv = (source) ¶

Undocumented

fpEQ = (source) ¶

Undocumented

fpFP = (source) ¶

Undocumented

fpGEQ = (source) ¶

Undocumented