Initialize thrd in a new FrameNode ctor
[dyninst.git] / stackwalk / src / analysis_stepper.h
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 #if !defined(ANALYSIS_STEPPER_H_)
32 #define ANALYSIS_STEPPER_H_
33
34 #include "stackwalk/h/framestepper.h"
35 #include "dataflowAPI/h/stackanalysis.h"
36 #include "SymReader.h"
37
38 #include <string>
39
40 namespace Dyninst {
41 namespace ParseAPI {
42 class CodeObject;
43 class CodeSource;
44  class CodeRegion;
45  
46 }
47 }
48
49 namespace Dyninst {
50 namespace Stackwalker {
51
52 class CallChecker;
53 class AnalysisStepperImpl : public FrameStepper
54 {
55   private:
56    AnalysisStepper *parent;
57    CallChecker * callchecker;
58   public:
59    AnalysisStepperImpl(Walker *w, AnalysisStepper *p);
60    virtual ~AnalysisStepperImpl();
61
62    typedef std::pair<StackAnalysis::Height, StackAnalysis::Height> height_pair_t;
63    typedef std::pair<MachRegister, StackAnalysis::Height> registerState_t;
64    
65    static const height_pair_t err_height_pair;
66
67    virtual gcframe_ret_t getCallerFrame(const Frame &in, Frame &out);
68    virtual unsigned getPriority() const;  
69    
70    virtual const char *getName() const;
71    
72   protected:
73    
74    static std::map<std::string, ParseAPI::CodeObject *> objs;
75    static std::map<std::string, ParseAPI::CodeSource*> srcs;
76    static std::map<std::string, SymReader*> readers;
77    
78    static ParseAPI::CodeObject *getCodeObject(std::string name);
79    static ParseAPI::CodeSource *getCodeSource(std::string name);
80
81    std::set<height_pair_t> analyzeFunction(std::string name, Offset off);
82    std::vector<registerState_t> fullAnalyzeFunction(std::string name, Offset off);
83    
84    virtual bool isPrevInstrACall(Address addr, Address & target);
85    virtual gcframe_ret_t getCallerFrameArch(std::set<height_pair_t> height, const Frame &in, Frame &out);
86    gcframe_ret_t getFirstCallerFrameArch(const std::vector<registerState_t>& heights, const Frame& in, Frame& out);
87    gcframe_ret_t checkResult(bool result);
88    bool validateRA(Address candidateRA);
89    ParseAPI::CodeRegion* getCodeRegion(std::string name, Offset off);
90    bool getOutRA(Address out_sp, Address& out_ra, location_t& out_ra_loc, ProcessState* proc);
91    
92    
93 };
94
95 }
96 }
97 #endif