svf-tools 1.0.615 → 1.0.617
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/AndersenPWC_8h_source.html +3 -3
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +31 -31
- package/SVF-doxygen/html/html/Andersen_8h_source.html +5 -5
- package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/GenericGraph_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ICFG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +27 -26
- package/SVF-doxygen/html/html/LLVMModule_8h_source.html +27 -26
- package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp.html +0 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +16 -20
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +68 -69
- package/SVF-doxygen/html/html/SVFG_8h_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VFG_8h_source.html +3 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/annotated.html +188 -189
- package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +52 -53
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +85 -87
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +43 -44
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +13 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +52 -53
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +12 -14
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +56 -57
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -8
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +53 -54
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +9 -11
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +27 -28
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +96 -120
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +33 -34
- package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +31 -32
- package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +4 -6
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +34 -35
- package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +110 -110
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +60 -61
- package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -6
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +56 -57
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +21 -23
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +82 -81
- package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +139 -102
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +46 -47
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +5 -7
- package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TCT-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -4
- package/SVF-doxygen/html/html/classSVF_1_1VFG-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +76 -77
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -5
- package/SVF-doxygen/html/html/classes.html +99 -99
- package/SVF-doxygen/html/html/dir_967d846b666a902c6ca9bc5c37976e49.html +0 -2
- package/SVF-doxygen/html/html/files.html +5 -6
- package/SVF-doxygen/html/html/functions_0x7e.html +0 -3
- package/SVF-doxygen/html/html/functions_a.html +9 -15
- package/SVF-doxygen/html/html/functions_b.html +5 -2
- package/SVF-doxygen/html/html/functions_c.html +1 -1
- package/SVF-doxygen/html/html/functions_func.html +11 -17
- package/SVF-doxygen/html/html/functions_func_0x7e.html +0 -3
- package/SVF-doxygen/html/html/functions_func_b.html +4 -1
- package/SVF-doxygen/html/html/functions_func_g.html +8 -11
- package/SVF-doxygen/html/html/functions_func_i.html +7 -10
- package/SVF-doxygen/html/html/functions_func_p.html +2 -29
- package/SVF-doxygen/html/html/functions_func_r.html +3 -9
- package/SVF-doxygen/html/html/functions_func_w.html +5 -8
- package/SVF-doxygen/html/html/functions_g.html +14 -17
- package/SVF-doxygen/html/html/functions_i.html +15 -18
- package/SVF-doxygen/html/html/functions_m.html +1 -4
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +17 -45
- package/SVF-doxygen/html/html/functions_r.html +3 -11
- package/SVF-doxygen/html/html/functions_s.html +17 -15
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_type_c.html +1 -1
- package/SVF-doxygen/html/html/functions_type_i.html +2 -2
- package/SVF-doxygen/html/html/functions_type_v.html +1 -1
- package/SVF-doxygen/html/html/functions_v.html +7 -7
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -3
- package/SVF-doxygen/html/html/functions_vars_p.html +0 -3
- package/SVF-doxygen/html/html/functions_w.html +4 -7
- package/SVF-doxygen/html/html/hierarchy.html +194 -195
- package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/SVF-doxygen/html/html/namespaceSVF.html +0 -2
- package/SVF-doxygen/html/html/search/all_1.js +0 -2
- package/SVF-doxygen/html/html/search/all_10.js +6 -16
- package/SVF-doxygen/html/html/search/all_11.js +1 -3
- package/SVF-doxygen/html/html/search/all_12.js +12 -12
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_15.js +4 -4
- package/SVF-doxygen/html/html/search/all_16.js +2 -3
- package/SVF-doxygen/html/html/search/all_19.js +0 -1
- package/SVF-doxygen/html/html/search/all_2.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +0 -1
- package/SVF-doxygen/html/html/search/all_9.js +6 -8
- package/SVF-doxygen/html/html/search/all_c.js +1 -1
- package/SVF-doxygen/html/html/search/all_d.js +3 -4
- package/SVF-doxygen/html/html/search/all_e.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/classes_8.js +0 -1
- package/SVF-doxygen/html/html/search/files_7.js +0 -1
- package/SVF-doxygen/html/html/search/functions_0.js +0 -2
- package/SVF-doxygen/html/html/search/functions_1.js +1 -0
- package/SVF-doxygen/html/html/search/functions_10.js +0 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_15.js +1 -2
- package/SVF-doxygen/html/html/search/functions_17.js +0 -1
- package/SVF-doxygen/html/html/search/functions_6.js +0 -1
- package/SVF-doxygen/html/html/search/functions_8.js +1 -2
- package/SVF-doxygen/html/html/search/functions_d.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +0 -9
- package/SVF-doxygen/html/html/search/typedefs_13.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_2.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_7.js +3 -3
- package/SVF-doxygen/html/html/search/variables_10.js +0 -1
- package/SVF-doxygen/html/html/search/variables_13.js +2 -2
- package/SVF-doxygen/html/html/search/variables_d.js +0 -1
- package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
- package/include/Graphs/ConsG.h +1 -1
- package/include/Graphs/GenericGraph.h +1 -1
- package/include/Graphs/ICFG.h +1 -1
- package/include/Graphs/VFG.h +1 -1
- package/include/MemoryModel/PointerAnalysisImpl.h +1 -2
- package/include/SVF-LLVM/LLVMModule.h +1 -0
- package/lib/MemoryModel/PointerAnalysisImpl.cpp +87 -63
- package/lib/SVF-LLVM/LLVMModule.cpp +11 -2
- package/lib/WPA/Andersen.cpp +9 -2
- package/package.json +1 -1
- package/include/SVF-LLVM/IRAnnotator.h +0 -324
|
@@ -391,201 +391,200 @@ $(function() {
|
|
|
391
391
|
<tr id="row_143_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRBuilder.html" target="_self">SVF::SVFIRBuilder</a></td><td class="desc"></td></tr>
|
|
392
392
|
<tr id="row_144_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structinternal__hooks.html" target="_self">internal_hooks</a></td><td class="desc"></td></tr>
|
|
393
393
|
<tr id="row_145_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Inverse.html" target="_self">SVF::Inverse< GraphType ></a></td><td class="desc"></td></tr>
|
|
394
|
-
<tr id="row_146_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
395
|
-
<tr id="row_147_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
396
|
-
<tr id="row_148_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
397
|
-
<tr id="row_149_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
398
|
-
<tr id="row_150_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
399
|
-
<tr id="row_151_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
400
|
-
<tr id="row_152_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
401
|
-
<tr id="row_153_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
402
|
-
<tr id="row_154_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
403
|
-
<tr id="row_155_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
404
|
-
<tr id="row_156_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
405
|
-
<tr id="row_157_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
406
|
-
<tr id="row_158_" class="even"><td class="entry"><span style="width:
|
|
407
|
-
<tr id="
|
|
408
|
-
<tr id="
|
|
409
|
-
<tr id="
|
|
410
|
-
<tr id="
|
|
411
|
-
<tr id="
|
|
412
|
-
<tr id="
|
|
413
|
-
<tr id="
|
|
414
|
-
<tr id="
|
|
415
|
-
<tr id="
|
|
416
|
-
<tr id="
|
|
417
|
-
<tr id="
|
|
418
|
-
<tr id="row_163_"><td class="entry"><span style="width:
|
|
419
|
-
<tr id="
|
|
420
|
-
<tr id="
|
|
421
|
-
<tr id="row_165_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
422
|
-
<tr id="row_166_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
423
|
-
<tr id="row_167_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
424
|
-
<tr id="row_168_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
425
|
-
<tr id="row_169_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
426
|
-
<tr id="row_170_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
427
|
-
<tr id="row_171_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
428
|
-
<tr id="row_172_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
429
|
-
<tr id="row_173_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
430
|
-
<tr id="row_174_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
431
|
-
<tr id="row_175_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
432
|
-
<tr id="row_176_" class="even"><td class="entry"><span style="width:
|
|
433
|
-
<tr id="
|
|
434
|
-
<tr id="
|
|
435
|
-
<tr id="
|
|
436
|
-
<tr id="
|
|
437
|
-
<tr id="
|
|
438
|
-
<tr id="
|
|
439
|
-
<tr id="
|
|
440
|
-
<tr id="row_179_"><td class="entry"><span style="width:
|
|
441
|
-
<tr id="
|
|
442
|
-
<tr id="
|
|
443
|
-
<tr id="
|
|
444
|
-
<tr id="
|
|
445
|
-
<tr id="
|
|
446
|
-
<tr id="
|
|
447
|
-
<tr id="
|
|
448
|
-
<tr id="
|
|
449
|
-
<tr id="
|
|
450
|
-
<tr id="
|
|
451
|
-
<tr id="row_182_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
452
|
-
<tr id="row_183_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
453
|
-
<tr id="row_184_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
454
|
-
<tr id="row_185_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
455
|
-
<tr id="row_186_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
456
|
-
<tr id="row_187_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
457
|
-
<tr id="row_188_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
458
|
-
<tr id="row_189_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
459
|
-
<tr id="row_190_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
460
|
-
<tr id="row_191_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
461
|
-
<tr id="row_192_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
462
|
-
<tr id="row_193_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache<
|
|
463
|
-
<tr id="row_194_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache<
|
|
464
|
-
<tr id="row_195_"><td class="entry"><span style="width:
|
|
465
|
-
<tr id="
|
|
466
|
-
<tr id="
|
|
467
|
-
<tr id="
|
|
468
|
-
<tr id="
|
|
469
|
-
<tr id="
|
|
470
|
-
<tr id="
|
|
471
|
-
<tr id="
|
|
472
|
-
<tr id="
|
|
473
|
-
<tr id="
|
|
474
|
-
<tr id="
|
|
475
|
-
<tr id="
|
|
476
|
-
<tr id="
|
|
477
|
-
<tr id="
|
|
478
|
-
<tr id="
|
|
479
|
-
<tr id="
|
|
480
|
-
<tr id="
|
|
481
|
-
<tr id="
|
|
482
|
-
<tr id="
|
|
483
|
-
<tr id="
|
|
484
|
-
<tr id="row_197_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
485
|
-
<tr id="row_198_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
486
|
-
<tr id="row_199_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
487
|
-
<tr id="row_200_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
488
|
-
<tr id="row_201_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
489
|
-
<tr id="row_202_" class="even"><td class="entry"><span style="width:
|
|
490
|
-
<tr id="
|
|
491
|
-
<tr id="
|
|
492
|
-
<tr id="
|
|
493
|
-
<tr id="
|
|
494
|
-
<tr id="
|
|
495
|
-
<tr id="
|
|
496
|
-
<tr id="
|
|
497
|
-
<tr id="
|
|
498
|
-
<tr id="
|
|
499
|
-
<tr id="
|
|
500
|
-
<tr id="
|
|
501
|
-
<tr id="
|
|
502
|
-
<tr id="
|
|
503
|
-
<tr id="
|
|
504
|
-
<tr id="
|
|
505
|
-
<tr id="
|
|
506
|
-
<tr id="
|
|
507
|
-
<tr id="
|
|
508
|
-
<tr id="
|
|
509
|
-
<tr id="
|
|
510
|
-
<tr id="row_206_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
511
|
-
<tr id="row_207_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
512
|
-
<tr id="row_208_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
513
|
-
<tr id="row_209_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
514
|
-
<tr id="row_210_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
515
|
-
<tr id="row_211_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
516
|
-
<tr id="row_212_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
517
|
-
<tr id="row_213_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
518
|
-
<tr id="row_214_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
519
|
-
<tr id="row_215_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
520
|
-
<tr id="row_216_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
521
|
-
<tr id="row_217_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
522
|
-
<tr id="row_218_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
523
|
-
<tr id="row_219_"><td class="entry"><span style="width:
|
|
524
|
-
<tr id="
|
|
525
|
-
<tr id="
|
|
526
|
-
<tr id="
|
|
527
|
-
<tr id="row_221_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
528
|
-
<tr id="row_222_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
529
|
-
<tr id="row_223_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
530
|
-
<tr id="row_224_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
531
|
-
<tr id="row_225_"><td class="entry"><span style="width:
|
|
532
|
-
<tr id="
|
|
533
|
-
<tr id="
|
|
534
|
-
<tr id="
|
|
535
|
-
<tr id="
|
|
536
|
-
<tr id="
|
|
537
|
-
<tr id="
|
|
538
|
-
<tr id="
|
|
539
|
-
<tr id="
|
|
540
|
-
<tr id="
|
|
541
|
-
<tr id="
|
|
542
|
-
<tr id="
|
|
543
|
-
<tr id="
|
|
544
|
-
<tr id="
|
|
545
|
-
<tr id="
|
|
546
|
-
<tr id="
|
|
547
|
-
<tr id="
|
|
548
|
-
<tr id="
|
|
549
|
-
<tr id="
|
|
550
|
-
<tr id="
|
|
551
|
-
<tr id="
|
|
552
|
-
<tr id="
|
|
553
|
-
<tr id="
|
|
554
|
-
<tr id="
|
|
555
|
-
<tr id="
|
|
556
|
-
<tr id="
|
|
557
|
-
<tr id="
|
|
558
|
-
<tr id="
|
|
559
|
-
<tr id="
|
|
560
|
-
<tr id="
|
|
561
|
-
<tr id="
|
|
562
|
-
<tr id="
|
|
563
|
-
<tr id="
|
|
564
|
-
<tr id="
|
|
565
|
-
<tr id="
|
|
566
|
-
<tr id="row_229_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
567
|
-
<tr id="row_230_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
568
|
-
<tr id="row_231_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
569
|
-
<tr id="row_232_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
570
|
-
<tr id="row_233_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
571
|
-
<tr id="row_234_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
572
|
-
<tr id="row_235_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
573
|
-
<tr id="row_236_" class="even"><td class="entry"><span style="width:
|
|
574
|
-
<tr id="
|
|
575
|
-
<tr id="
|
|
576
|
-
<tr id="
|
|
577
|
-
<tr id="
|
|
578
|
-
<tr id="
|
|
579
|
-
<tr id="
|
|
580
|
-
<tr id="row_238_" class="even"><td class="entry"><span style="width:
|
|
581
|
-
<tr id="
|
|
582
|
-
<tr id="
|
|
583
|
-
<tr id="
|
|
584
|
-
<tr id="
|
|
585
|
-
<tr id="
|
|
586
|
-
<tr id="
|
|
587
|
-
<tr id="row_241_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="
|
|
588
|
-
<tr id="row_242_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">SVF::Z3Expr</a></td><td class="desc"></td></tr>
|
|
394
|
+
<tr id="row_146_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1is__simple__type.html" target="_self">SVF::SVFUtil::is_simple_type< X ></a></td><td class="desc"></td></tr>
|
|
395
|
+
<tr id="row_147_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html" target="_self">SVF::SVFUtil::isa_impl< To, From, Enabler ></a></td><td class="desc"></td></tr>
|
|
396
|
+
<tr id="row_148_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01std_1_1enable__if__t_3_01std_1_1is__baseacbe8554d65d479d86c5b7d994311309.html" target="_self">SVF::SVFUtil::isa_impl< To, From, std::enable_if_t< std::is_base_of< To, From >::value > ></a></td><td class="desc">Always allow upcasts, and perform no dynamic check for them </td></tr>
|
|
397
|
+
<tr id="row_149_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From ></a></td><td class="desc"></td></tr>
|
|
398
|
+
<tr id="row_150_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From * ></a></td><td class="desc"></td></tr>
|
|
399
|
+
<tr id="row_151_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From *const ></a></td><td class="desc"></td></tr>
|
|
400
|
+
<tr id="row_152_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const From ></a></td><td class="desc"></td></tr>
|
|
401
|
+
<tr id="row_153_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > ></a></td><td class="desc"></td></tr>
|
|
402
|
+
<tr id="row_154_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From * ></a></td><td class="desc"></td></tr>
|
|
403
|
+
<tr id="row_155_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl< To, From *const ></a></td><td class="desc"></td></tr>
|
|
404
|
+
<tr id="row_156_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html" target="_self">SVF::SVFUtil::isa_impl_wrap< To, From, SimpleFrom ></a></td><td class="desc"></td></tr>
|
|
405
|
+
<tr id="row_157_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy ></a></td><td class="desc"></td></tr>
|
|
406
|
+
<tr id="row_158_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_158_" class="arrow" onclick="toggleFolder('158_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT ></a></td><td class="desc"></td></tr>
|
|
407
|
+
<tr id="row_158_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT ></a></td><td class="desc"></td></tr>
|
|
408
|
+
<tr id="row_159_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_159_" class="arrow" onclick="toggleFolder('159_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">SVF::iter_facade_base< mapped_iter< ItTy, FuncTy >, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< FuncReturnTy >::type, typename std::iterator_traits< ItTy >::difference_type, std::conditional_t< std::is_same< std::remove_reference< FuncReturnTy >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::pointer, std::remove_reference< FuncReturnTy >::type * >, std::conditional_t< std::is_same< std::remove_reference< FuncReturnTy >::type, typename std::iterator_traits< ItTy >::value_type >::value, typename std::iterator_traits< ItTy >::reference, std::remove_reference< FuncReturnTy >::type & > ></a></td><td class="desc"></td></tr>
|
|
409
|
+
<tr id="row_159_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_159_0_" class="arrow" onclick="toggleFolder('159_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">SVF::iter_adaptor_base< mapped_iter< ItTy, FuncTy >, ItTy, std::iterator_traits< ItTy >::iterator_category, std::remove_reference< FuncReturnTy >::type ></a></td><td class="desc"></td></tr>
|
|
410
|
+
<tr id="row_159_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1mapped__iter.html" target="_self">SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy ></a></td><td class="desc"></td></tr>
|
|
411
|
+
<tr id="row_160_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_160_" class="arrow" onclick="toggleFolder('160_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">SVF::iter_facade_base< pointee_iter< WrappedIteratorT, T >, std::iterator_traits< WrappedIteratorT >::iterator_category, T, typename std::iterator_traits< WrappedIteratorT >::difference_type, std::conditional_t< std::is_same< T, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::pointer, T * >, std::conditional_t< std::is_same< T, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::reference, T & > ></a></td><td class="desc"></td></tr>
|
|
412
|
+
<tr id="row_160_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_160_0_" class="arrow" onclick="toggleFolder('160_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">SVF::iter_adaptor_base< pointee_iter< WrappedIteratorT, T >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, T ></a></td><td class="desc"></td></tr>
|
|
413
|
+
<tr id="row_160_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1pointee__iter.html" target="_self">SVF::pointee_iter< WrappedIteratorT, T ></a></td><td class="desc"></td></tr>
|
|
414
|
+
<tr id="row_161_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_161_" class="arrow" onclick="toggleFolder('161_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">SVF::iter_facade_base< pointer_iterator< WrappedIteratorT, T >, std::iterator_traits< WrappedIteratorT >::iterator_category, T, typename std::iterator_traits< WrappedIteratorT >::difference_type, std::conditional_t< std::is_same< T, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::pointer, T * >, std::conditional_t< std::is_same< T, typename std::iterator_traits< WrappedIteratorT >::value_type >::value, typename std::iterator_traits< WrappedIteratorT >::reference, T & > ></a></td><td class="desc"></td></tr>
|
|
415
|
+
<tr id="row_161_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_161_0_" class="arrow" onclick="toggleFolder('161_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">SVF::iter_adaptor_base< pointer_iterator< WrappedIteratorT, T >, WrappedIteratorT, std::iterator_traits< WrappedIteratorT >::iterator_category, T ></a></td><td class="desc"></td></tr>
|
|
416
|
+
<tr id="row_161_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1pointer__iterator.html" target="_self">SVF::pointer_iterator< WrappedIteratorT, T ></a></td><td class="desc"></td></tr>
|
|
417
|
+
<tr id="row_162_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__range.html" target="_self">SVF::iter_range< IteratorT ></a></td><td class="desc"></td></tr>
|
|
418
|
+
<tr id="row_163_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_163_" class="arrow" onclick="toggleFolder('163_')">►</span><span class="icona"><span class="icon">C</span></span><b>iterator</b></td><td class="desc"></td></tr>
|
|
419
|
+
<tr id="row_163_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html" target="_self">llvm::generic_bridge_gep_type_iterator< ItTy ></a></td><td class="desc"></td></tr>
|
|
420
|
+
<tr id="row_164_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1LeadingZerosCounter.html" target="_self">SVF::LeadingZerosCounter< T, SizeOfT ></a></td><td class="desc"></td></tr>
|
|
421
|
+
<tr id="row_165_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List.html" target="_self">SVF::List< Data ></a></td><td class="desc"></td></tr>
|
|
422
|
+
<tr id="row_166_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List_1_1ListNode.html" target="_self">SVF::List< Data >::ListNode</a></td><td class="desc"></td></tr>
|
|
423
|
+
<tr id="row_167_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMLoopAnalysis.html" target="_self">SVF::LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
|
|
424
|
+
<tr id="row_168_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMModuleSet.html" target="_self">SVF::LLVMModuleSet</a></td><td class="desc"></td></tr>
|
|
425
|
+
<tr id="row_169_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocationSet.html" target="_self">SVF::LocationSet</a></td><td class="desc"></td></tr>
|
|
426
|
+
<tr id="row_170_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">SVF::LockAnalysis</a></td><td class="desc"></td></tr>
|
|
427
|
+
<tr id="row_171_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">SVF::LockResultValidator</a></td><td class="desc"></td></tr>
|
|
428
|
+
<tr id="row_172_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemObj.html" target="_self">SVF::MemObj</a></td><td class="desc"></td></tr>
|
|
429
|
+
<tr id="row_173_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemRegion.html" target="_self">SVF::MemRegion</a></td><td class="desc">Memory Region class </td></tr>
|
|
430
|
+
<tr id="row_174_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSA.html" target="_self">SVF::MemSSA</a></td><td class="desc"></td></tr>
|
|
431
|
+
<tr id="row_175_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHP.html" target="_self">SVF::MHP</a></td><td class="desc"></td></tr>
|
|
432
|
+
<tr id="row_176_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_176_" class="arrow" onclick="toggleFolder('176_')">►</span><span class="icona"><span class="icon">C</span></span><b>ModulePass</b></td><td class="desc"></td></tr>
|
|
433
|
+
<tr id="row_176_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BreakConstantGEPs.html" target="_self">SVF::BreakConstantGEPs</a></td><td class="desc"></td></tr>
|
|
434
|
+
<tr id="row_176_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MergeFunctionRets.html" target="_self">SVF::MergeFunctionRets</a></td><td class="desc"></td></tr>
|
|
435
|
+
<tr id="row_177_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_177_" class="arrow" onclick="toggleFolder('177_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">SVF::MRGenerator</a></td><td class="desc"></td></tr>
|
|
436
|
+
<tr id="row_177_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DistinctMRG.html" target="_self">SVF::DistinctMRG</a></td><td class="desc"></td></tr>
|
|
437
|
+
<tr id="row_177_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_177_1_" class="arrow" onclick="toggleFolder('177_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">SVF::IntraDisjointMRG</a></td><td class="desc"></td></tr>
|
|
438
|
+
<tr id="row_177_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">SVF::InterDisjointMRG</a></td><td class="desc"></td></tr>
|
|
439
|
+
<tr id="row_178_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRVer.html" target="_self">SVF::MRVer</a></td><td class="desc"></td></tr>
|
|
440
|
+
<tr id="row_179_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_179_" class="arrow" onclick="toggleFolder('179_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">SVF::MSSADEF</a></td><td class="desc"></td></tr>
|
|
441
|
+
<tr id="row_179_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_179_0_" class="arrow" onclick="toggleFolder('179_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">SVF::MSSACHI< Cond ></a></td><td class="desc"></td></tr>
|
|
442
|
+
<tr id="row_179_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallCHI.html" target="_self">SVF::CallCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
443
|
+
<tr id="row_179_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1EntryCHI.html" target="_self">SVF::EntryCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
444
|
+
<tr id="row_179_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCHI.html" target="_self">SVF::StoreCHI< Cond ></a></td><td class="desc"></td></tr>
|
|
445
|
+
<tr id="row_179_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHI.html" target="_self">SVF::MSSAPHI< Cond ></a></td><td class="desc"></td></tr>
|
|
446
|
+
<tr id="row_180_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_180_" class="arrow" onclick="toggleFolder('180_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">SVF::MSSAMU< Cond ></a></td><td class="desc"></td></tr>
|
|
447
|
+
<tr id="row_180_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallMU.html" target="_self">SVF::CallMU< Cond ></a></td><td class="desc"></td></tr>
|
|
448
|
+
<tr id="row_180_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadMU.html" target="_self">SVF::LoadMU< Cond ></a></td><td class="desc"></td></tr>
|
|
449
|
+
<tr id="row_180_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetMU.html" target="_self">SVF::RetMU< Cond ></a></td><td class="desc"></td></tr>
|
|
450
|
+
<tr id="row_181_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTA.html" target="_self">SVF::MTA</a></td><td class="desc"></td></tr>
|
|
451
|
+
<tr id="row_182_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAResultValidator.html" target="_self">SVF::MTAResultValidator</a></td><td class="desc"></td></tr>
|
|
452
|
+
<tr id="row_183_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html" target="_self">SVF::VersionedFlowSensitive::SCC::NodeData</a></td><td class="desc"></td></tr>
|
|
453
|
+
<tr id="row_184_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator.html" target="_self">SVF::NodeIDAllocator</a></td><td class="desc"></td></tr>
|
|
454
|
+
<tr id="row_185_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NumericLiteral.html" target="_self">SVF::NumericLiteral</a></td><td class="desc"></td></tr>
|
|
455
|
+
<tr id="row_186_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">SVF::ObjTypeInfo</a></td><td class="desc"></td></tr>
|
|
456
|
+
<tr id="row_187_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI_1_1Operation.html" target="_self">SVF::ExtAPI::Operation</a></td><td class="desc"></td></tr>
|
|
457
|
+
<tr id="row_188_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Options.html" target="_self">SVF::Options</a></td><td class="desc">Carries around command line options </td></tr>
|
|
458
|
+
<tr id="row_189_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PAGBuilderFromFile.html" target="_self">SVF::PAGBuilderFromFile</a></td><td class="desc"></td></tr>
|
|
459
|
+
<tr id="row_190_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structparse__buffer.html" target="_self">parse_buffer</a></td><td class="desc"></td></tr>
|
|
460
|
+
<tr id="row_191_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PCG.html" target="_self">SVF::PCG</a></td><td class="desc"></td></tr>
|
|
461
|
+
<tr id="row_192_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< Data ></a></td><td class="desc"></td></tr>
|
|
462
|
+
<tr id="row_193_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< DataSet ></a></td><td class="desc"></td></tr>
|
|
463
|
+
<tr id="row_194_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache< SVF::PointsTo ></a></td><td class="desc"></td></tr>
|
|
464
|
+
<tr id="row_195_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_195_" class="arrow" onclick="toggleFolder('195_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">SVF::PointerAnalysis</a></td><td class="desc"></td></tr>
|
|
465
|
+
<tr id="row_195_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_195_0_" class="arrow" onclick="toggleFolder('195_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl< ContextCond ></a></td><td class="desc"></td></tr>
|
|
466
|
+
<tr id="row_195_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ContextDDA.html" target="_self">SVF::ContextDDA</a></td><td class="desc"></td></tr>
|
|
467
|
+
<tr id="row_195_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_195_1_" class="arrow" onclick="toggleFolder('195_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BVDataPTAImpl.html" target="_self">SVF::BVDataPTAImpl</a></td><td class="desc"></td></tr>
|
|
468
|
+
<tr id="row_195_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_195_1_0_" class="arrow" onclick="toggleFolder('195_1_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
|
|
469
|
+
<tr id="row_195_1_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span id="arr_195_1_0_0_" class="arrow" onclick="toggleFolder('195_1_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Andersen.html" target="_self">SVF::Andersen</a></td><td class="desc"></td></tr>
|
|
470
|
+
<tr id="row_195_1_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span id="arr_195_1_0_0_0_" class="arrow" onclick="toggleFolder('195_1_0_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSCD.html" target="_self">SVF::AndersenSCD</a></td><td class="desc"></td></tr>
|
|
471
|
+
<tr id="row_195_1_0_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSFR.html" target="_self">SVF::AndersenSFR</a></td><td class="desc"></td></tr>
|
|
472
|
+
<tr id="row_195_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiff.html" target="_self">SVF::AndersenWaveDiff</a></td><td class="desc"></td></tr>
|
|
473
|
+
<tr id="row_195_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Steensgaard.html" target="_self">SVF::Steensgaard</a></td><td class="desc"></td></tr>
|
|
474
|
+
<tr id="row_195_1_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeAnalysis.html" target="_self">SVF::TypeAnalysis</a></td><td class="desc"></td></tr>
|
|
475
|
+
<tr id="row_195_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_195_1_1_" class="arrow" onclick="toggleFolder('195_1_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLBase.html" target="_self">SVF::CFLBase</a></td><td class="desc">CFL Client Base Class </td></tr>
|
|
476
|
+
<tr id="row_195_1_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLAlias.html" target="_self">SVF::CFLAlias</a></td><td class="desc"></td></tr>
|
|
477
|
+
<tr id="row_195_1_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLVF.html" target="_self">SVF::CFLVF</a></td><td class="desc"></td></tr>
|
|
478
|
+
<tr id="row_195_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
|
|
479
|
+
<tr id="row_195_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_195_1_3_" class="arrow" onclick="toggleFolder('195_1_3_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
|
|
480
|
+
<tr id="row_195_1_3_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
|
|
481
|
+
<tr id="row_195_1_3_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
|
|
482
|
+
<tr id="row_195_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl< Cond ></a></td><td class="desc"></td></tr>
|
|
483
|
+
<tr id="row_196_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">SVF::PointsTo</a></td><td class="desc"></td></tr>
|
|
484
|
+
<tr id="row_197_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">SVF::PointsTo::PointsToIterator</a></td><td class="desc"></td></tr>
|
|
485
|
+
<tr id="row_198_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter.html" target="_self">SVF::PopulationCounter< T, SizeOfT ></a></td><td class="desc"></td></tr>
|
|
486
|
+
<tr id="row_199_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html" target="_self">SVF::PopulationCounter< T, 8 ></a></td><td class="desc"></td></tr>
|
|
487
|
+
<tr id="row_200_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structprintbuffer.html" target="_self">printbuffer</a></td><td class="desc"></td></tr>
|
|
488
|
+
<tr id="row_201_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ProgSlice.html" target="_self">SVF::ProgSlice</a></td><td class="desc"></td></tr>
|
|
489
|
+
<tr id="row_202_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_202_" class="arrow" onclick="toggleFolder('202_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
490
|
+
<tr id="row_202_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_202_0_" class="arrow" onclick="toggleFolder('202_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DFPTData.html" target="_self">SVF::DFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
491
|
+
<tr id="row_202_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_202_0_0_" class="arrow" onclick="toggleFolder('202_0_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">SVF::MutableDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
492
|
+
<tr id="row_202_0_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableIncDFPTData.html" target="_self">SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
|
|
493
|
+
<tr id="row_202_0_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_202_0_1_" class="arrow" onclick="toggleFolder('202_0_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">SVF::PersistentDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
|
|
494
|
+
<tr id="row_202_0_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
|
|
495
|
+
<tr id="row_202_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_202_1_" class="arrow" onclick="toggleFolder('202_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DiffPTData.html" target="_self">SVF::DiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
496
|
+
<tr id="row_202_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDiffPTData.html" target="_self">SVF::MutableDiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with points-to sets which are updated continuously </td></tr>
|
|
497
|
+
<tr id="row_202_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDiffPTData.html" target="_self">SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
|
|
498
|
+
<tr id="row_202_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> implemented using points-to sets which are created once and updated continuously </td></tr>
|
|
499
|
+
<tr id="row_202_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData< Key, KeySet, Data, DataSet ></a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
|
|
500
|
+
<tr id="row_202_4_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_202_4_" class="arrow" onclick="toggleFolder('202_4_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">SVF::VersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
501
|
+
<tr id="row_202_4_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableVersionedPTData.html" target="_self">SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
502
|
+
<tr id="row_202_4_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentVersionedPTData.html" target="_self">SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet ></a></td><td class="desc"></td></tr>
|
|
503
|
+
<tr id="row_203_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_203_" class="arrow" onclick="toggleFolder('203_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
504
|
+
<tr id="row_203_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
505
|
+
<tr id="row_203_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet ></a></td><td class="desc"></td></tr>
|
|
506
|
+
<tr id="row_204_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_204_" class="arrow" onclick="toggleFolder('204_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">SVF::RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
|
|
507
|
+
<tr id="row_204_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHPValidator.html" target="_self">SVF::MHPValidator</a></td><td class="desc"></td></tr>
|
|
508
|
+
<tr id="row_204_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceValidator.html" target="_self">SVF::RaceValidator</a></td><td class="desc"></td></tr>
|
|
509
|
+
<tr id="row_205_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html" target="_self">SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy</a></td><td class="desc"></td></tr>
|
|
510
|
+
<tr id="row_206_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelationSolver.html" target="_self">SVF::RelationSolver</a></td><td class="desc"></td></tr>
|
|
511
|
+
<tr id="row_207_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelExeState.html" target="_self">SVF::RelExeState</a></td><td class="desc"></td></tr>
|
|
512
|
+
<tr id="row_208_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCheckerAPI.html" target="_self">SVF::SaberCheckerAPI</a></td><td class="desc"></td></tr>
|
|
513
|
+
<tr id="row_209_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCondAllocator.html" target="_self">SVF::SaberCondAllocator</a></td><td class="desc"></td></tr>
|
|
514
|
+
<tr id="row_210_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html" target="_self">SVF::VersionedFlowSensitive::SCC</a></td><td class="desc"></td></tr>
|
|
515
|
+
<tr id="row_211_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection.html" target="_self">SVF::SCCDetection< GraphType ></a></td><td class="desc"></td></tr>
|
|
516
|
+
<tr id="row_212_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">SVF::SVFUtil::simplify_type< From ></a></td><td class="desc"></td></tr>
|
|
517
|
+
<tr id="row_213_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">SVF::SVFUtil::simplify_type< const From ></a></td><td class="desc"></td></tr>
|
|
518
|
+
<tr id="row_214_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector.html" target="_self">SVF::SparseBitVector< ElementSize ></a></td><td class="desc"></td></tr>
|
|
519
|
+
<tr id="row_215_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SparseBitVectorElement.html" target="_self">SVF::SparseBitVectorElement< ElementSize ></a></td><td class="desc"></td></tr>
|
|
520
|
+
<tr id="row_216_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html" target="_self">SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator</a></td><td class="desc"></td></tr>
|
|
521
|
+
<tr id="row_217_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkSolver.html" target="_self">SVF::SrcSnkSolver< GraphType, DPIm ></a></td><td class="desc"></td></tr>
|
|
522
|
+
<tr id="row_218_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StInfo.html" target="_self">SVF::StInfo</a></td><td class="desc"></td></tr>
|
|
523
|
+
<tr id="row_219_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_219_" class="arrow" onclick="toggleFolder('219_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVF::SVFGBuilder</a></td><td class="desc"></td></tr>
|
|
524
|
+
<tr id="row_219_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTASVFGBuilder.html" target="_self">SVF::MTASVFGBuilder</a></td><td class="desc"></td></tr>
|
|
525
|
+
<tr id="row_219_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberSVFGBuilder.html" target="_self">SVF::SaberSVFGBuilder</a></td><td class="desc"></td></tr>
|
|
526
|
+
<tr id="row_220_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVF::SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
|
|
527
|
+
<tr id="row_221_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html" target="_self">SVF::SVFIR2ItvExeState</a></td><td class="desc"></td></tr>
|
|
528
|
+
<tr id="row_222_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoop.html" target="_self">SVF::SVFLoop</a></td><td class="desc"></td></tr>
|
|
529
|
+
<tr id="row_223_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html" target="_self">SVF::SVFLoopAndDomInfo</a></td><td class="desc"></td></tr>
|
|
530
|
+
<tr id="row_224_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModule.html" target="_self">SVF::SVFModule</a></td><td class="desc"></td></tr>
|
|
531
|
+
<tr id="row_225_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_225_" class="arrow" onclick="toggleFolder('225_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStat.html" target="_self">SVF::SVFStat</a></td><td class="desc"></td></tr>
|
|
532
|
+
<tr id="row_225_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_225_0_" class="arrow" onclick="toggleFolder('225_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">SVF::PTAStat</a></td><td class="desc"></td></tr>
|
|
533
|
+
<tr id="row_225_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenStat.html" target="_self">SVF::AndersenStat</a></td><td class="desc"></td></tr>
|
|
534
|
+
<tr id="row_225_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFLStat.html" target="_self">SVF::CFLStat</a></td><td class="desc"></td></tr>
|
|
535
|
+
<tr id="row_225_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DDAStat.html" target="_self">SVF::DDAStat</a></td><td class="desc"></td></tr>
|
|
536
|
+
<tr id="row_225_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveStat.html" target="_self">SVF::FlowSensitiveStat</a></td><td class="desc"></td></tr>
|
|
537
|
+
<tr id="row_225_0_4_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">SVF::ICFGStat</a></td><td class="desc"></td></tr>
|
|
538
|
+
<tr id="row_225_0_5_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSAStat.html" target="_self">SVF::MemSSAStat</a></td><td class="desc"></td></tr>
|
|
539
|
+
<tr id="row_225_0_6_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAStat.html" target="_self">SVF::MTAStat</a></td><td class="desc"></td></tr>
|
|
540
|
+
<tr id="row_225_0_7_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGStat.html" target="_self">SVF::SVFGStat</a></td><td class="desc"></td></tr>
|
|
541
|
+
<tr id="row_225_0_8_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html" target="_self">SVF::VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
|
|
542
|
+
<tr id="row_226_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_226_" class="arrow" onclick="toggleFolder('226_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFType.html" target="_self">SVF::SVFType</a></td><td class="desc"></td></tr>
|
|
543
|
+
<tr id="row_226_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArrayType.html" target="_self">SVF::SVFArrayType</a></td><td class="desc"></td></tr>
|
|
544
|
+
<tr id="row_226_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunctionType.html" target="_self">SVF::SVFFunctionType</a></td><td class="desc"></td></tr>
|
|
545
|
+
<tr id="row_226_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIntergerType.html" target="_self">SVF::SVFIntergerType</a></td><td class="desc"></td></tr>
|
|
546
|
+
<tr id="row_226_3_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherType.html" target="_self">SVF::SVFOtherType</a></td><td class="desc"></td></tr>
|
|
547
|
+
<tr id="row_226_4_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFPointerType.html" target="_self">SVF::SVFPointerType</a></td><td class="desc"></td></tr>
|
|
548
|
+
<tr id="row_226_5_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStructType.html" target="_self">SVF::SVFStructType</a></td><td class="desc"></td></tr>
|
|
549
|
+
<tr id="row_227_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_227_" class="arrow" onclick="toggleFolder('227_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVF::SVFValue</a></td><td class="desc"></td></tr>
|
|
550
|
+
<tr id="row_227_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArgument.html" target="_self">SVF::SVFArgument</a></td><td class="desc"></td></tr>
|
|
551
|
+
<tr id="row_227_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBasicBlock.html" target="_self">SVF::SVFBasicBlock</a></td><td class="desc"></td></tr>
|
|
552
|
+
<tr id="row_227_2_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_227_2_" class="arrow" onclick="toggleFolder('227_2_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstant.html" target="_self">SVF::SVFConstant</a></td><td class="desc"></td></tr>
|
|
553
|
+
<tr id="row_227_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_227_2_0_" class="arrow" onclick="toggleFolder('227_2_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantData.html" target="_self">SVF::SVFConstantData</a></td><td class="desc"></td></tr>
|
|
554
|
+
<tr id="row_227_2_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBlackHoleValue.html" target="_self">SVF::SVFBlackHoleValue</a></td><td class="desc"></td></tr>
|
|
555
|
+
<tr id="row_227_2_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantFP.html" target="_self">SVF::SVFConstantFP</a></td><td class="desc"></td></tr>
|
|
556
|
+
<tr id="row_227_2_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantInt.html" target="_self">SVF::SVFConstantInt</a></td><td class="desc"></td></tr>
|
|
557
|
+
<tr id="row_227_2_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantNullPtr.html" target="_self">SVF::SVFConstantNullPtr</a></td><td class="desc"></td></tr>
|
|
558
|
+
<tr id="row_227_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGlobalValue.html" target="_self">SVF::SVFGlobalValue</a></td><td class="desc"></td></tr>
|
|
559
|
+
<tr id="row_227_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunction.html" target="_self">SVF::SVFFunction</a></td><td class="desc"></td></tr>
|
|
560
|
+
<tr id="row_227_4_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_227_4_" class="arrow" onclick="toggleFolder('227_4_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFInstruction.html" target="_self">SVF::SVFInstruction</a></td><td class="desc"></td></tr>
|
|
561
|
+
<tr id="row_227_4_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_227_4_0_" class="arrow" onclick="toggleFolder('227_4_0_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFCallInst.html" target="_self">SVF::SVFCallInst</a></td><td class="desc"></td></tr>
|
|
562
|
+
<tr id="row_227_4_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVirtualCallInst.html" target="_self">SVF::SVFVirtualCallInst</a></td><td class="desc"></td></tr>
|
|
563
|
+
<tr id="row_227_5_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_227_5_" class="arrow" onclick="toggleFolder('227_5_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherValue.html" target="_self">SVF::SVFOtherValue</a></td><td class="desc"></td></tr>
|
|
564
|
+
<tr id="row_227_5_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFMetadataAsValue.html" target="_self">SVF::SVFMetadataAsValue</a></td><td class="desc"></td></tr>
|
|
565
|
+
<tr id="row_228_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html" target="_self">SVF::GrammarBase::Symbol</a></td><td class="desc"></td></tr>
|
|
566
|
+
<tr id="row_229_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html" target="_self">SVF::GrammarBase::SymbolHash</a></td><td class="desc"></td></tr>
|
|
567
|
+
<tr id="row_230_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableBuilder.html" target="_self">SVF::SymbolTableBuilder</a></td><td class="desc"></td></tr>
|
|
568
|
+
<tr id="row_231_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SVF::SymbolTableInfo</a></td><td class="desc"></td></tr>
|
|
569
|
+
<tr id="row_232_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html" target="_self">SVF::GrammarBase::SymbolVectorHash</a></td><td class="desc"></td></tr>
|
|
570
|
+
<tr id="row_233_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadAPI.html" target="_self">SVF::ThreadAPI</a></td><td class="desc"></td></tr>
|
|
571
|
+
<tr id="row_234_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1TrailingZerosCounter.html" target="_self">SVF::TrailingZerosCounter< T, SizeOfT ></a></td><td class="desc"></td></tr>
|
|
572
|
+
<tr id="row_235_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
|
|
573
|
+
<tr id="row_236_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_236_" class="arrow" onclick="toggleFolder('236_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
574
|
+
<tr id="row_236_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
|
|
575
|
+
<tr id="row_236_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span id="arr_236_1_" class="arrow" onclick="toggleFolder('236_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
576
|
+
<tr id="row_236_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
|
|
577
|
+
<tr id="row_236_1_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span id="arr_236_1_1_" class="arrow" onclick="toggleFolder('236_1_1_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
578
|
+
<tr id="row_236_1_1_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver< GraphType ></a></td><td class="desc"></td></tr>
|
|
579
|
+
<tr id="row_237_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Wto.html" target="_self">SVF::Wto</a></td><td class="desc">Weak Topological Ordering </td></tr>
|
|
580
|
+
<tr id="row_238_" class="even"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_238_" class="arrow" onclick="toggleFolder('238_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WtoComponent.html" target="_self">SVF::WtoComponent</a></td><td class="desc">Base class for components of a weak topological order </td></tr>
|
|
581
|
+
<tr id="row_238_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WtoCycle.html" target="_self">SVF::WtoCycle</a></td><td class="desc">Represents a cycle </td></tr>
|
|
582
|
+
<tr id="row_238_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WtoVertex.html" target="_self">SVF::WtoVertex</a></td><td class="desc">Represents a vertex </td></tr>
|
|
583
|
+
<tr id="row_239_"><td class="entry"><span style="width:0px;display:inline-block;"> </span><span id="arr_239_" class="arrow" onclick="toggleFolder('239_')">►</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WtoComponentVisitor.html" target="_self">SVF::WtoComponentVisitor</a></td><td class="desc">Weak topological order visitor </td></tr>
|
|
584
|
+
<tr id="row_239_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Wto_1_1NestingBuilder.html" target="_self">SVF::Wto::NestingBuilder</a></td><td class="desc">Visitor to build the nestings of each node </td></tr>
|
|
585
|
+
<tr id="row_239_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Wto_1_1TailBuilder.html" target="_self">SVF::Wto::TailBuilder</a></td><td class="desc">Visitor to build the tails of each head/loop </td></tr>
|
|
586
|
+
<tr id="row_240_" class="even"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WtoNesting.html" target="_self">SVF::WtoNesting</a></td><td class="desc">Represents the nesting of a node </td></tr>
|
|
587
|
+
<tr id="row_241_"><td class="entry"><span style="width:16px;display:inline-block;"> </span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">SVF::Z3Expr</a></td><td class="desc"></td></tr>
|
|
589
588
|
</table>
|
|
590
589
|
</div><!-- directory -->
|
|
591
590
|
</div><!-- contents -->
|