Types

qsynthesis.types.Addr

Integer representing an address

qsynthesis.types.AstNode

AstNode SMT logic formula as returned by Triton

alias of TypeVar(‘AstNode’)

class qsynthesis.types.AstType(value)

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. Given the HashType of the table a Hash value might be hashed before being used to perform the lookup.

alias of Union[bytes, int, Tuple[int]]

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

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]

qsynthesis.types.SymbolicExpression

SymbolicExpression object as used by Triton

alias of TypeVar(‘SymbolicExpression’)

qsynthesis.types.SymbolicVariable

SymbolicVariable object as generated by Triton

alias of TypeVar(‘SymbolicVariable’)