svf-tools 1.0.290 → 1.0.294
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/README.md +1 -0
- package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/AndersenWaveDiffWithType_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +9 -9
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
- package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +34 -33
- package/SVF-doxygen/html/html/PointsTo_8h_source.html +32 -32
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -12
- package/SVF-doxygen/html/html/ProgSlice_8h_source.html +33 -35
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +31 -36
- package/SVF-doxygen/html/html/SVFG_8h_source.html +19 -19
- package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +16 -10
- package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +8 -8
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -3
- package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +77 -66
- package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +32 -26
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice-members.html +36 -37
- package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +121 -153
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +49 -49
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +6 -6
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +8 -9
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/functions_f.html +3 -3
- package/SVF-doxygen/html/html/functions_func_g.html +9 -12
- package/SVF-doxygen/html/html/functions_func_p.html +1 -1
- package/SVF-doxygen/html/html/functions_g.html +10 -13
- package/SVF-doxygen/html/html/functions_n.html +3 -3
- package/SVF-doxygen/html/html/functions_o.html +11 -11
- package/SVF-doxygen/html/html/functions_p.html +9 -5
- package/SVF-doxygen/html/html/functions_r.html +3 -5
- package/SVF-doxygen/html/html/functions_s.html +6 -6
- package/SVF-doxygen/html/html/functions_t.html +6 -6
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/functions_w.html +8 -6
- package/SVF-doxygen/html/html/namespaceSVF.html +8 -8
- package/SVF-doxygen/html/html/search/all_10.js +6 -6
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_13.js +2 -2
- package/SVF-doxygen/html/html/search/all_14.js +6 -6
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +1 -1
- package/SVF-doxygen/html/html/search/all_17.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +1 -1
- package/SVF-doxygen/html/html/search/all_7.js +1 -2
- package/SVF-doxygen/html/html/search/all_d.js +1 -1
- package/SVF-doxygen/html/html/search/all_e.js +4 -4
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -2
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +3 -3
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +1 -1
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +20 -20
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +18 -18
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html +1 -1
- package/include/SABER/ProgSlice.h +0 -3
- package/lib/Graphs/SVFG.cpp +0 -20
- package/lib/Graphs/VFG.cpp +18 -0
- package/lib/MemoryModel/PointsTo.cpp +76 -19
- package/lib/SABER/ProgSlice.cpp +0 -37
- package/lib/SABER/SaberAnnotator.cpp +1 -1
- package/lib/WPA/Andersen.cpp +4 -4
- package/package.json +1 -1
|
@@ -100,43 +100,42 @@ $(function() {
|
|
|
100
100
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#afad8cd2f720bf01eedd825c3c418abc0">getCurSVFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
101
101
|
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">getFalseCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
102
102
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">getForwardSliceSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
103
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
104
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
105
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
106
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
107
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
108
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
109
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
117
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
119
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
125
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
135
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
137
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ad761a9848d2dab7700a7fdeb91c2454d">~ProgSlice</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
103
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">getRetSite</a>(const SVFGEdge *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
104
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">getSinks</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
105
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">getSource</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
106
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a32ffd130984483b201c485da91ec467f">getSVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
107
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a8b61702d8e35f066bb78e823f2c59ce6">getSVFGNodeBB</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
108
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">getTrueCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
109
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a15542937ee75195de1a3ffca18a168cf">getVFCond</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
110
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">inBackwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">inForwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e">isAllReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4">isEquivalentBranchCond</a>(const Condition *lhs, const Condition *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2">isPartialReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e">isReachGlobal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
116
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">isSatisfiableForAll</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4">isSatisfiableForPairs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9">partialReachable</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5">pathAllocator</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a76b91deacf7a66d142752f5a303386eb">ProgSlice</a>(const SVFGNode *src, PathCondAllocator *pa, const SVFG *graph)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">reachGlob</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">root</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd">setAllReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
124
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8">setCurSVFGNode</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2b8ad7aad51029106d88e81072e09a5e">setFinalCond</a>(Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d">setPartialReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">setReachGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
128
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#add68dd06ab20899bc898d065ae2e82c0">setVFCond</a>(const SVFGNode *node, Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">sinks</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">sinksBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31">sinksEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde">svfg</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a">SVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVFGNodeSetIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVFGNodeToCondMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">svfgNodeToCondMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">VFWorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ad761a9848d2dab7700a7fdeb91c2454d">~ProgSlice</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
140
139
|
</table></div><!-- contents -->
|
|
141
140
|
<!-- start footer part -->
|
|
142
141
|
<hr class="footer"/><address class="footer"><small>
|