pathConstraint.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_PATHCONSTRAINT_H
#define TRITON_PATHCONSTRAINT_H
 
#include <string>
#include <tuple>
#include <vector>
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace symbolic {
      class PathConstraint {
        protected:
          std::vector<std::tuple<bool, triton::uint64, triton::uint64, triton::ast::SharedAbstractNode>> branches;
 
          triton::uint32 tid;
 
          std::string comment;
 
        public:
          TRITON_EXPORT PathConstraint();
 
          TRITON_EXPORT PathConstraint(const PathConstraint &other);
 
          TRITON_EXPORT ~PathConstraint();
 
          TRITON_EXPORT PathConstraint& operator=(const PathConstraint &other);
 
          TRITON_EXPORT void addBranchConstraint(bool taken, triton::uint64 srdAddr, triton::uint64 dstAddr, const triton::ast::SharedAbstractNode& pc);
 
          TRITON_EXPORT const std::vector<std::tuple<bool, triton::uint64, triton::uint64, triton::ast::SharedAbstractNode>>& getBranchConstraints(void) const;
 
          TRITON_EXPORT triton::uint64 getTakenAddress(void) const;
 
          TRITON_EXPORT triton::uint64 getSourceAddress(void) const;
 
          TRITON_EXPORT triton::ast::SharedAbstractNode getTakenPredicate(void) const;
 
          TRITON_EXPORT bool isMultipleBranches(void) const;
 
          TRITON_EXPORT triton::uint32 getThreadId(void) const;
 
          TRITON_EXPORT void setThreadId(triton::uint32 tid);
 
          TRITON_EXPORT const std::string& getComment(void) const;
 
          TRITON_EXPORT void setComment(const std::string& comment);
      };
 
    };
  };
};
 
#endif /* TRITON_PATHCONSTAINT_H */