Static Value-Flow Analysis
CallGraphBuilder.h
Go to the documentation of this file.
1 //===- CallGraphBuilder.h ----------------------------------------------------------------//
2 //
3 // SVF: Static Value-Flow Analysis
4 //
5 // Copyright (C) <2013-> <Yulei Sui>
6 //
7 
8 // This program is free software: you can redistribute it and/or modify
9 // it under the terms of the GNU Affero General Public License as published by
10 // the Free Software Foundation, either version 3 of the License, or
11 // (at your option) any later version.
12 
13 // This program is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU Affero General Public License for more details.
17 
18 // You should have received a copy of the GNU Affero General Public License
19 // along with this program. If not, see <http://www.gnu.org/licenses/>.
20 //
21 //===----------------------------------------------------------------------===//
22 
23 
24 /*
25  * CallGraphBuilder.h
26  *
27  * Created on: 13Mar.,2020
28  * Author: Yulei Sui
29  */
30 
31 #ifndef INCLUDE_SVF_FE_CALLGRAPHBUILDER_H_
32 #define INCLUDE_SVF_FE_CALLGRAPHBUILDER_H_
33 
34 #include "Graphs/PTACallGraph.h"
35 #include "Graphs/ThreadCallGraph.h"
36 
37 namespace SVF
38 {
39 
40 class ICFG;
41 class SVFModule;
42 
44 {
45 public:
46  CallGraphBuilder()=default;
47 
50 
53 };
54 
55 } // End namespace SVF
56 
57 
58 #endif /* INCLUDE_UTIL_CALLGRAPHBUILDER_H_ */
ThreadCallGraph * buildThreadCallGraph()
Build thread-aware callgraph.
PTACallGraph * buildSVFIRCallGraph(SVFModule *svfModule)
Buidl SVFIR callgraoh.
CallGraphBuilder()=default
for isBitcode
Definition: BasicTypes.h:68