svf-tools 1.0.810 → 1.0.811

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.
Files changed (34) hide show
  1. package/SVF-doxygen/html/ICFGNode_8h_source.html +2 -2
  2. package/SVF-doxygen/html/ICFG_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/MemSSA_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/SVFIR_8h_source.html +1 -1
  5. package/SVF-doxygen/html/SVFValue_8h_source.html +4 -4
  6. package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html +7 -7
  7. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +2 -2
  8. package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html +9 -9
  9. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +34 -33
  10. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +1 -1
  11. package/SVF-doxygen/html/functions_func_h.html +6 -3
  12. package/SVF-doxygen/html/functions_func_i.html +7 -10
  13. package/SVF-doxygen/html/functions_h.html +5 -2
  14. package/SVF-doxygen/html/functions_i.html +11 -14
  15. package/SVF-doxygen/html/functions_p.html +3 -3
  16. package/SVF-doxygen/html/functions_s.html +6 -6
  17. package/SVF-doxygen/html/functions_t.html +6 -6
  18. package/SVF-doxygen/html/functions_v.html +3 -3
  19. package/SVF-doxygen/html/functions_w.html +7 -7
  20. package/SVF-doxygen/html/search/all_10.js +1 -1
  21. package/SVF-doxygen/html/search/all_12.js +3 -3
  22. package/SVF-doxygen/html/search/all_13.js +2 -2
  23. package/SVF-doxygen/html/search/all_15.js +2 -2
  24. package/SVF-doxygen/html/search/all_16.js +2 -2
  25. package/SVF-doxygen/html/search/all_8.js +38 -37
  26. package/SVF-doxygen/html/search/all_9.js +475 -476
  27. package/SVF-doxygen/html/search/functions_12.js +1 -1
  28. package/SVF-doxygen/html/search/functions_8.js +26 -25
  29. package/SVF-doxygen/html/search/functions_9.js +311 -312
  30. package/package.json +1 -1
  31. package/svf/include/Graphs/ICFGNode.h +2 -2
  32. package/svf/include/SVFIR/SVFValue.h +3 -3
  33. package/svf/lib/Graphs/ICFG.cpp +2 -2
  34. package/svf/lib/MSSA/MemSSA.cpp +1 -1
package/SVF-doxygen/html/ICFGNode_8h_source.html CHANGED
@@ -566,7 +566,7 @@ $(function() {
566
566
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00186">GenericGraph.h:186</a></div></div>
567
567
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html_a4acec3f922d6610cb81bcdb68dac0af9"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html#a4acec3f922d6610cb81bcdb68dac0af9">SVF::CallICFGNode::cs</a></div><div class="ttdeci">const SVFInstruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00393">ICFGNode.h:393</a></div></div>
568
568
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html_a0e8ff24e445a670f5ea1fef66ea928c5"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5">SVF::FunEntryICFGNode::FormalParmNodeVec</a></div><div class="ttdeci">std::vector&lt; const SVFVar * &gt; FormalParmNodeVec</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00267">ICFGNode.h:267</a></div></div>
569
- <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add actual return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
569
+ <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add formal return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
570
570
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html_a5225463cf5c8601d919ab810bc3276ef"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html#a5225463cf5c8601d919ab810bc3276ef">SVF::FunEntryICFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericICFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00312">ICFGNode.h:312</a></div></div>
571
571
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a57f9be13188a6cd53b30489f791e40d3"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a57f9be13188a6cd53b30489f791e40d3">SVF::ICFGNode::VFGNodes</a></div><div class="ttdeci">VFGNodeList VFGNodes</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00140">ICFGNode.h:140</a></div></div>
572
572
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html_ac2451fdc53f319bc92528af7edc94b2d"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html#ac2451fdc53f319bc92528af7edc94b2d">SVF::FunEntryICFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const</div><div class="ttdoc">Return function.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00278">ICFGNode.h:278</a></div></div>
@@ -634,7 +634,7 @@ $(function() {
634
634
  <div class="ttc" id="aclassSVF_1_1RetICFGNode_html_abc490a79a39229d10010816bbd105326"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html#abc490a79a39229d10010816bbd105326">SVF::RetICFGNode::classof</a></div><div class="ttdeci">static bool classof(const InterICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00540">ICFGNode.h:540</a></div></div>
635
635
  <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
636
636
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00159">GenericGraph.h:159</a></div></div>
637
- <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a03a1b6551377b4a85fdecf36ec247767"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">SVF::FunExitICFGNode::getFormalRet</a></div><div class="ttdeci">const SVFVar * getFormalRet() const</div><div class="ttdoc">Return actual return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00345">ICFGNode.h:345</a></div></div>
637
+ <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a03a1b6551377b4a85fdecf36ec247767"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">SVF::FunExitICFGNode::getFormalRet</a></div><div class="ttdeci">const SVFVar * getFormalRet() const</div><div class="ttdoc">Return formal return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00345">ICFGNode.h:345</a></div></div>
638
638
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_ae7e734f4ceca40c6cf46f16d088780ca"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae7e734f4ceca40c6cf46f16d088780ca">SVF::ICFGNode::getBB</a></div><div class="ttdeci">virtual const SVFBasicBlock * getBB() const</div><div class="ttdoc">Return the basic block of this ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00092">ICFGNode.h:92</a></div></div>
639
639
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376a58501ce2adf17a3da23a98f363ed9800">SVF::ICFGNode::FunCallBlock</a></div><div class="ttdeci">@ FunCallBlock</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00067">ICFGNode.h:67</a></div></div>
640
640
  <div class="ttc" id="aclassSVF_1_1InterICFGNode_html_adfe73a4bcd2a3074bef97661a787bfa3"><div class="ttname"><a href="classSVF_1_1InterICFGNode.html#adfe73a4bcd2a3074bef97661a787bfa3">SVF::InterICFGNode::classof</a></div><div class="ttdeci">static bool classof(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00239">ICFGNode.h:239</a></div></div>
package/SVF-doxygen/html/ICFG_8cpp_source.html CHANGED
@@ -126,7 +126,7 @@ $(function() {
126
126
  <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span> (f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">begin</a>() != f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">end</a>())</div>
127
127
  <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
128
128
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="comment">// ensure the enclosing function has exit basic block</span></div>
129
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keywordflow">if</span> (!f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
129
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keywordflow">if</span> (f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
130
130
  <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; {</div>
131
131
  <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">bb</a> = f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
132
132
  <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; }</div>
@@ -193,7 +193,7 @@ $(function() {
193
193
  <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;FunExitICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
194
194
  <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
195
195
  <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="comment">// ensure the enclosing function has exit basic block</span></div>
196
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>) &amp;&amp; !<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
196
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>) &amp;&amp; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
197
197
  <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>()-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">front</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
198
198
  <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div>
199
199
  <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt : <a class="code" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>())</div>
@@ -644,7 +644,6 @@ $(function() {
644
644
  <div class="ttc" id="aclassSVF_1_1FunEntryICFGNode_html_a7dd691564b9d7f760678a99977a2d655"><div class="ttname"><a href="classSVF_1_1FunEntryICFGNode.html#a7dd691564b9d7f760678a99977a2d655">SVF::FunEntryICFGNode::FunEntryICFGNode</a></div><div class="ttdeci">FunEntryICFGNode(NodeID id)</div><div class="ttdoc">Constructor to create empty FunEntryICFGNode (for SVFIRReader/deserialization)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00272">ICFGNode.h:272</a></div></div>
645
645
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
646
646
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a1490b28446b9d8efee567ec02e2abcf3"><div class="ttname"><a href="classSVF_1_1ICFG.html#a1490b28446b9d8efee567ec02e2abcf3">SVF::ICFG::getCallBlock</a></div><div class="ttdeci">CallICFGNode * getCallBlock(const SVFInstruction *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00284">ICFG.h:284</a></div></div>
647
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a97b0ad9fd31d7982f44a839605566347"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">SVF::SVFFunction::isNotRetFunction</a></div><div class="ttdeci">bool isNotRetFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
648
647
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7bde256bc906af7f7204929019f4a33e"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock::front</a></div><div class="ttdeci">const SVFInstruction * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00598">SVFValue.h:598</a></div></div>
649
648
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4af4db2fe43846609d2ed1d7022b1be1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1">SVF::SVFUtil::isNonInstricCallSite</a></div><div class="ttdeci">bool isNonInstricCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00188">SVFUtil.h:188</a></div></div>
650
649
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ae1a4cb907f4313c253576c51955f2b53"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1a4cb907f4313c253576c51955f2b53">SVF::ICFG::~ICFG</a></div><div class="ttdeci">~ICFG() override</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00206">ICFG.cpp:206</a></div></div>
@@ -733,6 +732,7 @@ $(function() {
733
732
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a0dca4655c2f6112a5be1f921b8e81076"><div class="ttname"><a href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG::getFunEntryICFGNode</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryICFGNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00274">ICFG.cpp:274</a></div></div>
734
733
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
735
734
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a462f590c2604184d69e4efe3d85a7b5b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b">SVF::ICFG::addICFGEdge</a></div><div class="ttdeci">bool addICFGEdge(ICFGEdge *edge)</div><div class="ttdoc">Add ICFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00184">ICFG.h:184</a></div></div>
735
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
736
736
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
737
737
  <div class="ttc" id="aclassSVF_1_1CallCFGEdge_html_a3f576a9648945907859dd5922f55bcb3"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html#a3f576a9648945907859dd5922f55bcb3">SVF::CallCFGEdge::cs</a></div><div class="ttdeci">const SVFInstruction * cs</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00182">ICFGEdge.h:182</a></div></div>
738
738
  <div class="ttc" id="aclassSVF_1_1IntraICFGNode_html_a85d3e05cb5a95c2f9d678d9f010419a5"><div class="ttname"><a href="classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5">SVF::IntraICFGNode::toString</a></div><div class="ttdeci">const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00089">ICFG.cpp:89</a></div></div>
package/SVF-doxygen/html/MemSSA_8cpp_source.html CHANGED
@@ -239,7 +239,7 @@ $(function() {
239
239
  <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; chi-&gt;<a class="code" href="classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05">setResVer</a>(newSSAName(mr,chi));</div>
240
240
  <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; funToEntryChiSetMap[&amp;fun].insert(chi);</div>
241
241
  <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; </div>
242
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">if</span>(!fun.<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
242
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">if</span>(fun.<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
243
243
  <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
244
244
  <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <a class="code" href="classSVF_1_1RetMU.html">RETMU</a>* mu = <span class="keyword">new</span> <a class="code" href="classSVF_1_1RetMU.html">RETMU</a>(&amp;fun, mr);</div>
245
245
  <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; funToReturnMuSetMap[&amp;fun].insert(mu);</div>
@@ -727,7 +727,6 @@ $(function() {
727
727
  <div class="line"><a name="l00711"></a><span class="lineno"> 711</span>&#160;}</div>
728
728
  </div><!-- fragment --></div><!-- contents -->
729
729
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
730
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a97b0ad9fd31d7982f44a839605566347"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">SVF::SVFFunction::isNotRetFunction</a></div><div class="ttdeci">bool isNotRetFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
731
730
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a90e39f78f4908f8a8ef3948d9158791c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c">SVF::SVFFunction::getReachableBBs</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00456">SVFValue.h:456</a></div></div>
732
731
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a41b153f2f8f3a27be63750e73a290569"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a41b153f2f8f3a27be63750e73a290569">SVF::MemSSA::getPAG</a></div><div class="ttdeci">SVFIR * getPAG()</div><div class="ttdoc">Return SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00071">MemSSA.cpp:71</a></div></div>
733
732
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4af4db2fe43846609d2ed1d7022b1be1"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4af4db2fe43846609d2ed1d7022b1be1">SVF::SVFUtil::isNonInstricCallSite</a></div><div class="ttdeci">bool isNonInstricCallSite(const SVFInstruction *inst)</div><div class="ttdoc">Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00188">SVFUtil.h:188</a></div></div>
@@ -795,6 +794,7 @@ $(function() {
795
794
  <div class="ttc" id="aclassSVF_1_1MSSADEF_html"><div class="ttname"><a href="classSVF_1_1MSSADEF.html">SVF::MSSADEF</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00325">MSSAMuChi.h:325</a></div></div>
796
795
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a59a4b7d815f624e448afe3ac0e9d18f5"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVF::SVFBasicBlock::getBBPredecessorPos</a></div><div class="ttdeci">u32_t getBBPredecessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00249">SVFValue.cpp:249</a></div></div>
797
796
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a68f988a0db99bd36e53253cb88f9d09f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a68f988a0db99bd36e53253cb88f9d09f">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00501">SVFValue.h:501</a></div></div>
797
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
798
798
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a749df6d6b28dd1bae569989bffeb7746"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746">SVF::MemSSA::dumpMSSA</a></div><div class="ttdeci">void dumpMSSA(OutStream &amp;Out=SVFUtil::outs())</div><div class="ttdoc">Print Memory SSA.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00580">MemSSA.cpp:580</a></div></div>
799
799
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
800
800
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a6bd57451370f5f4c92ce212be4cddd15"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a6bd57451370f5f4c92ce212be4cddd15">SVF::MemSSA::MemSSA</a></div><div class="ttdeci">MemSSA(BVDataPTAImpl *p, bool ptrOnlyMSSA)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8cpp_source.html#l00046">MemSSA.cpp:46</a></div></div>
package/SVF-doxygen/html/SVFIR_8h_source.html CHANGED
@@ -672,7 +672,7 @@ $(function() {
672
672
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a42d1e2f0213fb6e54c56cc0695b57cb0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">SVF::SVFIR::getFieldsAfterCollapse</a></div><div class="ttdeci">NodeBS getFieldsAfterCollapse(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00499">SVFIR.cpp:499</a></div></div>
673
673
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_af6a2c401d5c7582a4a958b1fe40838e5"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5">SVF::SVFIR::initialiseCandidatePointers</a></div><div class="ttdeci">void initialiseCandidatePointers()</div><div class="ttdoc">Initialize candidate pointers.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00660">SVFIR.cpp:660</a></div></div>
674
674
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a06465449e58e14bfb1c3eee2c97d3242"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">SVF::SVFIR::addFIObjNode</a></div><div class="ttdeci">NodeID addFIObjNode(const MemObj *obj)</div><div class="ttdoc">Add a field-insensitive node, this method can only invoked by getFIGepObjNode.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00465">SVFIR.cpp:465</a></div></div>
675
- <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add actual return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
675
+ <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add formal return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
676
676
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a570ad42ad516e3fabb91a3563b618c0b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR::getSVFStmtList</a></div><div class="ttdeci">SVFStmtList &amp; getSVFStmtList(const ICFGNode *inst)</div><div class="ttdoc">Given an instruction, get all its PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00208">SVFIR.h:208</a></div></div>
677
677
  <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00749">SVFStatements.h:749</a></div></div>
678
678
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5d15e4b09784f438568ebe61f8aa5156"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">SVF::SVFIR::isConstantObj</a></div><div class="ttdeci">bool isConstantObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00430">SVFIR.h:430</a></div></div>
package/SVF-doxygen/html/SVFValue_8h_source.html CHANGED
@@ -473,7 +473,7 @@ $(function() {
473
473
  <div class="line"><a name="l00418"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071"> 418</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* <a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>()<span class="keyword"> const</span></div>
474
474
  <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160;<span class="keyword"> </span>{</div>
475
475
  <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
476
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; assert((!<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>) &amp;&amp; <span class="stringliteral">&quot;ensure the function has a single basic block containing a return instruction!&quot;</span>);</div>
476
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; assert((<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>() &amp;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>) &amp;&amp; <span class="stringliteral">&quot;ensure the function has a single basic block containing a return instruction!&quot;</span>);</div>
477
477
  <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>;</div>
478
478
  <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div>
479
479
  <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; </div>
@@ -515,9 +515,9 @@ $(function() {
515
515
  <div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a>;</div>
516
516
  <div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; }</div>
517
517
  <div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; </div>
518
- <div class="line"><a name="l00466"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347"> 466</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>()<span class="keyword"> const</span></div>
518
+ <div class="line"><a name="l00466"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065"> 466</a></span>&#160; <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>()<span class="keyword"> const</span></div>
519
519
  <div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160;<span class="keyword"> </span>{</div>
520
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
520
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
521
521
  <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
522
522
  <div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; </div>
523
523
  <div class="line"><a name="l00471"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b"> 471</a></span>&#160; <span class="keyword">inline</span> <span class="keyword">const</span> std::vector&lt;std::string&gt;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a>()<span class="keyword"> const</span></div>
@@ -1274,7 +1274,6 @@ $(function() {
1274
1274
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
1275
1275
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_abe37f8896e2491a7a60be3fbfde8123c"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">SVF::SVFLoopAndDomInfo::hasLoopInfo</a></div><div class="ttdeci">bool hasLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00085">SVFValue.h:85</a></div></div>
1276
1276
  <div class="ttc" id="aclassSVF_1_1SVFOtherValue_html_ae47ccf0d62b35189416c6927136949b8"><div class="ttname"><a href="classSVF_1_1SVFOtherValue.html#ae47ccf0d62b35189416c6927136949b8">SVF::SVFOtherValue::classof</a></div><div class="ttdeci">static bool classof(const SVFValue *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01082">SVFValue.h:1082</a></div></div>
1277
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a97b0ad9fd31d7982f44a839605566347"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">SVF::SVFFunction::isNotRetFunction</a></div><div class="ttdeci">bool isNotRetFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
1278
1277
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a90e39f78f4908f8a8ef3948d9158791c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c">SVF::SVFFunction::getReachableBBs</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00456">SVFValue.h:456</a></div></div>
1279
1278
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a6b87fa0530b6d94f201a0989b35c2277"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a6b87fa0530b6d94f201a0989b35c2277">SVF::SVFLoopAndDomInfo::getPostDomTreeMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getPostDomTreeMap()</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00113">SVFValue.h:113</a></div></div>
1280
1279
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7bde256bc906af7f7204929019f4a33e"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock::front</a></div><div class="ttdeci">const SVFInstruction * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00598">SVFValue.h:598</a></div></div>
@@ -1503,6 +1502,7 @@ $(function() {
1503
1502
  <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_a51c967b9e808b077562fbf25a04bafdc"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction::getPredInstructions</a></div><div class="ttdeci">const InstVec &amp; getPredInstructions() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00678">SVFValue.h:678</a></div></div>
1504
1503
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a59a4b7d815f624e448afe3ac0e9d18f5"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVF::SVFBasicBlock::getBBPredecessorPos</a></div><div class="ttdeci">u32_t getBBPredecessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00249">SVFValue.cpp:249</a></div></div>
1505
1504
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a68f988a0db99bd36e53253cb88f9d09f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a68f988a0db99bd36e53253cb88f9d09f">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00501">SVFValue.h:501</a></div></div>
1505
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
1506
1506
  <div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01140">SVFValue.h:1140</a></div></div>
1507
1507
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae4f78769558a3cc8d2c948a4f5379ec9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae4f78769558a3cc8d2c948a4f5379ec9">SVF::SVFFunction::BBSet</a></div><div class="ttdeci">SVFLoopAndDomInfo::BBSet BBSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00306">SVFValue.h:306</a></div></div>
1508
1508
  <div class="ttc" id="aclassSVF_1_1SVFConstant_html_a71fcd1abcde6dfc35f2da9fb25227165"><div class="ttname"><a href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant::SVFConstant</a></div><div class="ttdeci">SVFConstant()=delete</div></div>
package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html CHANGED
@@ -98,10 +98,10 @@ Public Member Functions</h2></td></tr>
98
98
  <tr class="memdesc:a54dfbbebbfe18a8a493656d6ad8663be"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return function. <a href="classSVF_1_1FunExitICFGNode.html#a54dfbbebbfe18a8a493656d6ad8663be">More...</a><br /></td></tr>
99
99
  <tr class="separator:a54dfbbebbfe18a8a493656d6ad8663be"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
100
  <tr class="memitem:a03a1b6551377b4a85fdecf36ec247767"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">getFormalRet</a> () const</td></tr>
101
- <tr class="memdesc:a03a1b6551377b4a85fdecf36ec247767"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return actual return parameter. <a href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">More...</a><br /></td></tr>
101
+ <tr class="memdesc:a03a1b6551377b4a85fdecf36ec247767"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return formal return parameter. <a href="classSVF_1_1FunExitICFGNode.html#a03a1b6551377b4a85fdecf36ec247767">More...</a><br /></td></tr>
102
102
  <tr class="separator:a03a1b6551377b4a85fdecf36ec247767"><td class="memSeparator" colspan="2">&#160;</td></tr>
103
103
  <tr class="memitem:a51bdfbda3a351daa7ba898e2f88bb067"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">addFormalRet</a> (const <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> *fr)</td></tr>
104
- <tr class="memdesc:a51bdfbda3a351daa7ba898e2f88bb067"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add actual return parameter. <a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">More...</a><br /></td></tr>
104
+ <tr class="memdesc:a51bdfbda3a351daa7ba898e2f88bb067"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add formal return parameter. <a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">More...</a><br /></td></tr>
105
105
  <tr class="separator:a51bdfbda3a351daa7ba898e2f88bb067"><td class="memSeparator" colspan="2">&#160;</td></tr>
106
106
  <tr class="memitem:aa73e5a5e577b789842987fec2fb307f9"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9">toString</a> () const</td></tr>
107
107
  <tr class="separator:aa73e5a5e577b789842987fec2fb307f9"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -355,7 +355,7 @@ Additional Inherited Members</h2></td></tr>
355
355
  <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">if</span> (f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">begin</a>() != f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">end</a>())</div>
356
356
  <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; {</div>
357
357
  <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; <span class="comment">// ensure the enclosing function has exit basic block</span></div>
358
- <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keywordflow">if</span> (!f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
358
+ <div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <span class="keywordflow">if</span> (f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
359
359
  <div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; {</div>
360
360
  <div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">bb</a> = f-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>();</div>
361
361
  <div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; }</div>
@@ -389,7 +389,7 @@ Additional Inherited Members</h2></td></tr>
389
389
  </table>
390
390
  </div><div class="memdoc">
391
391
 
392
- <p>Add actual return parameter. </p>
392
+ <p>Add formal return parameter. </p>
393
393
 
394
394
  <p class="definition">Definition at line <a class="el" href="ICFGNode_8h_source.html#l00351">351</a> of file <a class="el" href="ICFGNode_8h_source.html">ICFGNode.h</a>.</p>
395
395
  <div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; {</div>
@@ -547,7 +547,7 @@ Additional Inherited Members</h2></td></tr>
547
547
  </table>
548
548
  </div><div class="memdoc">
549
549
 
550
- <p>Return actual return parameter. </p>
550
+ <p>Return formal return parameter. </p>
551
551
 
552
552
  <p class="definition">Definition at line <a class="el" href="ICFGNode_8h_source.html#l00345">345</a> of file <a class="el" href="ICFGNode_8h_source.html">ICFGNode.h</a>.</p>
553
553
  <div class="fragment"><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; {</div>
@@ -623,7 +623,7 @@ Additional Inherited Members</h2></td></tr>
623
623
  <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;FunExitICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
624
624
  <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">getName</a>();</div>
625
625
  <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; <span class="comment">// ensure the enclosing function has exit basic block</span></div>
626
- <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>) &amp;&amp; !<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
626
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">isExtCall</a>(<a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>) &amp;&amp; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
627
627
  <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; rawstr &lt;&lt; <a class="code" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">fun</a>-&gt;<a class="code" href="classSVF_1_1SVFFunction.html#a8ca4fa87f4c26b71c6e03c8f32db1071">getExitBB</a>()-&gt;<a class="code" href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">front</a>()-&gt;<a class="code" href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">getSourceLoc</a>();</div>
628
628
  <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div>
629
629
  <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a> *stmt : <a class="code" href="classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661">getSVFStmts</a>())</div>
@@ -714,7 +714,6 @@ Additional Inherited Members</h2></td></tr>
714
714
  </div><!-- contents -->
715
715
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376acf25925678f7fa5fba01766bd06a1fb8">SVF::ICFGNode::FunExitBlock</a></div><div class="ttdeci">@ FunExitBlock</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00066">ICFGNode.h:66</a></div></div>
716
716
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
717
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a97b0ad9fd31d7982f44a839605566347"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">SVF::SVFFunction::isNotRetFunction</a></div><div class="ttdeci">bool isNotRetFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
718
717
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a7bde256bc906af7f7204929019f4a33e"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock::front</a></div><div class="ttdeci">const SVFInstruction * front() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00598">SVFValue.h:598</a></div></div>
719
718
  <div class="ttc" id="aclassSVF_1_1InterICFGNode_html_a192826ba075a80add6a39a039a32bc05"><div class="ttname"><a href="classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05">SVF::InterICFGNode::InterICFGNode</a></div><div class="ttdeci">InterICFGNode(NodeID id, ICFGNodeK k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00228">ICFGNode.h:228</a></div></div>
720
719
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a0cd08725df3e8665762ee37b5d4c138a"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">SVF::ICFGNode::bb</a></div><div class="ttdeci">const SVFBasicBlock * bb</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00139">ICFGNode.h:139</a></div></div>
@@ -727,6 +726,7 @@ Additional Inherited Members</h2></td></tr>
727
726
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
728
727
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
729
728
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a22ef185e767ff76c098e75126c885400"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a22ef185e767ff76c098e75126c885400">SVF::SVFUtil::isExtCall</a></div><div class="ttdeci">bool isExtCall(const SVFFunction *fun)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00309">SVFUtil.h:309</a></div></div>
729
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
730
730
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_a03587dbd558d8fffe25307b42e3195be"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">SVF::ICFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00138">ICFGNode.h:138</a></div></div>
731
731
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a2f274c3af098ae6a5919246b1b88e7b7"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a2f274c3af098ae6a5919246b1b88e7b7">SVF::SVFFunction::end</a></div><div class="ttdeci">const_iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00446">SVFValue.h:446</a></div></div>
732
732
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a7effb0f37f486745e0cdc3ae5e9c732b"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a7effb0f37f486745e0cdc3ae5e9c732b">SVF::SVFValue::getSourceLoc</a></div><div class="ttdeci">virtual const std::string getSourceLoc() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00280">SVFValue.h:280</a></div></div>
package/SVF-doxygen/html/classSVF_1_1MemSSA.html CHANGED
@@ -1638,7 +1638,7 @@ Private Attributes</h2></td></tr>
1638
1638
  <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; chi-&gt;setResVer(<a class="code" href="classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8">newSSAName</a>(mr,chi));</div>
1639
1639
  <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <a class="code" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">funToEntryChiSetMap</a>[&amp;fun].insert(chi);</div>
1640
1640
  <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; </div>
1641
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">if</span>(!fun.<a class="code" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>())</div>
1641
+ <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; <span class="keywordflow">if</span>(fun.<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>())</div>
1642
1642
  <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; {</div>
1643
1643
  <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; <a class="code" href="classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a">RETMU</a>* mu = <span class="keyword">new</span> <a class="code" href="classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a">RETMU</a>(&amp;fun, mr);</div>
1644
1644
  <div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; <a class="code" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">funToReturnMuSetMap</a>[&amp;fun].insert(mu);</div>
@@ -3934,7 +3934,6 @@ Private Attributes</h2></td></tr>
3934
3934
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a150e9d53ced1c143bba2d1026f739fa4"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4">SVF::MemSSA::STORECHI</a></div><div class="ttdeci">StoreCHI&lt; Condition &gt; STORECHI</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00065">MemSSA.h:65</a></div></div>
3935
3935
  <div class="ttc" id="aclassSVF_1_1MRGenerator_html_a19da5768681a21c52a6c43761814a157"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a19da5768681a21c52a6c43761814a157">SVF::MRGenerator::getLoadMRSet</a></div><div class="ttdeci">MRSet &amp; getLoadMRSet(const LoadStmt *load)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00447">MemRegion.h:447</a></div></div>
3936
3936
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
3937
- <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a97b0ad9fd31d7982f44a839605566347"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">SVF::SVFFunction::isNotRetFunction</a></div><div class="ttdeci">bool isNotRetFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
3938
3937
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a90e39f78f4908f8a8ef3948d9158791c"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a90e39f78f4908f8a8ef3948d9158791c">SVF::SVFFunction::getReachableBBs</a></div><div class="ttdeci">const std::vector&lt; const SVFBasicBlock * &gt; &amp; getReachableBBs() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00456">SVFValue.h:456</a></div></div>
3939
3938
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_ae1e97a53e1267cf357515d64fd916e1d"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ae1e97a53e1267cf357515d64fd916e1d">SVF::MemSSA::AddMSSAPHI</a></div><div class="ttdeci">void AddMSSAPHI(const SVFBasicBlock *bb, const MRSet &amp;mrSet)</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00209">MemSSA.h:209</a></div></div>
3940
3939
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671a549b5589ecfbe073623091605785fc03">SVF::MemSSA::InterDisjoint</a></div><div class="ttdeci">@ InterDisjoint</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00117">MemSSA.h:117</a></div></div>
@@ -4028,6 +4027,7 @@ Private Attributes</h2></td></tr>
4028
4027
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a426a9befa6646c88fc5d11a09da2d27a"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a426a9befa6646c88fc5d11a09da2d27a">SVF::MemSSA::AddLoadMU</a></div><div class="ttdeci">void AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MRSet &amp;mrSet)</div><div class="ttdoc">Add methods for mus/chis/phis.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00189">MemSSA.h:189</a></div></div>
4029
4028
  <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a59a4b7d815f624e448afe3ac0e9d18f5"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a59a4b7d815f624e448afe3ac0e9d18f5">SVF::SVFBasicBlock::getBBPredecessorPos</a></div><div class="ttdeci">u32_t getBBPredecessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00249">SVFValue.cpp:249</a></div></div>
4030
4029
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a68f988a0db99bd36e53253cb88f9d09f"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a68f988a0db99bd36e53253cb88f9d09f">SVF::SVFFunction::getDomTreeMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00501">SVFValue.h:501</a></div></div>
4030
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
4031
4031
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
4032
4032
  <div class="ttc" id="aclassSVF_1_1MemSSA_html_a3400d9a921672b3872656acecc3eac9f"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f">SVF::MemSSA::hasReturnMu</a></div><div class="ttdeci">bool hasReturnMu(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00364">MemSSA.h:364</a></div></div>
4033
4033
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html CHANGED
@@ -114,15 +114,15 @@ $(function() {
114
114
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a731b978178937e74c80d2882c429dc9e">hasAddressTaken</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
115
115
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
116
116
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">hasLoopInfo</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
118
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
120
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
121
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76">isDeclaration</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
122
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">isIntrinsic</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768">isLoopHeader</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
125
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
117
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
118
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a037b2583aa8d15ceeb630eaad41a36a3">intrinsic</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
119
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#acb5d0311477899abb4c222cd44376c73">isblackHole</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
120
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#adcd0f90825818ab1de34e58c1a3084a3">isConstDataOrAggData</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
121
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">isDecl</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
122
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76">isDeclaration</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
123
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">isIntrinsic</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
124
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#afa469fdfa92b99d1727b8df873c86768">isLoopHeader</a>(const SVFBasicBlock *bb) const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
125
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
126
126
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html#ac29e2f5e75cc6916be6a663ca6d51177">isNullPtr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
127
127
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea">isUncalled</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
128
128
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8">isUncalledFunction</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
package/SVF-doxygen/html/classSVF_1_1SVFFunction.html CHANGED
@@ -177,8 +177,8 @@ Public Member Functions</h2></td></tr>
177
177
  <tr class="separator:a90e39f78f4908f8a8ef3948d9158791c"><td class="memSeparator" colspan="2">&#160;</td></tr>
178
178
  <tr class="memitem:a818f626cb8b8063b5f3c8928428095b8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a818f626cb8b8063b5f3c8928428095b8">isUncalledFunction</a> () const</td></tr>
179
179
  <tr class="separator:a818f626cb8b8063b5f3c8928428095b8"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
- <tr class="memitem:a97b0ad9fd31d7982f44a839605566347"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a97b0ad9fd31d7982f44a839605566347">isNotRetFunction</a> () const</td></tr>
181
- <tr class="separator:a97b0ad9fd31d7982f44a839605566347"><td class="memSeparator" colspan="2">&#160;</td></tr>
180
+ <tr class="memitem:a66c8d773bde7e7af9f46d56b5db71065"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a> () const</td></tr>
181
+ <tr class="separator:a66c8d773bde7e7af9f46d56b5db71065"><td class="memSeparator" colspan="2">&#160;</td></tr>
182
182
  <tr class="memitem:a067bd6dbaf74a028d546fa56b095791b"><td class="memItemLeft" align="right" valign="top">const std::vector&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">getAnnotations</a> () const</td></tr>
183
183
  <tr class="separator:a067bd6dbaf74a028d546fa56b095791b"><td class="memSeparator" colspan="2">&#160;</td></tr>
184
184
  <tr class="memitem:a61505b528343c7d728eba3a705930a16"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFFunction.html#a61505b528343c7d728eba3a705930a16">getExitBlocksOfLoop</a> (const <a class="el" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a> *bb, <a class="el" href="classSVF_1_1SVFFunction.html#ad09ea0c680c88732c08d655e0afbead3">BBList</a> &amp;exitbbs) const</td></tr>
@@ -1042,7 +1042,7 @@ Additional Inherited Members</h2></td></tr>
1042
1042
  <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00418">418</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1043
1043
  <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; {</div>
1044
1044
  <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; assert(<a class="code" href="classSVF_1_1SVFFunction.html#a9a7f1f56b6cfc33e7fa241286a07fd63">hasBasicBlock</a>() &amp;&amp; <span class="stringliteral">&quot;function does not have any Basicblock, external function?&quot;</span>);</div>
1045
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; assert((!<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a> &amp;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>) &amp;&amp; <span class="stringliteral">&quot;ensure the function has a single basic block containing a return instruction!&quot;</span>);</div>
1045
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; assert((<a class="code" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">hasReturn</a>() &amp;&amp; <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>) &amp;&amp; <span class="stringliteral">&quot;ensure the function has a single basic block containing a return instruction!&quot;</span>);</div>
1046
1046
  <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">exitBlock</a>;</div>
1047
1047
  <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; }</div>
1048
1048
  </div><!-- fragment -->
@@ -1366,6 +1366,36 @@ Additional Inherited Members</h2></td></tr>
1366
1366
  </div><!-- fragment -->
1367
1367
  </div>
1368
1368
  </div>
1369
+ <a id="a66c8d773bde7e7af9f46d56b5db71065"></a>
1370
+ <h2 class="memtitle"><span class="permalink"><a href="#a66c8d773bde7e7af9f46d56b5db71065">&#9670;&nbsp;</a></span>hasReturn()</h2>
1371
+
1372
+ <div class="memitem">
1373
+ <div class="memproto">
1374
+ <table class="mlabels">
1375
+ <tr>
1376
+ <td class="mlabels-left">
1377
+ <table class="memname">
1378
+ <tr>
1379
+ <td class="memname">bool SVF::SVFFunction::hasReturn </td>
1380
+ <td>(</td>
1381
+ <td class="paramname"></td><td>)</td>
1382
+ <td> const</td>
1383
+ </tr>
1384
+ </table>
1385
+ </td>
1386
+ <td class="mlabels-right">
1387
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1388
+ </tr>
1389
+ </table>
1390
+ </div><div class="memdoc">
1391
+
1392
+ <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00466">466</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1393
+ <div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1394
+ <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> !<a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1395
+ <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
1396
+ </div><!-- fragment -->
1397
+ </div>
1398
+ </div>
1369
1399
  <a id="ab672f0255ec8e42d5e414bc8c72b7c76"></a>
1370
1400
  <h2 class="memtitle"><span class="permalink"><a href="#ab672f0255ec8e42d5e414bc8c72b7c76">&#9670;&nbsp;</a></span>isDeclaration()</h2>
1371
1401
 
@@ -1457,36 +1487,6 @@ Additional Inherited Members</h2></td></tr>
1457
1487
  </div><!-- fragment -->
1458
1488
  </div>
1459
1489
  </div>
1460
- <a id="a97b0ad9fd31d7982f44a839605566347"></a>
1461
- <h2 class="memtitle"><span class="permalink"><a href="#a97b0ad9fd31d7982f44a839605566347">&#9670;&nbsp;</a></span>isNotRetFunction()</h2>
1462
-
1463
- <div class="memitem">
1464
- <div class="memproto">
1465
- <table class="mlabels">
1466
- <tr>
1467
- <td class="mlabels-left">
1468
- <table class="memname">
1469
- <tr>
1470
- <td class="memname">bool SVF::SVFFunction::isNotRetFunction </td>
1471
- <td>(</td>
1472
- <td class="paramname"></td><td>)</td>
1473
- <td> const</td>
1474
- </tr>
1475
- </table>
1476
- </td>
1477
- <td class="mlabels-right">
1478
- <span class="mlabels"><span class="mlabel">inline</span></span> </td>
1479
- </tr>
1480
- </table>
1481
- </div><div class="memdoc">
1482
-
1483
- <p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l00466">466</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
1484
- <div class="fragment"><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; {</div>
1485
- <div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6">isNotRet</a>;</div>
1486
- <div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; }</div>
1487
- </div><!-- fragment -->
1488
- </div>
1489
- </div>
1490
1490
  <a id="a818f626cb8b8063b5f3c8928428095b8"></a>
1491
1491
  <h2 class="memtitle"><span class="permalink"><a href="#a818f626cb8b8063b5f3c8928428095b8">&#9670;&nbsp;</a></span>isUncalledFunction()</h2>
1492
1492
 
@@ -2200,6 +2200,7 @@ Additional Inherited Members</h2></td></tr>
2200
2200
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae37546be7304c66b4eca2654d995eaa7"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae37546be7304c66b4eca2654d995eaa7">SVF::SVFLoopAndDomInfo::getDomFrontierMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getDomFrontierMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00075">SVFValue.h:75</a></div></div>
2201
2201
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00034">SVFValue.cpp:34</a></div></div>
2202
2202
  <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a48654f61a84ac5f93b02fb618cd0d045"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a48654f61a84ac5f93b02fb618cd0d045">SVF::SVFLoopAndDomInfo::getExitBlocksOfLoop</a></div><div class="ttdeci">void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &amp;exitbbs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00041">SVFValue.cpp:41</a></div></div>
2203
+ <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a66c8d773bde7e7af9f46d56b5db71065"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction::hasReturn</a></div><div class="ttdeci">bool hasReturn() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00466">SVFValue.h:466</a></div></div>
2203
2204
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a374cbaa780f540cb4b4ccac562a82632"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a374cbaa780f540cb4b4ccac562a82632">SVF::SVFFunction::exitBlock</a></div><div class="ttdeci">SVFBasicBlock * exitBlock</div><div class="ttdoc">annotations of this function</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00323">SVFValue.h:323</a></div></div>
2204
2205
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a52581d00177fd5853d6f9de50b3e7fb9"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9">SVF::SVFFunction::isDecl</a></div><div class="ttdeci">bool isDecl</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00311">SVFValue.h:311</a></div></div>
2205
2206
  <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00897">SVFValue.h:897</a></div></div>
package/SVF-doxygen/html/classSVF_1_1SVFIR.html CHANGED
@@ -6535,7 +6535,7 @@ Additional Inherited Members</h2></td></tr>
6535
6535
  <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00527">SVFStatements.h:527</a></div></div>
6536
6536
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00384">GenericGraph.h:384</a></div></div>
6537
6537
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a06465449e58e14bfb1c3eee2c97d3242"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242">SVF::SVFIR::addFIObjNode</a></div><div class="ttdeci">NodeID addFIObjNode(const MemObj *obj)</div><div class="ttdoc">Add a field-insensitive node, this method can only invoked by getFIGepObjNode.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00465">SVFIR.cpp:465</a></div></div>
6538
- <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add actual return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
6538
+ <div class="ttc" id="aclassSVF_1_1FunExitICFGNode_html_a51bdfbda3a351daa7ba898e2f88bb067"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067">SVF::FunExitICFGNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const SVFVar *fr)</div><div class="ttdoc">Add formal return parameter.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00351">ICFGNode.h:351</a></div></div>
6539
6539
  <div class="ttc" id="aclassSVF_1_1PhiStmt_html"><div class="ttname"><a href="classSVF_1_1PhiStmt.html">SVF::PhiStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00749">SVFStatements.h:749</a></div></div>
6540
6540
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5d15e4b09784f438568ebe61f8aa5156"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156">SVF::SVFIR::isConstantObj</a></div><div class="ttdeci">bool isConstantObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00430">SVFIR.h:430</a></div></div>
6541
6541
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</a></div><div class="ttdeci">@ Call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00067">SVFStatements.h:67</a></div></div>
package/SVF-doxygen/html/functions_func_h.html CHANGED
@@ -393,7 +393,7 @@ $(function() {
393
393
  , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
394
394
  </li>
395
395
  <li>hasLabeledEdge()
396
- : <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
396
+ : <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
397
397
  </li>
398
398
  <li>hasLoop()
399
399
  : <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
@@ -409,7 +409,7 @@ $(function() {
409
409
  : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
410
410
  </li>
411
411
  <li>hasMU()
412
- : <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
412
+ : <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
413
413
  </li>
414
414
  <li>hasNode()
415
415
  : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -424,7 +424,7 @@ $(function() {
424
424
  : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
425
425
  </li>
426
426
  <li>hasOutgoingEdge()
427
- : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a802b138a587dae6eaf2787eb2fd30f21">SVF::CFBasicBlockNode</a>
427
+ : <a class="el" href="classSVF_1_1CFBasicBlockNode.html#a1b02680eb7b603ffaed3eecd2f09455e">SVF::CFBasicBlockNode</a>
428
428
  , <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
429
429
  </li>
430
430
  <li>hasOutgoingEdges()
@@ -464,6 +464,9 @@ $(function() {
464
464
  <li>hasRefSideEffectOfCallSite()
465
465
  : <a class="el" href="classSVF_1_1MRGenerator.html#a9718c9e8efc1e6f32441aa5f418711dd">SVF::MRGenerator</a>
466
466
  </li>
467
+ <li>hasReturn()
468
+ : <a class="el" href="classSVF_1_1SVFFunction.html#a66c8d773bde7e7af9f46d56b5db71065">SVF::SVFFunction</a>
469
+ </li>
467
470
  <li>hasReturnMu()
468
471
  : <a class="el" href="classSVF_1_1MemSSA.html#a3400d9a921672b3872656acecc3eac9f">SVF::MemSSA</a>
469
472
  </li>