svf-tools 1.0.413 → 1.0.414
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_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +9 -9
- package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/FSMPTA_8h_source.html +1 -1
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +5 -5
- package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp.html +1 -1
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +14 -14
- package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +6 -6
- package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +21 -21
- package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +8 -8
- package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SVFGNode_8h_source.html +89 -88
- package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +15 -15
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +19 -19
- package/SVF-doxygen/html/html/SVFG_8cpp_source.html +71 -69
- package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -41
- package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/VFGEdge_8h_source.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h.html +1 -1
- package/SVF-doxygen/html/html/VFGNode_8h_source.html +197 -195
- package/SVF-doxygen/html/html/VFG_8cpp_source.html +89 -72
- package/SVF-doxygen/html/html/VFG_8h_source.html +39 -39
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +7 -7
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +25 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +59 -22
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +61 -24
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1ArgumentVFGNode.html +23 -20
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +69 -32
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +59 -24
- package/SVF-doxygen/html/html/classSVF_1_1CallDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CallIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode-members.html +52 -51
- package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +70 -33
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1DirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +53 -17
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +24 -21
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode-members.html +47 -46
- package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +22 -19
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode-members.html +45 -44
- package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode-members.html +49 -48
- package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +65 -28
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1IndirectSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode-members.html +58 -57
- package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +45 -42
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +40 -37
- package/SVF-doxygen/html/html/classSVF_1_1IntraDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode-members.html +56 -55
- package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode-members.html +57 -56
- package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +26 -23
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +50 -14
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode-members.html +44 -43
- package/SVF-doxygen/html/html/classSVF_1_1MRSVFGNode.html +48 -13
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +36 -33
- package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +32 -32
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode-members.html +46 -45
- package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +58 -21
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode-members.html +53 -52
- package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +71 -34
- package/SVF-doxygen/html/html/classSVF_1_1RetDirSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1RetIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +77 -77
- package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +29 -29
- package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode-members.html +51 -50
- package/SVF-doxygen/html/html/classSVF_1_1StmtVFGNode.html +35 -32
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode-members.html +54 -53
- package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +51 -14
- package/SVF-doxygen/html/html/classSVF_1_1ThreadMHPIndSVFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode-members.html +55 -54
- package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +76 -39
- package/SVF-doxygen/html/html/classSVF_1_1VFG.html +70 -70
- package/SVF-doxygen/html/html/classSVF_1_1VFGEdge.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode-members.html +43 -42
- package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html +41 -9
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +10 -10
- package/SVF-doxygen/html/html/functions_func_g.html +32 -12
- package/SVF-doxygen/html/html/functions_func_t.html +2 -2
- package/SVF-doxygen/html/html/functions_g.html +27 -7
- package/SVF-doxygen/html/html/functions_i.html +1 -1
- package/SVF-doxygen/html/html/functions_l.html +5 -5
- package/SVF-doxygen/html/html/functions_p.html +6 -6
- package/SVF-doxygen/html/html/functions_r.html +8 -8
- package/SVF-doxygen/html/html/functions_t.html +8 -6
- package/SVF-doxygen/html/html/functions_v.html +3 -3
- package/SVF-doxygen/html/html/search/all_10.js +4 -4
- package/SVF-doxygen/html/html/search/all_12.js +3 -3
- package/SVF-doxygen/html/html/search/all_13.js +3 -3
- package/SVF-doxygen/html/html/search/all_14.js +7 -7
- package/SVF-doxygen/html/html/search/all_16.js +2 -2
- package/SVF-doxygen/html/html/search/all_7.js +1 -0
- package/SVF-doxygen/html/html/search/all_9.js +1 -1
- 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 +3 -3
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_10.js +1 -1
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/functions_6.js +1 -0
- package/SVF-doxygen/html/html/search/functions_8.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/search/variables_14.js +4 -4
- package/SVF-doxygen/html/html/search/variables_d.js +1 -1
- package/SVF-doxygen/html/html/search/variables_e.js +2 -2
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +48 -48
- package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html +36 -36
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +1 -1
- package/include/Graphs/SVFGNode.h +6 -1
- package/include/Graphs/VFGNode.h +38 -3
- package/lib/Graphs/SVFG.cpp +9 -0
- package/lib/Graphs/VFG.cpp +86 -0
- package/package.json +1 -1
|
@@ -108,50 +108,51 @@ $(function() {
|
|
|
108
108
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a>(NodeID i, GNodeK k)</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>
|
|
109
109
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa2dffaa8741582ce06e591cbaf9257d7">Gep</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
110
110
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
111
|
-
<tr><td class="entry"><a class="el" href="
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
113
|
-
<tr><td class="entry"><a class="el" href="
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
115
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
116
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
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="classSVF_1_1GenericNode.html#
|
|
139
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
140
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
141
|
-
<tr><td class="entry"><a class="el" href="
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
143
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
145
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
146
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
147
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
148
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.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="classSVF_1_1VFGNode.html#
|
|
153
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
154
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
111
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ac5bfddb8123fbe57590fcf2dc62c153b">getDefSVFVars</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
112
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">getFun</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>
|
|
113
|
+
<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>
|
|
114
|
+
<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>
|
|
115
|
+
<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>
|
|
116
|
+
<tr class="even"><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>
|
|
117
|
+
<tr><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>
|
|
118
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
119
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ArgumentVFGNode.html#aaf6a78630b0365d50dd7b4394215d3a1">getValue</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ArgumentVFGNode.html">SVF::ArgumentVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
120
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">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_1ArgumentVFGNode.html#ab891206b29c1cf7a732f09f5a187928e">isPTANode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ArgumentVFGNode.html">SVF::ArgumentVFGNode</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_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>
|
|
137
|
+
<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>
|
|
138
|
+
<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>
|
|
139
|
+
<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>
|
|
140
|
+
<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>
|
|
141
|
+
<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>
|
|
142
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a></td><td class="entry"><a class="el" href="classSVF_1_1ArgumentVFGNode.html">SVF::ArgumentVFGNode</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
143
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">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>
|
|
144
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">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>
|
|
145
|
+
<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>
|
|
146
|
+
<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>
|
|
147
|
+
<tr><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>
|
|
148
|
+
<tr class="even"><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>
|
|
149
|
+
<tr><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>
|
|
150
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6">toString</a>() const override</td><td class="entry"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
151
|
+
<tr><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>
|
|
152
|
+
<tr class="even"><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>
|
|
153
|
+
<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>
|
|
154
|
+
<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>
|
|
155
|
+
<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>
|
|
155
156
|
</table></div><!-- contents -->
|
|
156
157
|
<!-- start footer part -->
|
|
157
158
|
<hr class="footer"/><address class="footer"><small>
|
|
@@ -95,6 +95,9 @@ Public Member Functions</h2></td></tr>
|
|
|
95
95
|
<tr class="memitem:a8932b197a076ab3069a9fe8b73e7fc32"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea">PAGNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a> () const</td></tr>
|
|
96
96
|
<tr class="memdesc:a8932b197a076ab3069a9fe8b73e7fc32"><td class="mdescLeft"> </td><td class="mdescRight">Return parameter. <a href="#a8932b197a076ab3069a9fe8b73e7fc32">More...</a><br /></td></tr>
|
|
97
97
|
<tr class="separator:a8932b197a076ab3069a9fe8b73e7fc32"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
|
+
<tr class="memitem:ac5bfddb8123fbe57590fcf2dc62c153b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#ac5bfddb8123fbe57590fcf2dc62c153b">getDefSVFVars</a> () const override</td></tr>
|
|
99
|
+
<tr class="memdesc:ac5bfddb8123fbe57590fcf2dc62c153b"><td class="mdescLeft"> </td><td class="mdescRight">Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. <a href="#ac5bfddb8123fbe57590fcf2dc62c153b">More...</a><br /></td></tr>
|
|
100
|
+
<tr class="separator:ac5bfddb8123fbe57590fcf2dc62c153b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
101
|
<tr class="memitem:a60d6ce4c4fe2cf54be45e58b2b93c9f6"><td class="memItemLeft" align="right" valign="top">const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualParmVFGNode.html#a60d6ce4c4fe2cf54be45e58b2b93c9f6">toString</a> () const override</td></tr>
|
|
99
102
|
<tr class="separator:a60d6ce4c4fe2cf54be45e58b2b93c9f6"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
103
|
<tr class="inherit_header pub_methods_classSVF_1_1ArgumentVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ArgumentVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1ArgumentVFGNode.html">SVF::ArgumentVFGNode</a></td></tr>
|
|
@@ -287,7 +290,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
287
290
|
</table>
|
|
288
291
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
289
292
|
<div class="textblock">
|
|
290
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
293
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00856">856</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
291
294
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
292
295
|
<a id="a773b6912100fbd3a2a58cfe0da8ea6d5"></a>
|
|
293
296
|
<h2 class="memtitle"><span class="permalink"><a href="#a773b6912100fbd3a2a58cfe0da8ea6d5">◆ </a></span>ActualParmVFGNode()</h2>
|
|
@@ -331,10 +334,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
331
334
|
|
|
332
335
|
<p>Constructor. </p>
|
|
333
336
|
|
|
334
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
335
|
-
<div class="fragment"><div class="line"><a name="
|
|
336
|
-
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
337
|
-
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a652f865955c1f345c656c9178376228a"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
337
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00862">862</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
338
|
+
<div class="fragment"><div class="line"><a name="l00862"></a><span class="lineno"> 862</span>  :</div><div class="line"><a name="l00863"></a><span class="lineno"> 863</span>  <a class="code" href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">ArgumentVFGNode</a>(<span class="keywordtype">id</span>, n, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>), <a class="code" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a>(c)</div><div class="line"><a name="l00864"></a><span class="lineno"> 864</span>  {</div><div class="line"><a name="l00865"></a><span class="lineno"> 865</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
339
|
+
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_a0b35234b96e98099a289b73028bae276"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276">SVF::ArgumentVFGNode::ArgumentVFGNode</a></div><div class="ttdeci">ArgumentVFGNode(NodeID id, const PAGNode *p, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00817">VFGNode.h:817</a></div></div>
|
|
340
|
+
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a652f865955c1f345c656c9178376228a"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00859">VFGNode.h:859</a></div></div>
|
|
338
341
|
</div><!-- fragment -->
|
|
339
342
|
</div>
|
|
340
343
|
</div>
|
|
@@ -365,8 +368,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
365
368
|
|
|
366
369
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
367
370
|
|
|
368
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
369
|
-
<div class="fragment"><div class="line"><a name="
|
|
371
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00881">881</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
372
|
+
<div class="fragment"><div class="line"><a name="l00882"></a><span class="lineno"> 882</span>  {</div><div class="line"><a name="l00883"></a><span class="lineno"> 883</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00884"></a><span class="lineno"> 884</span>  }</div></div><!-- fragment -->
|
|
370
373
|
</div>
|
|
371
374
|
</div>
|
|
372
375
|
<a id="abe1fd545e784375dc8da98db6b5869f8"></a>
|
|
@@ -393,8 +396,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
393
396
|
</table>
|
|
394
397
|
</div><div class="memdoc">
|
|
395
398
|
|
|
396
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
397
|
-
<div class="fragment"><div class="line"><a name="
|
|
399
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00885">885</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
400
|
+
<div class="fragment"><div class="line"><a name="l00886"></a><span class="lineno"> 886</span>  {</div><div class="line"><a name="l00887"></a><span class="lineno"> 887</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>;</div><div class="line"><a name="l00888"></a><span class="lineno"> 888</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
398
401
|
</div><!-- fragment -->
|
|
399
402
|
</div>
|
|
400
403
|
</div>
|
|
@@ -422,8 +425,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
422
425
|
</table>
|
|
423
426
|
</div><div class="memdoc">
|
|
424
427
|
|
|
425
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
426
|
-
<div class="fragment"><div class="line"><a name="
|
|
428
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00889">889</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
429
|
+
<div class="fragment"><div class="line"><a name="l00890"></a><span class="lineno"> 890</span>  {</div><div class="line"><a name="l00891"></a><span class="lineno"> 891</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>;</div><div class="line"><a name="l00892"></a><span class="lineno"> 892</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
427
430
|
</div><!-- fragment -->
|
|
428
431
|
</div>
|
|
429
432
|
</div>
|
|
@@ -451,8 +454,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
451
454
|
</table>
|
|
452
455
|
</div><div class="memdoc">
|
|
453
456
|
|
|
454
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
455
|
-
<div class="fragment"><div class="line"><a name="
|
|
457
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00893">893</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
458
|
+
<div class="fragment"><div class="line"><a name="l00894"></a><span class="lineno"> 894</span>  {</div><div class="line"><a name="l00895"></a><span class="lineno"> 895</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">AParm</a>;</div><div class="line"><a name="l00896"></a><span class="lineno"> 896</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
|
|
456
459
|
</div><!-- fragment -->
|
|
457
460
|
</div>
|
|
458
461
|
</div>
|
|
@@ -481,8 +484,42 @@ Additional Inherited Members</h2></td></tr>
|
|
|
481
484
|
|
|
482
485
|
<p>Return callsite. </p>
|
|
483
486
|
|
|
484
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
485
|
-
<div class="fragment"><div class="line"><a name="
|
|
487
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00868">868</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
488
|
+
<div class="fragment"><div class="line"><a name="l00869"></a><span class="lineno"> 869</span>  {</div><div class="line"><a name="l00870"></a><span class="lineno"> 870</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">cs</a>;</div><div class="line"><a name="l00871"></a><span class="lineno"> 871</span>  }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a652f865955c1f345c656c9178376228a"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00859">VFGNode.h:859</a></div></div>
|
|
489
|
+
</div><!-- fragment -->
|
|
490
|
+
</div>
|
|
491
|
+
</div>
|
|
492
|
+
<a id="ac5bfddb8123fbe57590fcf2dc62c153b"></a>
|
|
493
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ac5bfddb8123fbe57590fcf2dc62c153b">◆ </a></span>getDefSVFVars()</h2>
|
|
494
|
+
|
|
495
|
+
<div class="memitem">
|
|
496
|
+
<div class="memproto">
|
|
497
|
+
<table class="mlabels">
|
|
498
|
+
<tr>
|
|
499
|
+
<td class="mlabels-left">
|
|
500
|
+
<table class="memname">
|
|
501
|
+
<tr>
|
|
502
|
+
<td class="memname">const <a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> ActualParmVFGNode::getDefSVFVars </td>
|
|
503
|
+
<td>(</td>
|
|
504
|
+
<td class="paramname"></td><td>)</td>
|
|
505
|
+
<td> const</td>
|
|
506
|
+
</tr>
|
|
507
|
+
</table>
|
|
508
|
+
</td>
|
|
509
|
+
<td class="mlabels-right">
|
|
510
|
+
<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">virtual</span></span> </td>
|
|
511
|
+
</tr>
|
|
512
|
+
</table>
|
|
513
|
+
</div><div class="memdoc">
|
|
514
|
+
|
|
515
|
+
<p>Return the left hand side <a class="el" href="namespaceSVF.html" title="for isBitcode ">SVF</a> Vars. </p>
|
|
516
|
+
|
|
517
|
+
<p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
|
|
518
|
+
|
|
519
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00250">250</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
520
|
+
<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  {</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  nb.set(<a class="code" href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">getParam</a>()-><a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span> }</div><div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_a8932b197a076ab3069a9fe8b73e7fc32"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#a8932b197a076ab3069a9fe8b73e7fc32">SVF::ActualParmVFGNode::getParam</a></div><div class="ttdeci">const PAGNode * getParam() const</div><div class="ttdoc">Return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00874">VFGNode.h:874</a></div></div>
|
|
521
|
+
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
522
|
+
<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
|
|
486
523
|
</div><!-- fragment -->
|
|
487
524
|
</div>
|
|
488
525
|
</div>
|
|
@@ -511,8 +548,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
511
548
|
|
|
512
549
|
<p>Return parameter. </p>
|
|
513
550
|
|
|
514
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
515
|
-
<div class="fragment"><div class="line"><a name="
|
|
551
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00874">874</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
552
|
+
<div class="fragment"><div class="line"><a name="l00875"></a><span class="lineno"> 875</span>  {</div><div class="line"><a name="l00876"></a><span class="lineno"> 876</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>;</div><div class="line"><a name="l00877"></a><span class="lineno"> 877</span>  }</div><div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
|
|
516
553
|
</div><!-- fragment -->
|
|
517
554
|
</div>
|
|
518
555
|
</div>
|
|
@@ -541,12 +578,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
541
578
|
|
|
542
579
|
<p>Reimplemented from <a class="el" href="classSVF_1_1ArgumentVFGNode.html#a3c10cd63e18f79ccc66f4687d05cb8c5">SVF::ArgumentVFGNode</a>.</p>
|
|
543
580
|
|
|
544
|
-
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#
|
|
545
|
-
<div class="fragment"><div class="line"><a name="
|
|
581
|
+
<p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00256">256</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
|
|
582
|
+
<div class="fragment"><div class="line"><a name="l00256"></a><span class="lineno"> 256</span>  {</div><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  std::string str;</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  rawstr << <span class="stringliteral">"ActualParmVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  rawstr << <span class="stringliteral">"CS["</span> << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>()-><a class="code" href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">getCallSite</a>()) << <span class="stringliteral">"]"</span>;</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  rawstr << <a class="code" href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">param</a>-><a class="code" href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">toString</a>();</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span> }</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
|
|
546
583
|
<div class="ttc" id="classSVF_1_1SVFVar_html_ada932ef2ae0a3e712174df479c35b0dd"><div class="ttname"><a href="classSVF_1_1SVFVar.html#ada932ef2ae0a3e712174df479c35b0dd">SVF::SVFVar::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8cpp_source.html#l00093">SVFVariables.cpp:93</a></div></div>
|
|
547
584
|
<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="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
|
|
548
|
-
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_ab153944a366488c5f7e91d61561e9c0e"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
549
|
-
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#
|
|
585
|
+
<div class="ttc" id="classSVF_1_1ActualParmVFGNode_html_ab153944a366488c5f7e91d61561e9c0e"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e">SVF::ActualParmVFGNode::getCallSite</a></div><div class="ttdeci">const CallICFGNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00868">VFGNode.h:868</a></div></div>
|
|
586
|
+
<div class="ttc" id="classSVF_1_1ArgumentVFGNode_html_af220abd2d55eafa518160be5a5137e8f"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f">SVF::ArgumentVFGNode::param</a></div><div class="ttdeci">const PAGNode * param</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00813">VFGNode.h:813</a></div></div>
|
|
550
587
|
<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#l00165">GenericGraph.h:165</a></div></div>
|
|
551
588
|
</div><!-- fragment -->
|
|
552
589
|
</div>
|
|
@@ -572,7 +609,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
572
609
|
</table>
|
|
573
610
|
</div><div class="memdoc">
|
|
574
611
|
|
|
575
|
-
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#
|
|
612
|
+
<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l00859">859</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
|
|
576
613
|
|
|
577
614
|
</div>
|
|
578
615
|
</div>
|