svf-tools 1.0.310 → 1.0.311

package/SVF-doxygen/html/html/PAGBuilder_8h_source.html

@@ -116,7 +116,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_a86667fc83e3afd45da76b8a0bf73ea83"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#a86667fc83e3afd45da76b8a0bf73ea83">SVF::PAGBuilder::visitAtomicRMWInst</a></div><div class="ttdeci">void visitAtomicRMWInst(AtomicRMWInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8h_source.html#l00220">PAGBuilder.h:220</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_ad333677366e6e2eba1aa7f60f6e02814"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#ad333677366e6e2eba1aa7f60f6e02814">SVF::PAGBuilder::visitLoadInst</a></div><div class="ttdeci">void visitLoadInst(LoadInst &amp;I)</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8cpp_source.html#l00535">PAGBuilder.cpp:535</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_ab5343c240c160f0ab1c97f3546e82bc9"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#ab5343c240c160f0ab1c97f3546e82bc9">SVF::PAGBuilder::addStoreEdge</a></div><div class="ttdeci">StorePE * addStoreEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8h_source.html#l00324">PAGBuilder.h:324</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00038">SVFModule.h:38</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_affc73e4204e3150b4f8cf654752d0bd7"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#affc73e4204e3150b4f8cf654752d0bd7">SVF::PAGBuilder::addAddrEdge</a></div><div class="ttdeci">AddrPE * addAddrEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Address edge. </div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8h_source.html#l00282">PAGBuilder.h:282</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_a2a2baa9aa1c4b467001ceab3f179ae1b"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#a2a2baa9aa1c4b467001ceab3f179ae1b">SVF::PAGBuilder::initialiseNodes</a></div><div class="ttdeci">void initialiseNodes()</div><div class="ttdoc">Initialize nodes and edges. </div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8cpp_source.html#l00131">PAGBuilder.cpp:131</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGBuilder_html_a54bab83475c617d969b6525f08d68e0c"><div class="ttname"><a href="classSVF_1_1PAGBuilder.html#a54bab83475c617d969b6525f08d68e0c">SVF::PAGBuilder::visitExtractValueInst</a></div><div class="ttdeci">void visitExtractValueInst(ExtractValueInst &amp;EVI)</div><div class="ttdef"><b>Definition:</b> <a href="PAGBuilder_8cpp_source.html#l00764">PAGBuilder.cpp:764</a></div></div>

package/SVF-doxygen/html/html/PAGEdge_8h_source.html

@@ -109,7 +109,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAGEdge_html_a79080505b4744aa8806b55215ac2b0f6a4b8b2eb7125c259d8d550dd83c51147b"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a4b8b2eb7125c259d8d550dd83c51147b">SVF::PAGEdge::NormalGep</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00056">PAGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1CopyPE_html_abab22d86f2cbd57d61165d4622c7ffee"><div class="ttname"><a href="classSVF_1_1CopyPE.html#abab22d86f2cbd57d61165d4622c7ffee">SVF::CopyPE::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00237">PAGEdge.h:237</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1PAGEdge_html_a3d5a75d4f3792f90bf6ee58776512154"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a3d5a75d4f3792f90bf6ee58776512154">SVF::PAGEdge::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="PAG_8cpp_source.html#l01012">PAG.cpp:1012</a></div></div>
+<div class="ttc" id="classSVF_1_1PAGEdge_html_a3d5a75d4f3792f90bf6ee58776512154"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a3d5a75d4f3792f90bf6ee58776512154">SVF::PAGEdge::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="PAG_8cpp_source.html#l01005">PAG.cpp:1005</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1TDJoinPE_html"><div class="ttname"><a href="classSVF_1_1TDJoinPE.html">SVF::TDJoinPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00703">PAGEdge.h:703</a></div></div>
@@ -189,7 +189,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1StorePE_html_a7729ca8220c1356729a2927224cda5e8"><div class="ttname"><a href="classSVF_1_1StorePE.html#a7729ca8220c1356729a2927224cda5e8">SVF::StorePE::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00377">PAGEdge.h:377</a></div></div>
 <div class="ttc" id="classSVF_1_1AddrPE_html"><div class="ttname"><a href="classSVF_1_1AddrPE.html">SVF::AddrPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00185">PAGEdge.h:185</a></div></div>
 <div class="ttc" id="classSVF_1_1CallPE_html_a0d89c20d1d3ccee5f3e45a32085117aa"><div class="ttname"><a href="classSVF_1_1CallPE.html#a0d89c20d1d3ccee5f3e45a32085117aa">SVF::CallPE::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00581">PAGEdge.h:581</a></div></div>
-<div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01002">PAG.cpp:1002</a></div></div>
+<div class="ttc" id="classSVF_1_1PAGEdge_html_ab686138c420a0b03cf8f1c1dff044318"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318">SVF::PAGEdge::PAGEdge</a></div><div class="ttdeci">PAGEdge(PAGNode *s, PAGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00995">PAG.cpp:995</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_1PAGEdge_html_a85c0939ab55d744d32f5fda2b54f07e3"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a85c0939ab55d744d32f5fda2b54f07e3">SVF::PAGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00200">PAG.cpp:200</a></div></div>
 <div class="ttc" id="classSVF_1_1RetPE_html_a2f0121f26e79fe3766cba93b42dc1119"><div class="ttname"><a href="classSVF_1_1RetPE.html#a2f0121f26e79fe3766cba93b42dc1119">SVF::RetPE::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGEdgeTy *edge)</div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00633">PAGEdge.h:633</a></div></div>

package/SVF-doxygen/html/html/PAGNode_8h_source.html

@@ -78,7 +78,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GepValPN_html_a41d083e2ed08dd926a8228df5c42a4d7"><div class="ttname"><a href="classSVF_1_1GepValPN.html#a41d083e2ed08dd926a8228df5c42a4d7">SVF::GepValPN::gepValType</a></div><div class="ttdeci">const Type * gepValType</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00392">PAGNode.h:392</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html_a79080505b4744aa8806b55215ac2b0f6ad1f40a044008babd44bff30af846550c"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6ad1f40a044008babd44bff30af846550c">SVF::PAGEdge::VariantGep</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00056">PAGEdge.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a2a9a5feb62138307b0b6f901cb5e0e0f"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a2a9a5feb62138307b0b6f901cb5e0e0f">SVF::PAGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00046">PAG.cpp:46</a></div></div>
-<div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01068">PAG.cpp:1068</a></div></div>
+<div class="ttc" id="classSVF_1_1PAGNode_html_a36a52b3618e8c1366402ec67507d6979"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a36a52b3618e8c1366402ec67507d6979">SVF::PAGNode::isIsolatedNode</a></div><div class="ttdeci">bool isIsolatedNode() const</div><div class="ttdoc">Whether this is an isoloated node on the PAG graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01061">PAG.cpp:1061</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html"><div class="ttname"><a href="classSVF_1_1PAGEdge.html">SVF::PAGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00047">PAGEdge.h:47</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5cc5327ba68c3f11ed4bef47d89c3dfda3ec7c7a77326c63c845463e36d278698"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda3ec7c7a77326c63c845463e36d278698">SVF::PAGNode::ValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00062">PAGNode.h:62</a></div></div>
 <div class="ttc" id="namespaceSVF_html_afe243912c982fde7d6beb4d046f9d42ba63aceec1f561583962d854e7606810e5"><div class="ttname"><a href="namespaceSVF.html#afe243912c982fde7d6beb4d046f9d42ba63aceec1f561583962d854e7606810e5">SVF::ConstantObj</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00043">MemModel.h:43</a></div></div>
@@ -111,7 +111,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CloneGepObjPN_html"><div class="ttname"><a href="classSVF_1_1CloneGepObjPN.html">SVF::CloneGepObjPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00772">PAGNode.h:772</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a45be6b7b2f1f9754ea47e511e65d46ae"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a45be6b7b2f1f9754ea47e511e65d46ae">SVF::PAGNode::getValue</a></div><div class="ttdeci">const Value * getValue() const</div><div class="ttdoc">Get/has methods of the components. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00094">PAGNode.h:94</a></div></div>
 <div class="ttc" id="classSVF_1_1CloneDummyObjPN_html"><div class="ttname"><a href="classSVF_1_1CloneDummyObjPN.html">SVF::CloneDummyObjPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00736">PAGNode.h:736</a></div></div>
-<div class="ttc" id="classSVF_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#l00170">GenericGraph.h:170</a></div></div>
+<div class="ttc" id="classSVF_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#l00171">GenericGraph.h:171</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_aa311aaac0f8fbb8650fac9d7662ec795"><div class="ttname"><a href="classSVF_1_1PAGNode.html#aa311aaac0f8fbb8650fac9d7662ec795">SVF::PAGNode::hasOutgoingEdges</a></div><div class="ttdeci">bool hasOutgoingEdges(PAGEdge::PEDGEK kind) const</div><div class="ttdoc">Has outgoing PAG edges. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00210">PAGNode.h:210</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a8662a272081441af5440af58c975b85e"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a8662a272081441af5440af58c975b85e">SVF::PAGNode::value</a></div><div class="ttdeci">const Value * value</div><div class="ttdoc">value of this PAG node </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00078">PAGNode.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a938343b901440e0898111a36e55bcae7"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a938343b901440e0898111a36e55bcae7">SVF::PAGNode::operator&lt;&lt;</a></div><div class="ttdeci">friend raw_ostream &amp; operator&lt;&lt;(raw_ostream &amp;o, const PAGNode &amp;node)</div><div class="ttdoc">Overloading operator &lt;&lt; for dumping PAGNode value. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00263">PAGNode.h:263</a></div></div>
@@ -157,7 +157,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a58cdfbc4160cae08745b67844ac29801"><div class="ttname"><a href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF::Argument</a></div><div class="ttdeci">llvm::Argument Argument</div><div class="ttdoc">LLVM Aliases and constants. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00122">BasicTypes.h:122</a></div></div>
 <div class="ttc" id="classSVF_1_1GepValPN_html_ab61c3b510838c4654e880e306f3af881"><div class="ttname"><a href="classSVF_1_1GepValPN.html#ab61c3b510838c4654e880e306f3af881">SVF::GepValPN::getFieldIdx</a></div><div class="ttdeci">u32_t getFieldIdx() const</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00441">PAGNode.h:441</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5cc5327ba68c3f11ed4bef47d89c3dfda8712271278d9fa8a8445f785e6816e8c"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda8712271278d9fa8a8445f785e6816e8c">SVF::PAGNode::VarargNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00065">PAGNode.h:65</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00278">GenericGraph.h:278</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
 <div class="ttc" id="classSVF_1_1GepValPN_html"><div class="ttname"><a href="classSVF_1_1GepValPN.html">SVF::GepValPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00387">PAGNode.h:387</a></div></div>
 <div class="ttc" id="namespaceSVF_html_afe243912c982fde7d6beb4d046f9d42bad7ca98768a7abe55ead61c5c3ff647e3"><div class="ttname"><a href="namespaceSVF.html#afe243912c982fde7d6beb4d046f9d42bad7ca98768a7abe55ead61c5c3ff647e3">SVF::BlackHole</a></div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00042">MemModel.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_a498b7ee3cf8d26fa18062f2bae0749c5"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#a498b7ee3cf8d26fa18062f2bae0749c5">SVF::GepObjPN::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of a LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00516">PAGNode.h:516</a></div></div>
@@ -174,7 +174,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GepValPN_html_a795658606384952f8e648e154a06700a"><div class="ttname"><a href="classSVF_1_1GepValPN.html#a795658606384952f8e648e154a06700a">SVF::GepValPN::classof</a></div><div class="ttdeci">static bool classof(const GepValPN *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00398">PAGNode.h:398</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_a71f93295b7052e2098dd15f76c1aaa8c"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#a71f93295b7052e2098dd15f76c1aaa8c">SVF::GepObjPN::classof</a></div><div class="ttdeci">static bool classof(const ObjPN *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00467">PAGNode.h:467</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a071f592f2b811c136db5e05a6169aa99"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a071f592f2b811c136db5e05a6169aa99">SVF::PAGNode::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00110">PAGNode.h:110</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00274">GenericGraph.h:274</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00275">GenericGraph.h:275</a></div></div>
 <div class="ttc" id="MemModel_8h_html"><div class="ttname"><a href="MemModel_8h.html">MemModel.h</a></div></div>
 <div class="ttc" id="classSVF_1_1VarArgPN_html_ad6ebe474373838bc6c00e8baaa3f7137"><div class="ttname"><a href="classSVF_1_1VarArgPN.html#ad6ebe474373838bc6c00e8baaa3f7137">SVF::VarArgPN::VarArgPN</a></div><div class="ttdeci">VarArgPN(const SVFFunction *val, NodeID i)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00637">PAGNode.h:637</a></div></div>
 <div class="ttc" id="classSVF_1_1ValPN_html_a18a9bf26bb76893f0530d484dd0861ae"><div class="ttname"><a href="classSVF_1_1ValPN.html#a18a9bf26bb76893f0530d484dd0861ae">SVF::ValPN::classof</a></div><div class="ttdeci">static bool classof(const ValPN *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast: </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00282">PAGNode.h:282</a></div></div>
@@ -206,11 +206,11 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DummyValPN_html_ad43ed5282ca6f6cf546e60c37be968c9"><div class="ttname"><a href="classSVF_1_1DummyValPN.html#ad43ed5282ca6f6cf546e60c37be968c9">SVF::DummyValPN::getValueName</a></div><div class="ttdeci">const std::string getValueName() const</div><div class="ttdoc">Return name of this node. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00684">PAGNode.h:684</a></div></div>
 <div class="ttc" id="classSVF_1_1VarArgPN_html"><div class="ttname"><a href="classSVF_1_1VarArgPN.html">SVF::VarArgPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00616">PAGNode.h:616</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html"><div class="ttname"><a href="classSVF_1_1GepObjPN.html">SVF::GepObjPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00454">PAGNode.h:454</a></div></div>
-<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5cc5327ba68c3f11ed4bef47d89c3dfda727e569faa3b18cd01afe78b81f86d22"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfda727e569faa3b18cd01afe78b81f86d22">SVF::PAGNode::FIObjNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00068">PAGNode.h:68</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_1ObjPN_html_a7ec3165f6b61b089e25447f55ebf86a8"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a7ec3165f6b61b089e25447f55ebf86a8">SVF::ObjPN::mem</a></div><div class="ttdeci">const MemObj * mem</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00324">PAGNode.h:324</a></div></div>
-<div class="ttc" id="classSVF_1_1PAGNode_html_a37d3c3aef0c5bd7a5d0d516438673800"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a37d3c3aef0c5bd7a5d0d516438673800">SVF::PAGNode::PAGNode</a></div><div class="ttdeci">PAGNode(const Value *val, NodeID i, PNODEK k)</div><div class="ttdoc">address-taken pointer </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01020">PAG.cpp:1020</a></div></div>
+<div class="ttc" id="classSVF_1_1PAGNode_html_a37d3c3aef0c5bd7a5d0d516438673800"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a37d3c3aef0c5bd7a5d0d516438673800">SVF::PAGNode::PAGNode</a></div><div class="ttdeci">PAGNode(const Value *val, NodeID i, PNODEK k)</div><div class="ttdoc">address-taken pointer </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01013">PAG.cpp:1013</a></div></div>
 <div class="ttc" id="classSVF_1_1ValPN_html"><div class="ttname"><a href="classSVF_1_1ValPN.html">SVF::ValPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00276">PAGNode.h:276</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5cc5327ba68c3f11ed4bef47d89c3dfdab1e9c79d90d28d638f13717e71786bfa"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfdab1e9c79d90d28d638f13717e71786bfa">SVF::PAGNode::GepValNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00066">PAGNode.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_ad0e27b2330a0811ca63dc79fd7972714"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ad0e27b2330a0811ca63dc79fd7972714">SVF::PAGNode::isAddressTakenPtr</a></div><div class="ttdeci">bool isAddressTakenPtr() const</div><div class="ttdoc">Whether it is an address-taken pointer. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00125">PAGNode.h:125</a></div></div>