svf-tools 1.0.302 → 1.0.306

package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html

@@ -106,7 +106,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a7dda4943de0ed174a1d20fcdfde6c61c"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a7dda4943de0ed174a1d20fcdfde6c61c">SVF::SymbolTableInfo::getTotalSymNum</a></div><div class="ttdeci">Size_t getTotalSymNum() const</div><div class="ttdoc">Statistics. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00325">SymbolTableInfo.h:325</a></div></div>
 <div class="ttc" id="namespacestd_html"><div class="ttname"><a href="namespacestd.html">std</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00226">SVFBasicTypes.h:226</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00229">SVFBasicTypes.h:229</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_1CallSite_html_a46e8ffe430bb2711abaafc9d7864909e"><div class="ttname"><a href="classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e">SVF::CallSite::arg_end</a></div><div class="ttdeci">User::const_op_iterator arg_end() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00325">BasicTypes.h:325</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>
@@ -177,7 +177,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CallSite_html_a9b7d53a345875e4e6c72eb23ac6475de"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">SVF::CallSite::getType</a></div><div class="ttdeci">Type * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00323">BasicTypes.h:323</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_1SymbolTableInfo_html_a3f9612f32c651220386beb0514f8fcff"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a3f9612f32c651220386beb0514f8fcff">SVF::SymbolTableInfo::objSyms</a></div><div class="ttdeci">ValueToIDMapTy &amp; objSyms()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00342">SymbolTableInfo.h:342</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFBasicTypes_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00151">SVFBasicTypes.h:151</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFBasicTypes_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00144">SVFModule.h:144</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a89e9c6da843e5eef25c51afd5d0937e5"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a89e9c6da843e5eef25c51afd5d0937e5">SVF::SymbolTableInfo::getModelConstants</a></div><div class="ttdeci">bool getModelConstants() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00126">SymbolTableInfo.h:126</a></div></div>
 <div class="ttc" id="SVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
@@ -195,7 +195,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 <div class="ttc" id="classSVF_1_1CopyPE_html"><div class="ttname"><a href="classSVF_1_1CopyPE.html">SVF::CopyPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00220">PAGEdge.h:220</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a43c9072210a5f5baeafe36da03f2fde2"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a43c9072210a5f5baeafe36da03f2fde2">SVF::SVFUtil::isBinaryConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isBinaryConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00594">LLVMUtil.h:594</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00144">SVFBasicTypes.h:144</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="namespaceSVF_html_afc1b50355821e7299df03b026e36f1df"><div class="ttname"><a href="namespaceSVF.html#afc1b50355821e7299df03b026e36f1df">SVF::User</a></div><div class="ttdeci">llvm::User User</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00086">BasicTypes.h:86</a></div></div>
 <div class="ttc" id="LLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>

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

@@ -108,7 +108,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1BinaryOPPE_html_aead570bc035ac7884249a28c665d1bcb"><div class="ttname"><a href="classSVF_1_1BinaryOPPE.html#aead570bc035ac7884249a28c665d1bcb">SVF::BinaryOPPE::classof</a></div><div class="ttdeci">static bool classof(const PAGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00303">PAGEdge.h:303</a></div></div>
 <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#l00101">SVFBasicTypes.h:101</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_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>

package/SVF-doxygen/html/html/PAG_8cpp_source.html

@@ -174,7 +174,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1DummyObjPN_html_a1f355f6eeeaaba782d24ba3db48adea4"><div class="ttname"><a href="classSVF_1_1DummyObjPN.html#a1f355f6eeeaaba782d24ba3db48adea4">SVF::DummyObjPN::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#l00172">PAG.cpp:172</a></div></div>
 <div class="ttc" id="classSVF_1_1MemObj_html_ae952c8b6b92c6cbef9494a83b411a60f"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae952c8b6b92c6cbef9494a83b411a60f">SVF::MemObj::getRefVal</a></div><div class="ttdeci">const Value * getRefVal() const</div><div class="ttdoc">Get the reference value to this object. </div><div class="ttdef"><b>Definition:</b> <a href="MemModel_8h_source.html#l00325">MemModel.h:325</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00128">Options.h:128</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8eba08052f7af57b762155a58844480c"><div class="ttname"><a href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options::PAGDotGraphShorter</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PAGDotGraphShorter</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a19c4e63ab6129d4e7aeae8b280bb057b"><div class="ttname"><a href="classSVF_1_1PAG.html#a19c4e63ab6129d4e7aeae8b280bb057b">SVF::PAG::getFieldsAfterCollapse</a></div><div class="ttdeci">NodeBS getFieldsAfterCollapse(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00800">PAG.cpp:800</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a9f8d99c761f3c7108d797b3702fcbfec"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a9f8d99c761f3c7108d797b3702fcbfec">SVF::SymbolTableInfo::releaseSymbolInfo</a></div><div class="ttdeci">static void releaseSymbolInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00109">SymbolTableInfo.h:109</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_ac50befb2bed2a5298248bec277632b2e"><div class="ttname"><a href="classSVF_1_1PAGNode.html#ac50befb2bed2a5298248bec277632b2e">SVF::PAGNode::isConstantData</a></div><div class="ttdeci">bool isConstantData() const</div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00131">PAGNode.h:131</a></div></div>
@@ -227,7 +227,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAG_html_aa18a51570a397eabffdd613fdb15b4ac"><div class="ttname"><a href="classSVF_1_1PAG.html#aa18a51570a397eabffdd613fdb15b4ac">SVF::PAG::getGraphName</a></div><div class="ttdeci">std::string getGraphName() const</div><div class="ttdoc">Return graph name. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00891">PAG.h:891</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a74f9e22acb40bf952c00168a221c0b00"><div class="ttname"><a href="classSVF_1_1PAG.html#a74f9e22acb40bf952c00168a221c0b00">SVF::PAG::getModule</a></div><div class="ttdeci">SVFModule * getModule()</div><div class="ttdoc">Get LLVM Module. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00195">PAG.h:195</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_1Options_html_a8dc477d83a142a62b63207f6f240f224"><div class="ttname"><a href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00107">Options.h:107</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a8dc477d83a142a62b63207f6f240f224"><div class="ttname"><a href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00113">Options.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a42b57f4523f30b0f739b1285ea744766"><div class="ttname"><a href="classSVF_1_1PAG.html#a42b57f4523f30b0f739b1285ea744766">SVF::PAG::valueToEdgeMap</a></div><div class="ttdeci">ValueToEdgeMap valueToEdgeMap</div><div class="ttdoc">Map llvm::Values to all corresponding PAGEdges. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00101">PAG.h:101</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_ab4326448a536de1c8c1513fcf6d45aa2"><div class="ttname"><a href="classSVF_1_1PAG.html#ab4326448a536de1c8c1513fcf6d45aa2">SVF::PAG::dump</a></div><div class="ttdeci">void dump(std::string name)</div><div class="ttdoc">Dump PAG. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01083">PAG.cpp:1083</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGNode_html_a983d2d9a8ea6fd5be14af55cf22c65ce"><div class="ttname"><a href="classSVF_1_1PAGNode.html#a983d2d9a8ea6fd5be14af55cf22c65ce">SVF::PAGNode::isTopLevelPtr</a></div><div class="ttdeci">bool isTopLevelPtr() const</div><div class="ttdoc">Whether it is a top-level pointer. </div><div class="ttdef"><b>Definition:</b> <a href="PAGNode_8h_source.html#l00120">PAGNode.h:120</a></div></div>
@@ -239,7 +239,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAGEdge_html_a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6a99fe431c7a635d39b5558d1048a94c05">SVF::PAGEdge::Ret</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_1PAG_html_a806249f7589b55d57a62a5473bebc2e4"><div class="ttname"><a href="classSVF_1_1PAG.html#a806249f7589b55d57a62a5473bebc2e4">SVF::PAG::addThreadForkPE</a></div><div class="ttdeci">TDForkPE * addThreadForkPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Thread fork edge for parameter passing. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00541">PAG.cpp:541</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_1Options_html_ad2d3db3e407a53956a5a59cc24eb8d40"><div class="ttname"><a href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00106">Options.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_ad2d3db3e407a53956a5a59cc24eb8d40"><div class="ttname"><a href="classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00112">Options.h:112</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html_a79080505b4744aa8806b55215ac2b0f6af447071283803d3aee763fe20783f4a4"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a79080505b4744aa8806b55215ac2b0f6af447071283803d3aee763fe20783f4a4">SVF::PAGEdge::Copy</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_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_1PAG_html_a17fab82554f5a81c22c037b5813999e3"><div class="ttname"><a href="classSVF_1_1PAG.html#a17fab82554f5a81c22c037b5813999e3">SVF::PAG::isValidPointer</a></div><div class="ttdeci">bool isValidPointer(NodeID nodeId) const</div><div class="ttdoc">Whether a node is a valid pointer. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00978">PAG.cpp:978</a></div></div>
@@ -258,10 +258,10 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAG_html_adbe031ff60dbcd981ff68e30a2e677ef"><div class="ttname"><a href="classSVF_1_1PAG.html#adbe031ff60dbcd981ff68e30a2e677ef">SVF::PAG::addStorePE</a></div><div class="ttdeci">StorePE * addStorePE(NodeID src, NodeID dst, const IntraBlockNode *val)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00479">PAG.cpp:479</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="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#l00087">SVFBasicTypes.h:87</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="structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4_html_a13511a8b9de98389694c33e5895588a7"><div class="ttname"><a href="structllvm_1_1DOTGraphTraits_3_01PAG_01_5_01_4.html#a13511a8b9de98389694c33e5895588a7">llvm::DOTGraphTraits&lt; PAG * &gt;::getGraphName</a></div><div class="ttdeci">static std::string getGraphName(PAG *graph)</div><div class="ttdoc">Return name of the graph. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l01121">PAG.cpp:1121</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="SVFBasicTypes_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFBasicTypes_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00151">SVFBasicTypes.h:151</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFBasicTypes_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</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_1PAG_html_a37c31f1829f540fb0a4b57b7de3e7bca"><div class="ttname"><a href="classSVF_1_1PAG.html#a37c31f1829f540fb0a4b57b7de3e7bca">SVF::PAG::addThreadJoinPE</a></div><div class="ttdeci">TDJoinPE * addThreadJoinPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Thread join edge for parameter passing. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00558">PAG.cpp:558</a></div></div>
 <div class="ttc" id="classSVF_1_1TDForkPE_html_aa385dc7e7e439cb4d8ee1524c8fbf9fe"><div class="ttname"><a href="classSVF_1_1TDForkPE.html#aa385dc7e7e439cb4d8ee1524c8fbf9fe">SVF::TDForkPE::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#l00339">PAG.cpp:339</a></div></div>
@@ -290,7 +290,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAG_html_a0c7cea14374ff762a9933b803853286e"><div class="ttname"><a href="classSVF_1_1PAG.html#a0c7cea14374ff762a9933b803853286e">SVF::PAG::hasNonlabeledEdge</a></div><div class="ttdeci">PAGEdge * hasNonlabeledEdge(PAGNode *src, PAGNode *dst, PAGEdge::PEDGEK kind)</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00727">PAG.cpp:727</a></div></div>
 <div class="ttc" id="classSVF_1_1CopyPE_html"><div class="ttname"><a href="classSVF_1_1CopyPE.html">SVF::CopyPE</a></div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00220">PAGEdge.h:220</a></div></div>
 <div class="ttc" id="classSVF_1_1PAGEdge_html_a6086285794f9fcab46458c37a79d962f"><div class="ttname"><a href="classSVF_1_1PAGEdge.html#a6086285794f9fcab46458c37a79d962f">SVF::PAGEdge::storeEdgeLabelCounter</a></div><div class="ttdeci">static u64_t storeEdgeLabelCounter</div><div class="ttdoc">Store Instruction counter. </div><div class="ttdef"><b>Definition:</b> <a href="PAGEdge_8h_source.html#l00177">PAGEdge.h:177</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00144">SVFBasicTypes.h:144</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a44e671995575a58c4a92dc892b0b7239"><div class="ttname"><a href="classSVF_1_1PAG.html#a44e671995575a58c4a92dc892b0b7239">SVF::PAG::addUnaryOPPE</a></div><div class="ttdeci">UnaryOPPE * addUnaryOPPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Unary edge. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00444">PAG.cpp:444</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1FIObjPN_html_ace2095db79e359533b0cca78f5c1751d"><div class="ttname"><a href="classSVF_1_1FIObjPN.html#ace2095db79e359533b0cca78f5c1751d">SVF::FIObjPN::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#l00140">PAG.cpp:140</a></div></div>

package/SVF-doxygen/html/html/PAG_8h_source.html

@@ -169,7 +169,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAG_html_acde529dcb2054bf50a0793d8aa51bb07"><div class="ttname"><a href="classSVF_1_1PAG.html#acde529dcb2054bf50a0793d8aa51bb07">SVF::PAG::getFieldObjNodeNum</a></div><div class="ttdeci">Size_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00460">PAG.h:460</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_af47bff6b90ad3ff83e2b4bb16c2d39b1"><div class="ttname"><a href="classSVF_1_1PAG.html#af47bff6b90ad3ff83e2b4bb16c2d39b1">SVF::PAG::getMemToFieldsMap</a></div><div class="ttdeci">MemObjToFieldsMap &amp; getMemToFieldsMap()</div><div class="ttdoc">Return memToFieldsMap. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00123">PAG.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_acb2c9f92f0ed39f1cd823876c37510d3"><div class="ttname"><a href="classSVF_1_1PAG.html#acb2c9f92f0ed39f1cd823876c37510d3">SVF::PAG::getGlobalPAGEdgeSet</a></div><div class="ttdeci">PAGEdgeSet &amp; getGlobalPAGEdgeSet()</div><div class="ttdoc">Get global PAGEdges (not in a procedure) </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00252">PAG.h:252</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#l00101">SVFBasicTypes.h:101</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_1PAG_html_aa7cdda6d4397975f27dfa524ce7cfc80"><div class="ttname"><a href="classSVF_1_1PAG.html#aa7cdda6d4397975f27dfa524ce7cfc80">SVF::PAG::addCallSiteArgs</a></div><div class="ttdeci">void addCallSiteArgs(CallBlockNode *callBlockNode, const PAGNode *arg)</div><div class="ttdoc">Add callsite arguments. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00359">PAG.h:359</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a65f49178a948380c2d6105178509a906"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a65f49178a948380c2d6105178509a906">SVF::SymbolTableInfo::getObj</a></div><div class="ttdeci">MemObj * getObj(SymID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00301">SymbolTableInfo.h:301</a></div></div>
@@ -217,7 +217,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PAG_html_a3b70f1f3b785d735243962e83e210652"><div class="ttname"><a href="classSVF_1_1PAG.html#a3b70f1f3b785d735243962e83e210652">SVF::PAG::PAGEdgeList</a></div><div class="ttdeci">std::vector&lt; const PAGEdge * &gt; PAGEdgeList</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00056">PAG.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1FunEntryBlockNode_html_ac1a828ebeeab311c73485ffc7b0e5867"><div class="ttname"><a href="classSVF_1_1FunEntryBlockNode.html#ac1a828ebeeab311c73485ffc7b0e5867">SVF::FunEntryBlockNode::addFormalParms</a></div><div class="ttdeci">void addFormalParms(const PAGNode *fp)</div><div class="ttdoc">Add formal parameters. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00274">ICFGNode.h:274</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a51f03f1d0fdc9ccb0e0f150877e01eb1"><div class="ttname"><a href="classSVF_1_1PAG.html#a51f03f1d0fdc9ccb0e0f150877e01eb1">SVF::PAG::addRetNode</a></div><div class="ttdeci">NodeID addRetNode(const SVFFunction *val, NodeID i)</div><div class="ttdoc">Add a unique return node for a procedure. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00759">PAG.h:759</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_afca5a68d1825326e3ec6302ce0afee66"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#afca5a68d1825326e3ec6302ce0afee66">SVF::SymbolTableInfo::getObjSym</a></div><div class="ttdeci">SymID getObjSym(const Value *val) const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00294">SymbolTableInfo.h:294</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_a9849898bac3644021638380b60f96891"><div class="ttname"><a href="classSVF_1_1PAG.html#a9849898bac3644021638380b60f96891">SVF::PAG::ValueToEdgeMap</a></div><div class="ttdeci">Map&lt; const Value *, PAGEdgeSet &gt; ValueToEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00073">PAG.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html_a2fede86948eeb07aacfed2575ea329d1"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a2fede86948eeb07aacfed2575ea329d1">SVF::SymbolTableInfo::createDummyObj</a></div><div class="ttdeci">const MemObj * createDummyObj(SymID symId, const Type *type)</div><div class="ttdoc">Can only be invoked by PAG::addDummyNode() when creaing PAG from file. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00242">SymbolTableInfo.h:242</a></div></div>
@@ -316,8 +316,8 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ICFG_html_ae1ef14cdda27a2062c4c454750444108"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae1ef14cdda27a2062c4c454750444108">SVF::ICFG::getFunEntryBlockNode</a></div><div class="ttdeci">FunEntryBlockNode * getFunEntryBlockNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00230">ICFG.cpp:230</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_adbe031ff60dbcd981ff68e30a2e677ef"><div class="ttname"><a href="classSVF_1_1PAG.html#adbe031ff60dbcd981ff68e30a2e677ef">SVF::PAG::addStorePE</a></div><div class="ttdeci">StorePE * addStorePE(NodeID src, NodeID dst, const IntraBlockNode *val)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8cpp_source.html#l00479">PAG.cpp:479</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="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#l00087">SVFBasicTypes.h:87</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet&lt; NodeID &gt; OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00115">SVFBasicTypes.h:115</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="namespaceSVF_html_a3c2bd95727ec0d9c55c631b6617026c8"><div class="ttname"><a href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></div><div class="ttdeci">OrderedSet&lt; NodeID &gt; OrderedNodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00113">SVFBasicTypes.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1FunExitBlockNode_html_a5230b3768ec1407334d8132fd34cbb72"><div class="ttname"><a href="classSVF_1_1FunExitBlockNode.html#a5230b3768ec1407334d8132fd34cbb72">SVF::FunExitBlockNode::addFormalRet</a></div><div class="ttdeci">void addFormalRet(const PAGNode *fr)</div><div class="ttdoc">Add actual return parameter. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00330">ICFGNode.h:330</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_1PAG_html_a407d4cf15bc33dc54649f5d79c5f38f0"><div class="ttname"><a href="classSVF_1_1PAG.html#a407d4cf15bc33dc54649f5d79c5f38f0">SVF::PAG::getValueEdges</a></div><div class="ttdeci">const PAGEdgeSet &amp; getValueEdges(const Value *V)</div><div class="ttdoc">Get all PAG Edges that corresponds to an LLVM value. </div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00567">PAG.h:567</a></div></div>
@@ -373,7 +373,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SymbolTableInfo_html"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00042">SymbolTableInfo.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_abe123c69769f8edb29acb32aaef1449d"><div class="ttname"><a href="classSVF_1_1PAG.html#abe123c69769f8edb29acb32aaef1449d">SVF::PAG::isIndirectCallSites</a></div><div class="ttdeci">bool isIndirectCallSites(const CallBlockNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00506">PAG.h:506</a></div></div>
 <div class="ttc" id="classSVF_1_1PAG_html_ae4bfb3e30a81cd8ece36f59a60f0f0ca"><div class="ttname"><a href="classSVF_1_1PAG.html#ae4bfb3e30a81cd8ece36f59a60f0f0ca">SVF::PAG::getFunPtr</a></div><div class="ttdeci">NodeID getFunPtr(const CallBlockNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="PAG_8h_source.html#l00494">PAG.h:494</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00108">SVFBasicTypes.h:108</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00107">SVFBasicTypes.h:107</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/PCG_8cpp_source.html

@@ -70,7 +70,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PCG_html_a8cff88e2a6cee5f655e491f9f2967460"><div class="ttname"><a href="classSVF_1_1PCG.html#a8cff88e2a6cee5f655e491f9f2967460">SVF::PCG::collectSpawnees</a></div><div class="ttdeci">void collectSpawnees()</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00159">PCG.cpp:159</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00077">BasicTypes.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_a4cab54d7273424c8b26376d8daf15e06"><div class="ttname"><a href="classSVF_1_1PCG.html#a4cab54d7273424c8b26376d8daf15e06">SVF::PCG::mayHappenInParallelBetweenFunctions</a></div><div class="ttdeci">bool mayHappenInParallelBetweenFunctions(const Function *fun1, const Function *fun2) const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00041">PCG.cpp:41</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFBasicTypes_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00164">SVFBasicTypes.h:164</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFBasicTypes_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00167">SVFBasicTypes.h:167</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_adff1702e1b0a902de7ded742846fe137"><div class="ttname"><a href="classSVF_1_1PCG.html#adff1702e1b0a902de7ded742846fe137">SVF::PCG::inferFromCallGraph</a></div><div class="ttdeci">void inferFromCallGraph()</div><div class="ttdoc">Infer spawner spawnee and followers sets by traversing on callGraph. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00104">PCG.cpp:104</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00101">SVFUtil.cpp:101</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00136">SVFModule.h:136</a></div></div>
@@ -88,7 +88,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PCG_html_a50b677ec622247a464cee7f0f45c5a53"><div class="ttname"><a href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG::analyze</a></div><div class="ttdeci">virtual bool analyze()</div><div class="ttdoc">We start the pass here. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00021">PCG.cpp:21</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_ab8a16eb34da91f2b7cd5a456653b1da0"><div class="ttname"><a href="classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0">SVF::PCG::printResults</a></div><div class="ttdeci">void printResults()</div><div class="ttdoc">Print analysis results. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00316">PCG.cpp:316</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
 <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>
@@ -117,7 +117,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_afbdb582d20ab953b2de1f3efacb74679"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#afbdb582d20ab953b2de1f3efacb74679">SVF::PTACallGraphEdge::indirectCallsBegin</a></div><div class="ttdeci">CallInstSet::const_iterator indirectCallsBegin() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00131">PTACallGraph.h:131</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a255af6ff30782cb9a548feadb0fe7d6b"><div class="ttname"><a href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF::inst_iterator</a></div><div class="ttdeci">llvm::inst_iterator inst_iterator</div><div class="ttdoc">LLVM Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00205">BasicTypes.h:205</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00144">SVFBasicTypes.h:144</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00049">SVFModule.h:49</a></div></div>

package/SVF-doxygen/html/html/PCG_8h_source.html

@@ -105,7 +105,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PCG_html_ab8a16eb34da91f2b7cd5a456653b1da0"><div class="ttname"><a href="classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0">SVF::PCG::printResults</a></div><div class="ttdeci">void printResults()</div><div class="ttdoc">Print analysis results. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8cpp_source.html#l00316">PCG.cpp:316</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_a13bfb66d3c02157cd3bebad1f829d704"><div class="ttname"><a href="classSVF_1_1PCG.html#a13bfb66d3c02157cd3bebad1f829d704">SVF::PCG::isSpawnerFun</a></div><div class="ttdeci">bool isSpawnerFun(const Function *fun) const</div><div class="ttdoc">Add/Get methods for thread properties of a procedure. </div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00053">PCG.h:53</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_aa3d0ccb72cf83c7227dc975d71865f7d"><div class="ttname"><a href="classSVF_1_1PCG.html#aa3d0ccb72cf83c7227dc975d71865f7d">SVF::PCG::followersBegin</a></div><div class="ttdeci">FunSet::const_iterator followersBegin(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00187">PCG.h:187</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1PCG_html_a4aee985ede8e6ed6dd92574494101df9"><div class="ttname"><a href="classSVF_1_1PCG.html#a4aee985ede8e6ed6dd92574494101df9">SVF::PCG::getSpawnees</a></div><div class="ttdeci">const FunSet &amp; getSpawnees() const</div><div class="ttdef"><b>Definition:</b> <a href="PCG_8h_source.html#l00159">PCG.h:159</a></div></div>
 <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>

package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html

@@ -94,7 +94,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a2634a24621ab93fae7ec1cf94a8cba0b"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">SVF::PTACallGraph::getGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge * getGraphEdge(PTACallGraphNode *src, PTACallGraphNode *dst, PTACallGraphEdge::CEDGEK kind, CallSiteID csId)</div><div class="ttdoc">Get call graph edge via nodes. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00150">PTACallGraph.cpp:150</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a72efe87a80f84a3945a93431d9414d3d"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d">SVF::PTACallGraph::addCallSite</a></div><div class="ttdeci">CallSiteID addCallSite(const CallBlockNode *cs, const SVFFunction *callee)</div><div class="ttdoc">Add/Get CallSiteID. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00330">PTACallGraph.h:330</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html_a57f173a28c2a153d37cb63d451e62973"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973">SVF::PTACallGraphNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00070">PTACallGraph.cpp:70</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00226">SVFBasicTypes.h:226</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFValue_html_adc15c1f7a77158142156fba7524e89c9"><div class="ttname"><a href="classSVF_1_1SVFValue.html#adc15c1f7a77158142156fba7524e89c9">SVF::SVFValue::getName</a></div><div class="ttdeci">const llvm::StringRef getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00229">SVFBasicTypes.h:229</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7">SVF::PTACallGraphEdge::CEDGEK</a></div><div class="ttdeci">CEDGEK</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00056">PTACallGraph.h:56</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html_a5bab98a0b8cf0a804d53abd994e922c0"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#a5bab98a0b8cf0a804d53abd994e922c0">SVF::CallBlockNode::getCaller</a></div><div class="ttdeci">const SVFFunction * getCaller() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00400">ICFGNode.h:400</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00209">GenericGraph.h:209</a></div></div>
@@ -140,7 +140,7 @@ $(function() {
 <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_1PTACallGraph_html_a97986d6e6732c78b04cc053f0e9d1367"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph::funToCallGraphNodeMap</a></div><div class="ttdeci">FunToCallGraphNodeMap funToCallGraphNodeMap</div><div class="ttdoc">Call Graph node map. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00250">PTACallGraph.h:250</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_ad73bc2f0669ff2a28ccabb5355278826"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ad73bc2f0669ff2a28ccabb5355278826">SVF::PTACallGraph::numOfResolvedIndCallEdge</a></div><div class="ttdeci">Size_t numOfResolvedIndCallEdge</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00254">PTACallGraph.h:254</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#l00087">SVFBasicTypes.h:87</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_1PTACallGraphEdge_html_a76aa19edf03a4cacfa3e27a21abfcd07"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a76aa19edf03a4cacfa3e27a21abfcd07">SVF::PTACallGraphEdge::getIndirectCalls</a></div><div class="ttdeci">CallInstSet &amp; getIndirectCalls()</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00099">PTACallGraph.h:99</a></div></div>
 <div class="ttc" id="SVFModule_8h_html"><div class="ttname"><a href="SVFModule_8h.html">SVFModule.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_ae4e3e5f108bc1e47af8f58d2e43345d2"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2">SVF::PTACallGraph::CallSiteToIdMap</a></div><div class="ttdeci">Map&lt; CallSitePair, CallSiteID &gt; CallSiteToIdMap</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00226">PTACallGraph.h:226</a></div></div>

package/SVF-doxygen/html/html/PTACallGraph_8h_source.html

@@ -93,7 +93,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_a9738544725458bb022b8d5f2dbd281f7"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7">SVF::PTACallGraphEdge::CEDGEK</a></div><div class="ttdeci">CEDGEK</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00056">PTACallGraph.h:56</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_1PTACallGraph_html_a7f1ee630caa4ec5e7ad309e1f3865e2e"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a7f1ee630caa4ec5e7ad309e1f3865e2e">SVF::PTACallGraph::~PTACallGraph</a></div><div class="ttdeci">virtual ~PTACallGraph()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00267">PTACallGraph.h:267</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#l00101">SVFBasicTypes.h:101</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_1PTACallGraphEdge_html_aa34123e6c62c3f152b579510c09984e6"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6">SVF::PTACallGraphEdge::PTACallGraphEdge</a></div><div class="ttdeci">PTACallGraphEdge(PTACallGraphNode *s, PTACallGraphNode *d, CEDGEK kind, CallSiteID cs)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00068">PTACallGraph.h:68</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_1PTACallGraph_html_aacd5f35171717cb4d758c17bef828a0f"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aacd5f35171717cb4d758c17bef828a0f">SVF::PTACallGraph::getCalleeOfCallSite</a></div><div class="ttdeci">const SVFFunction * getCalleeOfCallSite(CallSiteID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00371">PTACallGraph.h:371</a></div></div>
@@ -109,7 +109,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_af0e9f86be3cf263b868f80d374641fc9"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#af0e9f86be3cf263b868f80d374641fc9">SVF::PTACallGraphEdge::getDirectCalls</a></div><div class="ttdeci">CallInstSet &amp; getDirectCalls()</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00095">PTACallGraph.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_af17fd69ee1061b7348af1b2739f145a9"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#af17fd69ee1061b7348af1b2739f145a9">SVF::PTACallGraphEdge::~PTACallGraphEdge</a></div><div class="ttdeci">virtual ~PTACallGraphEdge()</div><div class="ttdoc">Destructor. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00073">PTACallGraph.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a75ffe4f24d59ad42601b7550aa988187"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a75ffe4f24d59ad42601b7550aa988187">SVF::PTACallGraph::csToIdMap</a></div><div class="ttdeci">static CallSiteToIdMap csToIdMap</div><div class="ttdoc">Call site information. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00245">PTACallGraph.h:245</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_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
@@ -178,7 +178,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_a673ed8bf673a4c426a9d91aa8987e31c"><div class="ttname"><a href="namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c">SVF::GenericCallGraphNodeTy</a></div><div class="ttdeci">GenericNode&lt; PTACallGraphNode, PTACallGraphEdge &gt; GenericCallGraphNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00173">PTACallGraph.h:173</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraphEdge_html_aad95920da19b78c0211e68caadba6d39"><div class="ttname"><a href="classSVF_1_1PTACallGraphEdge.html#aad95920da19b78c0211e68caadba6d39">SVF::PTACallGraphEdge::addInDirectCallSite</a></div><div class="ttdeci">void addInDirectCallSite(const CallBlockNode *call)</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00051">PTACallGraph.cpp:51</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_a0e8736f88ee75da025d874f92328ca71"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#a0e8736f88ee75da025d874f92328ca71">SVF::GenericEdge::src</a></div><div class="ttdeci">NodeTy * src</div><div class="ttdoc">source node </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00055">GenericGraph.h:55</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00108">SVFBasicTypes.h:108</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00107">SVFBasicTypes.h:107</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>