svf-tools 1.0.569 → 1.0.571
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +28 -10
- package/SVF-doxygen/html/html/CFLAlias_8h.html +1 -0
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +41 -22
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +7 -7
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +11 -8
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h.html +3 -0
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +18 -15
- package/SVF-doxygen/html/html/CFLSolver_8cpp_source.html +6 -6
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +15 -15
- package/SVF-doxygen/html/html/CFLStat_8cpp.html +80 -0
- package/SVF-doxygen/html/html/CFLStat_8cpp_source.html +148 -0
- package/SVF-doxygen/html/html/CFLStat_8h.html +96 -0
- package/SVF-doxygen/html/html/CFLStat_8h_source.html +105 -0
- package/SVF-doxygen/html/html/CFLVF_8cpp.html +82 -0
- package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +106 -0
- package/SVF-doxygen/html/html/CFLVF_8h.html +103 -0
- package/SVF-doxygen/html/html/CFLVF_8h_source.html +110 -0
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +4 -3
- package/SVF-doxygen/html/html/Options_8h_source.html +4 -3
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VFG_8txt.html +98 -0
- package/SVF-doxygen/html/html/annotated.html +262 -259
- package/SVF-doxygen/html/html/cfl_8cpp.html +7 -4
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +6 -3
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +8 -6
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +130 -113
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +554 -81
- package/SVF-doxygen/html/html/classSVF_1_1CFLGramGraphChecker.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +27 -26
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat-members.html +123 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.html +700 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +259 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +854 -0
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +112 -111
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +28 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +8 -7
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +8 -7
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +9 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder-members.html +100 -0
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.html +407 -0
- package/SVF-doxygen/html/html/classSVF_1_1VFCFLGraphBuilder.png +0 -0
- package/SVF-doxygen/html/html/classes.html +100 -100
- package/SVF-doxygen/html/html/dir_98f9a352f241e0e917d4efaa4086f6e8.html +4 -0
- package/SVF-doxygen/html/html/dir_ae8aa099e368efaa962140c6624142bc.html +4 -0
- package/SVF-doxygen/html/html/files.html +6 -2
- package/SVF-doxygen/html/html/functions.html +11 -0
- package/SVF-doxygen/html/html/functions_0x7e.html +6 -0
- package/SVF-doxygen/html/html/functions_a.html +9 -5
- package/SVF-doxygen/html/html/functions_b.html +4 -2
- package/SVF-doxygen/html/html/functions_c.html +48 -24
- package/SVF-doxygen/html/html/functions_f.html +6 -6
- package/SVF-doxygen/html/html/functions_func.html +17 -14
- package/SVF-doxygen/html/html/functions_func_0x7e.html +6 -0
- package/SVF-doxygen/html/html/functions_func_b.html +4 -2
- package/SVF-doxygen/html/html/functions_func_c.html +38 -26
- package/SVF-doxygen/html/html/functions_func_g.html +12 -9
- package/SVF-doxygen/html/html/functions_func_p.html +5 -4
- package/SVF-doxygen/html/html/functions_func_s.html +8 -7
- package/SVF-doxygen/html/html/functions_g.html +15 -10
- package/SVF-doxygen/html/html/functions_l.html +3 -3
- package/SVF-doxygen/html/html/functions_m.html +4 -2
- package/SVF-doxygen/html/html/functions_n.html +8 -0
- package/SVF-doxygen/html/html/functions_o.html +15 -15
- package/SVF-doxygen/html/html/functions_p.html +16 -14
- package/SVF-doxygen/html/html/functions_r.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +16 -12
- package/SVF-doxygen/html/html/functions_t.html +9 -3
- package/SVF-doxygen/html/html/functions_type_c.html +1 -0
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars.html +11 -0
- package/SVF-doxygen/html/html/functions_vars_a.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_c.html +5 -0
- package/SVF-doxygen/html/html/functions_vars_g.html +2 -0
- package/SVF-doxygen/html/html/functions_vars_m.html +3 -1
- package/SVF-doxygen/html/html/functions_vars_n.html +8 -0
- package/SVF-doxygen/html/html/functions_vars_p.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_s.html +4 -1
- package/SVF-doxygen/html/html/functions_vars_t.html +6 -0
- package/SVF-doxygen/html/html/functions_w.html +11 -11
- package/SVF-doxygen/html/html/globals.html +2 -1
- package/SVF-doxygen/html/html/globals_vars.html +2 -1
- package/SVF-doxygen/html/html/hierarchy.html +14 -11
- package/SVF-doxygen/html/html/namespaceSVF.html +6 -0
- package/SVF-doxygen/html/html/search/all_0.js +10 -9
- package/SVF-doxygen/html/html/search/all_1.js +4 -4
- package/SVF-doxygen/html/html/search/all_10.js +10 -10
- package/SVF-doxygen/html/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +10 -10
- package/SVF-doxygen/html/html/search/all_13.js +12 -12
- package/SVF-doxygen/html/html/search/all_15.js +4 -2
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_19.js +2 -0
- package/SVF-doxygen/html/html/search/all_2.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +16 -8
- package/SVF-doxygen/html/html/search/all_6.js +3 -3
- package/SVF-doxygen/html/html/search/all_7.js +3 -2
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +3 -3
- package/SVF-doxygen/html/html/search/all_e.js +9 -9
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/classes_12.js +1 -0
- package/SVF-doxygen/html/html/search/classes_2.js +2 -0
- package/SVF-doxygen/html/html/search/files_2.js +4 -0
- package/SVF-doxygen/html/html/search/files_f.js +1 -0
- package/SVF-doxygen/html/html/search/functions_0.js +3 -3
- package/SVF-doxygen/html/html/search/functions_1.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_17.js +2 -0
- package/SVF-doxygen/html/html/search/functions_2.js +6 -3
- package/SVF-doxygen/html/html/search/functions_6.js +1 -0
- package/SVF-doxygen/html/html/search/functions_f.js +2 -2
- package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
- package/SVF-doxygen/html/html/search/variables_0.js +10 -9
- package/SVF-doxygen/html/html/search/variables_1.js +1 -1
- package/SVF-doxygen/html/html/search/variables_10.js +1 -1
- package/SVF-doxygen/html/html/search/variables_12.js +3 -3
- package/SVF-doxygen/html/html/search/variables_13.js +10 -10
- package/SVF-doxygen/html/html/search/variables_3.js +3 -2
- package/SVF-doxygen/html/html/search/variables_7.js +2 -2
- package/SVF-doxygen/html/html/search/variables_d.js +2 -2
- package/SVF-doxygen/html/html/search/variables_e.js +9 -9
- package/images/svf-stat.pdf +0 -0
- package/include/CFL/CFLAlias.h +31 -0
- package/include/CFL/CFLGramGraphChecker.h +3 -0
- package/include/CFL/CFLGraphBuilder.h +22 -0
- package/include/CFL/CFLSolver.h +6 -1
- package/include/CFL/CFLStat.h +88 -0
- package/include/CFL/CFLVF.h +77 -0
- package/include/CFL/VFG.txt +6 -0
- package/include/Util/Options.h +1 -0
- package/lib/CFL/CFLAlias.cpp +20 -0
- package/lib/CFL/CFLGraphBuilder.cpp +71 -0
- package/lib/CFL/CFLStat.cpp +269 -0
- package/lib/CFL/CFLVF.cpp +89 -0
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +1 -1
- package/lib/Util/Options.cpp +6 -0
- package/package.json +1 -1
- package/tools/CFL/cfl.cpp +14 -4
|
Binary file
|
|
@@ -298,7 +298,7 @@ Public Member Functions</h2></td></tr>
|
|
|
298
298
|
<div class="ttc" id="classSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00087">ICFG.h:87</a></div></div>
|
|
299
299
|
<div class="ttc" id="SVFBasicTypes_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFBasicTypes_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00162">SVFBasicTypes.h:162</a></div></div>
|
|
300
300
|
<div class="ttc" id="classSVF_1_1SVFLoop_html_a03c6de676a1d8f99687ea973b9b25d58"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58">SVF::SVFLoop::addBackICFGEdge</a></div><div class="ttdeci">void addBackICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00121">SVFLoop.h:121</a></div></div>
|
|
301
|
-
<div class="ttc" id="classSVF_1_1Options_html_ab7161ca7a809792af82e5aabdfcc3bfb"><div class="ttname"><a href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">SVF::Options::LoopBound</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#
|
|
301
|
+
<div class="ttc" id="classSVF_1_1Options_html_ab7161ca7a809792af82e5aabdfcc3bfb"><div class="ttname"><a href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">SVF::Options::LoopBound</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
|
|
302
302
|
<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00155">SVFBasicTypes.h:155</a></div></div>
|
|
303
303
|
</div><!-- fragment -->
|
|
304
304
|
</div>
|
|
@@ -79,117 +79,118 @@ $(function() {
|
|
|
79
79
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a82370c2b8c9cd62b5767ceeaeeaa7177">BriefConsCGDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
80
80
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a61c9d525088cc044f8937a39bb96aa93">CallGraphDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
81
81
|
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53">CFLGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
82
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
83
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
84
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
85
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
86
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
87
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
88
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
89
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
90
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
91
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
92
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
93
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
94
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
95
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
96
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
97
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
98
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
99
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
100
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
101
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
102
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
103
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
104
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
105
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
106
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
107
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
108
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
109
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
135
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
141
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
143
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
149
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
151
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
153
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
155
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
157
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
159
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
160
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
161
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
162
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
163
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
164
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
165
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
166
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
167
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
168
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
169
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
170
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
171
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
172
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
173
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
174
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
175
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
176
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
177
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
178
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
179
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
180
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
181
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
182
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
183
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
184
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
185
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
186
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
187
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
188
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
189
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
190
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
191
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">CFLSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
83
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a6a62b34de8ec23899a8024e0450c43df">ClockType</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
84
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a8459d43a21bcf8a50fc55d14fcf5a81e">ClusterAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
85
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a">ClusterFs</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
86
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819">ClusterMethod</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
87
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a485ec0be47c5e78bac4511d00687aee1">ConnectVCallOnCHA</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
88
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a69a7d0431c0ddfefed1cb97f3571303a">ConsCGDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
89
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2">ContextInsensitive</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
90
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a7b9af13feccc116377aeb107640ae874">CxtBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
91
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a21cbaab292e9f5bd39109f774fcc88d4">CxtLimit</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
92
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">DDASelected</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
93
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">DetectPWC</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
94
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3e311bdcdaf0e39fd7d8566dc7866a44">DiffPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
95
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">DisableWarn</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
96
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">DoLockAnalysis</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
97
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">DumpCHA</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
98
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">DumpFree</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
99
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">DumpICFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
100
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">DumpMSSA</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
101
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">DumpSlice</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
102
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">DumpSUPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
103
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">DumpSUStore</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
104
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">DumpUninitPtr</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
105
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">DumpUninitVar</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
106
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">DumpVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
107
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">EnableAliasCheck</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
108
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">EnableThreadCallGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
109
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">FirstFieldEqBase</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
110
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">FlexSymMap</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">FlowBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">FSAnno</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">FsTimeLimit</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">FuncPointerPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">GrammarFilename</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38">Graphtxt</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">HandBlackHole</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040">IgnoreDeadFun</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5896e2aaf59305441a74ede0dfb85845">INCDFPTData</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">IndirectCallLimit</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a35cfe6add81dc82983e0c53c36c6e667">InsenCycle</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa1a3b9293dffeef1bb16a2a7b3a007dd">InsenRecur</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">IntraLock</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#acd687c31bb6662940ab8a1c3d17dc1ef">KeepAOFI</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66">LockValid</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940">LocMemModel</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">LoopAnalysis</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">LoopBound</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">MallocOnly</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">MarkedClocksOnly</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">MaxContextLen</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">MaxFieldLimit</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">MaxPathLen</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">MaxStepInWrapper</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a389c1868083100ad8ebfbf935a85a1e1">MaxZ3Size</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">MemPar</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">ModelArrays</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">ModelConsts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">MSSAFun</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
140
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">NodeAllocStrat</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
141
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">OCGDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">Options</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">OPTSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">PAGDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
145
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">PAGPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
146
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">PASelected</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">PEGTransfer</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">PlainMappingFs</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
149
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">PredictPtOcc</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">PrintAliases</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">PrintCFL</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
152
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">PrintCGGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
153
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">PrintCPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
154
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">PrintDCHG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">PrintInterLev</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
156
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">PrintLockSpan</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
157
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">PrintPathCond</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
158
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">PrintQueryPts</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
159
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">PrintValidRes</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
160
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">PStat</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
161
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">ptDataBacking</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
162
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">PTSAllPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
163
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">PTSPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
164
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">PtType</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
165
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">ReadAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
166
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">ReadPrecisionTDEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
167
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">ReadSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
168
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">RegionAlign</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
169
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">RegionedClustering</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
170
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a5fb7733fd66ecad30eea8ced3839e590">SABERFULLSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
171
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053">SelfCycle</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
172
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">ShowHiddenNode</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
173
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">ShowSVFIRValue</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
174
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3">SingleLoad</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
175
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SingleStride</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
176
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403">SingleVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
177
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#abae23cb06d932f93900f627813b9f4a4">StatBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
178
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2">SVFGWithIndirectCall</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
179
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385">SVFMain</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
180
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SymTabPrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
181
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a40080aa0a7c926c6f2797e3d7856c03e">TaintUninitHeap</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
182
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aa1d9db53dbb6e1364662a8297a744bbc">TaintUninitStack</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
183
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a19758db674de8af8a1c80734a1c0fac8">TCTDotGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
184
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#affd0cb6e0cb91e096537a3d3198bf4e5">TypePrint</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
185
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762">UsePCG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
186
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#afb6fabc25c0d7f9e9d1708ce648797fc">UsePreCompFieldSensitive</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
187
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a3c3d704c209c4e6eed1a771caf8214ce">UserInputQuery</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
188
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c">ValidateTests</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
189
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#adba18ce8f1496fe2e57a934f11c2dfd9">VersioningThreads</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
190
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a2a9fe90fae25f3de780f91b7e296b49a">VtableInSVFIR</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
191
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a0865038c4738fcc8f47106faad03d98a">WPANum</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
192
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4c7eb57066c80c62ef394d644833214a">WriteAnder</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
193
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1Options.html#a4a9e039ba28cc7cdadf9d9d4fa64ab11">WriteSVFG</a></td><td class="entry"><a class="el" href="classSVF_1_1Options.html">SVF::Options</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
193
194
|
</table></div><!-- contents -->
|
|
194
195
|
<!-- start footer part -->
|
|
195
196
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -331,6 +331,8 @@ Static Public Attributes</h2></td></tr>
|
|
|
331
331
|
<tr class="separator:a79dff5235e82e1313fa4b053f866f357"><td class="memSeparator" colspan="2"> </td></tr>
|
|
332
332
|
<tr class="memitem:a7d566af0280a0c2457947fd426c81c81"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">PEGTransfer</a></td></tr>
|
|
333
333
|
<tr class="separator:a7d566af0280a0c2457947fd426c81c81"><td class="memSeparator" colspan="2"> </td></tr>
|
|
334
|
+
<tr class="memitem:a13ff50def26bcf8f79d3222c6948cbfe"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe">CFLSVFG</a></td></tr>
|
|
335
|
+
<tr class="separator:a13ff50def26bcf8f79d3222c6948cbfe"><td class="memSeparator" colspan="2"> </td></tr>
|
|
334
336
|
<tr class="memitem:a420e6656b02fd900430d51b8b4a5c6c1"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1">LoopAnalysis</a></td></tr>
|
|
335
337
|
<tr class="separator:a420e6656b02fd900430d51b8b4a5c6c1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
336
338
|
<tr class="memitem:ab7161ca7a809792af82e5aabdfcc3bfb"><td class="memItemLeft" align="right" valign="top">static const llvm::cl::opt< unsigned > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb">LoopBound</a></td></tr>
|
|
@@ -608,6 +610,30 @@ Static Public Attributes</h2></td></tr>
|
|
|
608
610
|
|
|
609
611
|
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00253">253</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
610
612
|
|
|
613
|
+
</div>
|
|
614
|
+
</div>
|
|
615
|
+
<a id="a13ff50def26bcf8f79d3222c6948cbfe"></a>
|
|
616
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a13ff50def26bcf8f79d3222c6948cbfe">◆ </a></span>CFLSVFG</h2>
|
|
617
|
+
|
|
618
|
+
<div class="memitem">
|
|
619
|
+
<div class="memproto">
|
|
620
|
+
<table class="mlabels">
|
|
621
|
+
<tr>
|
|
622
|
+
<td class="mlabels-left">
|
|
623
|
+
<table class="memname">
|
|
624
|
+
<tr>
|
|
625
|
+
<td class="memname">const llvm::cl::opt< bool > SVF::Options::CFLSVFG</td>
|
|
626
|
+
</tr>
|
|
627
|
+
</table>
|
|
628
|
+
</td>
|
|
629
|
+
<td class="mlabels-right">
|
|
630
|
+
<span class="mlabels"><span class="mlabel">static</span></span> </td>
|
|
631
|
+
</tr>
|
|
632
|
+
</table>
|
|
633
|
+
</div><div class="memdoc">
|
|
634
|
+
|
|
635
|
+
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00257">257</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
636
|
+
|
|
611
637
|
</div>
|
|
612
638
|
</div>
|
|
613
639
|
<a id="a6a62b34de8ec23899a8024e0450c43df"></a>
|
|
@@ -1695,7 +1721,7 @@ Static Public Attributes</h2></td></tr>
|
|
|
1695
1721
|
</table>
|
|
1696
1722
|
</div><div class="memdoc">
|
|
1697
1723
|
|
|
1698
|
-
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#
|
|
1724
|
+
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00260">260</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
1699
1725
|
|
|
1700
1726
|
</div>
|
|
1701
1727
|
</div>
|
|
@@ -1719,7 +1745,7 @@ Static Public Attributes</h2></td></tr>
|
|
|
1719
1745
|
</table>
|
|
1720
1746
|
</div><div class="memdoc">
|
|
1721
1747
|
|
|
1722
|
-
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#
|
|
1748
|
+
<p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00261">261</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
|
|
1723
1749
|
|
|
1724
1750
|
</div>
|
|
1725
1751
|
</div>
|
|
@@ -81,13 +81,14 @@ Inheritance diagram for SVF::PTAStat:</div>
|
|
|
81
81
|
<map id="SVF::PTAStat_map" name="SVF::PTAStat_map">
|
|
82
82
|
<area href="classSVF_1_1SVFStat.html" alt="SVF::SVFStat" shape="rect" coords="0,0,200,24"/>
|
|
83
83
|
<area href="classSVF_1_1AndersenStat.html" alt="SVF::AndersenStat" shape="rect" coords="210,112,410,136"/>
|
|
84
|
-
<area href="
|
|
85
|
-
<area href="
|
|
86
|
-
<area href="
|
|
87
|
-
<area href="
|
|
88
|
-
<area href="
|
|
89
|
-
<area href="
|
|
90
|
-
<area href="
|
|
84
|
+
<area href="classSVF_1_1CFLStat.html" alt="SVF::CFLStat" shape="rect" coords="210,168,410,192"/>
|
|
85
|
+
<area href="classSVF_1_1DDAStat.html" alt="SVF::DDAStat" shape="rect" coords="210,224,410,248"/>
|
|
86
|
+
<area href="classSVF_1_1FlowSensitiveStat.html" alt="SVF::FlowSensitiveStat" shape="rect" coords="210,280,410,304"/>
|
|
87
|
+
<area href="classSVF_1_1ICFGStat.html" alt="SVF::ICFGStat" shape="rect" coords="210,336,410,360"/>
|
|
88
|
+
<area href="classSVF_1_1MemSSAStat.html" alt="SVF::MemSSAStat" shape="rect" coords="210,392,410,416"/>
|
|
89
|
+
<area href="classSVF_1_1MTAStat.html" alt="SVF::MTAStat" shape="rect" coords="210,448,410,472"/>
|
|
90
|
+
<area href="classSVF_1_1SVFGStat.html" alt="SVF::SVFGStat" shape="rect" coords="210,504,410,528"/>
|
|
91
|
+
<area href="classSVF_1_1VersionedFlowSensitiveStat.html" alt="SVF::VersionedFlowSensitiveStat" shape="rect" coords="210,560,410,584"/>
|
|
91
92
|
</map>
|
|
92
93
|
</div></div>
|
|
93
94
|
<table class="memberdecls">
|
|
Binary file
|
|
@@ -84,18 +84,19 @@ Inheritance diagram for SVF::PointerAnalysis:</div>
|
|
|
84
84
|
<img src="classSVF_1_1PointerAnalysis.png" usemap="#SVF::PointerAnalysis_map" alt=""/>
|
|
85
85
|
<map id="SVF::PointerAnalysis_map" name="SVF::PointerAnalysis_map">
|
|
86
86
|
<area href="classSVF_1_1CondPTAImpl.html" alt="SVF::CondPTAImpl< ContextCond >" shape="rect" coords="0,56,215,80"/>
|
|
87
|
-
<area href="classSVF_1_1BVDataPTAImpl.html" alt="SVF::BVDataPTAImpl" shape="rect" coords="
|
|
88
|
-
<area href="classSVF_1_1CondPTAImpl.html" alt="SVF::CondPTAImpl< Cond >" shape="rect" coords="
|
|
87
|
+
<area href="classSVF_1_1BVDataPTAImpl.html" alt="SVF::BVDataPTAImpl" shape="rect" coords="787,56,1002,80"/>
|
|
88
|
+
<area href="classSVF_1_1CondPTAImpl.html" alt="SVF::CondPTAImpl< Cond >" shape="rect" coords="1012,56,1227,80"/>
|
|
89
89
|
<area href="classSVF_1_1ContextDDA.html" alt="SVF::ContextDDA" shape="rect" coords="0,112,215,136"/>
|
|
90
90
|
<area href="classSVF_1_1AndersenBase.html" alt="SVF::AndersenBase" shape="rect" coords="337,112,552,136"/>
|
|
91
91
|
<area href="classSVF_1_1CFLAlias.html" alt="SVF::CFLAlias" shape="rect" coords="562,112,777,136"/>
|
|
92
|
-
<area href="
|
|
93
|
-
<area href="
|
|
92
|
+
<area href="classSVF_1_1CFLVF.html" alt="SVF::CFLVF" shape="rect" coords="787,112,1002,136"/>
|
|
93
|
+
<area href="classSVF_1_1FlowDDA.html" alt="SVF::FlowDDA" shape="rect" coords="1012,112,1227,136"/>
|
|
94
|
+
<area href="classSVF_1_1FlowSensitive.html" alt="SVF::FlowSensitive" shape="rect" coords="1237,112,1452,136"/>
|
|
94
95
|
<area href="classSVF_1_1Andersen.html" alt="SVF::Andersen" shape="rect" coords="112,168,327,192"/>
|
|
95
96
|
<area href="classSVF_1_1Steensgaard.html" alt="SVF::Steensgaard" shape="rect" coords="337,168,552,192"/>
|
|
96
97
|
<area href="classSVF_1_1TypeAnalysis.html" alt="SVF::TypeAnalysis" shape="rect" coords="562,168,777,192"/>
|
|
97
|
-
<area href="classSVF_1_1FSMPTA.html" alt="SVF::FSMPTA" shape="rect" coords="
|
|
98
|
-
<area href="classSVF_1_1VersionedFlowSensitive.html" alt="SVF::VersionedFlowSensitive" shape="rect" coords="
|
|
98
|
+
<area href="classSVF_1_1FSMPTA.html" alt="SVF::FSMPTA" shape="rect" coords="1125,168,1340,192"/>
|
|
99
|
+
<area href="classSVF_1_1VersionedFlowSensitive.html" alt="SVF::VersionedFlowSensitive" shape="rect" coords="1350,168,1565,192"/>
|
|
99
100
|
<area href="classSVF_1_1AndersenSCD.html" alt="SVF::AndersenSCD" shape="rect" coords="0,224,215,248"/>
|
|
100
101
|
<area href="classSVF_1_1AndersenWaveDiff.html" alt="SVF::AndersenWaveDiff" shape="rect" coords="225,224,440,248"/>
|
|
101
102
|
<area href="classSVF_1_1AndersenSFR.html" alt="SVF::AndersenSFR" shape="rect" coords="0,280,215,304"/>
|
|
@@ -866,7 +867,7 @@ Private Member Functions</h2></td></tr>
|
|
|
866
867
|
|
|
867
868
|
<p>Start Analysis here (main part of pointer analysis). It needs to be implemented in child class. </p>
|
|
868
869
|
|
|
869
|
-
<p>Implemented in <a class="el" href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive</a>, <a class="el" href="classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba">SVF::ContextDDA</a>, <a class="el" href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA</a>, <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>, <a class="el" href="classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311">SVF::CFLAlias</a>, and <a class="el" href="classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef">SVF::TypeAnalysis</a>.</p>
|
|
870
|
+
<p>Implemented in <a class="el" href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive</a>, <a class="el" href="classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba">SVF::ContextDDA</a>, <a class="el" href="classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460">SVF::FlowDDA</a>, <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>, <a class="el" href="classSVF_1_1CFLAlias.html#afc6922e9f1965ed85ef87151e00f5311">SVF::CFLAlias</a>, <a class="el" href="classSVF_1_1CFLVF.html#a52bf916b33278f48d26c3f02947bf720">SVF::CFLVF</a>, and <a class="el" href="classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef">SVF::TypeAnalysis</a>.</p>
|
|
870
871
|
|
|
871
872
|
</div>
|
|
872
873
|
</div>
|