Types

qsynthesis.types.Addr

Integer representing an address

class qsynthesis.types.AstNode

AstNode SMT logic formula as returned by Triton

alias of TypeVar(‘AstNode’)

class qsynthesis.types.AstType(value, names=<not given>, *values, module=None, qualname=None, type=None, start=1, boundary=None)

Enum of all AstNode possible types as defined by the AST_NODE object of Triton

qsynthesis.types.BitSize

Integer representing a size in bits

qsynthesis.types.ByteSize

Integer representing a size in bytes

qsynthesis.types.Char

String of size one. Used to represent normalized variables names

qsynthesis.types.Expr

Alias for AstNode, to abstract to Triton type

alias of TypeVar(‘AstNode’)

qsynthesis.types.Hash

Hash abstract type used to performed lookup in tables. As now the only hash type supported is MD5 the underlying value is bytes.

qsynthesis.types.IOPair

Represent a given input valuation and the resulting output integer

alias of Tuple[Dict[str, int], int]

qsynthesis.types.IOVector

List of input-outputs pairs

alias of List[Tuple[Dict[str, int], int]]

qsynthesis.types.Input

An Input is a valuation of all inputs variables of an expression

alias of Dict[str, int]

qsynthesis.types.Output

Value resulting of evaluating an Input on a given expression

class qsynthesis.types.Register

“Register object as returned by Triton

alias of TypeVar(‘Register’)

qsynthesis.types.SymVarMap

Dictionnary of symbolic variables names to theirs Triton object instance

alias of Dict[str, SymbolicVariable]

class qsynthesis.types.SymbolicExpression

SymbolicExpression object as used by Triton

alias of TypeVar(‘SymbolicExpression’)

class qsynthesis.types.SymbolicVariable

SymbolicVariable object as generated by Triton

alias of TypeVar(‘SymbolicVariable’)