svf-tools 1.0.537 → 1.0.540
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/AndersenSFR_8h_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +16 -16
- package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -9
- package/SVF-doxygen/html/html/BreakConstantExpr_8h_source.html +2 -1
- package/SVF-doxygen/html/html/CFGNormalizer_8h_source.html +1 -1
- package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +5 -4
- package/SVF-doxygen/html/html/CFLAlias_8h_source.html +15 -15
- package/SVF-doxygen/html/html/CFLGramGraphChecker_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CFLGrammar_8txt.html +39 -39
- package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +20 -8
- package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +16 -15
- package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +1 -1
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +2 -1
- package/SVF-doxygen/html/html/CPPUtil_8h.html +4 -4
- package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAStat_8h.html +1 -1
- package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
- package/SVF-doxygen/html/html/GrammarBuilder_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/GrammarBuilder_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGStat_8h.html +1 -1
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp.html +1 -1
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp.html +1 -1
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +2 -1
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8h.html +1 -1
- package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp.html +1 -1
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Options_8cpp_source.html +5 -3
- package/SVF-doxygen/html/html/Options_8h.html +1 -1
- package/SVF-doxygen/html/html/Options_8h_source.html +5 -3
- package/SVF-doxygen/html/html/PEGGrammar_8txt.html +314 -0
- package/SVF-doxygen/html/html/PTAStat_8cpp.html +1 -1
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/PTAStat_8h.html +2 -2
- package/SVF-doxygen/html/html/PTAStat_8h_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGStat_8h.html +1 -1
- package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFIR_8h_source.html +33 -33
- package/SVF-doxygen/html/html/SVFUtil_8h.html +1 -1
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp.html +1 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Util_2BasicTypes_8h.html +1 -1
- package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/WPAStat_8h.html +1 -1
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
- package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +12 -11
- package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +73 -4
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +150 -152
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +46 -141
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +149 -151
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +5 -11
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +161 -163
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +4 -10
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +156 -158
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +14 -20
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1BreakConstantGEPs.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +10 -7
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +11 -11
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1GrammarBuilder.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -1
- 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_1MTAStat.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html +3 -2
- package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +8 -6
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +54 -2
- package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +86 -88
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1SaberCheckerAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
- package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
- package/SVF-doxygen/html/html/dir_eef3a4ca6ca2cab0eb5fbea30ec32c1a.html +0 -2
- package/SVF-doxygen/html/html/files.html +15 -15
- package/SVF-doxygen/html/html/functions_a.html +3 -6
- package/SVF-doxygen/html/html/functions_b.html +3 -0
- package/SVF-doxygen/html/html/functions_c.html +22 -20
- package/SVF-doxygen/html/html/functions_f.html +10 -12
- package/SVF-doxygen/html/html/functions_func.html +5 -8
- package/SVF-doxygen/html/html/functions_func_b.html +3 -0
- package/SVF-doxygen/html/html/functions_func_m.html +1 -4
- package/SVF-doxygen/html/html/functions_func_p.html +2 -2
- package/SVF-doxygen/html/html/functions_i.html +6 -6
- package/SVF-doxygen/html/html/functions_m.html +0 -3
- package/SVF-doxygen/html/html/functions_n.html +3 -0
- package/SVF-doxygen/html/html/functions_o.html +6 -6
- package/SVF-doxygen/html/html/functions_p.html +15 -16
- package/SVF-doxygen/html/html/functions_r.html +2 -2
- package/SVF-doxygen/html/html/functions_s.html +8 -6
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_vars_n.html +3 -0
- package/SVF-doxygen/html/html/functions_vars_p.html +3 -0
- package/SVF-doxygen/html/html/globals.html +1 -0
- package/SVF-doxygen/html/html/globals_a.html +3 -1
- package/SVF-doxygen/html/html/globals_c.html +6 -5
- package/SVF-doxygen/html/html/globals_e.html +1 -0
- package/SVF-doxygen/html/html/globals_f.html +7 -5
- package/SVF-doxygen/html/html/globals_g.html +7 -3
- package/SVF-doxygen/html/html/globals_m.html +6 -3
- package/SVF-doxygen/html/html/globals_v.html +2 -1
- package/SVF-doxygen/html/html/globals_vars.html +22 -7
- package/SVF-doxygen/html/html/namespaceSVF.html +3 -3
- package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +4 -4
- package/SVF-doxygen/html/html/search/all_0.js +1 -1
- package/SVF-doxygen/html/html/search/all_1.js +2 -3
- package/SVF-doxygen/html/html/search/all_10.js +11 -9
- package/SVF-doxygen/html/html/search/all_11.js +1 -1
- package/SVF-doxygen/html/html/search/all_12.js +8 -8
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_15.js +3 -3
- package/SVF-doxygen/html/html/search/all_2.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +4 -4
- package/SVF-doxygen/html/html/search/all_5.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +6 -6
- package/SVF-doxygen/html/html/search/all_7.js +4 -4
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_b.js +1 -1
- package/SVF-doxygen/html/html/search/all_c.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +2 -3
- package/SVF-doxygen/html/html/search/all_e.js +4 -3
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- package/SVF-doxygen/html/html/search/files_c.js +1 -0
- package/SVF-doxygen/html/html/search/functions_0.js +0 -1
- package/SVF-doxygen/html/html/search/functions_1.js +1 -0
- package/SVF-doxygen/html/html/search/functions_c.js +0 -1
- package/SVF-doxygen/html/html/search/functions_f.js +2 -2
- package/SVF-doxygen/html/html/search/variables_0.js +1 -1
- package/SVF-doxygen/html/html/search/variables_1.js +2 -2
- package/SVF-doxygen/html/html/search/variables_10.js +2 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_15.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_5.js +1 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -2
- package/SVF-doxygen/html/html/search/variables_7.js +4 -4
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +3 -2
- package/include/CFL/CFGNormalizer.h +3 -3
- package/include/CFL/CFLAlias.h +5 -1
- package/include/CFL/CFLGraphBuilder.h +11 -1
- package/include/CFL/PEGGrammar.txt +28 -0
- package/include/DDA/DDAStat.h +1 -1
- package/include/Graphs/ICFGStat.h +1 -1
- package/include/Graphs/SVFGStat.h +1 -1
- package/include/MTA/MTAStat.h +1 -1
- package/include/MemoryModel/SVFIR.h +1 -4
- package/include/SVF-FE/LLVMUtil.h +2 -2
- package/include/Util/ExtAPI.h +2 -2
- package/include/Util/Options.h +3 -1
- package/include/{MemoryModel → Util}/PTAStat.h +0 -0
- package/include/WPA/Andersen.h +3 -14
- package/include/WPA/WPAStat.h +1 -1
- package/lib/CFL/CFLAlias.cpp +12 -7
- package/lib/CFL/CFLGraphBuilder.cpp +135 -0
- package/lib/CFL/GrammarBuilder.cpp +12 -8
- package/lib/Graphs/SVFGReadWrite.cpp +3 -3
- package/lib/MTA/LockAnalysis.cpp +1 -1
- package/lib/MTA/MHP.cpp +1 -1
- package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
- package/lib/SVF-FE/CHGBuilder.cpp +1 -1
- package/lib/Util/NodeIDAllocator.cpp +1 -1
- package/lib/Util/Options.cpp +16 -4
- package/lib/Util/PTAStat.cpp +4 -3
- package/lib/WPA/Andersen.cpp +0 -3
- package/lib/WPA/TypeAnalysis.cpp +1 -1
- package/package.json +1 -1
|
@@ -278,19 +278,19 @@ $(function() {
|
|
|
278
278
|
, <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis</a>
|
|
279
279
|
, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA</a>
|
|
280
280
|
, <a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">SVF::SVFGBuilder</a>
|
|
281
|
+
, <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
|
|
281
282
|
</li>
|
|
282
283
|
<li>callSiteSet
|
|
283
284
|
: <a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">SVF::SVFIR</a>
|
|
284
285
|
</li>
|
|
285
286
|
<li>CallSiteSet
|
|
286
|
-
: <a class="el" href="
|
|
287
|
+
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864">SVF::SymbolTableInfo</a>
|
|
287
288
|
</li>
|
|
288
289
|
<li>callSiteSet
|
|
289
290
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e">SVF::SymbolTableInfo</a>
|
|
290
291
|
</li>
|
|
291
292
|
<li>CallSiteSet
|
|
292
|
-
: <a class="el" href="
|
|
293
|
-
, <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
|
|
293
|
+
: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
|
|
294
294
|
</li>
|
|
295
295
|
<li>callSiteToActualINMap
|
|
296
296
|
: <a class="el" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG</a>
|
|
@@ -304,12 +304,12 @@ $(function() {
|
|
|
304
304
|
<li>CallSiteToActualOUTsMapTy
|
|
305
305
|
: <a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">SVF::SVFG</a>
|
|
306
306
|
</li>
|
|
307
|
-
<li>CallSiteToCHISetMap
|
|
308
|
-
: <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
|
|
309
|
-
</li>
|
|
310
307
|
<li>callsiteToChiSetMap
|
|
311
308
|
: <a class="el" href="classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195">SVF::MemSSA</a>
|
|
312
309
|
</li>
|
|
310
|
+
<li>CallSiteToCHISetMap
|
|
311
|
+
: <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
|
|
312
|
+
</li>
|
|
313
313
|
<li>CallSiteToCHNodesMap
|
|
314
314
|
: <a class="el" href="classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff">SVF::CHGraph</a>
|
|
315
315
|
</li>
|
|
@@ -416,12 +416,12 @@ $(function() {
|
|
|
416
416
|
<li>CFLEdge()
|
|
417
417
|
: <a class="el" href="classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116">SVF::CFLEdge</a>
|
|
418
418
|
</li>
|
|
419
|
-
<li>CFLEdgeSet
|
|
420
|
-
: <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
|
|
421
|
-
</li>
|
|
422
419
|
<li>cflEdgeSet
|
|
423
420
|
: <a class="el" href="classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe">SVF::CFLGraph</a>
|
|
424
421
|
</li>
|
|
422
|
+
<li>CFLEdgeSet
|
|
423
|
+
: <a class="el" href="classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14">SVF::CFLGraph</a>
|
|
424
|
+
</li>
|
|
425
425
|
<li>CFLFICI_WPA
|
|
426
426
|
: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb">SVF::PointerAnalysis</a>
|
|
427
427
|
</li>
|
|
@@ -1632,12 +1632,12 @@ $(function() {
|
|
|
1632
1632
|
<li>CxtLockProcVec
|
|
1633
1633
|
: <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
|
|
1634
1634
|
</li>
|
|
1635
|
-
<li>CxtLockSet
|
|
1636
|
-
: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
|
|
1637
|
-
</li>
|
|
1638
1635
|
<li>cxtLockset
|
|
1639
1636
|
: <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
|
|
1640
1637
|
</li>
|
|
1638
|
+
<li>CxtLockSet
|
|
1639
|
+
: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
|
|
1640
|
+
</li>
|
|
1641
1641
|
<li>cxtLockSet
|
|
1642
1642
|
: <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
|
|
1643
1643
|
</li>
|
|
@@ -1663,7 +1663,7 @@ $(function() {
|
|
|
1663
1663
|
: <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
|
|
1664
1664
|
</li>
|
|
1665
1665
|
<li>CxtStmt()
|
|
1666
|
-
: <a class="el" href="classSVF_1_1CxtStmt.html#
|
|
1666
|
+
: <a class="el" href="classSVF_1_1CxtStmt.html#ac11734a3e0db8415fdf55157b20b56a4">SVF::CxtStmt</a>
|
|
1667
1667
|
</li>
|
|
1668
1668
|
<li>CxtStmtDPItem()
|
|
1669
1669
|
: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem< LocCond ></a>
|
|
@@ -1676,21 +1676,23 @@ $(function() {
|
|
|
1676
1676
|
<li>CxtStmtSet
|
|
1677
1677
|
: <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
|
|
1678
1678
|
</li>
|
|
1679
|
-
<li>CxtStmtToAliveFlagMap
|
|
1680
|
-
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
|
|
1681
|
-
</li>
|
|
1682
1679
|
<li>cxtStmtToAliveFlagMap
|
|
1683
1680
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
|
|
1684
1681
|
</li>
|
|
1682
|
+
<li>CxtStmtToAliveFlagMap
|
|
1683
|
+
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
|
|
1684
|
+
</li>
|
|
1685
1685
|
<li>CxtStmtToCxtLockS
|
|
1686
1686
|
: <a class="el" href="classSVF_1_1LockResultValidator.html#a03954bdf28345cd7fbcd5cc242d40681">SVF::LockResultValidator</a>
|
|
1687
1687
|
</li>
|
|
1688
|
+
<li>cxtStmtToCxtLockSet
|
|
1689
|
+
: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
|
|
1690
|
+
</li>
|
|
1688
1691
|
<li>CxtStmtToCxtLockSet
|
|
1689
1692
|
: <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
|
|
1690
1693
|
</li>
|
|
1691
1694
|
<li>cxtStmtToCxtLockSet
|
|
1692
|
-
: <a class="el" href="
|
|
1693
|
-
, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
|
|
1695
|
+
: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
|
|
1694
1696
|
</li>
|
|
1695
1697
|
<li>CxtStmtToLockFlagMap
|
|
1696
1698
|
: <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
|
|
@@ -1706,7 +1708,7 @@ $(function() {
|
|
|
1706
1708
|
, <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
|
|
1707
1709
|
</li>
|
|
1708
1710
|
<li>CxtThread()
|
|
1709
|
-
: <a class="el" href="classSVF_1_1CxtThread.html#
|
|
1711
|
+
: <a class="el" href="classSVF_1_1CxtThread.html#a7f842879cad19328575f33220491352a">SVF::CxtThread</a>
|
|
1710
1712
|
</li>
|
|
1711
1713
|
<li>CxtThreadProc()
|
|
1712
1714
|
: <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>
|
|
@@ -1718,7 +1720,7 @@ $(function() {
|
|
|
1718
1720
|
: <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
|
|
1719
1721
|
</li>
|
|
1720
1722
|
<li>CxtThreadStmt()
|
|
1721
|
-
: <a class="el" href="classSVF_1_1CxtThreadStmt.html#
|
|
1723
|
+
: <a class="el" href="classSVF_1_1CxtThreadStmt.html#adeef75dbfd24665521931780c70aa5f9">SVF::CxtThreadStmt</a>
|
|
1722
1724
|
</li>
|
|
1723
1725
|
<li>CxtThreadStmtSet
|
|
1724
1726
|
: <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>
|
|
@@ -466,12 +466,12 @@ $(function() {
|
|
|
466
466
|
<li>FunptrDDAClient()
|
|
467
467
|
: <a class="el" href="classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5">SVF::FunptrDDAClient</a>
|
|
468
468
|
</li>
|
|
469
|
-
<li>FunPtrToCallSitesMap
|
|
470
|
-
: <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
|
|
471
|
-
</li>
|
|
472
469
|
<li>funPtrToCallSitesMap
|
|
473
470
|
: <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>
|
|
474
471
|
</li>
|
|
472
|
+
<li>FunPtrToCallSitesMap
|
|
473
|
+
: <a class="el" href="classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9">SVF::SVFIR</a>
|
|
474
|
+
</li>
|
|
475
475
|
<li>FunRet
|
|
476
476
|
: <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d">SVF::VFGNode</a>
|
|
477
477
|
</li>
|
|
@@ -540,22 +540,20 @@ $(function() {
|
|
|
540
540
|
</li>
|
|
541
541
|
<li>FunToLoopInfoMap
|
|
542
542
|
: <a class="el" href="classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d">SVF::MTA</a>
|
|
543
|
+
, <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
|
|
543
544
|
</li>
|
|
544
545
|
<li>funToLoopInfoMap
|
|
545
546
|
: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89">SVF::PTACFInfoBuilder</a>
|
|
546
547
|
</li>
|
|
547
|
-
<li>FunToLoopInfoMap
|
|
548
|
-
: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7">SVF::PTACFInfoBuilder</a>
|
|
549
|
-
</li>
|
|
550
548
|
<li>funToModsMap
|
|
551
549
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
|
|
552
550
|
</li>
|
|
553
|
-
<li>funToMRsMap
|
|
554
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
|
|
555
|
-
</li>
|
|
556
551
|
<li>FunToMRsMap
|
|
557
552
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
|
|
558
553
|
</li>
|
|
554
|
+
<li>funToMRsMap
|
|
555
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
|
|
556
|
+
</li>
|
|
559
557
|
<li>FunToNodeBSMap
|
|
560
558
|
: <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
|
|
561
559
|
</li>
|
|
@@ -565,12 +563,12 @@ $(function() {
|
|
|
565
563
|
<li>funToPDTMap
|
|
566
564
|
: <a class="el" href="classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15">SVF::PTACFInfoBuilder</a>
|
|
567
565
|
</li>
|
|
568
|
-
<li>funToPointsToMap
|
|
569
|
-
: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
|
|
570
|
-
</li>
|
|
571
566
|
<li>FunToPointsToMap
|
|
572
567
|
: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
|
|
573
568
|
</li>
|
|
569
|
+
<li>funToPointsToMap
|
|
570
|
+
: <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
|
|
571
|
+
</li>
|
|
574
572
|
<li>FunToPointsTosMap
|
|
575
573
|
: <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
|
|
576
574
|
</li>
|
|
@@ -862,9 +862,6 @@ $(function() {
|
|
|
862
862
|
<li>addTypedef()
|
|
863
863
|
: <a class="el" href="classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e">SVF::DCHNode</a>
|
|
864
864
|
</li>
|
|
865
|
-
<li>addTypeForGepObjNode()
|
|
866
|
-
: <a class="el" href="classSVF_1_1Andersen.html#a85cc81a4f9399e9a23372fa2658325a6">SVF::Andersen</a>
|
|
867
|
-
</li>
|
|
868
865
|
<li>addUnaryOPEdge()
|
|
869
866
|
: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45">SVF::SVFIRBuilder</a>
|
|
870
867
|
</li>
|
|
@@ -875,7 +872,7 @@ $(function() {
|
|
|
875
872
|
: <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
|
|
876
873
|
</li>
|
|
877
874
|
<li>addValNode()
|
|
878
|
-
: <a class="el" href="classSVF_1_1SVFIR.html#
|
|
875
|
+
: <a class="el" href="classSVF_1_1SVFIR.html#a93bc14960cdd4eb345c64e9b79757ccf">SVF::SVFIR</a>
|
|
879
876
|
</li>
|
|
880
877
|
<li>addVarargNode()
|
|
881
878
|
: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
|
|
@@ -912,8 +909,8 @@ $(function() {
|
|
|
912
909
|
: <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator</a>
|
|
913
910
|
</li>
|
|
914
911
|
<li>alias()
|
|
915
|
-
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#
|
|
916
|
-
, <a class="el" href="classSVF_1_1CFLAlias.html#
|
|
912
|
+
: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687">SVF::BVDataPTAImpl</a>
|
|
913
|
+
, <a class="el" href="classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507">SVF::CFLAlias</a>
|
|
917
914
|
, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl< Cond ></a>
|
|
918
915
|
, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
|
|
919
916
|
, <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
|
|
@@ -921,10 +918,10 @@ $(function() {
|
|
|
921
918
|
, <a class="el" href="classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f">SVF::WPAPass</a>
|
|
922
919
|
</li>
|
|
923
920
|
<li>alias_begin()
|
|
924
|
-
: <a class="el" href="classSVF_1_1SVFModule.html#
|
|
921
|
+
: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
|
|
925
922
|
</li>
|
|
926
923
|
<li>alias_end()
|
|
927
|
-
: <a class="el" href="classSVF_1_1SVFModule.html#
|
|
924
|
+
: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
|
|
928
925
|
</li>
|
|
929
926
|
<li>AliasDDAClient()
|
|
930
927
|
: <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
|
|
@@ -151,6 +151,9 @@ $(function() {
|
|
|
151
151
|
: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ab19243c4aceffce7b257f3d8cb3050fd">SVF::AliasCFLGraphBuilder</a>
|
|
152
152
|
, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a0184dc6e00c60106034492d012d0a938">SVF::CFLGraphBuilder</a>
|
|
153
153
|
</li>
|
|
154
|
+
<li>buildBiPEGgraph()
|
|
155
|
+
: <a class="el" href="classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880">SVF::AliasCFLGraphBuilder</a>
|
|
156
|
+
</li>
|
|
154
157
|
<li>buildCallGraph()
|
|
155
158
|
: <a class="el" href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">SVF::CallGraphBuilder</a>
|
|
156
159
|
</li>
|
|
@@ -112,9 +112,6 @@ $(function() {
|
|
|
112
112
|
, <a class="el" href="classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf">SVF::MTAResultValidator</a>
|
|
113
113
|
, <a class="el" href="classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e">SVF::TCT</a>
|
|
114
114
|
</li>
|
|
115
|
-
<li>matchType()
|
|
116
|
-
: <a class="el" href="classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173">SVF::Andersen</a>
|
|
117
|
-
</li>
|
|
118
115
|
<li>mayAccessAliases()
|
|
119
116
|
: <a class="el" href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator</a>
|
|
120
117
|
</li>
|
|
@@ -240,7 +237,7 @@ $(function() {
|
|
|
240
237
|
: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f">SVF::MTASVFGBuilder</a>
|
|
241
238
|
</li>
|
|
242
239
|
<li>MultiOpndStmt()
|
|
243
|
-
: <a class="el" href="classSVF_1_1MultiOpndStmt.html#
|
|
240
|
+
: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
|
|
244
241
|
</li>
|
|
245
242
|
<li>mustAlias()
|
|
246
243
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a3b5877fec52bbfa7c83bab6c9bc95684">SVF::CondPTAImpl< Cond ></a>
|
|
@@ -392,7 +392,7 @@ $(function() {
|
|
|
392
392
|
: <a class="el" href="classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967">SVF::FlowSensitive</a>
|
|
393
393
|
</li>
|
|
394
394
|
<li>propagateVersion()
|
|
395
|
-
: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#
|
|
395
|
+
: <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1">SVF::VersionedFlowSensitive</a>
|
|
396
396
|
</li>
|
|
397
397
|
<li>propagateViaObj()
|
|
398
398
|
: <a class="el" href="classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1">SVF::ContextDDA</a>
|
|
@@ -478,7 +478,7 @@ $(function() {
|
|
|
478
478
|
: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aaf70954762aa86f835d799994726790e">SVF::ForkJoinAnalysis</a>
|
|
479
479
|
, <a class="el" href="classSVF_1_1LockAnalysis.html#a7d9fd3ddcadd84969b57491181983b17">SVF::LockAnalysis</a>
|
|
480
480
|
, <a class="el" href="classSVF_1_1MHP.html#a67e2d43f0e35cc46eb7680ec66a4fe44">SVF::MHP</a>
|
|
481
|
-
, <a class="el" href="classSVF_1_1TCT.html#
|
|
481
|
+
, <a class="el" href="classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169">SVF::TCT</a>
|
|
482
482
|
</li>
|
|
483
483
|
<li>pushIntoWorklist()
|
|
484
484
|
: <a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">SVF::CFLSolver</a>
|
|
@@ -106,12 +106,12 @@ $(function() {
|
|
|
106
106
|
<li>icfgNode2PTASVFStmtsMap
|
|
107
107
|
: <a class="el" href="classSVF_1_1SVFIR.html#aaae756185bbd5b7175e96f8928a989c2">SVF::SVFIR</a>
|
|
108
108
|
</li>
|
|
109
|
-
<li>icfgNode2SVFStmtsMap
|
|
110
|
-
: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
|
|
111
|
-
</li>
|
|
112
109
|
<li>ICFGNode2SVFStmtsMap
|
|
113
110
|
: <a class="el" href="classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0">SVF::SVFIR</a>
|
|
114
111
|
</li>
|
|
112
|
+
<li>icfgNode2SVFStmtsMap
|
|
113
|
+
: <a class="el" href="classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7">SVF::SVFIR</a>
|
|
114
|
+
</li>
|
|
115
115
|
<li>ICFGNodeIDToNodeMapTy
|
|
116
116
|
: <a class="el" href="classSVF_1_1ICFG.html#af1fe5708c6f67fd87fa1edaa6c73ff5d">SVF::ICFG</a>
|
|
117
117
|
</li>
|
|
@@ -435,12 +435,12 @@ $(function() {
|
|
|
435
435
|
, <a class="el" href="classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46">SVF::LoadMU< Cond ></a>
|
|
436
436
|
, <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI< Cond ></a>
|
|
437
437
|
</li>
|
|
438
|
-
<li>Inst2LabelMap
|
|
439
|
-
: <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
|
|
440
|
-
</li>
|
|
441
438
|
<li>inst2LabelMap
|
|
442
439
|
: <a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">SVF::SVFStmt</a>
|
|
443
440
|
</li>
|
|
441
|
+
<li>Inst2LabelMap
|
|
442
|
+
: <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
|
|
443
|
+
</li>
|
|
444
444
|
<li>INSTANCE
|
|
445
445
|
: <a class="el" href="classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77">SVF::DCHEdge</a>
|
|
446
446
|
</li>
|
|
@@ -133,9 +133,6 @@ $(function() {
|
|
|
133
133
|
, <a class="el" href="classSVF_1_1MTAResultValidator.html#a6306899b5360e106dd090bea571027bf">SVF::MTAResultValidator</a>
|
|
134
134
|
, <a class="el" href="classSVF_1_1TCT.html#a9b6dda84d37afadaf80bc2e26986a52e">SVF::TCT</a>
|
|
135
135
|
</li>
|
|
136
|
-
<li>matchType()
|
|
137
|
-
: <a class="el" href="classSVF_1_1Andersen.html#af42fe6aeacfd31bbef7f5c80c8cf6173">SVF::Andersen</a>
|
|
138
|
-
</li>
|
|
139
136
|
<li>MaxContextLen
|
|
140
137
|
: <a class="el" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">SVF::Options</a>
|
|
141
138
|
</li>
|
|
@@ -295,6 +295,9 @@ $(function() {
|
|
|
295
295
|
<li>NPtr
|
|
296
296
|
: <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode</a>
|
|
297
297
|
</li>
|
|
298
|
+
<li>NullDummyNode
|
|
299
|
+
: <a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">SVF::Options</a>
|
|
300
|
+
</li>
|
|
298
301
|
<li>nullExpr()
|
|
299
302
|
: <a class="el" href="classSVF_1_1Z3Expr.html#a9aa800372d57db519d484cc32ea1c5dc">SVF::Z3Expr</a>
|
|
300
303
|
</li>
|
|
@@ -129,12 +129,12 @@ $(function() {
|
|
|
129
129
|
: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
|
|
130
130
|
, <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
|
|
131
131
|
</li>
|
|
132
|
-
<li>operation
|
|
133
|
-
: <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ad5b7fd4408d5d33e2963008d30dcbdc9">SVF::ExtAPI::Operation</a>
|
|
134
|
-
</li>
|
|
135
132
|
<li>Operation()
|
|
136
133
|
: <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#a453f37464f5c6261e22e845948f36c94">SVF::ExtAPI::Operation</a>
|
|
137
134
|
</li>
|
|
135
|
+
<li>operation
|
|
136
|
+
: <a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html#ad5b7fd4408d5d33e2963008d30dcbdc9">SVF::ExtAPI::Operation</a>
|
|
137
|
+
</li>
|
|
138
138
|
<li>operator &
|
|
139
139
|
: <a class="el" href="classSVF_1_1Z3Expr.html#a73d51389a359eff6654df3c1ee24834c">SVF::Z3Expr</a>
|
|
140
140
|
</li>
|
|
@@ -432,12 +432,12 @@ $(function() {
|
|
|
432
432
|
<li>OpICFGNodeVec
|
|
433
433
|
: <a class="el" href="classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4">SVF::PhiStmt</a>
|
|
434
434
|
</li>
|
|
435
|
-
<li>OPIncomingBBs
|
|
436
|
-
: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
|
|
437
|
-
</li>
|
|
438
435
|
<li>opIncomingBBs
|
|
439
436
|
: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
|
|
440
437
|
</li>
|
|
438
|
+
<li>OPIncomingBBs
|
|
439
|
+
: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
|
|
440
|
+
</li>
|
|
441
441
|
<li>OpIt
|
|
442
442
|
: <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator< ItTy ></a>
|
|
443
443
|
</li>
|
|
@@ -172,12 +172,12 @@ $(function() {
|
|
|
172
172
|
<li>PAGPrint
|
|
173
173
|
: <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
|
|
174
174
|
</li>
|
|
175
|
-
<li>pagReadFromTxt
|
|
176
|
-
: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
|
|
177
|
-
</li>
|
|
178
175
|
<li>pagReadFromTXT()
|
|
179
176
|
: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
|
|
180
177
|
</li>
|
|
178
|
+
<li>pagReadFromTxt
|
|
179
|
+
: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
|
|
180
|
+
</li>
|
|
181
181
|
<li>pairheadmap
|
|
182
182
|
: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
|
|
183
183
|
</li>
|
|
@@ -251,6 +251,9 @@ $(function() {
|
|
|
251
251
|
<li>PEDGEK
|
|
252
252
|
: <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt</a>
|
|
253
253
|
</li>
|
|
254
|
+
<li>PEGTransfer
|
|
255
|
+
: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
|
|
256
|
+
</li>
|
|
254
257
|
<li>performAddingMHPEdges()
|
|
255
258
|
: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder</a>
|
|
256
259
|
</li>
|
|
@@ -379,7 +382,7 @@ $(function() {
|
|
|
379
382
|
, <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
|
|
380
383
|
</li>
|
|
381
384
|
<li>PhiStmt()
|
|
382
|
-
: <a class="el" href="classSVF_1_1PhiStmt.html#
|
|
385
|
+
: <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
|
|
383
386
|
</li>
|
|
384
387
|
<li>phiTime
|
|
385
388
|
: <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
|
|
@@ -827,12 +830,12 @@ $(function() {
|
|
|
827
830
|
<li>PTAStat()
|
|
828
831
|
: <a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">SVF::PTAStat</a>
|
|
829
832
|
</li>
|
|
830
|
-
<li>ptaTy
|
|
831
|
-
: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
|
|
832
|
-
</li>
|
|
833
833
|
<li>PTATY
|
|
834
834
|
: <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis</a>
|
|
835
835
|
</li>
|
|
836
|
+
<li>ptaTy
|
|
837
|
+
: <a class="el" href="classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4">SVF::PointerAnalysis</a>
|
|
838
|
+
</li>
|
|
836
839
|
<li>PTAVector
|
|
837
840
|
: <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
|
|
838
841
|
</li>
|
|
@@ -909,12 +912,12 @@ $(function() {
|
|
|
909
912
|
<li>ptrToBVPtsMap
|
|
910
913
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl< Cond ></a>
|
|
911
914
|
</li>
|
|
912
|
-
<li>PtrToCPtsMap
|
|
913
|
-
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl< Cond ></a>
|
|
914
|
-
</li>
|
|
915
915
|
<li>ptrToCPtsMap
|
|
916
916
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl< Cond ></a>
|
|
917
917
|
</li>
|
|
918
|
+
<li>PtrToCPtsMap
|
|
919
|
+
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl< Cond ></a>
|
|
920
|
+
</li>
|
|
918
921
|
<li>PtrToNSMap
|
|
919
922
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl< Cond ></a>
|
|
920
923
|
</li>
|
|
@@ -929,15 +932,11 @@ $(function() {
|
|
|
929
932
|
, <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
|
|
930
933
|
, <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
931
934
|
, <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
935
|
+
, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
932
936
|
</li>
|
|
933
937
|
<li>ptsMap
|
|
934
938
|
: <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
935
|
-
|
|
936
|
-
<li>PtsMap
|
|
937
|
-
: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a>
|
|
938
|
-
</li>
|
|
939
|
-
<li>ptsMap
|
|
940
|
-
: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
939
|
+
, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a>
|
|
941
940
|
</li>
|
|
942
941
|
<li>PtsMapConstIter
|
|
943
942
|
: <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -589,14 +589,14 @@ $(function() {
|
|
|
589
589
|
</li>
|
|
590
590
|
<li>runOnModule()
|
|
591
591
|
: <a class="el" href="classSVF_1_1BreakConstantGEPs.html#ae99ceb7923161d54e7d0a687f4f68e1a">SVF::BreakConstantGEPs</a>
|
|
592
|
-
, <a class="el" href="classSVF_1_1DDAPass.html#
|
|
592
|
+
, <a class="el" href="classSVF_1_1DDAPass.html#af196994d6ec7f5cead72212407842103">SVF::DDAPass</a>
|
|
593
593
|
, <a class="el" href="classSVF_1_1DoubleFreeChecker.html#ae8c09909e9f3e44489464f7190a6b671">SVF::DoubleFreeChecker</a>
|
|
594
594
|
, <a class="el" href="classSVF_1_1FileChecker.html#a98a68536b8ffdb2250bbb01437598ac3">SVF::FileChecker</a>
|
|
595
595
|
, <a class="el" href="classSVF_1_1FlowSensitive.html#a611608ccc9659bd320670f1ec31ad18e">SVF::FlowSensitive</a>
|
|
596
596
|
, <a class="el" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">SVF::LeakChecker</a>
|
|
597
597
|
, <a class="el" href="classSVF_1_1MergeFunctionRets.html#a8fe74477a43f80104fb3461d006ad392">SVF::MergeFunctionRets</a>
|
|
598
598
|
, <a class="el" href="classSVF_1_1MTA.html#a32f6beffb47e5c2ac86f5c3b8a1bd9ba">SVF::MTA</a>
|
|
599
|
-
, <a class="el" href="classSVF_1_1WPAPass.html#
|
|
599
|
+
, <a class="el" href="classSVF_1_1WPAPass.html#a394dcd976c1ef08d9cadcba8f5d07c75">SVF::WPAPass</a>
|
|
600
600
|
</li>
|
|
601
601
|
<li>runPointerAnalysis()
|
|
602
602
|
: <a class="el" href="classSVF_1_1DDAPass.html#a13ff3107a0e4f8749b166fa9b8165167">SVF::DDAPass</a>
|
|
@@ -118,11 +118,13 @@ $(function() {
|
|
|
118
118
|
</li>
|
|
119
119
|
<li>SCC
|
|
120
120
|
: <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
|
|
121
|
-
, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
122
121
|
</li>
|
|
123
122
|
<li>scc
|
|
124
123
|
: <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver< GraphType ></a>
|
|
125
124
|
</li>
|
|
125
|
+
<li>SCC
|
|
126
|
+
: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver< GraphType ></a>
|
|
127
|
+
</li>
|
|
126
128
|
<li>sccCandidates
|
|
127
129
|
: <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
|
|
128
130
|
</li>
|
|
@@ -984,12 +986,12 @@ $(function() {
|
|
|
984
986
|
: <a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice</a>
|
|
985
987
|
, <a class="el" href="classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58">SVF::SrcSnkDDA</a>
|
|
986
988
|
</li>
|
|
987
|
-
<li>svfgNodeToCondMap
|
|
988
|
-
: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
|
|
989
|
-
</li>
|
|
990
989
|
<li>SVFGNodeToCondMap
|
|
991
990
|
: <a class="el" href="classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e">SVF::ProgSlice</a>
|
|
992
991
|
</li>
|
|
992
|
+
<li>svfgNodeToCondMap
|
|
993
|
+
: <a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">SVF::ProgSlice</a>
|
|
994
|
+
</li>
|
|
993
995
|
<li>SVFGNodeToCSIDMap
|
|
994
996
|
: <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
|
|
995
997
|
</li>
|
|
@@ -1105,7 +1107,7 @@ $(function() {
|
|
|
1105
1107
|
, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a36c5b874527e7694f7fb2fd7291da0da">SVF::CFLGraphBuilder</a>
|
|
1106
1108
|
, <a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">SVF::CFLSolver</a>
|
|
1107
1109
|
, <a class="el" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase</a>
|
|
1108
|
-
, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#
|
|
1110
|
+
, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#aa37072e1a6c0875305260c7c2414d767">SVF::GrammarBase::Symbol</a>
|
|
1109
1111
|
</li>
|
|
1110
1112
|
<li>SymbolInfo()
|
|
1111
1113
|
: <a class="el" href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo</a>
|
|
@@ -1134,7 +1136,7 @@ $(function() {
|
|
|
1134
1136
|
, <a class="el" href="classSVF_1_1SymbolTableInfo.html#a4fbb8ea4b4796d10d13c027b7455505c">SVF::SymbolTableInfo</a>
|
|
1135
1137
|
</li>
|
|
1136
1138
|
<li>SymState()
|
|
1137
|
-
: <a class="el" href="classSVF_1_1SymState.html#
|
|
1139
|
+
: <a class="el" href="classSVF_1_1SymState.html#a74011f042d561221c30fcd176490abad">SVF::SymState</a>
|
|
1138
1140
|
</li>
|
|
1139
1141
|
<li>SymTabPrint
|
|
1140
1142
|
: <a class="el" href="classSVF_1_1Options.html#abbfd1d7e985483c486394d8db85b6a85">SVF::Options</a>
|
|
@@ -358,12 +358,12 @@ $(function() {
|
|
|
358
358
|
<li>timeOfUpdateCallGraph
|
|
359
359
|
: <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
|
|
360
360
|
</li>
|
|
361
|
-
<li>timeStatMap
|
|
362
|
-
: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
|
|
363
|
-
</li>
|
|
364
361
|
<li>TIMEStatMap
|
|
365
362
|
: <a class="el" href="classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10">SVF::PTAStat</a>
|
|
366
363
|
</li>
|
|
364
|
+
<li>timeStatMap
|
|
365
|
+
: <a class="el" href="classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337">SVF::PTAStat</a>
|
|
366
|
+
</li>
|
|
367
367
|
<li>TInterPhi
|
|
368
368
|
: <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
|
|
369
369
|
</li>
|
|
@@ -143,12 +143,12 @@ $(function() {
|
|
|
143
143
|
<li>ValVar()
|
|
144
144
|
: <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
|
|
145
145
|
</li>
|
|
146
|
-
<li>Var2LabelMap
|
|
147
|
-
: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
|
|
148
|
-
</li>
|
|
149
146
|
<li>var2LabelMap
|
|
150
147
|
: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
|
|
151
148
|
</li>
|
|
149
|
+
<li>Var2LabelMap
|
|
150
|
+
: <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
|
|
151
|
+
</li>
|
|
152
152
|
<li>VAR_ARRAY_OBJ
|
|
153
153
|
: <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
|
|
154
154
|
</li>
|
|
@@ -132,6 +132,9 @@ $(function() {
|
|
|
132
132
|
<li>normalized
|
|
133
133
|
: <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl< Cond ></a>
|
|
134
134
|
</li>
|
|
135
|
+
<li>NullDummyNode
|
|
136
|
+
: <a class="el" href="classSVF_1_1Options.html#a59afe4356aae2133beb4819c013d3fbf">SVF::Options</a>
|
|
137
|
+
</li>
|
|
135
138
|
<li>nullPointerId
|
|
136
139
|
: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353">SVF::NodeIDAllocator</a>
|
|
137
140
|
</li>
|
|
@@ -148,6 +148,9 @@ $(function() {
|
|
|
148
148
|
<li>pathConstraint
|
|
149
149
|
: <a class="el" href="classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1">SVF::ExeState</a>
|
|
150
150
|
</li>
|
|
151
|
+
<li>PEGTransfer
|
|
152
|
+
: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
|
|
153
|
+
</li>
|
|
151
154
|
<li>persPTData
|
|
152
155
|
: <a class="el" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData< Key, KeySet, Data, DataSet ></a>
|
|
153
156
|
, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a>
|
|
@@ -63,6 +63,7 @@ $(function() {
|
|
|
63
63
|
<h3><a id="index__"></a>- _ -</h3><ul>
|
|
64
64
|
<li>__pad0__
|
|
65
65
|
: <a class="el" href="CFLGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">CFLGrammar.txt</a>
|
|
66
|
+
, <a class="el" href="PEGGrammar_8txt.html#ad8c410068267cc7ccd0765a7bd51a2bf">PEGGrammar.txt</a>
|
|
66
67
|
, <a class="el" href="cJSON_8cpp.html#a063ce73c04d527a0f7ee43fe3ddebdd3">cJSON.cpp</a>
|
|
67
68
|
</li>
|
|
68
69
|
<li>__pad1__
|
|
@@ -75,9 +75,11 @@ $(function() {
|
|
|
75
75
|
</li>
|
|
76
76
|
<li>Addr
|
|
77
77
|
: <a class="el" href="CFLGrammar_8txt.html#a017fa6c558fa1eff0a13180c8340aba8">CFLGrammar.txt</a>
|
|
78
|
+
, <a class="el" href="PEGGrammar_8txt.html#aceb4ff2aa6371c1133bbcd5309b0bed1">PEGGrammar.txt</a>
|
|
78
79
|
</li>
|
|
79
80
|
<li>Addrbar
|
|
80
|
-
: <a class="el" href="
|
|
81
|
+
: <a class="el" href="PEGGrammar_8txt.html#a43cf87c9fa668dbee3d5e626a136c8fe">PEGGrammar.txt</a>
|
|
82
|
+
, <a class="el" href="CFLGrammar_8txt.html#a11ba05967682e1a34391b8c3309de1e6">CFLGrammar.txt</a>
|
|
81
83
|
</li>
|
|
82
84
|
<li>AddressMask
|
|
83
85
|
: <a class="el" href="ExeState_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f">ExeState.h</a>
|
|
@@ -194,12 +194,13 @@ $(function() {
|
|
|
194
194
|
<li>convertExpression()
|
|
195
195
|
: <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
|
|
196
196
|
</li>
|
|
197
|
-
<li>Copy
|
|
198
|
-
: <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
|
|
199
|
-
</li>
|
|
200
197
|
<li>copy
|
|
201
198
|
: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
|
|
202
199
|
</li>
|
|
200
|
+
<li>Copy
|
|
201
|
+
: <a class="el" href="PEGGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">PEGGrammar.txt</a>
|
|
202
|
+
, <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
|
|
203
|
+
</li>
|
|
203
204
|
<li>count
|
|
204
205
|
: <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
|
|
205
206
|
, <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
|
|
@@ -208,8 +209,8 @@ $(function() {
|
|
|
208
209
|
: <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>
|
|
209
210
|
</li>
|
|
210
211
|
<li>cutree_cdist()
|
|
211
|
-
: <a class="el" href="
|
|
212
|
-
, <a class="el" href="
|
|
212
|
+
: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
|
|
213
|
+
, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
|
|
213
214
|
</li>
|
|
214
215
|
<li>cutree_k()
|
|
215
216
|
: <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
|