libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
liftingEngine.hpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_LIFTINGENGINE_HPP
9#define TRITON_LIFTINGENGINE_HPP
10
11#include <triton/astContext.hpp>
12#include <triton/config.hpp>
13#include <triton/dllexport.hpp>
19
20#ifdef TRITON_LLVM_INTERFACE
22#endif
23
24
25
27namespace triton {
34 namespace engines {
42 namespace lifters {
50
52 : public LiftingToSMT,
53 public LiftingToDot,
54 #ifdef TRITON_LLVM_INTERFACE
55 public LiftingToLLVM,
56 #endif
57 public LiftingToPython {
58
59 public:
62 : LiftingToSMT(astCtxt, symbolic),
63 LiftingToDot(astCtxt, symbolic),
64 #ifdef TRITON_LLVM_INTERFACE
66 #endif
67 LiftingToPython(astCtxt, symbolic) {
68 };
69 };
70
72 };
74 };
76};
77
78#endif /* TRITON_LIFTINGENGINE_HPP */
TRITON_EXPORT LiftingEngine(const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
Constructor.
std::shared_ptr< triton::ast::AstContext > SharedAstContext
Shared AST context.
Definition ast.hpp:65
The Triton namespace.