claripy.ast.strings

module documentation

(source)

Undocumented

Class	`String`	Base class that represent the AST of a String object and implements all the operation useful to create and modify the AST.
Function	`StringS`	Create a new symbolic string (analogous to z3.String())
Function	`StringV`	Create a new Concrete string (analogous to z3.StringVal())
Variable	`IntToStr`	Undocumented
Variable	`StrConcat`	Undocumented
Variable	`StrContains`	Undocumented
Variable	`StrIndexOf`	Undocumented
Variable	`StrIsDigit`	Undocumented
Variable	`StrLen`	Undocumented
Variable	`StrPrefixOf`	Undocumented
Variable	`StrReplace`	Undocumented
Variable	`StrSubstr`	Undocumented
Variable	`StrSuffixOf`	Undocumented
Variable	`StrToInt`	Undocumented

def StringS(name, size, uninitialized=False, explicit_name=False, **kwargs): (source) ¶

Create a new symbolic string (analogous to z3.String()) :param name: The name of the symbolic string (i. e. the name of the variable) :param size: The size in bytes of the string (i. e. the length of the string) :param uninitialized: Whether this value should be counted as an "uninitialized" value in the course of an analysis. :param bool explicit_name: If False, an identifier is appended to the name to ensure uniqueness. :returns: The String object representing the symbolic string

def StringV(value, length: Optional[int] = None, **kwargs): (source) ¶

Create a new Concrete string (analogous to z3.StringVal()) :param value: The constant value of the concrete string :param length: The byte length of the string :returns: The String object representing the concrete string

IntToStr = (source) ¶

Undocumented

StrConcat = (source) ¶

Undocumented

StrContains = (source) ¶

Undocumented

StrIndexOf = (source) ¶

Undocumented

StrIsDigit = (source) ¶

Undocumented

StrLen = (source) ¶

Undocumented