1. Add timing statistics for parsing
[dyninst.git] / dataflowAPI / src / SymbolicExpansion.C
1 /*
2  * See the dyninst/COPYRIGHT file for copyright information.
3  * 
4  * We provide the Paradyn Tools (below described as "Paradyn")
5  * on an AS IS basis, and do not warrant its validity or performance.
6  * We reserve the right to update, modify, or discontinue this
7  * software at any time.  We shall have no obligation to supply such
8  * updates or modifications or any other form of support to you.
9  * 
10  * By your use of Paradyn, you understand and agree that we (or any
11  * other person or entity with proprietary rights in Paradyn) are
12  * under no obligation to provide either maintenance services,
13  * update services, notices of latent defects, or correction of
14  * defects for Paradyn.
15  * 
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  * 
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  * 
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
29  */
30
31 #include "SymbolicExpansion.h"
32 #include "SymEvalPolicy.h"
33
34 #include "../rose/SgAsmInstruction.h"
35 #include "../rose/SgAsmPowerpcInstruction.h"
36 #include "../rose/SgAsmx86Instruction.h"
37
38 #include "../rose/x86InstructionSemantics.h"
39 #include "../rose/x86_64InstructionSemantics.h"
40 #include "../rose/powerpcInstructionSemantics.h"
41
42 #include "../rose/semantics/DispatcherARM64.h"
43
44
45 using namespace Dyninst;
46 using namespace DataflowAPI;
47
48 bool SymbolicExpansion::expandX86(SgAsmInstruction *rose_insn,
49                                   SymEvalPolicy &policy) {
50     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
51
52     X86InstructionSemantics<SymEvalPolicy, Handle> t(policy);
53     t.processInstruction(insn);
54     return true;
55 }
56
57 bool SymbolicExpansion::expandX86_64(SgAsmInstruction *rose_insn,
58                                      SymEvalPolicy_64 &policy) {
59     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
60
61     X86_64InstructionSemantics<SymEvalPolicy_64, Handle> t(policy);
62     t.processInstruction(insn);
63     return true;
64 }
65
66 bool SymbolicExpansion::expandPPC32(SgAsmInstruction *rose_insn,
67                                     SymEvalPolicy &policy) {
68     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
69
70     PowerpcInstructionSemantics<SymEvalPolicy, Handle, 32> t(policy);
71     t.processInstruction(insn);
72     return true;
73 }
74
75 bool SymbolicExpansion::expandPPC64(SgAsmInstruction *rose_insn,
76                                     SymEvalPolicy_64 &policy) {
77     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
78
79     PowerpcInstructionSemantics<SymEvalPolicy_64, Handle, 64> t(policy);
80     t.processInstruction(insn);
81     return true;
82 }
83
84 bool SymbolicExpansion::expandAarch64(SgAsmInstruction *rose_insn, BaseSemantics::RiscOperatorsPtr ops, const std::string &insn_dump) {
85     SgAsmArmv8Instruction *insn = static_cast<SgAsmArmv8Instruction *>(rose_insn);
86
87     BaseSemantics::DispatcherPtr cpu = DispatcherARM64::instance(ops, 64);
88
89     try {
90         cpu->processInstruction(insn);
91     } catch (rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Exception &e) {
92         fprintf(stderr, "Instruction processing threw exception for instruction: %s\n", insn_dump.c_str());
93     }
94
95     return false;
96 }
97