fixing stuff
[dyninst.git] / parseAPI / h / InstructionAdapter.h
1 /*
2  * Copyright (c) 1996-2009 Barton P. Miller
3  * 
4  * We provide the Paradyn Parallel Performance Tools (below
5  * described as "Paradyn") on an AS IS basis, and do not warrant its
6  * validity or performance.  We reserve the right to update, modify,
7  * or discontinue this software at any time.  We shall have no
8  * obligation to supply such updates or modifications or any other
9  * form of support to you.
10  * 
11  * By your use of Paradyn, you understand and agree that we (or any
12  * other person or entity with proprietary rights in Paradyn) are
13  * under no obligation to provide either maintenance services,
14  * update services, notices of latent defects, or correction of
15  * defects for Paradyn.
16  * 
17  * This library is free software; you can redistribute it and/or
18  * modify it under the terms of the GNU Lesser General Public
19  * License as published by the Free Software Foundation; either
20  * version 2.1 of the License, or (at your option) any later version.
21  * 
22  * This library is distributed in the hope that it will be useful,
23  * but WITHOUT ANY WARRANTY; without even the implied warranty of
24  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
25  * Lesser General Public License for more details.
26  * 
27  * You should have received a copy of the GNU Lesser General Public
28  * License along with this library; if not, write to the Free Software
29  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
30  */
31
32 #if !defined(INSTRUCTION_ADAPTER_H)
33 #define INSTRUCTION_ADAPTER_H
34
35 #include "dynutil/h/dyntypes.h"
36
37 #include "parseAPI/h/CodeObject.h"
38 #include "parseAPI/h/CFG.h"
39
40 #if !defined(ESSENTIAL_PARSING_ENUMS)
41 #define ESSENTIAL_PARSING_ENUMS
42 // There are three levels of function-level "instrumentability":
43 // 1) The function can be instrumented normally with no problems (normal case)
44 // 2) The function contains unresolved indirect branches; we have to assume
45 //    these can go anywhere in the function to be safe, so we must instrument
46 //    safely (e.g., with traps)
47 // 3) The function is flatly uninstrumentable and must not be touched.
48 enum InstrumentableLevel {
49     NORMAL,
50     HAS_BR_INDIR,
51     UNINSTRUMENTABLE
52 };
53 #endif //!defined(ESSENTIAL_PARSING_ENUMS)
54
55 namespace Dyninst {
56 namespace InsnAdapter {
57
58 class InstructionAdapter
59 {
60     public:
61         InstructionAdapter(Address start, ParseAPI::CodeObject *o , 
62             ParseAPI::CodeRegion* r, InstructionSource * isrc);
63         virtual ~InstructionAdapter();
64     // Implemented
65     virtual bool hasCFT() const = 0;
66     virtual size_t getSize() const = 0;
67     virtual bool isFrameSetupInsn() const = 0;
68     virtual bool isAbortOrInvalidInsn() const = 0;
69     virtual void
70             getNewEdges(std::vector<std::pair<Address,ParseAPI::EdgeTypeEnum> >&
71             outEdges, 
72             ParseAPI::Function* context,
73             ParseAPI::Block* currBlk,
74             unsigned int num_insns,
75             dyn_hash_map<Address, std::string> *pltFuncs) const =
76 0;
77     virtual bool isDynamicCall() const = 0;
78     virtual bool isAbsoluteCall() const = 0;
79     virtual InstrumentableLevel getInstLevel(ParseAPI::Function* context, unsigned int num_insns) const;
80     virtual ParseAPI::FuncReturnStatus getReturnStatus(ParseAPI::Function* context, unsigned int num_insns) const ;
81     virtual bool hasUnresolvedControlFlow(ParseAPI::Function* context, unsigned int num_insns)
82 const;
83     virtual static ParseAPI::StackTamper tampersStack(ParseAPI::Function *, Address &) const 
84         { return ParseAPI::TAMPER_NONE; }
85     virtual bool simulateJump() const= 0;
86     virtual void advance() = 0;
87     virtual void retreat() = 0;
88     virtual bool isNop() const = 0;
89     virtual bool isLeave() const = 0;
90     virtual bool isDelaySlot() const = 0;
91     virtual bool isRelocatable(InstrumentableLevel lvl) const = 0;
92     virtual Address getAddr() const;
93     virtual Address getPrevAddr() const;
94     virtual Address getNextAddr() const;
95     virtual Address getCFT() const = 0;
96     virtual bool isStackFramePreamble() const = 0;
97     virtual bool savesFP() const = 0;
98     virtual bool cleansStack() const = 0;
99     virtual bool isConditional() const = 0;
100     virtual bool isBranch() const = 0;
101     virtual bool isInterruptOrSyscall() const = 0;
102     virtual bool isCall() const = 0;
103     virtual bool isReturnAddrSave() const = 0;
104     virtual bool isTailCall(ParseAPI::Function *,unsigned int num_insns) const = 0;
105     protected:
106         virtual bool isReturn() const = 0;
107         virtual bool isRealCall() const = 0;
108         Address current;
109     Address previous;
110     mutable bool parsedJumpTable;
111     mutable bool successfullyParsedJumpTable;
112     mutable bool isDynamicCall_;
113     mutable bool checkedDynamicCall_;
114     mutable bool isInvalidCallTarget_;
115     mutable bool checkedInvalidCallTarget_;
116     ParseAPI::CodeObject * _obj;
117     ParseAPI::CodeRegion * _cr;
118     InstructionSource * _isrc;
119 };
120
121 } // Dyninst
122 } // InsnAdapter
123
124 #endif // !defined(INSTRUCTION_ADAPTER_H)