svf-tools 1.0.336 → 1.0.340
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/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
- package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +4 -2
- package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8cpp_source.html +17 -17
- package/SVF-doxygen/html/html/ICFG_8h_source.html +38 -37
- package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +22 -25
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +42 -43
- package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp.html +1 -0
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +6 -5
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +40 -40
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +12 -12
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +14 -14
- package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +22 -21
- package/SVF-doxygen/html/html/SVFStatements_8h_source.html +47 -47
- package/SVF-doxygen/html/html/SVFVariables_8h_source.html +91 -87
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +5 -5
- package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +11 -11
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +4 -4
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +9 -9
- package/SVF-doxygen/html/html/VFG_8h_source.html +8 -8
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +187 -188
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +160 -161
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +4 -7
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD-members.html +199 -200
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD-members.html +202 -203
- package/SVF-doxygen/html/html/classSVF_1_1AndersenHLCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD-members.html +195 -196
- package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +196 -197
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +205 -206
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +193 -194
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +116 -117
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +12 -15
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CloneDummyObjVar.html +13 -11
- package/SVF-doxygen/html/html/classSVF_1_1CloneFIObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CloneGepObjVar.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +19 -19
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl-members.html +104 -105
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +5 -8
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA-members.html +182 -183
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +12 -15
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyObjVar.html +46 -14
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyValVar.html +45 -14
- package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +219 -220
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +180 -181
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +9 -12
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +212 -213
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +17 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC-members.html +244 -245
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -10
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +1 -3
- package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +27 -27
- package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +27 -26
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +183 -116
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +9 -5
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter-members.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +26 -25
- package/SVF-doxygen/html/html/classSVF_1_1LoadStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1NormalGepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt-members.html +37 -36
- package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +27 -3
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis-members.html +78 -79
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +106 -146
- package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetPN-members.html +75 -73
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1RetPN.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +14 -14
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +122 -115
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +171 -172
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +0 -3
- package/SVF-doxygen/html/html/classSVF_1_1StoreStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +18 -18
- package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +161 -162
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +3 -6
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +25 -25
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +17 -11
- package/SVF-doxygen/html/html/classSVF_1_1ValVar.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN-members.html +74 -72
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +60 -16
- package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1VariantGepStmt.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +254 -255
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -5
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
- package/SVF-doxygen/html/html/functions_c.html +12 -12
- package/SVF-doxygen/html/html/functions_d.html +0 -3
- package/SVF-doxygen/html/html/functions_func_c.html +19 -19
- package/SVF-doxygen/html/html/functions_func_d.html +0 -3
- package/SVF-doxygen/html/html/functions_func_i.html +13 -10
- package/SVF-doxygen/html/html/functions_i.html +10 -6
- package/SVF-doxygen/html/html/functions_l.html +6 -6
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +9 -9
- package/SVF-doxygen/html/html/functions_r.html +1 -1
- package/SVF-doxygen/html/html/functions_rela.html +3 -0
- package/SVF-doxygen/html/html/functions_s.html +14 -12
- package/SVF-doxygen/html/html/functions_t.html +7 -5
- package/SVF-doxygen/html/html/functions_v.html +6 -6
- package/SVF-doxygen/html/html/hierarchy.html +5 -5
- package/SVF-doxygen/html/html/search/all_10.js +7 -7
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +10 -10
- package/SVF-doxygen/html/html/search/all_14.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +3 -3
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_4.js +0 -1
- package/SVF-doxygen/html/html/search/all_9.js +2 -1
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_d.js +3 -3
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_3.js +0 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -0
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/related_4.js +1 -0
- package/SVF-doxygen/html/html/search/variables_14.js +1 -1
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html +2 -2
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
- package/include/Graphs/ICFG.h +5 -3
- package/include/MemoryModel/PointerAnalysis.h +0 -3
- package/include/MemoryModel/SVFStatements.h +5 -0
- package/include/MemoryModel/SVFVariables.h +25 -4
- package/include/MemoryModel/SymbolTableInfo.h +2 -2
- package/lib/Graphs/ICFG.cpp +2 -2
- package/lib/MSSA/MemSSA.cpp +1 -1
- package/lib/MemoryModel/PointerAnalysis.cpp +1 -21
- package/lib/MemoryModel/SVFStatements.cpp +10 -1
- package/lib/SVF-FE/ICFGBuilder.cpp +16 -2
- package/lib/SVF-FE/SVFIRBuilder.cpp +13 -0
- package/lib/SVF-FE/SymbolTableBuilder.cpp +8 -8
- package/package.json +1 -1
|
@@ -165,188 +165,187 @@ $(function() {
|
|
|
165
165
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27">dumpAllTypes</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
166
166
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae20bbb7991f585deb2e6d0d8115b1b93">dumpCPts</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
167
167
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">dumpCPtSet</a>(const PointsTo &cpts) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
168
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
169
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
170
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
171
|
-
<tr><td class="entry"><a class="el" href="
|
|
172
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
173
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
174
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
175
|
-
<tr><td class="entry"><a class="el" href="
|
|
176
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
177
|
-
<tr><td class="entry"><a class="el" href="
|
|
178
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
179
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
180
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
181
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
182
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
183
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
184
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
185
|
-
<tr><td class="entry"><a class="el" href="
|
|
186
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
187
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
188
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
189
|
-
<tr><td class="entry"><a class="el" href="
|
|
190
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
191
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
193
|
-
<tr><td class="entry"><a class="el" href="
|
|
194
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
195
|
-
<tr><td class="entry"><a class="el" href="
|
|
196
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
197
|
-
<tr><td class="entry"><a class="el" href="
|
|
198
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
199
|
-
<tr><td class="entry"><a class="el" href="
|
|
200
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
201
|
-
<tr><td class="entry"><a class="el" href="
|
|
202
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
203
|
-
<tr><td class="entry"><a class="el" href="
|
|
204
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
205
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
206
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
207
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
208
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
209
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
210
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
211
|
-
<tr><td class="entry"><a class="el" href="
|
|
212
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
213
|
-
<tr><td class="entry"><a class="el" href="
|
|
214
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
215
|
-
<tr><td class="entry"><a class="el" href="
|
|
216
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
217
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
218
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
219
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
220
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
221
|
-
<tr><td class="entry"><a class="el" href="
|
|
222
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
223
|
-
<tr><td class="entry"><a class="el" href="
|
|
224
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
225
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
226
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
227
|
-
<tr><td class="entry"><a class="el" href="
|
|
228
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
229
|
-
<tr><td class="entry"><a class="el" href="
|
|
230
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
231
|
-
<tr><td class="entry"><a class="el" href="
|
|
232
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#
|
|
233
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#
|
|
234
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
235
|
-
<tr><td class="entry"><a class="el" href="
|
|
236
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
237
|
-
<tr><td class="entry"><a class="el" href="
|
|
238
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
239
|
-
<tr><td class="entry"><a class="el" href="
|
|
240
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
241
|
-
<tr><td class="entry"><a class="el" href="
|
|
242
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
243
|
-
<tr><td class="entry"><a class="el" href="
|
|
244
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
245
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
246
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
247
|
-
<tr><td class="entry"><a class="el" href="
|
|
248
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
249
|
-
<tr><td class="entry"><a class="el" href="
|
|
250
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
251
|
-
<tr><td class="entry"><a class="el" href="
|
|
252
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
253
|
-
<tr><td class="entry"><a class="el" href="
|
|
254
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
255
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
256
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
257
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
258
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
259
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
260
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
261
|
-
<tr><td class="entry"><a class="el" href="
|
|
262
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
263
|
-
<tr><td class="entry"><a class="el" href="
|
|
264
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
265
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
266
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
267
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
268
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
269
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
270
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
271
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
272
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
273
|
-
<tr><td class="entry"><a class="el" href="
|
|
274
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
275
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
276
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
277
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
278
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
279
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
280
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
281
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
282
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
283
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
284
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
285
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
286
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
287
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
288
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
289
|
-
<tr><td class="entry"><a class="el" href="
|
|
290
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
291
|
-
<tr><td class="entry"><a class="el" href="
|
|
292
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
293
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
294
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
295
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9">PTAName</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
296
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">ptaTy</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
168
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a1a6cee7e690ccb3e53cdc4c3e67b386d">dumpPts</a>(NodeID ptr, const PointsTo &pts)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
169
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ab83b827ea42d3a61aad20b1a1485d866">dumpStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
170
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a8d6cea841b6ded0f80ef2b5784e9b752">dumpTopLevelPtsTo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
171
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a034e3c8b2eec00aee9de439dfeeda332">edgeInSVFGSCC</a>(const SVFGEdge *edge)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
172
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">expandFIObjs</a>(const PointsTo &pts, PointsTo &expandedPts)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
173
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">expandFIObjs</a>(const NodeBS &pts, NodeBS &expandedPts)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
174
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abe1d8104c77bfe4bbc201a64410c7f61">FieldS_DDA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
175
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a">finalize</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
176
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a52737dd41c63404ef91691154aa250ce">findPT</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
177
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a">FlowDDA</a>(SVFIR *_pag, DDAClient *client)</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
178
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18">FlowS_DDA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
179
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82">FSCS_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
180
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a30826fb1ddb602fd4439ca84eb73e8f4">FSCSPS_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
181
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322">FSDATAFLOW_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
182
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78">FSSPARSE_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
183
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a088dda60195ab259693977af8414f203">FSTBHC_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
184
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11">FunctionSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"></td></tr>
|
|
185
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a5dddd53b4ca9d7cc23d88ed9f3de9fde">getAllFieldsObjVars</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
186
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a60b111647e000cc983aa52513f90afbc">getAllValidPtrs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
187
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac23f71c1307cda9cba44acc40059f0a3">getAnalysisTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
188
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ac39860015b45b9af6351d0343f8983bb">getAndersenAnalysis</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
189
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9f1c599cb9f6e2ae83e29bb84ef6831c">getBaseObjVar</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
190
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704">getCachedADPointsTo</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
191
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf">getCachedPointsTo</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
192
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b">getCachedTLPointsTo</a>(const LocDPItem &dpm) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
193
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248">getCallGraphSCC</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
194
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8">getCallGraphSCCRepNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
195
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a73bbf4f763316e8d5db62d163da35a18">getCandidateQueries</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
196
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5">getCHGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
197
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a086e428c83c2c3ed7fdfbbfd17abdf78">getConservativeCPts</a>(const LocDPItem &dpm) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
198
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a55803a2d30137b5ad15c5afeec7c6b28">getDefSVFGNode</a>(const PAGNode *pagNode) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
199
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a642613e98982259183d3f34a97f05502">getDFPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
200
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ab9c0bb439f98ae11dd178148109697ab">getDiffPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
201
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ad7d92fad8606d5512786a7b7a08930e2">getDPIm</a>(const NodeID &var, const SVFGNode *loc) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
202
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ac4cb0b666d68d135c5e385bfc880fd67">getDPImWithOldCond</a>(const LocDPItem &oldDpm, const NodeID &var, const SVFGNode *loc)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
203
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">getFIObjVar</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
204
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a74df51017ceaa389de2c2f33f3522fc3">getFunPtr</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
205
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b">getGepObjVar</a>(NodeID id, const LocationSet &ls)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
206
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e">getICFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
207
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e">getImplTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
208
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a1ca30dfa42702071b65d363c76d25cbe">getIndCallMap</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
209
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9e473e97a0bad49996faacbc05be7e68">getIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
210
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9d3e7753643166465b0d647a75bc145a">getIndirectCallsites</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
211
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ad42efad8e857290459689833c224e467">getLoadCVar</a>(const LocDPItem &dpm) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
212
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a630aad14a285c954a50c632f9cb13fa9">getLoadDpm</a>(const LocDPItem &dpm) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
213
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">getModule</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
214
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">getMutDFPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
215
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac522df904e702381222a4d9b205c775b">getNumOfResolvedIndCallEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
216
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
217
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
218
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792">getPtCache</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
219
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81">getPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
220
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a">getPtrNodeID</a>(const NodeID &var) const override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
221
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">getPts</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
222
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">getRevPts</a>(NodeID nodeId)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
223
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad">getStat</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
224
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#acb7980c7e0d1d8ad6abab0b80831d2a9">getSVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
225
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a1fdd7c0efa8f0506edfba2da8f2b3cc0">getSVFGSCC</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
226
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a1583ed2eb1d4b88dc2a5b4c0b6842496">getSVFGSCCRepNode</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
227
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">getTypeSystem</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
228
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a4859864a4c72d5e04c10305e4579e8ee">getVersionedPTDataTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
229
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0e09e07ee52ba605dc386ae1d7b965e2">getVFnsFromCHA</a>(const CallBlockNode *cs, VFunSet &vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
230
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a8fa5b8a7b410faf63106a879ff72bf51">getVFnsFromPts</a>(const CallBlockNode *cs, const PointsTo &target, VFunSet &vfns)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
231
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a1b8d66dbe8c6587e74d70f5d231eb69d">handleAddr</a>(PointsTo &pts, const LocDPItem &dpm, const AddrSVFGNode *addr) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
232
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#addb412dc03c7684889693ce263585867">handleBKCondition</a>(LocDPItem &dpm, const SVFGEdge *edge) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
233
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a8930c3b8f3b58dca8da6017310bb74ae">handleOutOfBudgetDpm</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"></td></tr>
|
|
234
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d">handleSingleStatement</a>(const LocDPItem &dpm, PointsTo &pts)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
235
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a8d3a457efb1963f8d87305bf33c02754">hasIndCSCallees</a>(const CallBlockNode *cs) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
236
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2">icfg</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
237
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1">initialize</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
238
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67">inSameCallGraphSCC</a>(const SVFFunction *fun1, const SVFFunction *fun2)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
239
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a9aaa5ee3dc8abc51c4b6e463e1949ee7">isArrayCondMemObj</a>(const NodeID &var) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
240
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a89dfeedf8e3e91603a1e9c73e3608a73">isArrayMemObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
241
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20">isbkVisited</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
242
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b">isBlkObjOrConstantObj</a>(NodeID ptd) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
243
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">isFieldInsenCondMemObj</a>(const NodeID &var) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
244
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">isFieldInsensitive</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
245
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#af90d2ccb01402c5ca9d7a059f345c816">isFIObjNode</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
246
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#afc3b2b4e0da7a2484ec35c3ce84a9d60">isHeapCondMemObj</a>(const NodeID &var, const StoreSVFGNode *store) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
247
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ae6ea391ac44dffeb6899bb44323c5361">isHeapMemObj</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
248
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aa725a0c9426e8615cbc078c88561f66a">isInRecursion</a>(const SVFFunction *fun) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
249
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a20cadb651b41343437e135e985c4e566">isLocalCVarInRecursion</a>(const NodeID &var) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
250
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a108380f6f0b67654bb7c7676686096c8">isLocalVarInRecursiveFun</a>(NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
251
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a345e5379f53b618adef014aa6887bfe7">isMustAlias</a>(const LocDPItem &, const LocDPItem &)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
252
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9">isNonPointerObj</a>(NodeID ptd) const</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
253
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8">isOutOfBudgetDpm</a>(const LocDPItem &dpm) const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
254
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734">isOutOfBudgetQuery</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
255
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a94bcddbc7b9ccecb3fbb693b13372785">isStrongUpdate</a>(const PointsTo &dstCPSet, const StoreSVFGNode *store)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
256
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">isSVFGNodeInCycle</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
257
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571">isTopLevelPtrStmt</a>(const SVFGNode *stmt)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
258
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4">loadToPTCVarMap</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
259
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aa724698d499615bce7caf8f312b746a7">locToDpmSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
260
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83">LocToDPMVecMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"></td></tr>
|
|
261
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a7d56edc750cef8d523c04a68f0d08e0d">loopInfoBuilder</a></td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
262
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a7112ce6145be0855f8b035bb0d8a331c">markbkVisited</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
263
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a521f99705f67e3fea7167728a4e37129">matchArgs</a>(const CallBlockNode *cs, const SVFFunction *callee)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
264
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aa1cfb236b5127b660373c36b77a79ab5e">Mutable</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
265
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7">MutDFPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
266
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646">MutDiffPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
267
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae">MutIncDFPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
268
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073">MutPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
269
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13">MutVersionedPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
270
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b">normalizePointsTo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
271
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a9830d4676fd424b633f8e4d918734296">onTheFlyCallGraphSolve</a>(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
272
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac">OnTheFlyIterBudgetForStat</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
273
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ab60c701f1881d88aa4440991fb972638">OOBResetVisited</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
274
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880">outOfBudgetDpms</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
275
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6">outOfBudgetQuery</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
276
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">pag</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
277
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58">PathS_DDA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
278
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163">PersDFPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
279
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e">PersDiffPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
280
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a29172b3e8b3891a5d946a493cfcde2e7">PersIncDFPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
281
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640">Persistent</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
282
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1">PersPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
283
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8">PersVersionedPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
284
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f">PointerAnalysis</a>(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
285
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">print_stat</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
286
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a28bcd16249c04eea2d13fafd2bcaf9d9">printIndCSTargets</a>(const CallBlockNode *cs, const FunctionSet &targets)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
287
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3">printIndCSTargets</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
288
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">printStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
289
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ac48be374351dad54ee2418dde841cf24">processGepPts</a>(const GepSVFGNode *gep, const PointsTo &srcPts) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
290
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364">propagateViaObj</a>(const NodeID &storeObj, const NodeID &loadObj)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
291
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe">ptaCallGraph</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
292
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">PTAImplTy</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
293
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">ptaImplTy</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
294
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9">PTAName</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
297
295
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">PTATY</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
298
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
299
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
300
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
301
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
302
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
303
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
304
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
305
|
-
<tr><td class="entry"><a class="el" href="
|
|
306
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
307
|
-
<tr><td class="entry"><a class="el" href="
|
|
308
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
309
|
-
<tr><td class="entry"><a class="el" href="
|
|
310
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
311
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
312
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
313
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
314
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
315
|
-
<tr><td class="entry"><a class="el" href="
|
|
316
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
317
|
-
<tr><td class="entry"><a class="el" href="
|
|
318
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
319
|
-
<tr><td class="entry"><a class="el" href="
|
|
320
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
321
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
322
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
323
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
324
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#
|
|
325
|
-
<tr><td class="entry"><a class="el" href="
|
|
326
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
327
|
-
<tr><td class="entry"><a class="el" href="
|
|
328
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
329
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
330
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
331
|
-
<tr><td class="entry"><a class="el" href="
|
|
332
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
333
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
334
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
335
|
-
<tr><td class="entry"><a class="el" href="
|
|
336
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
337
|
-
<tr><td class="entry"><a class="el" href="
|
|
338
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
339
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
340
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
341
|
-
<tr><td class="entry"><a class="el" href="
|
|
342
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
343
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#
|
|
344
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
345
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
346
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
347
|
-
<tr><td class="entry"><a class="el" href="
|
|
348
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
349
|
-
<tr><td class="entry"><a class="el" href="
|
|
296
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">ptaTy</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
297
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">PTBackingType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
298
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483">PTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
299
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a290501006cb700db0e07dc577429c928">readFromFile</a>(const std::string &filename)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
300
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a857cdacfc8cafdeb1431bdfa077ef9b5">readFromModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
301
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a8c5220108a65fa281959529cb1e9cc57">reCompute</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
302
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#ace037388135f272365cee2e87844bfba">reComputeForEdges</a>(const LocDPItem &dpm, const SVFGEdgeSet &edgeSet, bool indirectCall=false)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
303
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a7a87ca1a439e871896f92e4342befa2c">remapPointsToSets</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
304
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a73fb8e595473e0c7df1dd0de4968ad13">resetObjFieldSensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
305
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7">resetQuery</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
306
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac9f54859eabff4c1e1f5785d57a0c818">resolveCPPIndCalls</a>(const CallBlockNode *cs, const PointsTo &target, CallEdgeMap &newEdges)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
307
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192">resolveFunPtr</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
308
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">resolveIndCalls</a>(const CallBlockNode *cs, const PointsTo &target, CallEdgeMap &newEdges, LLVMCallGraph *callgraph=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
309
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a7d0775354df32f293e98578ed071d33c">rmSUStat</a>(const LocDPItem &dpm, const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
310
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">setCallGraph</a>(PTACallGraph *cg)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
311
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">setCallGraphSCC</a>(CallGraphSCC *scc)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
312
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#adcb641eec4f620effdb3f61a46429f40">setDDAStat</a>(DDAStat *s)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
313
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ac5683fe2e24b393ccc5cb6d8bc92cf2b">setObjFieldInsensitive</a>(NodeID id)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
314
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7">startNewPTCompFromLoadSrc</a>(PointsTo &pts, const LocDPItem &oldDpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
315
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1">startNewPTCompFromStoreDst</a>(PointsTo &pts, const LocDPItem &oldDpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
316
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f">stat</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
317
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad24ef5326c26db858c73432aa7e67a0a">Steensgaard_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
318
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8">storeToDPMs</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
319
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab">StoreToPMSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"></td></tr>
|
|
320
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a">svfgBuilder</a></td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
321
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a6489319b33a807f7caba2d34017a3e1b">SVFGEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"></td></tr>
|
|
322
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e">SVFGSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"></td></tr>
|
|
323
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580">SVFGSCCDetection</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
324
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5">svfMod</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
325
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554">testIndCallReachability</a>(LocDPItem &dpm, const SVFFunction *callee, CallSiteID csId)</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"></td></tr>
|
|
326
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a3fb52286c5324ea3d58e22c630b307e3">testOutOfBudget</a>(const LocDPItem &dpm)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
327
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">TypeCPP_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
328
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a219baed92b811d5519b056ad393fceed">typeSystem</a></td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
329
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a3d08dfe5a1571f5d631afcd304905a05">unionDDAPts</a>(LocDPItem dpm, const PointsTo &targetPts) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
330
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a99764ee5bc19378795fe464e9036e78b">DDAVFSolver< NodeID, PointsTo, LocDPItem >::unionDDAPts</a>(PointsTo &pts, const PointsTo &targetPts)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
331
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ae7073c07bfd7912f888d54d4652c7cc2">unionPts</a>(NodeID id, const PointsTo &target)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
332
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad5e657b856681a534a8990df35ea08d0">unionPts</a>(NodeID id, NodeID ptd)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
333
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a239a55960dfbbe73df63063070a18b56">updateCachedPointsTo</a>(const LocDPItem &dpm, const PointsTo &pts)</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
334
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa534e475fa34fa322c567bc376a3da70">updateCallGraph</a>(const CallSiteToFunPtrMap &)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
335
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684">updateCallGraphAndSVFG</a>(const LocDPItem &dpm, const CallBlockNode *cs, SVFGEdgeSet &svfgEdges) override</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
336
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#ab982e6bbd99a2f9a0a3abbebeeb00dcc">validateExpectedFailureTests</a>(std::string fun)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
337
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8">validateSuccessTests</a>(std::string fun)</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
338
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df">validateTests</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">virtual</span></td></tr>
|
|
339
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a8bc5e039958280b18e5a00a56e0bdc94">VersionedPTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"></td></tr>
|
|
340
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a412254a7738029bf3ee96f5c15a6bec9">VFS_WPA</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
341
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478">VFunSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
342
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#af46f4b99fc2d5061c9266a7f45aafaca">VTableSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"></td></tr>
|
|
343
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25c68f9d2b88437778e854ff0d741d1b">writeToFile</a>(const std::string &filename)</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
344
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa0ca07204a31004fb876c6e18d1ac1ca">writeToModule</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
345
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html#a06f211184d3e75f0ca351a4b8092a478">~BVDataPTAImpl</a>()</td><td class="entry"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">SVF::BVDataPTAImpl</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
346
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html#a211f2f0c572d5085d22c2cb40341b606">~DDAVFSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver< NodeID, PointsTo, LocDPItem ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
347
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html#a2f67714c2dc72384de9c80bf0848adfd">~FlowDDA</a>()</td><td class="entry"><a class="el" href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
348
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html#a4aeca84393c5586eea7a480737daf17c">~PointerAnalysis</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
350
349
|
</table></div><!-- contents -->
|
|
351
350
|
<!-- start footer part -->
|
|
352
351
|
<hr class="footer"/><address class="footer"><small>
|