svf-tools 1.0.557 → 1.0.558
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 +15 -15
- package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +12 -11
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +11 -10
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +47 -46
- package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +9 -8
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +35 -34
- package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -6
- package/SVF-doxygen/html/html/CHGBuilder_8cpp.html +2 -2
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +19 -18
- package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +15 -15
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +13 -12
- package/SVF-doxygen/html/html/DDAPass_8h_source.html +11 -11
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +20 -19
- package/SVF-doxygen/html/html/DDAStat_8h_source.html +13 -13
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ICFGStat_8h_source.html +5 -4
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MTA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +67 -69
- package/SVF-doxygen/html/html/PTAStat_8h.html +1 -0
- package/SVF-doxygen/html/html/PTAStat_8h_source.html +70 -76
- package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +2 -1
- package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +5 -4
- package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +22 -21
- package/SVF-doxygen/html/html/SVFGStat_8h_source.html +5 -5
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/SVFStat_8cpp.html +81 -0
- package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +85 -0
- package/SVF-doxygen/html/html/SVFStat_8h.html +94 -0
- package/SVF-doxygen/html/html/SVFStat_8h_source.html +103 -0
- package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
- package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/WPAStat_8h_source.html +8 -8
- package/SVF-doxygen/html/html/annotated.html +39 -38
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +79 -79
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +37 -37
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat-members.html +24 -22
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +97 -86
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat-members.html +24 -23
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +80 -67
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +26 -26
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat-members.html +24 -22
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +67 -56
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat-members.html +23 -21
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.html +55 -42
- package/SVF-doxygen/html/html/classSVF_1_1ICFGStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MTA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat-members.html +25 -23
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +59 -48
- package/SVF-doxygen/html/html/classSVF_1_1MTAStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat-members.html +22 -21
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +57 -44
- package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1Options.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat-members.html +24 -22
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +186 -420
- package/SVF-doxygen/html/html/classSVF_1_1PTAStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat-members.html +33 -32
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +100 -87
- package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat-members.html +100 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +605 -0
- package/SVF-doxygen/html/html/classSVF_1_1SVFStat.png +0 -0
- package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat-members.html +26 -24
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +65 -54
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.png +0 -0
- package/SVF-doxygen/html/html/classes.html +50 -50
- package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
- package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/dir_862d3276083eaac55caed79b9120bf29.html +2 -0
- package/SVF-doxygen/html/html/dir_95e22971b5dbae2382075a3453e365b4.html +2 -0
- package/SVF-doxygen/html/html/files.html +10 -8
- package/SVF-doxygen/html/html/functions_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_c.html +28 -29
- package/SVF-doxygen/html/html/functions_e.html +3 -2
- package/SVF-doxygen/html/html/functions_enum.html +1 -1
- package/SVF-doxygen/html/html/functions_eval_c.html +1 -1
- package/SVF-doxygen/html/html/functions_eval_w.html +1 -1
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func_0x7e.html +3 -0
- package/SVF-doxygen/html/html/functions_func_c.html +28 -27
- package/SVF-doxygen/html/html/functions_func_e.html +1 -1
- package/SVF-doxygen/html/html/functions_func_g.html +1 -1
- package/SVF-doxygen/html/html/functions_func_p.html +9 -7
- package/SVF-doxygen/html/html/functions_func_s.html +14 -11
- package/SVF-doxygen/html/html/functions_g.html +2 -2
- package/SVF-doxygen/html/html/functions_l.html +6 -6
- package/SVF-doxygen/html/html/functions_m.html +2 -1
- package/SVF-doxygen/html/html/functions_n.html +1 -1
- package/SVF-doxygen/html/html/functions_o.html +3 -3
- package/SVF-doxygen/html/html/functions_p.html +25 -21
- package/SVF-doxygen/html/html/functions_r.html +7 -3
- package/SVF-doxygen/html/html/functions_s.html +24 -22
- package/SVF-doxygen/html/html/functions_t.html +8 -8
- package/SVF-doxygen/html/html/functions_type_n.html +1 -1
- package/SVF-doxygen/html/html/functions_type_s.html +1 -1
- package/SVF-doxygen/html/html/functions_type_t.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_e.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_g.html +1 -1
- package/SVF-doxygen/html/html/functions_vars_m.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_s.html +1 -0
- package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
- package/SVF-doxygen/html/html/functions_w.html +12 -12
- package/SVF-doxygen/html/html/hierarchy.html +47 -46
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -0
- package/SVF-doxygen/html/html/search/all_10.js +13 -13
- package/SVF-doxygen/html/html/search/all_11.js +3 -3
- package/SVF-doxygen/html/html/search/all_12.js +11 -8
- package/SVF-doxygen/html/html/search/all_13.js +4 -4
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +3 -3
- package/SVF-doxygen/html/html/search/all_19.js +1 -0
- package/SVF-doxygen/html/html/search/all_3.js +3 -3
- package/SVF-doxygen/html/html/search/all_5.js +2 -2
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +2 -2
- package/SVF-doxygen/html/html/search/all_c.js +3 -3
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +2 -2
- package/SVF-doxygen/html/html/search/classes_f.js +1 -0
- package/SVF-doxygen/html/html/search/enums_1.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
- package/SVF-doxygen/html/html/search/enumvalues_2.js +1 -1
- package/SVF-doxygen/html/html/search/files_d.js +2 -0
- package/SVF-doxygen/html/html/search/functions_11.js +2 -1
- package/SVF-doxygen/html/html/search/functions_17.js +1 -0
- package/SVF-doxygen/html/html/search/functions_2.js +1 -1
- package/SVF-doxygen/html/html/search/functions_4.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -1
- package/SVF-doxygen/html/html/search/functions_f.js +4 -4
- package/SVF-doxygen/html/html/search/typedefs_10.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_c.js +1 -1
- package/SVF-doxygen/html/html/search/variables_12.js +1 -1
- package/SVF-doxygen/html/html/search/variables_13.js +3 -3
- package/SVF-doxygen/html/html/search/variables_5.js +1 -1
- package/SVF-doxygen/html/html/search/variables_7.js +1 -1
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/include/Graphs/ICFGStat.h +1 -1
- package/include/Util/PTAStat.h +6 -36
- package/include/Util/SVFStat.h +95 -0
- package/include/WPA/AndersenPWC.h +1 -1
- package/lib/DDA/DDAPass.cpp +1 -0
- package/lib/DDA/DDAStat.cpp +1 -0
- package/lib/Graphs/SVFGReadWrite.cpp +1 -0
- package/lib/Graphs/SVFGStat.cpp +1 -0
- package/lib/SVF-FE/CHGBuilder.cpp +1 -0
- package/lib/Util/PTAStat.cpp +2 -21
- package/lib/Util/SVFStat.cpp +58 -0
- package/lib/WPA/Andersen.cpp +1 -0
- package/lib/WPA/AndersenSCD.cpp +1 -0
- package/lib/WPA/AndersenSFR.cpp +1 -0
- package/lib/WPA/AndersenStat.cpp +1 -0
- package/lib/WPA/AndersenWaveDiff.cpp +1 -0
- package/package.json +1 -1
|
@@ -88,21 +88,21 @@ $(function() {
|
|
|
88
88
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1">avgWeight</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
89
89
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725">backwardSlice</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
90
90
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a570b8466e99ce5f68e02546d1ef21971">calculateNodeDegrees</a>(SVFGNode *node, NodeSet &nodeHasIndInEdge, NodeSet &nodeHasIndOutEdge)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
91
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
91
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#af2eb88d1563be9e6290a5fc69bec3bbe">callgraphStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
92
92
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a737352ac44d808c55a91e8bd5e9e0aac">clear</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
93
|
-
<tr><td class="entry"><a class="el" href="
|
|
93
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454">ClockType</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
94
94
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ac243fababbb9d2f3efbea5411f947c21">connectDirSVFGEdgeTimeEnd</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
95
95
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a0a967faad014cdd53f5dddfdc59edbc3">connectDirSVFGEdgeTimeStart</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
96
96
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a3210cc1283669129234aa2c3feb67654">connectIndSVFGEdgeTimeEnd</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
97
97
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2a697caecf23413187aef90a8097e0b0">connectIndSVFGEdgeTimeStart</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
98
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
98
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454ad58693e596aa4088fa4a05065f9c0ffa">CPU</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
99
99
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#abef8f1d89413ed3c6e67dcd2b81729d8">dirVFEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
100
100
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a169d75c0fd09f69d86939d84db67e590">dirVFEdgeStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
101
|
-
<tr><td class="entry"><a class="el" href="
|
|
101
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a1b7f1e3381de87f75f06cddb9c6c1ec1">endClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
102
102
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a267ba4aac2e7ceb65f008f9486d3d9f7">endTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
|
|
103
103
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8">forwardSlice</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
104
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
105
|
-
<tr><td class="entry"><a class="el" href="
|
|
104
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41">generalNumMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
105
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d">getClk</a>(bool mark=false)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
106
106
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31">getSCCRep</a>(SVFGSCC *scc, NodeID id) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
107
107
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
108
108
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">inBackwardSlice</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
@@ -174,34 +174,34 @@ $(function() {
|
|
|
174
174
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e">NumOfStackObjs</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
175
175
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9">numOfStore</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
176
176
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a656ad9980ff05af396ed6754c50916e7">NumOfStores</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
177
|
-
<tr><td class="entry"><a class="el" href="
|
|
177
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab810863d70cb2f5b4e312d07eae51227">NUMStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
178
178
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f">performSCCStat</a>(SVFGEdgeSet insensitiveCalRetEdges)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
179
179
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4">performStat</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
180
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
180
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">performStatPerQuery</a>(NodeID)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
181
181
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88">printStat</a>(std::string str="") override</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
182
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
183
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
184
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
185
|
-
<tr><td class="entry"><a class="el" href="
|
|
186
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
187
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
188
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
189
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
190
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
191
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
192
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
193
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
194
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
195
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#
|
|
196
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
197
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
198
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
199
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
200
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
201
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#
|
|
202
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
203
|
-
<tr><td class="entry"><a class="el" href="
|
|
204
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
182
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02">printStatPerQuery</a>(NodeID, const PointsTo &)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
183
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a95a0a7861731072baeaf75354531875f">ProcessCopyGepTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
184
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8">processGraph</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
185
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#aeb6a52c31ecd004670e85f24b01d75d6">ProcessLoadStoreTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
186
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f">PTAStat</a>(PointerAnalysis *p)</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
|
|
187
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#afdb975520329be0c33cc7bdd51ba7031">PTNumStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
|
|
188
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SCCDetectionTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
189
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SCCMergeTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
190
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aaec3a7f29b3ded0c971d57376d2779ff">sfvgOptEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
191
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#acb80953b39ce247679242df4f042ab79">sfvgOptStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
192
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202">sinks</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
193
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a18a30f659c3a79d65b4ae7f3316c5f91">sources</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
194
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a730cc814fede3edb563aa9957c869e9e">startClk</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
195
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9">startTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"></td></tr>
|
|
196
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#afeddbe4020e9b3c928856c2dc86af838">SVFGEdgeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
197
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4">SVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
198
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ac06625b26e1aa1a0ed171c9f5cea0f35">svfgOptTimeEnd</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
199
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2">svfgOptTimeStart</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
200
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8">SVFGSCC</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
201
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVFGStat</a>(SVFG *g)</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"></td></tr>
|
|
202
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
203
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">timeStatMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
204
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">TIMEStatMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
205
205
|
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a17e479f0258291998369a2eb325ba3d7">TLVFNodeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
206
206
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a2e4aac52fdc2fd119847afbeba634de9">TLVFNodeStart</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
207
207
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a25001a6d794d91056f37d954d9660910">TotalAnalysisTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
@@ -219,9 +219,10 @@ $(function() {
|
|
|
219
219
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560">TotalNumOfPointers</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
220
220
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a">totalOutEdge</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
221
221
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894">UpdateCallGraphTime</a></td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
|
|
222
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
222
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a4f47da512cfa8f94fddaddc65334b454a4daec28631d54e09b587e78707ab54fc">Wall</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"></td></tr>
|
|
223
223
|
<tr><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html#a1e5294c49b8bd8a850e938dccd5800a5">~PTAStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTAStat.html">SVF::PTAStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
224
224
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html#ad70617b64bb651c0c16943a8b016399e">~SVFGStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFGStat.html">SVF::SVFGStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
225
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html#a135ac9973ebfef4680d343320453ff52">~SVFStat</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStat.html">SVF::SVFStat</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
225
226
|
</table></div><!-- contents -->
|
|
226
227
|
<!-- start footer part -->
|
|
227
228
|
<hr class="footer"/><address class="footer"><small>
|