1. Enables new jump table analysis for powerpc 2. Fix various inconsistency between...
[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
41 #include "../rose/semantics/DispatcherARM64.h"
42 #include "../rose/semantics/DispatcherPowerpc.h"
43
44 using namespace Dyninst;
45 using namespace DataflowAPI;
46
47 bool SymbolicExpansion::expandX86(SgAsmInstruction *rose_insn,
48                                   SymEvalPolicy &policy) {
49     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
50
51     X86InstructionSemantics<SymEvalPolicy, Handle> t(policy);
52     t.processInstruction(insn);
53     return true;
54 }
55
56 bool SymbolicExpansion::expandX86_64(SgAsmInstruction *rose_insn,
57                                      SymEvalPolicy_64 &policy) {
58     SgAsmx86Instruction *insn = static_cast<SgAsmx86Instruction *>(rose_insn);
59
60     X86_64InstructionSemantics<SymEvalPolicy_64, Handle> t(policy);
61     t.processInstruction(insn);
62     return true;
63 }
64
65 bool SymbolicExpansion::expandPPC32(SgAsmInstruction *rose_insn,
66                                     BaseSemantics::RiscOperatorsPtr ops, 
67                                     const std::string &insn_dump) {
68     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
69
70     BaseSemantics::DispatcherPtr cpu = DispatcherPowerpc::instance(ops, 32);
71
72     try {
73         cpu->processInstruction(insn);
74     } catch (rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Exception &e) {
75         // fprintf(stderr, "Instruction processing threw exception for instruction: %s\n", insn_dump.c_str());
76     }
77
78     return true;
79 }
80 bool SymbolicExpansion::expandPPC64(SgAsmInstruction *rose_insn,
81                                     BaseSemantics::RiscOperatorsPtr ops, 
82                                     const std::string &insn_dump) {
83     SgAsmPowerpcInstruction *insn = static_cast<SgAsmPowerpcInstruction *>(rose_insn);
84
85     BaseSemantics::DispatcherPtr cpu = DispatcherPowerpc::instance(ops, 64);
86
87     try {
88         cpu->processInstruction(insn);
89     } catch (rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Exception &e) {
90         // fprintf(stderr, "Instruction processing threw exception for instruction: %s\n", insn_dump.c_str());
91     }
92
93     return true;
94 }
95
96 bool SymbolicExpansion::expandAarch64(SgAsmInstruction *rose_insn, BaseSemantics::RiscOperatorsPtr ops, const std::string &insn_dump) {
97     SgAsmArmv8Instruction *insn = static_cast<SgAsmArmv8Instruction *>(rose_insn);
98
99     BaseSemantics::DispatcherPtr cpu = DispatcherARM64::instance(ops, 64);
100
101     try {
102         cpu->processInstruction(insn);
103     } catch (rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::Exception &e) {
104         // fprintf(stderr, "Instruction processing threw exception for instruction: %s\n", insn_dump.c_str());
105     }
106
107     return false;
108 }
109