svf-tools 1.0.310 → 1.0.314

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

@@ -74,11 +74,11 @@ $(function() {
 <div class="ttc" id="classSVF_1_1GepObjPN_html_aa3ab0c1d25fa1192b59892ebfef0b9af"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#aa3ab0c1d25fa1192b59892ebfef0b9af">SVF::GepObjPN::classof</a></div><div class="ttdeci">static bool classof(const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00472">PAGNode.h:472</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_abe8525c542def8162b094c169a01993b"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge::getEdgeKind</a></div><div class="ttdeci">GEdgeKind getEdgeKind() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1VarArgPN_html_a7f873a8015eb6a6b30530a7e5a69018d"><div class="ttname"><a href="classSVF_1_1VarArgPN.html#a7f873a8015eb6a6b30530a7e5a69018d">SVF::VarArgPN::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00630">PAGNode.h:630</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="MemModel_8h_source.html#l00284">MemModel.h:284</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="MemModel_8h_source.html#l00278">MemModel.h:278</a></div></div>
 <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>
@@ -101,7 +101,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00233">BasicTypes.h:233</a></div></div>
 <div class="ttc" id="classSVF_1_1CloneDummyObjPN_html_a2239f9e2aaa61bed50d0c33d3ad8e0ea"><div class="ttname"><a href="classSVF_1_1CloneDummyObjPN.html#a2239f9e2aaa61bed50d0c33d3ad8e0ea">SVF::CloneDummyObjPN::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#l00761">PAGNode.h:761</a></div></div>
 <div class="ttc" id="classSVF_1_1GepValPN_html_a9d9febd06c0802c33eab574458e9e771"><div class="ttname"><a href="classSVF_1_1GepValPN.html#a9d9febd06c0802c33eab574458e9e771">SVF::GepValPN::classof</a></div><div class="ttdeci">static bool classof(const ValPN *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00402">PAGNode.h:402</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const llvm::Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00278">MemModel.cpp:278</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_aa4fa7a1b86d66692ffffeaee0e187216"><div class="ttname"><a href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">SVF::MemObj::getType</a></div><div class="ttdeci">const Type * getType() const</div><div class="ttdoc">Get obj type. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8cpp_source.html#l00152">MemModel.cpp:152</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5a5712e845d05c2eaef385113c5bce58"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5a5712e845d05c2eaef385113c5bce58">SVF::PAGNode::getIncomingEdges</a></div><div class="ttdeci">PAGEdge::PAGEdgeSetTy &amp; getIncomingEdges(PAGEdge::PEDGEK kind)</div><div class="ttdoc">Get incoming PAG edges. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00161">PAGNode.h:161</a></div></div>
 <div class="ttc" id="classSVF_1_1RetPN_html_ac551c1aaf9ec3cb77814aa4664d61a23"><div class="ttname"><a href="classSVF_1_1RetPN.html#ac551c1aaf9ec3cb77814aa4664d61a23">SVF::RetPN::RetPN</a></div><div class="ttdeci">RetPN(const SVFFunction *val, NodeID i)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00598">PAGNode.h:598</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html_a45bdaec2136ff3b1d6744de87e7ead87"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a45bdaec2136ff3b1d6744de87e7ead87">SVF::ObjPN::classof</a></div><div class="ttdeci">static bool classof(const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00337">PAGNode.h:337</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>
@@ -167,14 +167,14 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CloneDummyObjPN_html_a19df43069674c61fa83b3799290e7b0b"><div class="ttname"><a href="classSVF_1_1CloneDummyObjPN.html#a19df43069674c61fa83b3799290e7b0b">SVF::CloneDummyObjPN::classof</a></div><div class="ttdeci">static bool classof(const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00744">PAGNode.h:744</a></div></div>
 <div class="ttc" id="classSVF_1_1CloneDummyObjPN_html_a41abb24caedfd04c87a66f5899419121"><div class="ttname"><a href="classSVF_1_1CloneDummyObjPN.html#a41abb24caedfd04c87a66f5899419121">SVF::CloneDummyObjPN::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00748">PAGNode.h:748</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a5cc5327ba68c3f11ed4bef47d89c3dfd"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a5cc5327ba68c3f11ed4bef47d89c3dfd">SVF::PAGNode::PNODEK</a></div><div class="ttdeci">PNODEK</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00060">PAGNode.h:60</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00088">SymbolTableInfo.cpp:88</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00064">SymbolTableInfo.cpp:64</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html_a5e7e7b1a2d78146e50ec36d99b0a3608"><div class="ttname"><a href="classSVF_1_1ObjPN.html#a5e7e7b1a2d78146e50ec36d99b0a3608">SVF::ObjPN::classof</a></div><div class="ttdeci">static bool classof(const ObjPN *)</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#l00333">PAGNode.h:333</a></div></div>
 <div class="ttc" id="classSVF_1_1FIObjPN_html_af7c4e765ec13f3a368d155bd27667832"><div class="ttname"><a href="classSVF_1_1FIObjPN.html#af7c4e765ec13f3a368d155bd27667832">SVF::FIObjPN::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#l00540">PAGNode.h:540</a></div></div>
 <div class="ttc" id="classSVF_1_1ObjPN_html"><div class="ttname"><a href="classSVF_1_1ObjPN.html">SVF::ObjPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00320">PAGNode.h:320</a></div></div>
 <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>
@@ -185,7 +185,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1RetPN_html"><div class="ttname"><a href="classSVF_1_1RetPN.html">SVF::RetPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00577">PAGNode.h:577</a></div></div>
 <div class="ttc" id="classSVF_1_1DummyObjPN_html"><div class="ttname"><a href="classSVF_1_1DummyObjPN.html">SVF::DummyObjPN</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00696">PAGNode.h:696</a></div></div>
 <div class="ttc" id="classSVF_1_1DummyValPN_html_a62c8bdc6ebc3626f6cd7e743f2475ae0"><div class="ttname"><a href="classSVF_1_1DummyValPN.html#a62c8bdc6ebc3626f6cd7e743f2475ae0">SVF::DummyValPN::classof</a></div><div class="ttdeci">static bool classof(const GenericPAGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00671">PAGNode.h:671</a></div></div>
-<div class="ttc" id="classSVF_1_1MemObj_html_ad7f7de744715c3acaf3d48822865c87b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj::getSymId</a></div><div class="ttdeci">SymID getSymId() const</div><div class="ttdoc">Get the memory object id. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00331">MemModel.h:331</a></div></div>
+<div class="ttc" id="classSVF_1_1MemObj_html_ad7f7de744715c3acaf3d48822865c87b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj::getSymId</a></div><div class="ttdeci">SymID getSymId() const</div><div class="ttdoc">Get the memory object id. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00315">MemModel.h:315</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a3db180378695da64a50a83bd8d8a7e47"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a3db180378695da64a50a83bd8d8a7e47">SVF::PAGNode::getOutgoingEdgesBegin</a></div><div class="ttdeci">PAGEdge::PAGEdgeSetTy::iterator getOutgoingEdgesBegin(PAGEdge::PEDGEK kind) const</div><div class="ttdoc">Get outgoing PAGEdge iterator. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00220">PAGNode.h:220</a></div></div>
 <div class="ttc" id="classSVF_1_1CloneFIObjPN_html_ac8338c8ac08fbe691908f731dbde5db0"><div class="ttname"><a href="classSVF_1_1CloneFIObjPN.html#ac8338c8ac08fbe691908f731dbde5db0">SVF::CloneFIObjPN::classof</a></div><div class="ttdeci">static bool classof(const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00816">PAGNode.h:816</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_a685d6a3464890ba08d8d018ce2e8e3ff"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#a685d6a3464890ba08d8d018ce2e8e3ff">SVF::GepObjPN::getType</a></div><div class="ttdeci">virtual const llvm::Type * getType() const</div><div class="ttdoc">Return the type of this gep object. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00510">PAGNode.h:510</a></div></div>
@@ -197,7 +197,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DummyValPN_html_a4ae220021a948c2755f7dc4947458d8f"><div class="ttname"><a href="classSVF_1_1DummyValPN.html#a4ae220021a948c2755f7dc4947458d8f">SVF::DummyValPN::classof</a></div><div class="ttdeci">static bool classof(const DummyValPN *)</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00663">PAGNode.h:663</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00194">LocationSet.h:194</a></div></div>
 <div class="ttc" id="classSVF_1_1GepObjPN_html_aadf56cdc45296514f142306e2556dcc1"><div class="ttname"><a href="classSVF_1_1GepObjPN.html#aadf56cdc45296514f142306e2556dcc1">SVF::GepObjPN::GepObjPN</a></div><div class="ttdeci">GepObjPN(const MemObj *mem, NodeID i, const LocationSet &amp;l, PNODEK ty=GepObjNode)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00485">PAGNode.h:485</a></div></div>
-<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a294a42ee0bc466104fb96a3136c34bd2"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a294a42ee0bc466104fb96a3136c34bd2">SVF::SymbolTableInfo::getOrigSubTypeWithByteOffset</a></div><div class="ttdeci">const Type * getOrigSubTypeWithByteOffset(const Type *baseType, u32_t byteOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00403">SymbolTableInfo.h:403</a></div></div>
+<div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a294a42ee0bc466104fb96a3136c34bd2"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a294a42ee0bc466104fb96a3136c34bd2">SVF::SymbolTableInfo::getOrigSubTypeWithByteOffset</a></div><div class="ttdeci">const Type * getOrigSubTypeWithByteOffset(const Type *baseType, u32_t byteOffset)</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00387">SymbolTableInfo.h:387</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a9e85d445e8b7b205134acd3874bba388"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil::isConstantData</a></div><div class="ttdeci">bool isConstantData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00392">LLVMUtil.h:392</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a6c54e1a54a1963ffa8c97d97ffd6f3bc"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a6c54e1a54a1963ffa8c97d97ffd6f3bc">SVF::PAGNode::hasIncomingVariantGepEdge</a></div><div class="ttdeci">bool hasIncomingVariantGepEdge() const</div><div class="ttdoc">Has incoming VariantGepEdges. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00183">PAGNode.h:183</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_ab93588b44f5824f4caa9f954e2c1d0cd"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ab93588b44f5824f4caa9f954e2c1d0cd">SVF::PAGNode::~PAGNode</a></div><div class="ttdeci">virtual ~PAGNode()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00088">PAGNode.h:88</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>