symbolicSimplification.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_SYMBOLICSIMPLIFICATION_H
#define TRITON_SYMBOLICSIMPLIFICATION_H
 
#include <triton/architecture.hpp>
#include <triton/ast.hpp>
#include <triton/basicBlock.hpp>
#include <triton/callbacks.hpp>
#include <triton/dllexport.hpp>
 
 
 
namespace triton {
  namespace engines {
    namespace symbolic {
 
      class SymbolicSimplification {
        private:
          triton::arch::Architecture* architecture;
 
          triton::callbacks::Callbacks* callbacks;
 
          void copy(const SymbolicSimplification& other);
 
          triton::arch::BasicBlock deadStoreElimination(const triton::arch::BasicBlock& block, bool padding=false) const;
 
        public:
          TRITON_EXPORT SymbolicSimplification(triton::arch::Architecture* architecture, triton::callbacks::Callbacks* callbacks=nullptr);
 
          TRITON_EXPORT SymbolicSimplification(const SymbolicSimplification& other);
 
          TRITON_EXPORT triton::ast::SharedAbstractNode simplify(const triton::ast::SharedAbstractNode& node) const;
 
          TRITON_EXPORT triton::arch::BasicBlock simplify(const triton::arch::BasicBlock& block, bool padding=false) const;
 
          TRITON_EXPORT SymbolicSimplification& operator=(const SymbolicSimplification& other);
      };
 
    };
  };
};
 
#endif /* TRITON_SYMBOLICSIMPLIFICATION_H */