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
|
@@ -169,8 +169,8 @@ $(function() {
|
|
|
169
169
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type >::type dyn_cast(const Y &Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>
|
|
170
170
|
<div class="ttc" id="classSVF_1_1FlowSensitive_html_a69289c48fa91f850da90de080b9d26e5"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5">SVF::FlowSensitive::SVFGEdgeSetTy</a></div><div class="ttdeci">SVFG::SVFGEdgeSetTy SVFGEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00051">FlowSensitive.h:51</a></div></div>
|
|
171
171
|
<div class="ttc" id="classSVF_1_1VersionedFlowSensitive_html_a593177519a6bfab63dbb12dbc1ffbc20"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a593177519a6bfab63dbb12dbc1ffbc20">SVF::VersionedFlowSensitive::numPrelabeledNodes</a></div><div class="ttdeci">Size_t numPrelabeledNodes</div><div class="ttdoc">Additional statistics. </div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8h_source.html#l00230">VersionedFlowSensitive.h:230</a></div></div>
|
|
172
|
-
<div class="ttc" id="classSVF_1_1SVFG_html_ac75b83bdf3bcfecaae579716ab33dd61"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac75b83bdf3bcfecaae579716ab33dd61">SVF::SVFG::isCallSiteRetSVFGNode</a></div><div class="ttdeci">const CallBlockNode * isCallSiteRetSVFGNode(const SVFGNode *node) const</div><div class="ttdoc">Whether a node is callsite return SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
173
|
-
<div class="ttc" id="classSVF_1_1SVFG_html_ae2cff3c963136f474fac0a66aa8cff7b"><div class="ttname"><a href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">SVF::SVFG::isFunEntrySVFGNode</a></div><div class="ttdeci">const SVFFunction * isFunEntrySVFGNode(const SVFGNode *node) const</div><div class="ttdoc">Whether a node is function entry SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#
|
|
172
|
+
<div class="ttc" id="classSVF_1_1SVFG_html_ac75b83bdf3bcfecaae579716ab33dd61"><div class="ttname"><a href="classSVF_1_1SVFG.html#ac75b83bdf3bcfecaae579716ab33dd61">SVF::SVFG::isCallSiteRetSVFGNode</a></div><div class="ttdeci">const CallBlockNode * isCallSiteRetSVFGNode(const SVFGNode *node) const</div><div class="ttdoc">Whether a node is callsite return SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00734">SVFG.cpp:734</a></div></div>
|
|
173
|
+
<div class="ttc" id="classSVF_1_1SVFG_html_ae2cff3c963136f474fac0a66aa8cff7b"><div class="ttname"><a href="classSVF_1_1SVFG.html#ae2cff3c963136f474fac0a66aa8cff7b">SVF::SVFG::isFunEntrySVFGNode</a></div><div class="ttdeci">const SVFFunction * isFunEntrySVFGNode(const SVFGNode *node) const</div><div class="ttdoc">Whether a node is function entry SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00708">SVFG.cpp:708</a></div></div>
|
|
174
174
|
<div class="ttc" id="classSVF_1_1VersionedFlowSensitive_html_a8871031546861343c05346ae1a4550cd"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a8871031546861343c05346ae1a4550cd">SVF::VersionedFlowSensitive::meldMappingTime</a></div><div class="ttdeci">double meldMappingTime</div><div class="ttdoc">Time to map MeldVersions to Versions. </div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8h_source.html#l00236">VersionedFlowSensitive.h:236</a></div></div>
|
|
175
175
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis::PTATY</a></div><div class="ttdeci">PTATY</div><div class="ttdoc">Pointer analysis type list. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00061">PointerAnalysis.h:61</a></div></div>
|
|
176
176
|
<div class="ttc" id="classSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
|
|
@@ -191,7 +191,7 @@ $(function() {
|
|
|
191
191
|
<div class="ttc" id="classSVF_1_1FlowSensitive_html_af5a94d14096ae2bbc47b3b3b9f723226"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226">SVF::FlowSensitive::updateTime</a></div><div class="ttdeci">double updateTime</div><div class="ttdoc">time of strong/weak updates. </div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00300">FlowSensitive.h:300</a></div></div>
|
|
192
192
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a8771956f7595b66d825b3dc459d1ae49"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a8771956f7595b66d825b3dc459d1ae49">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static PAG * pag</div><div class="ttdoc">PAG. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00146">PointerAnalysis.h:146</a></div></div>
|
|
193
193
|
<div class="ttc" id="classSVF_1_1VersionedFlowSensitive_html_a24746dcada35f10cb387c94860930e84"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a24746dcada35f10cb387c94860930e84">SVF::VersionedFlowSensitive::newMeldVersion</a></div><div class="ttdeci">MeldVersion newMeldVersion(NodeID o)</div><div class="ttdoc">Returns a new MeldVersion for o during the prelabeling phase. </div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00243">VersionedFlowSensitive.cpp:243</a></div></div>
|
|
194
|
-
<div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html">SVF::DummyVersionPropSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#
|
|
194
|
+
<div class="ttc" id="classSVF_1_1DummyVersionPropSVFGNode_html"><div class="ttname"><a href="classSVF_1_1DummyVersionPropSVFGNode.html">SVF::DummyVersionPropSVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00468">SVFGNode.h:468</a></div></div>
|
|
195
195
|
<div class="ttc" id="classSVF_1_1VersionedFlowSensitive_html_a6ea3f8e2aa85ea588735514c0b6ff255"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive::getYield</a></div><div class="ttdeci">Version getYield(const NodeID l, const NodeID o)</div><div class="ttdoc">Returns the yielded version of o at l. If no such version exists, returns invalidVersion. </div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00571">VersionedFlowSensitive.cpp:571</a></div></div>
|
|
196
196
|
<div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00048">VFGNode.h:48</a></div></div>
|
|
197
197
|
</div><!-- fragment --></div><!-- contents -->
|
|
@@ -69,7 +69,7 @@ $(function() {
|
|
|
69
69
|
|
|
70
70
|
<p>This is the complete list of members for <a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a>, including all inherited members.</p>
|
|
71
71
|
<table class="directory">
|
|
72
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#
|
|
72
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326">ActualINSVFGNode</a>(NodeID id, const CallBlockNode *c, const MRVer *mrver)</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">addIncomingEdge</a>(EdgeType *inEdge)</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>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">addOutgoingEdge</a>(EdgeType *outEdge)</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>
|
|
75
75
|
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">Addr</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></td><td class="entry"></td></tr>
|
|
@@ -106,12 +106,12 @@ $(function() {
|
|
|
106
106
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</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>
|
|
107
107
|
<tr><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>
|
|
108
108
|
<tr class="even"><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>
|
|
109
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#
|
|
110
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
111
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
112
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
113
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
114
|
-
<tr class="even"><td class="entry"><a class="el" href="
|
|
109
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">getCallSite</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
110
|
+
<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>
|
|
111
|
+
<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>
|
|
112
|
+
<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>
|
|
113
|
+
<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>
|
|
114
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
115
115
|
<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>
|
|
116
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
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>
|
|
@@ -132,23 +132,23 @@ $(function() {
|
|
|
132
132
|
<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>
|
|
133
133
|
<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>
|
|
134
134
|
<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>
|
|
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="classSVF_1_1GenericNode.html#
|
|
142
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1GenericNode.html#
|
|
143
|
-
<tr><td class="entry"><a class="el" href="
|
|
144
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
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="
|
|
149
|
-
<tr><td class="entry"><a class="el" href="
|
|
150
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1VFGNode.html#
|
|
151
|
-
<tr><td class="entry"><a class="el" href="
|
|
135
|
+
<tr><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>
|
|
136
|
+
<tr class="even"><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>
|
|
137
|
+
<tr><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>
|
|
138
|
+
<tr class="even"><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>
|
|
139
|
+
<tr><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>
|
|
140
|
+
<tr class="even"><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>
|
|
141
|
+
<tr><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>
|
|
142
|
+
<tr class="even"><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>
|
|
143
|
+
<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>
|
|
144
|
+
<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>
|
|
145
|
+
<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>
|
|
146
|
+
<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>
|
|
147
|
+
<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>
|
|
148
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
|
|
149
|
+
<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>
|
|
150
|
+
<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>
|
|
151
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">ver</a></td><td class="entry"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">SVF::ActualINSVFGNode</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
|
|
152
152
|
<tr class="even"><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>
|
|
153
153
|
<tr><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>
|
|
154
154
|
<tr class="even"><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>
|
|
@@ -86,15 +86,15 @@ Inheritance diagram for SVF::ActualINSVFGNode:</div>
|
|
|
86
86
|
<table class="memberdecls">
|
|
87
87
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
|
|
88
88
|
Public Member Functions</h2></td></tr>
|
|
89
|
-
<tr class="memitem:
|
|
90
|
-
<tr class="memdesc:
|
|
91
|
-
<tr class="separator:
|
|
89
|
+
<tr class="memitem:aa32f5275f25d39d97b5047352858c326"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326">ActualINSVFGNode</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_1CallBlockNode.html">CallBlockNode</a> *c, const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> *mrver)</td></tr>
|
|
90
|
+
<tr class="memdesc:aa32f5275f25d39d97b5047352858c326"><td class="mdescLeft"> </td><td class="mdescRight">Constructor. <a href="#aa32f5275f25d39d97b5047352858c326">More...</a><br /></td></tr>
|
|
91
|
+
<tr class="separator:aa32f5275f25d39d97b5047352858c326"><td class="memSeparator" colspan="2"> </td></tr>
|
|
92
92
|
<tr class="memitem:aaf7e2a52f8e70bb5dda80b3616f207aa"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">getCallSite</a> () const</td></tr>
|
|
93
93
|
<tr class="memdesc:aaf7e2a52f8e70bb5dda80b3616f207aa"><td class="mdescLeft"> </td><td class="mdescRight">Callsite. <a href="#aaf7e2a52f8e70bb5dda80b3616f207aa">More...</a><br /></td></tr>
|
|
94
94
|
<tr class="separator:aaf7e2a52f8e70bb5dda80b3616f207aa"><td class="memSeparator" colspan="2"> </td></tr>
|
|
95
|
-
<tr class="memitem:
|
|
96
|
-
<tr class="memdesc:
|
|
97
|
-
<tr class="separator:
|
|
95
|
+
<tr class="memitem:aa92b36228a6f42496984cfea32f3415c"><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_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a> () const</td></tr>
|
|
96
|
+
<tr class="memdesc:aa92b36228a6f42496984cfea32f3415c"><td class="mdescLeft"> </td><td class="mdescRight">Ver. <a href="#aa92b36228a6f42496984cfea32f3415c">More...</a><br /></td></tr>
|
|
97
|
+
<tr class="separator:aa92b36228a6f42496984cfea32f3415c"><td class="memSeparator" colspan="2"> </td></tr>
|
|
98
98
|
<tr class="memitem:a5f583665f7e094dc4f7c387f4522a1a5"><td class="memItemLeft" align="right" valign="top">virtual const std::string </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a5f583665f7e094dc4f7c387f4522a1a5">toString</a> () const</td></tr>
|
|
99
99
|
<tr class="separator:a5f583665f7e094dc4f7c387f4522a1a5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
100
|
<tr class="inherit_header pub_methods_classSVF_1_1MRSVFGNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1MRSVFGNode')"><img src="closed.png" alt="-"/> Public Member Functions inherited from <a class="el" href="classSVF_1_1MRSVFGNode.html">SVF::MRSVFGNode</a></td></tr>
|
|
@@ -209,10 +209,10 @@ Static Public Member Functions</h2></td></tr>
|
|
|
209
209
|
</table><table class="memberdecls">
|
|
210
210
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
211
211
|
Private Attributes</h2></td></tr>
|
|
212
|
-
<tr class="memitem:a04adf013b9a50583841b2cf62f978295"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">MemSSA::CALLMU</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a04adf013b9a50583841b2cf62f978295">mu</a></td></tr>
|
|
213
|
-
<tr class="separator:a04adf013b9a50583841b2cf62f978295"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
212
|
<tr class="memitem:a2c98367f823ddbc091674b50b877c7e5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">cs</a></td></tr>
|
|
215
213
|
<tr class="separator:a2c98367f823ddbc091674b50b877c7e5"><td class="memSeparator" colspan="2"> </td></tr>
|
|
214
|
+
<tr class="memitem:a9fd1b406736084d33b0026aa21eb79b7"><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_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">ver</a></td></tr>
|
|
215
|
+
<tr class="separator:a9fd1b406736084d33b0026aa21eb79b7"><td class="memSeparator" colspan="2"> </td></tr>
|
|
216
216
|
</table><table class="memberdecls">
|
|
217
217
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
|
|
218
218
|
Additional Inherited Members</h2></td></tr>
|
|
@@ -286,10 +286,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
286
286
|
</table>
|
|
287
287
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
288
288
|
<div class="textblock">
|
|
289
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
289
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00177">177</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
290
290
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
291
|
-
<a id="
|
|
292
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
291
|
+
<a id="aa32f5275f25d39d97b5047352858c326"></a>
|
|
292
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa32f5275f25d39d97b5047352858c326">◆ </a></span>ActualINSVFGNode()</h2>
|
|
293
293
|
|
|
294
294
|
<div class="memitem">
|
|
295
295
|
<div class="memproto">
|
|
@@ -306,14 +306,14 @@ Additional Inherited Members</h2></td></tr>
|
|
|
306
306
|
<tr>
|
|
307
307
|
<td class="paramkey"></td>
|
|
308
308
|
<td></td>
|
|
309
|
-
<td class="paramtype">const <a class="el" href="
|
|
310
|
-
<td class="paramname"><em>
|
|
309
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> * </td>
|
|
310
|
+
<td class="paramname"><em>c</em>, </td>
|
|
311
311
|
</tr>
|
|
312
312
|
<tr>
|
|
313
313
|
<td class="paramkey"></td>
|
|
314
314
|
<td></td>
|
|
315
|
-
<td class="paramtype">const <a class="el" href="
|
|
316
|
-
<td class="paramname"><em>
|
|
315
|
+
<td class="paramtype">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a> * </td>
|
|
316
|
+
<td class="paramname"><em>mrver</em> </td>
|
|
317
317
|
</tr>
|
|
318
318
|
<tr>
|
|
319
319
|
<td></td>
|
|
@@ -330,11 +330,11 @@ Additional Inherited Members</h2></td></tr>
|
|
|
330
330
|
|
|
331
331
|
<p>Constructor. </p>
|
|
332
332
|
|
|
333
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
334
|
-
<div class="fragment"><div class="line"><a name="
|
|
335
|
-
<div class="ttc" id="
|
|
333
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00184">184</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
334
|
+
<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno"> 184</span>  :</div><div class="line"><a name="l00185"></a><span class="lineno"> 185</span>  <a class="code" href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">MRSVFGNode</a>(<span class="keywordtype">id</span>, <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>), <a class="code" href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">cs</a>(c)</div><div class="line"><a name="l00186"></a><span class="lineno"> 186</span>  {</div><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>  <a class="code" href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">cpts</a> = mrver->getMR()->getPointsTo();</div><div class="line"><a name="l00188"></a><span class="lineno"> 188</span>  <a class="code" href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">ver</a> = mrver;</div><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>  }</div><div class="ttc" id="classSVF_1_1MRSVFGNode_html_a2c2b0476c49c5f2d4ebe6eec22c7345f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a2c2b0476c49c5f2d4ebe6eec22c7345f">SVF::MRSVFGNode::MRSVFGNode</a></div><div class="ttdeci">MRSVFGNode(NodeID id, VFGNodeK k)</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00048">SVFGNode.h:48</a></div></div>
|
|
335
|
+
<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a9fd1b406736084d33b0026aa21eb79b7"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">SVF::ActualINSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00181">SVFGNode.h:181</a></div></div>
|
|
336
|
+
<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a2c98367f823ddbc091674b50b877c7e5"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">SVF::ActualINSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00180">SVFGNode.h:180</a></div></div>
|
|
336
337
|
<div class="ttc" id="classSVF_1_1MRSVFGNode_html_a3fc32c474e542ebb3c91adb6b5c1bb1f"><div class="ttname"><a href="classSVF_1_1MRSVFGNode.html#a3fc32c474e542ebb3c91adb6b5c1bb1f">SVF::MRSVFGNode::cpts</a></div><div class="ttdeci">PointsTo cpts</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00045">SVFGNode.h:45</a></div></div>
|
|
337
|
-
<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a04adf013b9a50583841b2cf62f978295"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a04adf013b9a50583841b2cf62f978295">SVF::ActualINSVFGNode::mu</a></div><div class="ttdeci">const MemSSA::CALLMU * mu</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00169">SVFGNode.h:169</a></div></div>
|
|
338
338
|
<div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode::APIN</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
339
339
|
</div><!-- fragment -->
|
|
340
340
|
</div>
|
|
@@ -366,8 +366,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
366
366
|
|
|
367
367
|
<p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
|
|
368
368
|
|
|
369
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
370
|
-
<div class="fragment"><div class="line"><a name="
|
|
369
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00205">205</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
370
|
+
<div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>  {</div><div class="line"><a name="l00207"></a><span class="lineno"> 207</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00208"></a><span class="lineno"> 208</span>  }</div></div><!-- fragment -->
|
|
371
371
|
</div>
|
|
372
372
|
</div>
|
|
373
373
|
<a id="aae28a748413002046d02a4003229fc88"></a>
|
|
@@ -394,8 +394,8 @@ Additional Inherited Members</h2></td></tr>
|
|
|
394
394
|
</table>
|
|
395
395
|
</div><div class="memdoc">
|
|
396
396
|
|
|
397
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
398
|
-
<div class="fragment"><div class="line"><a name="
|
|
397
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00209">209</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
398
|
+
<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno"> 210</span>  {</div><div class="line"><a name="l00211"></a><span class="lineno"> 211</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>;</div><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode::APIN</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
399
399
|
</div><!-- fragment -->
|
|
400
400
|
</div>
|
|
401
401
|
</div>
|
|
@@ -423,13 +423,13 @@ Additional Inherited Members</h2></td></tr>
|
|
|
423
423
|
</table>
|
|
424
424
|
</div><div class="memdoc">
|
|
425
425
|
|
|
426
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
427
|
-
<div class="fragment"><div class="line"><a name="
|
|
426
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00213">213</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
427
|
+
<div class="fragment"><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  {</div><div class="line"><a name="l00215"></a><span class="lineno"> 215</span>  <span class="keywordflow">return</span> node->getNodeKind() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">APIN</a>;</div><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad">SVF::VFGNode::APIN</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00058">VFGNode.h:58</a></div></div>
|
|
428
428
|
</div><!-- fragment -->
|
|
429
429
|
</div>
|
|
430
430
|
</div>
|
|
431
|
-
<a id="
|
|
432
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
431
|
+
<a id="aaf7e2a52f8e70bb5dda80b3616f207aa"></a>
|
|
432
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aaf7e2a52f8e70bb5dda80b3616f207aa">◆ </a></span>getCallSite()</h2>
|
|
433
433
|
|
|
434
434
|
<div class="memitem">
|
|
435
435
|
<div class="memproto">
|
|
@@ -438,7 +438,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
438
438
|
<td class="mlabels-left">
|
|
439
439
|
<table class="memname">
|
|
440
440
|
<tr>
|
|
441
|
-
<td class="memname">const <a class="el" href="
|
|
441
|
+
<td class="memname">const <a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* SVF::ActualINSVFGNode::getCallSite </td>
|
|
442
442
|
<td>(</td>
|
|
443
443
|
<td class="paramname"></td><td>)</td>
|
|
444
444
|
<td> const</td>
|
|
@@ -451,15 +451,15 @@ Additional Inherited Members</h2></td></tr>
|
|
|
451
451
|
</table>
|
|
452
452
|
</div><div class="memdoc">
|
|
453
453
|
|
|
454
|
-
<p
|
|
454
|
+
<p>Callsite. </p>
|
|
455
455
|
|
|
456
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
457
|
-
<div class="fragment"><div class="line"><a name="
|
|
456
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00191">191</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
457
|
+
<div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>  {</div><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">cs</a>;</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>  }</div><div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a2c98367f823ddbc091674b50b877c7e5"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">SVF::ActualINSVFGNode::cs</a></div><div class="ttdeci">const CallBlockNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00180">SVFGNode.h:180</a></div></div>
|
|
458
458
|
</div><!-- fragment -->
|
|
459
459
|
</div>
|
|
460
460
|
</div>
|
|
461
|
-
<a id="
|
|
462
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
461
|
+
<a id="aa92b36228a6f42496984cfea32f3415c"></a>
|
|
462
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aa92b36228a6f42496984cfea32f3415c">◆ </a></span>getMRVer()</h2>
|
|
463
463
|
|
|
464
464
|
<div class="memitem">
|
|
465
465
|
<div class="memproto">
|
|
@@ -468,7 +468,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
468
468
|
<td class="mlabels-left">
|
|
469
469
|
<table class="memname">
|
|
470
470
|
<tr>
|
|
471
|
-
<td class="memname">const <a class="el" href="
|
|
471
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::ActualINSVFGNode::getMRVer </td>
|
|
472
472
|
<td>(</td>
|
|
473
473
|
<td class="paramname"></td><td>)</td>
|
|
474
474
|
<td> const</td>
|
|
@@ -481,10 +481,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
481
481
|
</table>
|
|
482
482
|
</div><div class="memdoc">
|
|
483
483
|
|
|
484
|
-
<p>
|
|
484
|
+
<p>Ver. </p>
|
|
485
485
|
|
|
486
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
487
|
-
<div class="fragment"><div class="line"><a name="
|
|
486
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00197">197</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
487
|
+
<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>  {</div><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">ver</a>;</div><div class="line"><a name="l00200"></a><span class="lineno"> 200</span>  }</div><div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a9fd1b406736084d33b0026aa21eb79b7"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a9fd1b406736084d33b0026aa21eb79b7">SVF::ActualINSVFGNode::ver</a></div><div class="ttdeci">const MRVer * ver</div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00181">SVFGNode.h:181</a></div></div>
|
|
488
488
|
</div><!-- fragment -->
|
|
489
489
|
</div>
|
|
490
490
|
</div>
|
|
@@ -513,20 +513,19 @@ Additional Inherited Members</h2></td></tr>
|
|
|
513
513
|
|
|
514
514
|
<p>Reimplemented from <a class="el" href="classSVF_1_1MRSVFGNode.html#ab200b96b8dbff5d5fc5e3b114ae45921">SVF::MRSVFGNode</a>.</p>
|
|
515
515
|
|
|
516
|
-
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#
|
|
517
|
-
<div class="fragment"><div class="line"><a name="
|
|
518
|
-
<div class="ttc" id="
|
|
516
|
+
<p class="definition">Definition at line <a class="el" href="SVFG_8cpp_source.html#l00069">69</a> of file <a class="el" href="SVFG_8cpp_source.html">SVFG.cpp</a>.</p>
|
|
517
|
+
<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  {</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  std::string str;</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  rawstr << <span class="stringliteral">"ActualINSVFGNode ID: "</span> << <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() << <span class="stringliteral">" at callsite: "</span> << *<a class="code" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">getCallSite</a>()-><a class="code" href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">getCallSite</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="l00073"></a><span class="lineno"> 73</span>  rawstr << <span class="stringliteral">"CSMU("</span> << <a class="code" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">getMRID</a>() << <span class="stringliteral">"V_"</span> << <a class="code" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">getSSAVersion</a>() << <span class="stringliteral">")\n"</span>;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  rawstr << <a class="code" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">getMRVer</a>()-><a class="code" href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">getMR</a>()-><a class="code" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">dumpStr</a>() << <span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  rawstr << <span class="stringliteral">"CS["</span> << <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(<a class="code" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">getCallSite</a>()-><a class="code" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">getCallSite</a>()) << <span class="stringliteral">"]"</span>;</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span> }</div><div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_aa92b36228a6f42496984cfea32f3415c"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode::getMRVer</a></div><div class="ttdeci">const MRVer * getMRVer() const</div><div class="ttdoc">Ver. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00197">SVFGNode.h:197</a></div></div>
|
|
518
|
+
<div class="ttc" id="classSVF_1_1MemRegion_html_a7d38f6ef18106eb388b3a289aad79802"><div class="ttname"><a href="classSVF_1_1MemRegion.html#a7d38f6ef18106eb388b3a289aad79802">SVF::MemRegion::getMRID</a></div><div class="ttdeci">MRID getMRID() const</div><div class="ttdoc">Return memory region ID. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00071">MemRegion.h:71</a></div></div>
|
|
519
|
+
<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_aaf7e2a52f8e70bb5dda80b3616f207aa"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">SVF::ActualINSVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Callsite. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00191">SVFGNode.h:191</a></div></div>
|
|
519
520
|
<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>
|
|
520
521
|
<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#l00258">SVFUtil.cpp:258</a></div></div>
|
|
521
522
|
<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>
|
|
522
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a9c701be3646f4a04fa7f71a82e6b2f5f"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">SVF::MSSAMU::getVer</a></div><div class="ttdeci">MRVer * getVer() const</div><div class="ttdoc">Get Ver. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00131">MSSAMuChi.h:131</a></div></div>
|
|
523
523
|
<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>
|
|
524
|
-
<div class="ttc" id="classSVF_1_1MSSAMU_html_a6bd671839ec0376439ccd81d5b2eff30"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a6bd671839ec0376439ccd81d5b2eff30">SVF::MSSAMU::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return MR. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00115">MSSAMuChi.h:115</a></div></div>
|
|
525
524
|
<div class="ttc" id="classSVF_1_1MRVer_html_a170a933f25684bda23321ba05c7a7d88"><div class="ttname"><a href="classSVF_1_1MRVer.html#a170a933f25684bda23321ba05c7a7d88">SVF::MRVer::getSSAVersion</a></div><div class="ttdeci">MRVERSION getSSAVersion() const</div><div class="ttdoc">Return SSA version. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00069">MSSAMuChi.h:69</a></div></div>
|
|
525
|
+
<div class="ttc" id="classSVF_1_1MRVer_html_a63bd0641be553860cc5f517634b65825"><div class="ttname"><a href="classSVF_1_1MRVer.html#a63bd0641be553860cc5f517634b65825">SVF::MRVer::getMR</a></div><div class="ttdeci">const MemRegion * getMR() const</div><div class="ttdoc">Return the memory region. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00063">MSSAMuChi.h:63</a></div></div>
|
|
526
526
|
<div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>
|
|
527
527
|
<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>
|
|
528
528
|
<div class="ttc" id="classSVF_1_1MemRegion_html_adad8c2b08ab6a512f0c3aa90b4416f60"><div class="ttname"><a href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion::dumpStr</a></div><div class="ttdeci">std::string dumpStr() const</div><div class="ttdoc">Dump string. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00086">MemRegion.h:86</a></div></div>
|
|
529
|
-
<div class="ttc" id="classSVF_1_1ActualINSVFGNode_html_a1a4123d33d6679f4d755bd80d5864338"><div class="ttname"><a href="classSVF_1_1ActualINSVFGNode.html#a1a4123d33d6679f4d755bd80d5864338">SVF::ActualINSVFGNode::getCallMU</a></div><div class="ttdeci">const MemSSA::CALLMU * getCallMU() const</div><div class="ttdoc">CallMU. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGNode_8h_source.html#l00184">SVFGNode.h:184</a></div></div>
|
|
530
529
|
</div><!-- fragment -->
|
|
531
530
|
</div>
|
|
532
531
|
</div>
|
|
@@ -551,12 +550,12 @@ Additional Inherited Members</h2></td></tr>
|
|
|
551
550
|
</table>
|
|
552
551
|
</div><div class="memdoc">
|
|
553
552
|
|
|
554
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
553
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00180">180</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
555
554
|
|
|
556
555
|
</div>
|
|
557
556
|
</div>
|
|
558
|
-
<a id="
|
|
559
|
-
<h2 class="memtitle"><span class="permalink"><a href="#
|
|
557
|
+
<a id="a9fd1b406736084d33b0026aa21eb79b7"></a>
|
|
558
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9fd1b406736084d33b0026aa21eb79b7">◆ </a></span>ver</h2>
|
|
560
559
|
|
|
561
560
|
<div class="memitem">
|
|
562
561
|
<div class="memproto">
|
|
@@ -565,7 +564,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
565
564
|
<td class="mlabels-left">
|
|
566
565
|
<table class="memname">
|
|
567
566
|
<tr>
|
|
568
|
-
<td class="memname">const <a class="el" href="
|
|
567
|
+
<td class="memname">const <a class="el" href="classSVF_1_1MRVer.html">MRVer</a>* SVF::ActualINSVFGNode::ver</td>
|
|
569
568
|
</tr>
|
|
570
569
|
</table>
|
|
571
570
|
</td>
|
|
@@ -575,7 +574,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
575
574
|
</table>
|
|
576
575
|
</div><div class="memdoc">
|
|
577
576
|
|
|
578
|
-
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#
|
|
577
|
+
<p class="definition">Definition at line <a class="el" href="SVFGNode_8h_source.html#l00181">181</a> of file <a class="el" href="SVFGNode_8h_source.html">SVFGNode.h</a>.</p>
|
|
579
578
|
|
|
580
579
|
</div>
|
|
581
580
|
</div>
|