tritonToZ3.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_TRITONTOZ3_H
#define TRITON_TRITONTOZ3_H
 
#include <unordered_map>
#include <z3++.h>
 
#include <triton/ast.hpp>
#include <triton/dllexport.hpp>
#include <triton/tritonTypes.hpp>
 
 
 
namespace triton {
  namespace ast {
 
    class TritonToZ3 {
      private:
        bool isEval;
 
        std::string getStringValue(const z3::expr& expr);
 
        z3::expr do_convert(const triton::ast::SharedAbstractNode& node, std::unordered_map<triton::ast::SharedAbstractNode, z3::expr>* output);
 
      protected:
        z3::context context;
 
      public:
        std::unordered_map<std::string, triton::ast::SharedAbstractNode> symbols;
 
        std::unordered_map<std::string, triton::engines::symbolic::SharedSymbolicVariable> variables;
 
        TRITON_EXPORT TritonToZ3(bool eval=true);
 
        TRITON_EXPORT ~TritonToZ3();
 
        TRITON_EXPORT z3::expr convert(const triton::ast::SharedAbstractNode& node);
    };
 
  };
};
 
#endif /* TRITON_TRITONTOZ3_H */