pathManager.hpp

Go to the documentation of this file.

 
/*
**  Copyright (C) - Triton
**
**  This program is under the terms of the Apache License 2.0.
*/
 
#ifndef TRITON_PATHMANAGER_H
#define TRITON_PATHMANAGER_H
 
#include <vector>
 
#include <triton/dllexport.hpp>
#include <triton/instruction.hpp>
#include <triton/modes.hpp>
#include <triton/pathConstraint.hpp>
#include <triton/symbolicExpression.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace symbolic {
      class PathManager {
        private:
          triton::modes::SharedModes modes;
 
          triton::ast::SharedAstContext astCtxt;
 
        protected:
          std::vector<triton::engines::symbolic::PathConstraint> pathConstraints;
 
        public:
          TRITON_EXPORT PathManager(const triton::modes::SharedModes& modes, const triton::ast::SharedAstContext& astCtxt);
 
          TRITON_EXPORT PathManager(const PathManager& other);
 
          TRITON_EXPORT PathManager& operator=(const PathManager& other);
 
          TRITON_EXPORT triton::usize getSizeOfPathConstraints(void) const;
 
          TRITON_EXPORT const std::vector<triton::engines::symbolic::PathConstraint>& getPathConstraints(void) const;
 
          TRITON_EXPORT std::vector<triton::engines::symbolic::PathConstraint> getPathConstraints(triton::usize start, triton::usize end) const;
 
          TRITON_EXPORT std::vector<triton::engines::symbolic::PathConstraint> getPathConstraintsOfThread(triton::uint32 threadId) const;
 
          TRITON_EXPORT triton::ast::SharedAbstractNode getPathPredicate(void) const;
 
          TRITON_EXPORT std::vector<triton::ast::SharedAbstractNode> getPredicatesToReachAddress(triton::uint64 addr) const;
 
          TRITON_EXPORT void pushPathConstraint(const triton::arch::Instruction& inst, const triton::engines::symbolic::SharedSymbolicExpression& expr);
 
          TRITON_EXPORT void pushPathConstraint(const triton::ast::SharedAbstractNode& node, const std::string& comment="");
 
          TRITON_EXPORT void pushPathConstraint(const triton::engines::symbolic::PathConstraint& pco);
 
          TRITON_EXPORT void popPathConstraint(void);
 
          TRITON_EXPORT void clearPathConstraints(void);
      };
 
    };
  };
};
 
#endif /* TRITON_PATHMANAGER_H */