svf-tools 1.0.330 → 1.0.334

package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html

@@ -70,7 +70,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a14027d92c4f8e33d7487fe81acce6a85"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a14027d92c4f8e33d7487fe81acce6a85">SVF::TypeBasedHeapCloning::setOriginalObj</a></div><div class="ttdeci">void setOriginalObj(NodeID c, NodeID o)</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00096">TypeBasedHeapCloning.cpp:96</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a4d6fc7852fc4bfe1d7ba3c0b8602bc8a"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a4d6fc7852fc4bfe1d7ba3c0b8602bc8a">SVF::TypeBasedHeapCloning::numSGInit</a></div><div class="ttdeci">unsigned numSGInit</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00180">TypeBasedHeapCloning.h:180</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a629ad3cef8929865b7319fb9e389f7bf"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a629ad3cef8929865b7319fb9e389f7bf">SVF::TypeBasedHeapCloning::ppag</a></div><div class="ttdeci">SVFIR * ppag</div><div class="ttdoc">SVFIR the PTA uses. Just a shortcut for getPAG(). </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00149">TypeBasedHeapCloning.h:149</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00415">SymbolTableInfo.h:415</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00418">SymbolTableInfo.h:418</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a1d48cd7ccbcd9bdf1470a5d9aca3298d"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a1d48cd7ccbcd9bdf1470a5d9aca3298d">SVF::TypeBasedHeapCloning::backPropagate</a></div><div class="ttdeci">virtual void backPropagate(NodeID clone)=0</div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_a03ef2decb80ba07f4d98cae0a4497212"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#a03ef2decb80ba07f4d98cae0a4497212">SVF::TypeBasedHeapCloning::derefFnName</a></div><div class="ttdeci">static const std::string derefFnName</div><div class="ttdoc">deref function for TBHC alias tests. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00034">TypeBasedHeapCloning.h:34</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
@@ -120,7 +120,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_accbf71007be662ee2436ca3d76b903ed"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#accbf71007be662ee2436ca3d76b903ed">SVF::TypeBasedHeapCloning::cloneToOriginalObj</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; cloneToOriginalObj</div><div class="ttdoc">(Clone) object -&gt; original object (opposite of objToclones). </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00160">TypeBasedHeapCloning.h:160</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_abce2ba326af69312c5971246cc4c10dc"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc">SVF::TypeBasedHeapCloning::isClone</a></div><div class="ttdeci">bool isClone(NodeID o) const</div><div class="ttdoc">Returns true if o is a clone. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00048">TypeBasedHeapCloning.cpp:48</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00093">LocationSet.h:93</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00072">LocationSet.h:72</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_af127bed600087b1ace26088a76ca8998"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#af127bed600087b1ace26088a76ca8998">SVF::TypeBasedHeapCloning::getClones</a></div><div class="ttdeci">const NodeBS &amp; getClones(NodeID o)</div><div class="ttdoc">Returns all the clones of o. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00091">TypeBasedHeapCloning.cpp:91</a></div></div>
 <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_af5cf059dea30a0b422321e3a792ea447"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#af5cf059dea30a0b422321e3a792ea447">SVF::TypeBasedHeapCloning::numTBSSU</a></div><div class="ttdeci">unsigned numTBSSU</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8h_source.html#l00174">TypeBasedHeapCloning.h:174</a></div></div>

package/SVF-doxygen/html/html/VFGNode_8h_source.html

@@ -71,7 +71,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00465">VFGNode.h:465</a></div></div>
 <div class="ttc" id="classSVF_1_1PHIVFGNode_html_a08ccd55d0fb6ce33f69959349008daca"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00631">VFGNode.h:631</a></div></div>
 <div class="ttc" id="classSVF_1_1GepVFGNode_html_a70e2627cc05920864a97d054b2631985"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html#a70e2627cc05920864a97d054b2631985">SVF::GepVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00612">VFGNode.h:612</a></div></div>
-<div class="ttc" id="classSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00197">SVFStatements.h:197</a></div></div>
+<div class="ttc" id="classSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00269">SVFStatements.h:269</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtVFGNode_html_a03c4e0a31d2377ef4ffe46fe183ccd9d"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode::StmtVFGNode</a></div><div class="ttdeci">StmtVFGNode(NodeID id, const PAGEdge *e, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00121">VFGNode.h:121</a></div></div>
 <div class="ttc" id="classSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00235">VFGNode.h:235</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ad81c6e6579293352ecb59345538b2132"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode::retPEBegin</a></div><div class="ttdeci">RetPESet::const_iterator retPEBegin() const</div><div class="ttdoc">RetPE iterators. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01034">VFGNode.h:1034</a></div></div>
@@ -80,7 +80,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00831">VFGNode.h:831</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraPHIVFGNode_html_a379b6f3452bdc6b5a3913fc7680ef70e"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a379b6f3452bdc6b5a3913fc7680ef70e">SVF::IntraPHIVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00733">VFGNode.h:733</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode::FPOUT</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
-<div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00850">SVFStatements.h:850</a></div></div>
+<div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00594">SVFStatements.h:594</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_ae5ba94ffae500168f0e5c1b1ce78af9c"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c">SVF::CmpVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00374">VFGNode.h:374</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abde838081562229a5a5ca8bb250d5e18">SVF::VFGNode::MIntraPhi</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="classSVF_1_1AddrVFGNode_html"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html">SVF::AddrVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00747">VFGNode.h:747</a></div></div>
@@ -111,7 +111,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_ab1248b063654318677471fb10af16fd7"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode::classof</a></div><div class="ttdeci">static bool classof(const CmpVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00337">VFGNode.h:337</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraPHIVFGNode_html_a3a6ef9d2b10a6f2f1ac1b25590f56a70"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70">SVF::IntraPHIVFGNode::getOpIncomingBB</a></div><div class="ttdeci">const ICFGNode * getOpIncomingBB(u32_t pos) const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00711">VFGNode.h:711</a></div></div>
-<div class="ttc" id="classSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00669">SVFStatements.h:669</a></div></div>
+<div class="ttc" id="classSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00412">SVFStatements.h:412</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_a6e18ca317e0d71b99d0ee20ec4583ab6"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6">SVF::ActualRetVFGNode::ActualRetVFGNode</a></div><div class="ttdeci">ActualRetVFGNode(NodeID id, const PAGNode *n, const CallBlockNode *c)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00959">VFGNode.h:959</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad8f56074e213d2e7dc1d22a1b0765f8c"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode::fun</a></div><div class="ttdeci">const SVFFunction * fun</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00884">VFGNode.h:884</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a78fb624f0ca9ff16e6a8e5fd1c384904"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode::opVerBegin</a></div><div class="ttdeci">OPVers::const_iterator opVerBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00370">VFGNode.h:370</a></div></div>
@@ -171,7 +171,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html">SVF::UnaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00459">VFGNode.h:459</a></div></div>
 <div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html_ae803603f567cc28f5a7e1b66fb324cbc"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00393">VFGNode.h:393</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00315">VFGNode.h:315</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00798">SVFStatements.h:798</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00542">SVFStatements.h:542</a></div></div>
 <div class="ttc" id="classSVF_1_1BranchVFGNode_html_abbb429b521b54c2d7a6d8d7f52751455"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#abbb429b521b54c2d7a6d8d7f52751455">SVF::BranchVFGNode::getBranchStmt</a></div><div class="ttdeci">const BranchStmt * getBranchStmt() const</div><div class="ttdoc">Return the branch statement. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00564">VFGNode.h:564</a></div></div>
 <div class="ttc" id="classSVF_1_1BranchVFGNode_html"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html">SVF::BranchVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00534">VFGNode.h:534</a></div></div>
 <div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_a79b84b61e6e2c967fc3c1b8d9dad41c5"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#a79b84b61e6e2c967fc3c1b8d9dad41c5">SVF::NullPtrVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01157">VFGNode.h:1157</a></div></div>
@@ -180,7 +180,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CopyVFGNode_html_adefcc30434a12173cfbdb05145ff2959"><div class="ttname"><a href="classSVF_1_1CopyVFGNode.html#adefcc30434a12173cfbdb05145ff2959">SVF::CopyVFGNode::classof</a></div><div class="ttdeci">static bool classof(const CopyVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00289">VFGNode.h:289</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a3230ae3a4a7f10e0486f000b92b87713"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a3230ae3a4a7f10e0486f000b92b87713">SVF::CmpVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00341">VFGNode.h:341</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_add2c095c6ae13c5d7a72f4551c2490a2"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#add2c095c6ae13c5d7a72f4551c2490a2">SVF::CmpVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00345">VFGNode.h:345</a></div></div>
-<div class="ttc" id="classSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00586">SVFStatements.h:586</a></div></div>
+<div class="ttc" id="classSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00961">SVFStatements.h:961</a></div></div>
 <div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_a320a99e99af0c6acf5dadc9e7077f776"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#a320a99e99af0c6acf5dadc9e7077f776">SVF::NullPtrVFGNode::isPTANode</a></div><div class="ttdeci">bool isPTANode() const</div><div class="ttdoc">Whether this node is of pointer type (used for pointer analysis). </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01142">VFGNode.h:1142</a></div></div>
 <div class="ttc" id="classSVF_1_1BranchVFGNode_html_a29efb69de81e8fd799133c9194eec3d3"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3">SVF::BranchVFGNode::BranchVFGNode</a></div><div class="ttdeci">BranchVFGNode(NodeID id, const BranchStmt *r)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00543">VFGNode.h:543</a></div></div>
 <div class="ttc" id="classSVF_1_1AddrVFGNode_html_a5510202381d0eb7af55353f8cc3be0d0"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html#a5510202381d0eb7af55353f8cc3be0d0">SVF::AddrVFGNode::classof</a></div><div class="ttdeci">static bool classof(const StmtVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00766">VFGNode.h:766</a></div></div>
@@ -200,16 +200,16 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="GenericGraph_8h_html"><div class="ttname"><a href="GenericGraph_8h.html">GenericGraph.h</a></div></div>
 <div class="ttc" id="classSVF_1_1BinaryOPVFGNode_html_a16511457605363135685cf3cf3a474dd"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd">SVF::BinaryOPVFGNode::getOpVerNum</a></div><div class="ttdeci">u32_t getOpVerNum() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00438">VFGNode.h:438</a></div></div>
-<div class="ttc" id="classSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00633">SVFStatements.h:633</a></div></div>
+<div class="ttc" id="classSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00376">SVFStatements.h:376</a></div></div>
 <div class="ttc" id="classSVF_1_1ActualRetVFGNode_html_a984d1aa6c67d1f90bb00d3d34f455797"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a984d1aa6c67d1f90bb00d3d34f455797">SVF::ActualRetVFGNode::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00964">VFGNode.h:964</a></div></div>
 <div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_a875ffe4fcc25af08ba9be4a568da8b4f"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#a875ffe4fcc25af08ba9be4a568da8b4f">SVF::InterPHIVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Get the function of this SVFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01087">VFGNode.h:1087</a></div></div>
-<div class="ttc" id="classSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00533">SVFStatements.h:533</a></div></div>
+<div class="ttc" id="classSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00908">SVFStatements.h:908</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a8b320525e5a0ed93030d578030761124"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode::iterator</a></div><div class="ttdeci">VFGEdge::VFGEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00059">VFGNode.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraPHIVFGNode_html_a7b8058dbbb9fc70db5f0de179e7e0196"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a7b8058dbbb9fc70db5f0de179e7e0196">SVF::IntraPHIVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00737">VFGNode.h:737</a></div></div>
 <div class="ttc" id="classSVF_1_1GepVFGNode_html_a77aa023b0c19e72a1263c63419643241"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html#a77aa023b0c19e72a1263c63419643241">SVF::GepVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GepVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00600">VFGNode.h:600</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode::Branch</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_ab5732a6cea2efbd352d1d8330f366f49"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49">SVF::FormalRetVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01048">VFGNode.h:1048</a></div></div>
-<div class="ttc" id="classSVF_1_1BranchStmt_html_ae3aecc257d37c20084633027cb312faa"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const ICFGNode * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00583">SVFStatements.h:583</a></div></div>
+<div class="ttc" id="classSVF_1_1BranchStmt_html_ae3aecc257d37c20084633027cb312faa"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#ae3aecc257d37c20084633027cb312faa">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const std::vector&lt; const ICFGNode * &gt; &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00958">SVFStatements.h:958</a></div></div>
 <div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_a4403fd618b01a26c7c1e8c5da2319db6"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6">SVF::UnaryOPVFGNode::res</a></div><div class="ttdeci">const PAGNode * res</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00464">VFGNode.h:464</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_a0db4ada3c366c811962415454a859b22"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode::OPVers</a></div><div class="ttdeci">Map&lt; u32_t, const PAGNode * &gt; OPVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00318">VFGNode.h:318</a></div></div>
 <div class="ttc" id="classSVF_1_1InterPHIVFGNode_html_af303d3f9df95d6d0e844579125be6125"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#af303d3f9df95d6d0e844579125be6125">SVF::InterPHIVFGNode::InterPHIVFGNode</a></div><div class="ttdeci">InterPHIVFGNode(NodeID id, const ActualRetVFGNode *ar)</div><div class="ttdoc">Constructor interPHI for actual return. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01075">VFGNode.h:1075</a></div></div>
@@ -290,7 +290,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1FormalRetVFGNode_html_a68d9c5d58e2282b2891c93203233fd93"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a68d9c5d58e2282b2891c93203233fd93">SVF::FormalRetVFGNode::getFun</a></div><div class="ttdeci">const SVFFunction * getFun() const override</div><div class="ttdoc">Function. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01024">VFGNode.h:1024</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a0b6c03af568b70903da6b200ac86c951"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">SVF::SVFStmt::isPTAEdge</a></div><div class="ttdeci">bool isPTAEdge() const</div><div class="ttdoc">Whether src and dst nodes are both of pointer type. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00056">SVFStatements.cpp:56</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00113">VFGNode.h:113</a></div></div>
-<div class="ttc" id="classSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00596">SVFStatements.h:596</a></div></div>
+<div class="ttc" id="classSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00339">SVFStatements.h:339</a></div></div>
 <div class="ttc" id="classSVF_1_1LoadVFGNode_html_a649006bd37ea9a4e0add926acf6711e7"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#a649006bd37ea9a4e0add926acf6711e7">SVF::LoadVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00223">VFGNode.h:223</a></div></div>
 <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&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>
 <div class="ttc" id="classSVF_1_1BranchVFGNode_html_a5cf9cbe215078178e12e06d859483336"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#a5cf9cbe215078178e12e06d859483336">SVF::BranchVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00557">VFGNode.h:557</a></div></div>
@@ -324,7 +324,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1BranchVFGNode_html_ae611eb1d27846c15b7301017e1864a30"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ae611eb1d27846c15b7301017e1864a30">SVF::BranchVFGNode::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00575">VFGNode.h:575</a></div></div>
 <div class="ttc" id="classSVF_1_1StmtVFGNode_html_ade2eb6475fdc3d2fa107c9adf508b72a"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#ade2eb6475fdc3d2fa107c9adf508b72a">SVF::StmtVFGNode::classof</a></div><div class="ttdeci">static bool classof(const StmtVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00161">VFGNode.h:161</a></div></div>
 <div class="ttc" id="classSVF_1_1FormalParmVFGNode_html_ad53fc9b2922c6c0145864bce59991d54"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ad53fc9b2922c6c0145864bce59991d54">SVF::FormalParmVFGNode::classof</a></div><div class="ttdeci">static bool classof(const ArgumentVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00932">VFGNode.h:932</a></div></div>
-<div class="ttc" id="classSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00580">SVFStatements.h:580</a></div></div>
+<div class="ttc" id="classSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00955">SVFStatements.h:955</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode::Copy</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1NullPtrVFGNode_html"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html">SVF::NullPtrVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01131">VFGNode.h:1131</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a43b6b3dc747d310f793ca1b3bfa9d05f"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f">SVF::VFGNode::CallPESet</a></div><div class="ttdeci">Set&lt; const CallPE * &gt; CallPESet</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00061">VFGNode.h:61</a></div></div>
@@ -334,7 +334,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CopyVFGNode_html_ae9c59423e3f5b86eecd07e4d7f6297eb"><div class="ttname"><a href="classSVF_1_1CopyVFGNode.html#ae9c59423e3f5b86eecd07e4d7f6297eb">SVF::CopyVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00297">VFGNode.h:297</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraPHIVFGNode_html_a73f39a488ad82300010abd18afe247a4"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode::opIncomingBBs</a></div><div class="ttdeci">OPIncomingBBs opIncomingBBs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00704">VFGNode.h:704</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_a86628ea173dec4934322f5d1caf2e1db"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a86628ea173dec4934322f5d1caf2e1db">SVF::SVFStmt::getInst</a></div><div class="ttdeci">const Instruction * getInst() const</div><div class="ttdoc">Get/set methods for llvm instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00108">SVFStatements.h:108</a></div></div>
-<div class="ttc" id="classSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00232">SVFStatements.h:232</a></div></div>
+<div class="ttc" id="classSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00305">SVFStatements.h:305</a></div></div>
 <div class="ttc" id="classSVF_1_1CmpVFGNode_html_ae7029edffae3f64899bf640fc0842258"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode::CmpVFGNode</a></div><div class="ttdeci">CmpVFGNode(NodeID id, const PAGNode *r)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00330">VFGNode.h:330</a></div></div>
 <div class="ttc" id="classSVF_1_1IntraPHIVFGNode_html_a7e5fd83393224ece808de83cbf496882"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882">SVF::IntraPHIVFGNode::setOpVerAndBB</a></div><div class="ttdeci">void setOpVerAndBB(u32_t pos, const PAGNode *node, const ICFGNode *bb)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00717">VFGNode.h:717</a></div></div>
 <div class="ttc" id="classSVF_1_1UnaryOPVFGNode_html_ae7947adec032ed072c50cf49f9d12259"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00505">VFGNode.h:505</a></div></div>