libTriton  version 1.0 build 1549
triton::engines::symbolic::SymbolicEngine Member List

This is the complete list of members for triton::engines::symbolic::SymbolicEngine, including all inherited members.

alignedMemoryReferencetriton::engines::symbolic::SymbolicEngineprotected
assignSymbolicExpressionToMemory(const SharedSymbolicExpression &se, const triton::arch::MemoryAccess &mem)triton::engines::symbolic::SymbolicEngine
assignSymbolicExpressionToRegister(const SharedSymbolicExpression &se, const triton::arch::Register &reg)triton::engines::symbolic::SymbolicEngine
clearPathConstraints(void)triton::engines::symbolic::PathManager
concretizeAllMemory(void)triton::engines::symbolic::SymbolicEngine
concretizeAllRegister(void)triton::engines::symbolic::SymbolicEngine
concretizeMemory(const triton::arch::MemoryAccess &mem)triton::engines::symbolic::SymbolicEngine
concretizeMemory(triton::uint64 addr)triton::engines::symbolic::SymbolicEngine
concretizeRegister(const triton::arch::Register &reg)triton::engines::symbolic::SymbolicEngine
createSymbolicExpression(triton::arch::Instruction &inst, const triton::ast::SharedAbstractNode &node, const triton::arch::OperandWrapper &dst, const std::string &comment="")triton::engines::symbolic::SymbolicEngine
createSymbolicMemoryExpression(triton::arch::Instruction &inst, const triton::ast::SharedAbstractNode &node, const triton::arch::MemoryAccess &mem, const std::string &comment="")triton::engines::symbolic::SymbolicEngine
createSymbolicRegisterExpression(triton::arch::Instruction &inst, const triton::ast::SharedAbstractNode &node, const triton::arch::Register &reg, const std::string &comment="")triton::engines::symbolic::SymbolicEngine
createSymbolicVolatileExpression(triton::arch::Instruction &inst, const triton::ast::SharedAbstractNode &node, const std::string &comment="")triton::engines::symbolic::SymbolicEngine
getConcreteVariableValue(const SharedSymbolicVariable &symVar) consttriton::engines::symbolic::SymbolicEngine
getImmediateAst(const triton::arch::Immediate &imm)triton::engines::symbolic::SymbolicEngine
getImmediateAst(triton::arch::Instruction &inst, const triton::arch::Immediate &imm)triton::engines::symbolic::SymbolicEngine
getMemoryAst(const triton::arch::MemoryAccess &mem)triton::engines::symbolic::SymbolicEngine
getMemoryAst(triton::arch::Instruction &inst, const triton::arch::MemoryAccess &mem)triton::engines::symbolic::SymbolicEngine
getOperandAst(const triton::arch::OperandWrapper &op)triton::engines::symbolic::SymbolicEngine
getOperandAst(triton::arch::Instruction &inst, const triton::arch::OperandWrapper &op)triton::engines::symbolic::SymbolicEngine
getPathConstraints(void) consttriton::engines::symbolic::PathManager
getPathConstraints(triton::usize start, triton::usize end) consttriton::engines::symbolic::PathManager
getPathConstraintsOfThread(triton::uint32 threadId) consttriton::engines::symbolic::PathManager
getPathPredicate(void) consttriton::engines::symbolic::PathManager
getPredicatesToReachAddress(triton::uint64 addr) consttriton::engines::symbolic::PathManager
getRegisterAst(const triton::arch::Register &reg)triton::engines::symbolic::SymbolicEngine
getRegisterAst(triton::arch::Instruction &inst, const triton::arch::Register &reg)triton::engines::symbolic::SymbolicEngine
getShiftAst(const triton::arch::arm::ArmOperandProperties &shift, const triton::ast::SharedAbstractNode &node)triton::engines::symbolic::SymbolicEngine
getSizeOfPathConstraints(void) consttriton::engines::symbolic::PathManager
getSymbolicExpression(triton::usize symExprId) consttriton::engines::symbolic::SymbolicEngine
getSymbolicExpressions(void) consttriton::engines::symbolic::SymbolicEngine
getSymbolicMemory(triton::uint64 addr) consttriton::engines::symbolic::SymbolicEngine
getSymbolicMemory(void) consttriton::engines::symbolic::SymbolicEngine
getSymbolicMemoryAreaValue(triton::uint64 baseAddr, triton::usize size)triton::engines::symbolic::SymbolicEngine
getSymbolicMemoryValue(triton::uint64 address)triton::engines::symbolic::SymbolicEngine
getSymbolicMemoryValue(const triton::arch::MemoryAccess &mem)triton::engines::symbolic::SymbolicEngine
getSymbolicRegister(const triton::arch::Register &reg) consttriton::engines::symbolic::SymbolicEngine
getSymbolicRegisters(void) consttriton::engines::symbolic::SymbolicEngine
getSymbolicRegisterValue(const triton::arch::Register &reg)triton::engines::symbolic::SymbolicEngine
getSymbolicVariable(triton::usize symVarId) consttriton::engines::symbolic::SymbolicEngine
getSymbolicVariable(const std::string &name) consttriton::engines::symbolic::SymbolicEngine
getSymbolicVariables(void) consttriton::engines::symbolic::SymbolicEngine
getTaintedSymbolicExpressions(void) consttriton::engines::symbolic::SymbolicEngine
initLeaAst(triton::arch::MemoryAccess &mem, bool force=true)triton::engines::symbolic::SymbolicEngine
isMemorySymbolized(const triton::arch::MemoryAccess &mem) consttriton::engines::symbolic::SymbolicEngine
isMemorySymbolized(triton::uint64 addr, triton::uint32 size=1) consttriton::engines::symbolic::SymbolicEngine
isRegisterSymbolized(const triton::arch::Register &reg) consttriton::engines::symbolic::SymbolicEngine
isSymbolicExpressionExists(triton::usize symExprId) consttriton::engines::symbolic::SymbolicEngine
memoryReferencetriton::engines::symbolic::SymbolicEngineprotected
newSymbolicExpression(const triton::ast::SharedAbstractNode &node, triton::engines::symbolic::expression_e type, const std::string &comment="")triton::engines::symbolic::SymbolicEngine
newSymbolicVariable(triton::engines::symbolic::variable_e type, triton::uint64 source, triton::uint32 size, const std::string &alias="")triton::engines::symbolic::SymbolicEngine
numberOfRegisterstriton::engines::symbolic::SymbolicEngineprotected
operator=(const SymbolicEngine &other)triton::engines::symbolic::SymbolicEngine
triton::engines::symbolic::SymbolicSimplification::operator=(const SymbolicSimplification &other)triton::engines::symbolic::SymbolicSimplification
triton::engines::symbolic::PathManager::operator=(const PathManager &other)triton::engines::symbolic::PathManager
pathConstraintstriton::engines::symbolic::PathManagerprotected
PathManager(const triton::modes::SharedModes &modes, const triton::ast::SharedAstContext &astCtxt)triton::engines::symbolic::PathManager
PathManager(const PathManager &other)triton::engines::symbolic::PathManager
popPathConstraint(void)triton::engines::symbolic::PathManager
pushPathConstraint(const triton::arch::Instruction &inst, const triton::engines::symbolic::SharedSymbolicExpression &expr)triton::engines::symbolic::PathManager
pushPathConstraint(const triton::ast::SharedAbstractNode &node, const std::string &comment="")triton::engines::symbolic::PathManager
pushPathConstraint(const triton::engines::symbolic::PathConstraint &pco)triton::engines::symbolic::PathManager
removeSymbolicExpression(const SharedSymbolicExpression &expr)triton::engines::symbolic::SymbolicEngine
setConcreteVariableValue(const SharedSymbolicVariable &symVar, const triton::uint512 &value)triton::engines::symbolic::SymbolicEngine
simplify(const triton::ast::SharedAbstractNode &node) consttriton::engines::symbolic::SymbolicSimplification
simplify(const triton::arch::BasicBlock &block, bool padding=false) consttriton::engines::symbolic::SymbolicSimplification
sliceExpressions(const SharedSymbolicExpression &expr)triton::engines::symbolic::SymbolicEngine
SymbolicEngine(triton::arch::Architecture *architecture, const triton::modes::SharedModes &modes, const triton::ast::SharedAstContext &astCtxt, triton::callbacks::Callbacks *callbacks=nullptr)triton::engines::symbolic::SymbolicEngine
SymbolicEngine(const SymbolicEngine &other)triton::engines::symbolic::SymbolicEngine
symbolicExpressionstriton::engines::symbolic::SymbolicEnginemutableprotected
symbolicRegtriton::engines::symbolic::SymbolicEngineprotected
SymbolicSimplification(triton::callbacks::Callbacks *callbacks=nullptr)triton::engines::symbolic::SymbolicSimplification
SymbolicSimplification(const SymbolicSimplification &other)triton::engines::symbolic::SymbolicSimplification
symbolicVariablestriton::engines::symbolic::SymbolicEnginemutableprotected
symbolizeExpression(triton::usize exprId, triton::uint32 symVarSize, const std::string &symVarAlias="")triton::engines::symbolic::SymbolicEngine
symbolizeMemory(const triton::arch::MemoryAccess &mem, const std::string &symVarAlias="")triton::engines::symbolic::SymbolicEngine
symbolizeMemory(triton::uint64 addr, triton::usize size)triton::engines::symbolic::SymbolicEngine
symbolizeRegister(const triton::arch::Register &reg, const std::string &symVarAlias="")triton::engines::symbolic::SymbolicEngine
uniqueSymExprIdtriton::engines::symbolic::SymbolicEngineprotected
uniqueSymVarIdtriton::engines::symbolic::SymbolicEngineprotected
~SymbolicEngine()triton::engines::symbolic::SymbolicEngine