libTriton  version 0.9 build 1502
Public Member Functions | Protected Attributes | List of all members
triton::engines::symbolic::PathManager Class Reference

The path manager class. More...

#include <pathManager.hpp>

Inheritance diagram for triton::engines::symbolic::PathManager:

Public Member Functions

TRITON_EXPORT PathManager (const triton::modes::SharedModes &modes, const triton::ast::SharedAstContext &astCtxt)
 Constructor.
 
TRITON_EXPORT PathManager (const PathManager &other)
 Constructor by copy.
 
TRITON_EXPORT PathManageroperator= (const PathManager &other)
 Copies a PathManager.
 
TRITON_EXPORT triton::usize getSizeOfPathConstraints (void) const
 Returns the size of the path constraints.
 
TRITON_EXPORT const std::vector< triton::engines::symbolic::PathConstraint > & getPathConstraints (void) const
 Returns the logical conjunction vector of path constraints.
 
TRITON_EXPORT std::vector< triton::engines::symbolic::PathConstraintgetPathConstraints (triton::usize start, triton::usize end) const
 Returns the logical conjunction vector of path constraints from a given range.
 
TRITON_EXPORT std::vector< triton::engines::symbolic::PathConstraintgetPathConstraintsOfThread (triton::uint32 threadId) const
 Returns the logical conjunction vector of path constraint of a given thread.
 
TRITON_EXPORT triton::ast::SharedAbstractNode getPathPredicate (void) const
 Returns the current path predicate as an AST of logical conjunction of each taken branch.
 
TRITON_EXPORT std::vector< triton::ast::SharedAbstractNodegetPredicatesToReachAddress (triton::uint64 addr) const
 Returns path predicates which may reach the targeted address.
 
TRITON_EXPORT void pushPathConstraint (const triton::arch::Instruction &inst, const triton::engines::symbolic::SharedSymbolicExpression &expr)
 Pushs constraints of a branch instruction to the path predicate.
 
TRITON_EXPORT void pushPathConstraint (const triton::ast::SharedAbstractNode &node)
 Pushes constraint created from node to the current path predicate.
 
TRITON_EXPORT void pushPathConstraint (const triton::engines::symbolic::PathConstraint &pco)
 Pushes constraint to the current path predicate.
 
TRITON_EXPORT void popPathConstraint (void)
 Pops the last constraints added to the path predicate.
 
TRITON_EXPORT void clearPathConstraints (void)
 Clears the current path predicate.
 

Protected Attributes

std::vector< triton::engines::symbolic::PathConstraintpathConstraints
 The logical conjunction vector of path constraints.
 

Detailed Description

The path manager class.

Definition at line 47 of file pathManager.hpp.


The documentation for this class was generated from the following files: