svf-tools 1.0.270 → 1.0.274
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/ContextDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +118 -117
- package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/MemSSA_8h_source.html +17 -17
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +88 -87
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +5 -5
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +8 -11
- package/SVF-doxygen/html/html/SVFG_8cpp.html +2 -0
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +87 -70
- package/SVF-doxygen/html/html/SVFG_8h_source.html +48 -54
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +47 -48
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +66 -66
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +50 -52
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +22 -22
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +16 -16
- package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +64 -62
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +94 -37
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +29 -27
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +94 -39
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +50 -49
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +49 -47
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +145 -30
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MRVer-members.html +9 -8
- package/SVF-doxygen/html/html/classSVF_1_1MRVer.html +33 -0
- package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +31 -31
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +47 -47
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +38 -38
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +12 -12
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +53 -51
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU-members.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +20 -20
- package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +237 -136
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +30 -30
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +24 -24
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- 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/functions_a.html +7 -7
- package/SVF-doxygen/html/html/functions_c.html +21 -25
- package/SVF-doxygen/html/html/functions_f.html +17 -11
- package/SVF-doxygen/html/html/functions_func.html +7 -7
- package/SVF-doxygen/html/html/functions_func_f.html +2 -2
- package/SVF-doxygen/html/html/functions_func_g.html +25 -25
- package/SVF-doxygen/html/html/functions_func_i.html +1 -1
- package/SVF-doxygen/html/html/functions_func_m.html +1 -1
- package/SVF-doxygen/html/html/functions_func_o.html +4 -2
- package/SVF-doxygen/html/html/functions_g.html +22 -22
- package/SVF-doxygen/html/html/functions_i.html +4 -4
- package/SVF-doxygen/html/html/functions_m.html +1 -5
- package/SVF-doxygen/html/html/functions_o.html +12 -12
- package/SVF-doxygen/html/html/functions_p.html +12 -14
- package/SVF-doxygen/html/html/functions_r.html +5 -9
- package/SVF-doxygen/html/html/functions_s.html +9 -7
- package/SVF-doxygen/html/html/functions_t.html +3 -3
- package/SVF-doxygen/html/html/functions_u.html +3 -3
- package/SVF-doxygen/html/html/functions_v.html +9 -4
- package/SVF-doxygen/html/html/functions_vars_c.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_f.html +6 -0
- package/SVF-doxygen/html/html/functions_vars_m.html +0 -4
- package/SVF-doxygen/html/html/functions_vars_r.html +2 -2
- package/SVF-doxygen/html/html/functions_vars_v.html +6 -1
- package/SVF-doxygen/html/html/search/all_1.js +7 -7
- package/SVF-doxygen/html/html/search/all_10.js +8 -8
- package/SVF-doxygen/html/html/search/all_12.js +4 -4
- package/SVF-doxygen/html/html/search/all_13.js +5 -5
- package/SVF-doxygen/html/html/search/all_14.js +2 -2
- package/SVF-doxygen/html/html/search/all_15.js +1 -1
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +1 -1
- package/SVF-doxygen/html/html/search/all_6.js +5 -3
- package/SVF-doxygen/html/html/search/all_7.js +6 -9
- package/SVF-doxygen/html/html/search/all_9.js +2 -2
- package/SVF-doxygen/html/html/search/all_d.js +4 -4
- package/SVF-doxygen/html/html/search/all_e.js +2 -2
- package/SVF-doxygen/html/html/search/all_f.js +3 -3
- package/SVF-doxygen/html/html/search/functions_0.js +7 -7
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_5.js +2 -2
- package/SVF-doxygen/html/html/search/functions_6.js +6 -9
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_b.js +1 -1
- package/SVF-doxygen/html/html/search/functions_d.js +2 -2
- package/SVF-doxygen/html/html/search/variables_12.js +2 -2
- package/SVF-doxygen/html/html/search/variables_16.js +1 -1
- package/SVF-doxygen/html/html/search/variables_3.js +0 -1
- package/SVF-doxygen/html/html/search/variables_6.js +2 -0
- package/SVF-doxygen/html/html/search/variables_d.js +2 -3
- 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 +28 -28
- package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
- package/include/Graphs/SVFG.h +28 -23
- package/include/Graphs/SVFGNode.h +69 -36
- package/include/Graphs/SVFGOPT.h +2 -2
- package/include/MSSA/MSSAMuChi.h +10 -4
- package/lib/Graphs/SVFG.cpp +52 -35
- package/package.json +1 -1
|
@@ -109,53 +109,55 @@ $(function() {
|
|
|
109
109
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829">getICFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
110
110
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
111
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
113
|
-
<tr><td class="entry"><a class="el" href="
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#
|
|
115
|
-
<tr><td class="entry"><a class="el" href="
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
117
|
-
<tr><td class="entry"><a class="el" href="
|
|
118
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
119
|
-
<tr><td class="entry"><a class="el" href="
|
|
120
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
121
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
122
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
123
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
124
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
125
|
-
<tr><td class="entry"><a class="el" href="
|
|
126
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
127
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
128
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
129
|
-
<tr><td class="entry"><a class="el" href="
|
|
130
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
131
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
132
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
133
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
134
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
135
|
-
<tr><td class="entry"><a class="el" href="
|
|
136
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
137
|
-
<tr><td class="entry"><a class="el" href="
|
|
138
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
139
|
-
<tr><td class="entry"><a class="el" href="
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
141
|
-
<tr><td class="entry"><a class="el" href="
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#
|
|
143
|
-
<tr><td class="entry"><a class="el" href="
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
149
|
-
<tr><td class="entry"><a class="el" href="
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
151
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
152
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
153
|
-
<tr><td class="entry"><a class="el" href="
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
155
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
156
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
157
|
-
<tr><td class="entry"><a class="el" href="
|
|
158
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
113
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">getOpVer</a>(u32_t pos) const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f">getOpVerNum</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</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_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">getOutEdges</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
117
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a59a85a4adee33bc5452996840e30cdd0">getPointsTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898">getValue</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a363b90ab02cce2ebc3ede8e5b7cc141c">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
121
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a06a7373b11143e709784de784fa476fe">hasIncomingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
122
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#add6b6b3bd45a9460335c5db9eda821b8">hasIncomingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
123
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">hasOutgoingEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">hasOutgoingEdge</a>(EdgeType *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
125
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a54c631f1e39be144c0cd25373f6b98b8">icfgNode</a></td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
126
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">InEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
127
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c0ff80b1c0ae8b76fc620f21495ca39">InEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></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_1GenericNode.html#afe6a7b286d9af4992f41b59612fd2900">InEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
129
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
130
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">IntraMSSAPHISVFGNode</a>(NodeID id, const MRVer *resVer)</td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
131
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">iterator</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
132
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a0dfbaf92c48e11aebc85760e6e799d80">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
133
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">MInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
134
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
135
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
136
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(NodeID id, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
|
|
137
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
138
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"></td></tr>
|
|
139
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
140
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9">opVerBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
141
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799">opVerEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">OPVers</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
145
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">OutEdgeBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
146
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
147
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">OutEdgeEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a56dff05dc2b3c5664d3b8fc1c6c927d5">removeIncomingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
149
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a7c6192cb176bda3fad1819711302e468">removeOutgoingEdge</a>(EdgeType *edge)</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a></td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"></td></tr>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">RetPESet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
152
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de">setICFGNode</a>(const ICFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
153
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671">setOpVer</a>(u32_t pos, const MRVer *node)</td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
154
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8">Store</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
155
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">TInterPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
156
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727">TIntraPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
157
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">SVF::IntraMSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
158
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac0bc801ca111129101616fbd39cce950">TPhi</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
159
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
160
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a></td><td class="entry"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
159
161
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(NodeID i, VFGNodeK k)</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
160
162
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
161
163
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9">~GenericNode</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode< NodeTy, EdgeTy ></a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
|
|
@@ -64,6 +64,7 @@ $(function() {
|
|
|
64
64
|
<div class="header">
|
|
65
65
|
<div class="summary">
|
|
66
66
|
<a href="#pub-methods">Public Member Functions</a> |
|
|
67
|
+
<a href="#pub-attribs">Public Attributes</a> |
|
|
67
68
|
<a href="classSVF_1_1IntraMSSAPHISVFGNode-members.html">List of all members</a> </div>
|
|
68
69
|
<div class="headertitle">
|
|
69
70
|
<div class="title">SVF::IntraMSSAPHISVFGNode Class Reference</div> </div>
|
|
@@ -86,22 +87,29 @@ Inheritance diagram for SVF::IntraMSSAPHISVFGNode:</div>
|
|
|
86
87
|
<table class="memberdecls">
|
|
87
88
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
88
89
|
Public Member Functions</h2></td></tr>
|
|
89
|
-
<tr class="memitem:
|
|
90
|
-
<tr class="memdesc:
|
|
91
|
-
<tr class="separator:
|
|
90
|
+
<tr class="memitem:abe0faa3d40bf16ac0937324035d3323d"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">IntraMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *<a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a>)</td></tr>
|
|
91
|
+
<tr class="memdesc:abe0faa3d40bf16ac0937324035d3323d"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#abe0faa3d40bf16ac0937324035d3323d">More...</a><br /></td></tr>
|
|
92
|
+
<tr class="separator:abe0faa3d40bf16ac0937324035d3323d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
+
<tr class="memitem:a9d4b2b8d343796bb465cc5a138eb3f18"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18">getMRVer</a> () const</td></tr>
|
|
94
|
+
<tr class="separator:a9d4b2b8d343796bb465cc5a138eb3f18"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
+
<tr class="memitem:aff4e88ef6569d3c4f29b532d610cd2b9"><td class="memItemLeft" align="right" valign="top">OPVers::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9">opVerBegin</a> () const</td></tr>
|
|
96
|
+
<tr class="separator:aff4e88ef6569d3c4f29b532d610cd2b9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
97
|
+
<tr class="memitem:a5e78faceb497b0f3cb6f8f1a9fc4f799"><td class="memItemLeft" align="right" valign="top">OPVers::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799">opVerEnd</a> () const</td></tr>
|
|
98
|
+
<tr class="separator:a5e78faceb497b0f3cb6f8f1a9fc4f799"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
99
|
<tr class="memitem:ad463be283dcad18654cee4311d071a47"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">toString</a> () const</td></tr>
|
|
93
100
|
<tr class="separator:ad463be283dcad18654cee4311d071a47"><td class="memSeparator" colspan="2"> </td></tr>
|
|
94
101
|
<tr class="inherit_header pub_methods_classSVF_1_1MSSAPHISVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MSSAPHISVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td></tr>
|
|
95
|
-
<tr class="memitem:
|
|
96
|
-
<tr class="memdesc:
|
|
97
|
-
<tr class="separator:
|
|
102
|
+
<tr class="memitem:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *resVer, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k=<a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aac6fa19473ed8b90a7fd8c9080e5e014">MPhi</a>)</td></tr>
|
|
103
|
+
<tr class="memdesc:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">More...</a><br /></td></tr>
|
|
104
|
+
<tr class="separator:aec8a372f9024af27a87c5b43e4dc633d inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
|
+
<tr class="memitem:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">getResVer</a> () const</td></tr>
|
|
106
|
+
<tr class="memdesc:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">Ver. <a href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">More...</a><br /></td></tr>
|
|
107
|
+
<tr class="separator:a9ea963b7773c7d0b42ccf81e58a54a50 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
108
|
<tr class="memitem:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">getOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos) const</td></tr>
|
|
99
109
|
<tr class="memdesc:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="mdescLeft"> </td><td class="mdescRight">MSSA phi operands. <a href="classSVF_1_1MSSAPHISVFGNode.html#a9ff8a58538d4df8e06e8d16dd58f02a3">More...</a><br /></td></tr>
|
|
100
110
|
<tr class="separator:a9ff8a58538d4df8e06e8d16dd58f02a3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
101
111
|
<tr class="memitem:a928a57d7f518c5af98a0245d9221e671 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a928a57d7f518c5af98a0245d9221e671">setOpVer</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *node)</td></tr>
|
|
102
112
|
<tr class="separator:a928a57d7f518c5af98a0245d9221e671 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
103
|
-
<tr class="memitem:a771568239e438c8a823ef7da49a9ebc3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c">MemSSA::MDEF</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">getRes</a> () const</td></tr>
|
|
104
|
-
<tr class="separator:a771568239e438c8a823ef7da49a9ebc3 inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
113
|
<tr class="memitem:af7bd2cd776dcdbd1aee11569ec9f4a4f inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f">getOpVerNum</a> () const</td></tr>
|
|
106
114
|
<tr class="separator:af7bd2cd776dcdbd1aee11569ec9f4a4f inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
107
115
|
<tr class="memitem:ace39549f7e300cb4a0ac7b8506a8632a inherit pub_methods_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">OPVers::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">opVerBegin</a> () const</td></tr>
|
|
@@ -232,6 +240,11 @@ Static Public Member Functions</h2></td></tr>
|
|
|
232
240
|
<tr class="memitem:a5f14facdcee7fec54c45b5956af553be inherit pub_static_methods_classSVF_1_1MRSVFGNode"><td class="memItemLeft" align="right" valign="top">static bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRSVFGNode.html#a5f14facdcee7fec54c45b5956af553be">classof</a> (const <a class="el" href="namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6">GenericVFGNodeTy</a> *node)</td></tr>
|
|
233
241
|
<tr class="separator:a5f14facdcee7fec54c45b5956af553be inherit pub_static_methods_classSVF_1_1MRSVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
234
242
|
</table><table class="memberdecls">
|
|
243
|
+
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
|
|
244
|
+
Public Attributes</h2></td></tr>
|
|
245
|
+
<tr class="memitem:a84832f678de1f497b4f3d7720a0bc58a"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a></td></tr>
|
|
246
|
+
<tr class="separator:a84832f678de1f497b4f3d7720a0bc58a"><td class="memSeparator" colspan="2"> </td></tr>
|
|
247
|
+
</table><table class="memberdecls">
|
|
235
248
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
236
249
|
Additional Inherited Members</h2></td></tr>
|
|
237
250
|
<tr class="inherit_header pub_types_classSVF_1_1MSSAPHISVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1MSSAPHISVFGNode')"><img src="closed.png" alt="-"/> Public Types inherited from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td></tr>
|
|
@@ -299,8 +312,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
299
312
|
<tr class="memitem:a2c2b0476c49c5f2d4ebe6eec22c7345f inherit pro_methods_classSVF_1_1MRSVFGNode"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">id</a>, <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">VFGNodeK</a> k)</td></tr>
|
|
300
313
|
<tr class="separator:a2c2b0476c49c5f2d4ebe6eec22c7345f inherit pro_methods_classSVF_1_1MRSVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
301
314
|
<tr class="inherit_header pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MSSAPHISVFGNode')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">SVF::MSSAPHISVFGNode</a></td></tr>
|
|
302
|
-
<tr class="memitem:
|
|
303
|
-
<tr class="separator:
|
|
315
|
+
<tr class="memitem:a61b2e5ccd265d69167f44ce43e97fb80 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a61b2e5ccd265d69167f44ce43e97fb80">ver</a></td></tr>
|
|
316
|
+
<tr class="separator:a61b2e5ccd265d69167f44ce43e97fb80 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
304
317
|
<tr class="memitem:a9c327923ab939e06877441ebde5c1139 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">OPVers</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a></td></tr>
|
|
305
318
|
<tr class="separator:a9c327923ab939e06877441ebde5c1139 inherit pro_attribs_classSVF_1_1MSSAPHISVFGNode"><td class="memSeparator" colspan="2"> </td></tr>
|
|
306
319
|
<tr class="inherit_header pro_attribs_classSVF_1_1MRSVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1MRSVFGNode')"><img src="closed.png" alt="-"/> Protected Attributes inherited from <a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td></tr>
|
|
@@ -312,10 +325,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
312
325
|
</table>
|
|
313
326
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
314
327
|
<div class="textblock">
|
|
315
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
328
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00346">346</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
316
329
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
317
|
-
<a id="
|
|
318
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
330
|
+
<a id="abe0faa3d40bf16ac0937324035d3323d"></a>
|
|
331
|
+
<h2 class="memtitle"><span class="permalink"><a href="#abe0faa3d40bf16ac0937324035d3323d">◆ </a></span>IntraMSSAPHISVFGNode()</h2>
|
|
319
332
|
|
|
320
333
|
<div class="memitem">
|
|
321
334
|
<div class="memproto">
|
|
@@ -332,8 +345,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
332
345
|
<tr>
|
|
333
346
|
<td class="paramkey"></td>
|
|
334
347
|
<td></td>
|
|
335
|
-
<td class="paramtype">const <a class="el" href="
|
|
336
|
-
<td class="paramname"><em>
|
|
348
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td>
|
|
349
|
+
<td class="paramname"><em>resVer</em> </td>
|
|
337
350
|
</tr>
|
|
338
351
|
<tr>
|
|
339
352
|
<td></td>
|
|
@@ -350,9 +363,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
350
363
|
|
|
351
364
|
<p>Constructor. </p>
|
|
352
365
|
|
|
353
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
354
|
-
<div class="fragment"><div class="line"><a name="
|
|
355
|
-
<div class="ttc" id="
|
|
366
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00352">352</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
367
|
+
<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  : <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">MSSAPHISVFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a>)</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  {</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  <a class="code" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a> = <a class="code" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a>; </div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
368
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_aec8a372f9024af27a87c5b43e4dc633d"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode::MSSAPHISVFGNode</a></div><div class="ttdeci">MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00284">SVFGNode.h:284</a></div></div>
|
|
369
|
+
<div class="ttc" id="classSVF_1_1IntraMSSAPHISVFGNode_html_a84832f678de1f497b4f3d7720a0bc58a"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">SVF::IntraMSSAPHISVFGNode::resVer</a></div><div class="ttdeci">const MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00350">SVFGNode.h:350</a></div></div>
|
|
356
370
|
</div><!-- fragment -->
|
|
357
371
|
</div>
|
|
358
372
|
</div>
|
|
@@ -383,8 +397,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
383
397
|
|
|
384
398
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
385
399
|
|
|
386
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
387
|
-
<div class="fragment"><div class="line"><a name="
|
|
400
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00374">374</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
401
|
+
<div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  {</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  }</div></div><!-- fragment -->
|
|
388
402
|
</div>
|
|
389
403
|
</div>
|
|
390
404
|
<a id="ada532ff4ffbd7592ae1b89b1e234ba21"></a>
|
|
@@ -411,8 +425,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
411
425
|
</table>
|
|
412
426
|
</div><div class="memdoc">
|
|
413
427
|
|
|
414
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
415
|
-
<div class="fragment"><div class="line"><a name="
|
|
428
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00378">378</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
429
|
+
<div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  {</div><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a>;</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
416
430
|
</div><!-- fragment -->
|
|
417
431
|
</div>
|
|
418
432
|
</div>
|
|
@@ -440,8 +454,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
440
454
|
</table>
|
|
441
455
|
</div><div class="memdoc">
|
|
442
456
|
|
|
443
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
444
|
-
<div class="fragment"><div class="line"><a name="
|
|
457
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00382">382</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
458
|
+
<div class="fragment"><div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  {</div><div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a>;</div><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
445
459
|
</div><!-- fragment -->
|
|
446
460
|
</div>
|
|
447
461
|
</div>
|
|
@@ -469,8 +483,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
469
483
|
</table>
|
|
470
484
|
</div><div class="memdoc">
|
|
471
485
|
|
|
472
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
473
|
-
<div class="fragment"><div class="line"><a name="
|
|
486
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00386">386</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
487
|
+
<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  {</div><div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a>;</div><div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
474
488
|
</div><!-- fragment -->
|
|
475
489
|
</div>
|
|
476
490
|
</div>
|
|
@@ -498,8 +512,92 @@ Additional Inherited Members</h2></td></tr>
|
|
|
498
512
|
</table>
|
|
499
513
|
</div><div class="memdoc">
|
|
500
514
|
|
|
515
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00390">390</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
516
|
+
<div class="fragment"><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  {</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">MIntraPhi</a>;</div><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00057">VFGNode.h:57</a></div></div>
|
|
517
|
+
</div><!-- fragment -->
|
|
518
|
+
</div>
|
|
519
|
+
</div>
|
|
520
|
+
<a id="a9d4b2b8d343796bb465cc5a138eb3f18"></a>
|
|
521
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9d4b2b8d343796bb465cc5a138eb3f18">◆ </a></span>getMRVer()</h2>
|
|
522
|
+
|
|
523
|
+
<div class="memitem">
|
|
524
|
+
<div class="memproto">
|
|
525
|
+
<table class="mlabels">
|
|
526
|
+
<tr>
|
|
527
|
+
<td class="mlabels-left">
|
|
528
|
+
<table class="memname">
|
|
529
|
+
<tr>
|
|
530
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::IntraMSSAPHISVFGNode::getMRVer </td>
|
|
531
|
+
<td>(</td>
|
|
532
|
+
<td class="paramname"></td><td>)</td>
|
|
533
|
+
<td> const</td>
|
|
534
|
+
</tr>
|
|
535
|
+
</table>
|
|
536
|
+
</td>
|
|
537
|
+
<td class="mlabels-right">
|
|
538
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
539
|
+
</tr>
|
|
540
|
+
</table>
|
|
541
|
+
</div><div class="memdoc">
|
|
542
|
+
|
|
501
543
|
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00357">357</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
502
|
-
<div class="fragment"><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  {</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keywordflow">return</span>
|
|
544
|
+
<div class="fragment"><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  {</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">resVer</a>;</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  }</div><div class="ttc" id="classSVF_1_1IntraMSSAPHISVFGNode_html_a84832f678de1f497b4f3d7720a0bc58a"><div class="ttname"><a href="classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a">SVF::IntraMSSAPHISVFGNode::resVer</a></div><div class="ttdeci">const MRVer * resVer</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00350">SVFGNode.h:350</a></div></div>
|
|
545
|
+
</div><!-- fragment -->
|
|
546
|
+
</div>
|
|
547
|
+
</div>
|
|
548
|
+
<a id="aff4e88ef6569d3c4f29b532d610cd2b9"></a>
|
|
549
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aff4e88ef6569d3c4f29b532d610cd2b9">◆ </a></span>opVerBegin()</h2>
|
|
550
|
+
|
|
551
|
+
<div class="memitem">
|
|
552
|
+
<div class="memproto">
|
|
553
|
+
<table class="mlabels">
|
|
554
|
+
<tr>
|
|
555
|
+
<td class="mlabels-left">
|
|
556
|
+
<table class="memname">
|
|
557
|
+
<tr>
|
|
558
|
+
<td class="memname">OPVers::const_iterator SVF::IntraMSSAPHISVFGNode::opVerBegin </td>
|
|
559
|
+
<td>(</td>
|
|
560
|
+
<td class="paramname"></td><td>)</td>
|
|
561
|
+
<td> const</td>
|
|
562
|
+
</tr>
|
|
563
|
+
</table>
|
|
564
|
+
</td>
|
|
565
|
+
<td class="mlabels-right">
|
|
566
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
567
|
+
</tr>
|
|
568
|
+
</table>
|
|
569
|
+
</div><div class="memdoc">
|
|
570
|
+
|
|
571
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00362">362</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
572
|
+
<div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  {</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.begin();</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
573
|
+
</div><!-- fragment -->
|
|
574
|
+
</div>
|
|
575
|
+
</div>
|
|
576
|
+
<a id="a5e78faceb497b0f3cb6f8f1a9fc4f799"></a>
|
|
577
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5e78faceb497b0f3cb6f8f1a9fc4f799">◆ </a></span>opVerEnd()</h2>
|
|
578
|
+
|
|
579
|
+
<div class="memitem">
|
|
580
|
+
<div class="memproto">
|
|
581
|
+
<table class="mlabels">
|
|
582
|
+
<tr>
|
|
583
|
+
<td class="mlabels-left">
|
|
584
|
+
<table class="memname">
|
|
585
|
+
<tr>
|
|
586
|
+
<td class="memname">OPVers::const_iterator SVF::IntraMSSAPHISVFGNode::opVerEnd </td>
|
|
587
|
+
<td>(</td>
|
|
588
|
+
<td class="paramname"></td><td>)</td>
|
|
589
|
+
<td> const</td>
|
|
590
|
+
</tr>
|
|
591
|
+
</table>
|
|
592
|
+
</td>
|
|
593
|
+
<td class="mlabels-right">
|
|
594
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
595
|
+
</tr>
|
|
596
|
+
</table>
|
|
597
|
+
</div><div class="memdoc">
|
|
598
|
+
|
|
599
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00367">367</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
600
|
+
<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  {</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">opVers</a>.end();</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  }</div><div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a9c327923ab939e06877441ebde5c1139"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00280">SVFGNode.h:280</a></div></div>
|
|
503
601
|
</div><!-- fragment -->
|
|
504
602
|
</div>
|
|
505
603
|
</div>
|
|
@@ -528,13 +626,30 @@ Additional Inherited Members</h2></td></tr>
|
|
|
528
626
|
|
|
529
627
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode</a>.</p>
|
|
530
628
|
|
|
531
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
532
|
-
<div class="fragment"><div class="line"><a name="
|
|
629
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00106">106</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
630
|
+
<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  {</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>  std::string str;</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  rawstr << <span class="stringliteral">"IntraMSSAPHISVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" {fun: "</span> << <a class="code" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</a>()-><a class="code" href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">getName</a>() << <span class="stringliteral">"}"</span>;</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  rawstr << <a class="code" href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">MSSAPHISVFGNode::toString</a>();</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span> }</div><div class="ttc" id="classSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00086">VFGNode.h:86</a></div></div>
|
|
533
631
|
<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00221">SVFBasicTypes.h:221</a></div></div>
|
|
534
632
|
<div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
|
|
535
633
|
<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
|
|
536
|
-
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
634
|
+
<div class="ttc" id="classSVF_1_1MSSAPHISVFGNode_html_a1a07b3e8da65d17c16ed34a4f66b80dd"><div class="ttname"><a href="classSVF_1_1MSSAPHISVFGNode.html#a1a07b3e8da65d17c16ed34a4f66b80dd">SVF::MSSAPHISVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00090">SVFG.cpp:90</a></div></div>
|
|
537
635
|
</div><!-- fragment -->
|
|
636
|
+
</div>
|
|
637
|
+
</div>
|
|
638
|
+
<h2 class="groupheader">Member Data Documentation</h2>
|
|
639
|
+
<a id="a84832f678de1f497b4f3d7720a0bc58a"></a>
|
|
640
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a84832f678de1f497b4f3d7720a0bc58a">◆ </a></span>resVer</h2>
|
|
641
|
+
|
|
642
|
+
<div class="memitem">
|
|
643
|
+
<div class="memproto">
|
|
644
|
+
<table class="memname">
|
|
645
|
+
<tr>
|
|
646
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::IntraMSSAPHISVFGNode::resVer</td>
|
|
647
|
+
</tr>
|
|
648
|
+
</table>
|
|
649
|
+
</div><div class="memdoc">
|
|
650
|
+
|
|
651
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00350">350</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
652
|
+
|
|
538
653
|
</div>
|
|
539
654
|
</div>
|
|
540
655
|
<hr/>The documentation for this class was generated from the following files:<ul>
|