svf-tools 1.0.808 → 1.0.810

package/SVF-doxygen/html/CHG_8cpp_source.html

@@ -346,21 +346,21 @@ $(function() {
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00294">GenericGraph.h:294</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a10d9481ae41dce4f266dad5e64fffcee"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVF::SVFFunction::getArg</a></div><div class="ttdeci">const SVFArgument * getArg(u32_t idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00181">SVFValue.cpp:181</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a10d9481ae41dce4f266dad5e64fffcee"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a10d9481ae41dce4f266dad5e64fffcee">SVF::SVFFunction::getArg</a></div><div class="ttdeci">const SVFArgument * getArg(u32_t idx) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00182">SVFValue.cpp:182</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_a268ccdfb486cc2efa8581ee7a3b5af39"><div class="ttname"><a href="classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39">SVF::CHNode::isPureAbstract</a></div><div class="ttdeci">bool isPureAbstract() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00160">CHG.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a78df5157ac61c49a724af5aa03d36d0c">SVF::CHEdge::INHERITANCE</a></div><div class="ttdeci">@ INHERITANCE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00086">CHG.h:86</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_af6e71c1a932464b1b615fc177f5af089"><div class="ttname"><a href="classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089">SVF::CHNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00130">CHG.h:130</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00290">GenericGraph.h:290</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a26280c3b724551036f7e3ba2b5922676"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676">SVF::CHEdge::CHEDGETYPE</a></div><div class="ttdeci">CHEDGETYPE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00084">CHG.h:84</a></div></div>
 <div class="ttc" id="aCHG_8cpp_html_a4c6cbac96543cd55e4df050a33512ac5"><div class="ttname"><a href="CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5">hasEdge</a></div><div class="ttdeci">static bool hasEdge(const CHNode *src, const CHNode *dst, CHEdge::CHEDGETYPE et)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00038">CHG.cpp:38</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_abe38a348db833b797f32ecc05f67100c"><div class="ttname"><a href="classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c">SVF::CallSite::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01157">SVFValue.h:1157</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_abe38a348db833b797f32ecc05f67100c"><div class="ttname"><a href="classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c">SVF::CallSite::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01168">SVFValue.h:1168</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="astructSVF_1_1cppUtil_1_1DemangledName_html"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html">SVF::cppUtil::DemangledName</a></div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8h_source.html#l00046">CppUtil.h:46</a></div></div>
 <div class="ttc" id="aCHG_8cpp_html_a28cd7506ba009f12fa978aab492767b7"><div class="ttname"><a href="CHG_8cpp.html#a28cd7506ba009f12fa978aab492767b7">checkArgTypes</a></div><div class="ttdeci">static bool checkArgTypes(CallSite cs, const SVFFunction *fn)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00052">CHG.cpp:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_a1abfdc91ec77cab40d6894f471f0733d"><div class="ttname"><a href="classSVF_1_1CHNode.html#a1abfdc91ec77cab40d6894f471f0733d">SVF::CHNode::getVirtualFunctions</a></div><div class="ttdeci">void getVirtualFunctions(u32_t idx, FuncVector &amp;virtualFunctions) const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00186">CHG.cpp:186</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a87a7d8c281490fbd2377d64b0115d262"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262">SVF::CHGraph::view</a></div><div class="ttdeci">void view()</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00226">CHG.cpp:226</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4_html_a8109531ce97bb08828b06f2203c3b347"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347">SVF::DOTGraphTraits&lt; CHGraph * &gt;::getNodeAttributes</a></div><div class="ttdeci">static std::string getNodeAttributes(CHNode *node, CHGraph *)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00258">CHG.cpp:258</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00176">SVFValue.cpp:176</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ab8c7a9c79b0668aae604bbe54e34e46e"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e">SVF::SVFFunction::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00177">SVFValue.cpp:177</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad2b487757f1e1a1d81073120fc1d49c7"><div class="ttname"><a href="namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7">SVF::VFunSet</a></div><div class="ttdeci">Set&lt; const SVFFunction * &gt; VFunSet</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00047">CHG.h:47</a></div></div>
 <div class="ttc" id="acJSON_8h_html_a25d22ecc7e656d2c59332072684e8766"><div class="ttname"><a href="cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766">name</a></div><div class="ttdeci">const char *const name</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00264">cJSON.h:264</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a3867db3e76f068bd8c4399b103dcd0b7"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7">SVF::CHGraph::addEdge</a></div><div class="ttdeci">void addEdge(const std::string className, const std::string baseClassName, CHEdge::CHEDGETYPE edgeType)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00073">CHG.cpp:73</a></div></div>
@@ -379,27 +379,27 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_a745a2addadc136075d45c7fb8437af3e"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a745a2addadc136075d45c7fb8437af3e">SVF::cppUtil::demangle</a></div><div class="ttdeci">struct DemangledName demangle(const std::string &amp;name)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00153">CppUtil.cpp:153</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_html"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a></div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00181">DOTGraphTraits.h:181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00845">SVFValue.h:845</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a340a9e77adc2bbfdee79e22da9ead234"><div class="ttname"><a href="namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234">SVF::VTableSet</a></div><div class="ttdeci">Set&lt; const SVFGlobalValue * &gt; VTableSet</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00044">CHG.h:44</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01175">SVFValue.h:1175</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00187">SVFValue.cpp:187</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01186">SVFValue.h:1186</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00188">SVFValue.cpp:188</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_ae382d5bab69843bdb9424c4c6ff94140"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140">SVF::CHGraph::printCH</a></div><div class="ttdeci">void printCH()</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00196">CHG.cpp:196</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a93c083aa8f3f3ef28fe80e9aaf70dfb5"><div class="ttname"><a href="classSVF_1_1CallSite.html#a93c083aa8f3f3ef28fe80e9aaf70dfb5">SVF::CallSite::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01137">SVFValue.h:1137</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a93c083aa8f3f3ef28fe80e9aaf70dfb5"><div class="ttname"><a href="classSVF_1_1CallSite.html#a93c083aa8f3f3ef28fe80e9aaf70dfb5">SVF::CallSite::getArgOperand</a></div><div class="ttdeci">const SVFValue * getArgOperand(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01148">SVFValue.h:1148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00217">GenericGraph.h:217</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html"><div class="ttname"><a href="classSVF_1_1CHNode.html">SVF::CHNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00108">CHG.h:108</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a29351163649618332394fc72cc35212f"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f">SVF::CHGraph::dump</a></div><div class="ttdeci">void dump(const std::string &amp;filename)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00220">CHG.cpp:220</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1cppUtil_html_ae0f374d110eefcfcf4c196c85db6c0d2"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#ae0f374d110eefcfcf4c196c85db6c0d2">SVF::cppUtil::getClassNameFromVtblObj</a></div><div class="ttdeci">std::string getClassNameFromVtblObj(const std::string &amp;vtblName)</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8cpp_source.html#l00197">CppUtil.cpp:197</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="astructSVF_1_1cppUtil_1_1DemangledName_html_a1dd17b240663bc9412adefde82385e02"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02">SVF::cppUtil::DemangledName::funcName</a></div><div class="ttdeci">std::string funcName</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8h_source.html#l00049">CppUtil.h:49</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01129">SVFValue.h:1129</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01140">SVFValue.h:1140</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html"><div class="ttname"><a href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00215">CHG.h:215</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4_html_aa655d045996275ad355298fb23d5ffc2"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;::NodeType</a></div><div class="ttdeci">CHNode NodeType</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00241">CHG.cpp:241</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_ac5f5646db24455609cd86c421774dd3e"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ac5f5646db24455609cd86c421774dd3e">SVF::CHGraph::getVFnsFromVtbls</a></div><div class="ttdeci">void getVFnsFromVtbls(CallSite cs, const VTableSet &amp;vtbls, VFunSet &amp;virtualFunctions) override</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00100">CHG.cpp:100</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4_html_a75aba53d62d665008e9cb98be5103d5e"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a75aba53d62d665008e9cb98be5103d5e">SVF::DOTGraphTraits&lt; CHGraph * &gt;::getGraphName</a></div><div class="ttdeci">static std::string getGraphName(CHGraph *)</div><div class="ttdoc">Return name of the graph.</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00248">CHG.cpp:248</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01170">SVFValue.h:1170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01181">SVFValue.h:1181</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4_html_ad74c870cc12035ecd3897f65ecc6d96d"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d">SVF::DOTGraphTraits&lt; CHGraph * &gt;::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(CHNode *, EdgeIter EI, CHGraph *)</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8cpp_source.html#l00269">CHG.cpp:269</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_ae2b90913c6c5a30df2b285d31c694525"><div class="ttname"><a href="classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525">SVF::CHEdge::getEdgeType</a></div><div class="ttdeci">CHEDGETYPE getEdgeType() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00098">CHG.h:98</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>

package/SVF-doxygen/html/CHG_8h_source.html

@@ -480,7 +480,7 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1Inverse_html"><div class="ttname"><a href="structSVF_1_1Inverse.html">SVF::Inverse</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00097">GraphTraits.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CommonCHGraph_html_a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c"><div class="ttname"><a href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c">SVF::CommonCHGraph::Standard</a></div><div class="ttdeci">@ Standard</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00056">CHG.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00049">GenericGraph.h:49</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00845">SVFValue.h:845</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHEdge_html_a3d7de66f220b2e8d36ada5c6369cb797"><div class="ttname"><a href="classSVF_1_1CHEdge.html#a3d7de66f220b2e8d36ada5c6369cb797">SVF::CHEdge::CHEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; CHNode, CHEdge &gt;::GEdgeSetTy CHEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00090">CHG.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a2a1da7f262a2f11653fb583154a93a22"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a2a1da7f262a2f11653fb583154a93a22">SVF::CHGraph::RELATIONTYPE</a></div><div class="ttdeci">RELATIONTYPE</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00229">CHG.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_ae613ad20686db0f2159a00cb00ae0a9e"><div class="ttname"><a href="classSVF_1_1CHGraph.html#ae613ad20686db0f2159a00cb00ae0a9e">SVF::CHGraph::classNameToNodeMap</a></div><div class="ttdeci">Map&lt; std::string, CHNode * &gt; classNameToNodeMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00323">CHG.h:323</a></div></div>
@@ -509,7 +509,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_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#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_aedb20aca2fa11a070cfe28e14fd3552b"><div class="ttname"><a href="classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b">SVF::CHGraph::NameToCHNodesMap</a></div><div class="ttdeci">Map&lt; std::string, CHNodeSetTy &gt; NameToCHNodesMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00224">CHG.h:224</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html_a0397e5da88106dc8b4a1e207ae455e74"><div class="ttname"><a href="classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74">SVF::CHGraph::CallSiteToVFunSetMap</a></div><div class="ttdeci">Map&lt; CallSite, VFunSet &gt; CallSiteToVFunSetMap</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00227">CHG.h:227</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_aff05589899b58112119af68df5d1997e"><div class="ttname"><a href="classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e">SVF::CHNode::~CHNode</a></div><div class="ttdeci">~CHNode()</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00127">CHG.h:127</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4_html_ab94f45e7c2a40418fbba5c2cb916f79d"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#ab94f45e7c2a40418fbba5c2cb916f79d">SVF::GenericGraphTraits&lt; SVF::CHGraph * &gt;::NodeRef</a></div><div class="ttdeci">SVF::CHNode * NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00362">CHG.h:362</a></div></div>
 <div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>

package/SVF-doxygen/html/CallGraphBuilder_8cpp_source.html

@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a56630cd025957508fd2aeb60b49a53be"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a56630cd025957508fd2aeb60b49a53be">SVF::ThreadAPI::getForkedFun</a></div><div class="ttdeci">const SVFValue * getForkedFun(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00168">ThreadAPI.h:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html">SVF::ThreadAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00043">ThreadAPI.h:43</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a145abbd2958629718fbca41d25c3124d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil::getCallee</a></div><div class="ttdeci">const SVFFunction * getCallee(const CallSite cs)</div><div class="ttdoc">Return callee of a callsite. Return null if this is an indirect call.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00241">SVFUtil.h:241</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00517">SVFValue.h:517</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00527">SVFValue.h:527</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ae942f7d46198207219e5ce8287497262"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">SVF::ThreadCallGraph::addDirectParForEdge</a></div><div class="ttdeci">void addDirectParForEdge(const CallICFGNode *cs)</div><div class="ttdoc">Add direct/indirect parallel for edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00221">ThreadCallGraph.cpp:221</a></div></div>
@@ -236,7 +236,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00160">ThreadCallGraph.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a8a1621038edeb847bfc5a4a7be7620a3"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3">SVF::PTACallGraph::addCallGraphNode</a></div><div class="ttdeci">void addCallGraphNode(const SVFFunction *fun)</div><div class="ttdoc">Add callgraph Node.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00124">PTACallGraph.cpp:124</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ab20211a66583387f0da4769bee65e300"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph::addThreadForkEdgeSetMap</a></div><div class="ttdeci">void addThreadForkEdgeSetMap(const CallICFGNode *cs, ThreadForkEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00367">ThreadCallGraph.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a795d504a098634b1725af272b37e46e7"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph::addJoinsite</a></div><div class="ttdeci">bool addJoinsite(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00336">ThreadCallGraph.h:336</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/ConsG_8cpp_source.html

@@ -940,7 +940,7 @@ $(function() {
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4_html_a74ed73ff248b33b274c87797e61ef15c"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::getEdgeAttributes</a></div><div class="ttdeci">static std::string getEdgeAttributes(NodeType *, EdgeIter EI, ConstraintGraph *)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00800">ConsG.cpp:800</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StoreCGEdge_html"><div class="ttname"><a href="classSVF_1_1StoreCGEdge.html">SVF::StoreCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00157">ConsGEdge.h:157</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a1e5a23fbd08cf4186775baffbd6a7934"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934">SVF::ConstraintGraph::addLoadCGEdge</a></div><div class="ttdeci">LoadCGEdge * addLoadCGEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add Load edge.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00256">ConsG.cpp:256</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
 <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4_html_ad816997d240e758f7a2f1f6508048ef3"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad816997d240e758f7a2f1f6508048ef3">SVF::DOTGraphTraits&lt; ConstraintGraph * &gt;::DOTGraphTraits</a></div><div class="ttdeci">DOTGraphTraits(bool isSimple=false)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8cpp_source.html#l00709">ConsG.cpp:709</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_adee65a3773fbb98532538c938230e1d3"><div class="ttname"><a href="classSVF_1_1Options.html#adee65a3773fbb98532538c938230e1d3">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00259">Options.h:259</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>

package/SVF-doxygen/html/ContextDDA_8cpp_source.html

@@ -521,7 +521,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00362">PointerAnalysis.h:362</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo &amp; getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a17c5d9fa7c0bd3cd03c06b5ff0906eb6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6">SVF::SVFIR::getFunPtr</a></div><div class="ttdeci">NodeID getFunPtr(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00341">SVFIR.h:341</a></div></div>
 <div class="ttc" id="aFlowDDA_8h_html"><div class="ttname"><a href="FlowDDA_8h.html">FlowDDA.h</a></div></div>

package/SVF-doxygen/html/CxtStmt_8h_source.html

@@ -554,7 +554,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CxtProc_html_a1e9e5490dead73e1cd9ddd964848eb13"><div class="ttname"><a href="classSVF_1_1CxtProc.html#a1e9e5490dead73e1cd9ddd964848eb13">SVF::CxtProc::operator!=</a></div><div class="ttdeci">bool operator!=(const CxtProc &amp;rhs) const</div><div class="ttdoc">Overloading operator==.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00360">CxtStmt.h:360</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00123">SVFType.h:123</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtStmt_html_a8492998e88e895945845f5c666e86888"><div class="ttname"><a href="classSVF_1_1CxtStmt.html#a8492998e88e895945845f5c666e86888">SVF::CxtStmt::operator&lt;</a></div><div class="ttdeci">bool operator&lt;(const CxtStmt &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00068">CxtStmt.h:68</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThreadStmt_html_ab900fccf35773064aae491d552df3825"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html#ab900fccf35773064aae491d552df3825">SVF::CxtThreadStmt::operator!=</a></div><div class="ttdeci">bool operator!=(const CxtThreadStmt &amp;rhs) const</div><div class="ttdoc">Overloading operator==.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00170">CxtStmt.h:170</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThreadStmt_html_ac0e7ead3d4c1eff31437d980c7527361"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html#ac0e7ead3d4c1eff31437d980c7527361">SVF::CxtThreadStmt::~CxtThreadStmt</a></div><div class="ttdeci">virtual ~CxtThreadStmt()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00135">CxtStmt.h:135</a></div></div>
@@ -567,7 +567,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1CxtThreadProc_html"><div class="ttname"><a href="classSVF_1_1CxtThreadProc.html">SVF::CxtThreadProc</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00395">CxtStmt.h:395</a></div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThread_html_a39230596cd1c927353eaaee071eb16c6"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread::isInloop</a></div><div class="ttdeci">bool isInloop() const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00263">CxtStmt.h:263</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThread_html_ae39e05ed7673a566708cec682d9b5d24"><div class="ttname"><a href="classSVF_1_1CxtThread.html#ae39e05ed7673a566708cec682d9b5d24">SVF::CxtThread::operator==</a></div><div class="ttdeci">bool operator==(const CxtThread &amp;rhs) const</div><div class="ttdoc">Overloading operator==.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00234">CxtStmt.h:234</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CxtThread_html_a5792277805336f1c09f4303263521152"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a5792277805336f1c09f4303263521152">SVF::CxtThread::~CxtThread</a></div><div class="ttdeci">virtual ~CxtThread()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00201">CxtStmt.h:201</a></div></div>
 <div class="ttc" id="astructstd_1_1hash_3_01SVF_1_1CxtThread_01_4_html_acba6d528a8f587af9bc95f4b5aa4e201"><div class="ttname"><a href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html#acba6d528a8f587af9bc95f4b5aa4e201">std::hash&lt; SVF::CxtThread &gt;::operator()</a></div><div class="ttdeci">size_t operator()(const SVF::CxtThread &amp;cs) const</div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00461">CxtStmt.h:461</a></div></div>

package/SVF-doxygen/html/DCHG_8cpp_source.html

@@ -1350,7 +1350,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_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#l00290">GenericGraph.h:290</a></div></div>
 <div class="ttc" id="aLLVMUtil_8h_html"><div class="ttname"><a href="LLVMUtil_8h.html">LLVMUtil.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a758f3bee97ed46a719d64a2d4f2bc62d"><div class="ttname"><a href="namespaceSVF.html#a758f3bee97ed46a719d64a2d4f2bc62d">SVF::DINode</a></div><div class="ttdeci">llvm::DINode DINode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00240">BasicTypes.h:240</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_abe38a348db833b797f32ecc05f67100c"><div class="ttname"><a href="classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c">SVF::CallSite::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01157">SVFValue.h:1157</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_abe38a348db833b797f32ecc05f67100c"><div class="ttname"><a href="classSVF_1_1CallSite.html#abe38a348db833b797f32ecc05f67100c">SVF::CallSite::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01168">SVFValue.h:1168</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="SVFType_8h_source.html#l00097">SVFType.h:97</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html_ac77edc44c3c5acc185c27c018837d066"><div class="ttname"><a href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode::getTypedefs</a></div><div class="ttdeci">const Set&lt; const DIDerivedType * &gt; &amp; getTypedefs(void) const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00160">DCHG.h:160</a></div></div>
@@ -1364,7 +1364,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a0a3dfe1f2757eabd75082e2c4caec47a"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a0a3dfe1f2757eabd75082e2c4caec47a">SVF::DCHGraph::cha</a></div><div class="ttdeci">const NodeBS &amp; cha(const DIType *type, bool firstField)</div><div class="ttdoc">Returns a set of all children of type (CHA). Also gradually builds chaMap.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00222">DCHG.cpp:222</a></div></div>
 <div class="ttc" id="anamespaceSVF_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#l00083">BasicTypes.h:83</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a4f803756f0a73e8564d9544ce27be1c9"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a4f803756f0a73e8564d9544ce27be1c9">SVF::LLVMUtil::getVtblStruct</a></div><div class="ttdeci">const ConstantStruct * getVtblStruct(const GlobalValue *vtbl)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00877">LLVMUtil.cpp:877</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a4f803756f0a73e8564d9544ce27be1c9"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a4f803756f0a73e8564d9544ce27be1c9">SVF::LLVMUtil::getVtblStruct</a></div><div class="ttdeci">const ConstantStruct * getVtblStruct(const GlobalValue *vtbl)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00889">LLVMUtil.cpp:889</a></div></div>
 <div class="ttc" id="aDCHG_8h_html"><div class="ttname"><a href="DCHG_8h.html">DCHG.h</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a5ae718cba37d8e34d2946530dc098c8e"><div class="ttname"><a href="namespaceSVF.html#a5ae718cba37d8e34d2946530dc098c8e">SVF::ConstantArray</a></div><div class="ttdeci">llvm::ConstantArray ConstantArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00121">BasicTypes.h:121</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
@@ -1373,7 +1373,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a0a8831a5429005ff9d71adbd6bf3994f"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f">SVF::GenericGraph&lt; DCHNode, DCHEdge &gt;::addGNode</a></div><div class="ttdeci">void addGNode(NodeID id, NodeType *node)</div><div class="ttdoc">Add a Node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00399">GenericGraph.h:399</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00128">BasicTypes.h:128</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a6d97a772afe16c1483e65eea81f82603"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a6d97a772afe16c1483e65eea81f82603">SVF::DCHGraph::handleTypedef</a></div><div class="ttdeci">void handleTypedef(const DIType *typedefType)</div><div class="ttdoc">Attaches the typedef(s) to the base node.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00137">DCHG.cpp:137</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a63222955897ba34e921b9cfd8a2a3619"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const std::string &amp;name)</div><div class="ttdoc">Get the corresponding Function based on its name.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00405">LLVMUtil.h:405</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a63222955897ba34e921b9cfd8a2a3619"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a63222955897ba34e921b9cfd8a2a3619">SVF::LLVMUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(const std::string &amp;name)</div><div class="ttdoc">Get the corresponding Function based on its name.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00408">LLVMUtil.h:408</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a9d2be5aec5216cbc1d1709b41f79c44b"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a9d2be5aec5216cbc1d1709b41f79c44b">SVF::DCHGraph::isAgg</a></div><div class="ttdeci">static bool isAgg(const DIType *t)</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00344">DCHG.cpp:344</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -1401,7 +1401,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a2b28f48dde0a9a91d251e654ce1f9477"><div class="ttname"><a href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF::ConstantStruct</a></div><div class="ttdeci">llvm::ConstantStruct ConstantStruct</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00104">BasicTypes.h:104</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aded9b991c77acc5284ccead0739e84f1"><div class="ttname"><a href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></div><div class="ttdeci">llvm::DICompositeType DICompositeType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00234">BasicTypes.h:234</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a852e75c562139237fcc754c7461533e6"><div class="ttname"><a href="namespaceSVF.html#a852e75c562139237fcc754c7461533e6">SVF::DIDerivedType</a></div><div class="ttdeci">llvm::DIDerivedType DIDerivedType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00235">BasicTypes.h:235</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00845">SVFValue.h:845</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_ae9a0007299178912e2568dc7158d6824"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824">SVF::DCHGraph::getFieldTypes</a></div><div class="ttdeci">const std::vector&lt; const DIType * &gt; &amp; getFieldTypes(const DIType *base)</div><div class="ttdoc">Returns a vector of the types of all fields in base.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00336">DCHG.h:336</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a6c276e661e5e63c1c84387f84c8a62e4"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph::stripArray</a></div><div class="ttdeci">static const DIType * stripArray(const DIType *)</div><div class="ttdoc">Returns the DIType beneath all qualifiers and arrays.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00806">DCHG.cpp:806</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_aa1cebab65670202ba4d3c3aec5216012"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#aa1cebab65670202ba4d3c3aec5216012">SVF::DCHGraph::vtblCHAMap</a></div><div class="ttdeci">Map&lt; const DIType *, VTableSet &gt; vtblCHAMap</div><div class="ttdoc">Maps types to a set with their vtable and all their children's.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00375">DCHG.h:375</a></div></div>
@@ -1410,7 +1410,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a340a9e77adc2bbfdee79e22da9ead234"><div class="ttname"><a href="namespaceSVF.html#a340a9e77adc2bbfdee79e22da9ead234">SVF::VTableSet</a></div><div class="ttdeci">Set&lt; const SVFGlobalValue * &gt; VTableSet</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00044">CHG.h:44</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a99bc1228f07429855c81a720be862dc6"><div class="ttname"><a href="namespaceSVF.html#a99bc1228f07429855c81a720be862dc6">SVF::DISubrange</a></div><div class="ttdeci">llvm::DISubrange DISubrange</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00239">BasicTypes.h:239</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9d3ee421789884473bfacfaa9ec007cc"><div class="ttname"><a href="namespaceSVF.html#a9d3ee421789884473bfacfaa9ec007cc">SVF::DITypeRefArray</a></div><div class="ttdeci">llvm::DITypeRefArray DITypeRefArray</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00242">BasicTypes.h:242</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01175">SVFValue.h:1175</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a8344d90c8f5637f39c45fbc60f381cd9"><div class="ttname"><a href="classSVF_1_1CallSite.html#a8344d90c8f5637f39c45fbc60f381cd9">SVF::CallSite::getFunNameOfVirtualCall</a></div><div class="ttdeci">const std::string &amp; getFunNameOfVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01186">SVFValue.h:1186</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a3383b841bb79ee39cb108b9906fca6a9"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9">SVF::DCHGraph::getCSVtblsBasedonCHA</a></div><div class="ttdeci">virtual const VTableSet &amp; getCSVtblsBasedonCHA(CallSite cs) override</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00554">DCHG.cpp:554</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph&lt; DCHNode, DCHEdge &gt;::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa7a770b5dd5cd0e37d06a1088f252906"><div class="ttname"><a href="namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906">SVF::Module</a></div><div class="ttdeci">llvm::Module Module</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00082">BasicTypes.h:82</a></div></div>
@@ -1435,8 +1435,8 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a2dc488345cc3a5f37079952f638d8c2b"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b">SVF::DCHGraph::diTypeToStr</a></div><div class="ttdeci">static std::string diTypeToStr(const DIType *)</div><div class="ttdoc">Returns a human-readable version of the DIType.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00957">DCHG.cpp:957</a></div></div>
 <div class="ttc" id="astructSVF_1_1cppUtil_1_1DemangledName_html_a1dd17b240663bc9412adefde82385e02"><div class="ttname"><a href="structSVF_1_1cppUtil_1_1DemangledName.html#a1dd17b240663bc9412adefde82385e02">SVF::cppUtil::DemangledName::funcName</a></div><div class="ttdeci">std::string funcName</div><div class="ttdef"><b>Definition:</b> <a href="CppUtil_8h_source.html#l00049">CppUtil.h:49</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01129">SVFValue.h:1129</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a2a1904e6f381a0f8ac30265f2dfc48c8"><div class="ttname"><a href="classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8">SVF::CallSite::arg_size</a></div><div class="ttdeci">u32_t arg_size() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01140">SVFValue.h:1140</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aab85f2c2ceb235b1291301f33154d182"><div class="ttname"><a href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options::PrintDCHG</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintDCHG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00210">Options.h:210</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a86bf48776ccf53092f4cb742cf95f8eb"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb">SVF::DCHGraph::handleDIBasicType</a></div><div class="ttdeci">void handleDIBasicType(const DIBasicType *basicType)</div><div class="ttdoc">Construction helper to process DIBasicTypes.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00021">DCHG.cpp:21</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; DCHNode, DCHEdge &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00359">GenericGraph.h:359</a></div></div>
@@ -1447,7 +1447,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a079feacdcc3783f4a9108a3b2d2aed2c"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c">SVF::DCHGraph::getCanonicalType</a></div><div class="ttdeci">const DIType * getCanonicalType(const DIType *t)</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00712">DCHG.cpp:712</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_aac5595a230db0e8a81a6d6b67a4fdf58"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#aac5595a230db0e8a81a6d6b67a4fdf58">SVF::DCHGraph::containingAggs</a></div><div class="ttdeci">Map&lt; const DIType *, Set&lt; const DIType * &gt; &gt; containingAggs</div><div class="ttdoc">Maps aggregate types to all the aggregate types it transitively contains.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00385">DCHG.h:385</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01170">SVFValue.h:1170</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a6d8296c7b29e4ac07531ab36fa2b06e1"><div class="ttname"><a href="classSVF_1_1CallSite.html#a6d8296c7b29e4ac07531ab36fa2b06e1">SVF::CallSite::getFunIdxInVtable</a></div><div class="ttdeci">s32_t getFunIdxInVtable() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01181">SVFValue.h:1181</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_ad4d431ceff25218fcb5830be12739ac3"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#ad4d431ceff25218fcb5830be12739ac3">SVF::DCHGraph::chaMap</a></div><div class="ttdeci">Map&lt; const DIType *, NodeBS &gt; chaMap</div><div class="ttdoc">Maps types to all children (i.e. CHA).</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00371">DCHG.h:371</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a67f454fa9341632d195fd5da619130f0"><div class="ttname"><a href="namespaceSVF.html#a67f454fa9341632d195fd5da619130f0">SVF::children</a></div><div class="ttdeci">iter_range&lt; typename GenericGraphTraits&lt; GraphType &gt;::ChildIteratorType &gt; children(const typename GenericGraphTraits&lt; GraphType &gt;::NodeRef &amp;G)</div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00126">GraphTraits.h:126</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a6a5d012fda005d45bf3196d1a7d2c6fa"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a6a5d012fda005d45bf3196d1a7d2c6fa">SVF::DCHGraph::getVFnsFromVtbls</a></div><div class="ttdeci">virtual void getVFnsFromVtbls(CallSite cs, const VTableSet &amp;vtbls, VFunSet &amp;virtualFunctions) override</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00582">DCHG.cpp:582</a></div></div>

package/SVF-doxygen/html/DCHG_8h_source.html

@@ -562,7 +562,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html"><div class="ttname"><a href="classSVF_1_1GenericEdge.html">SVF::GenericEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00049">GenericGraph.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html_aebd4fb544e8a97164901ab602e0fe7fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc">SVF::DCHNode::FuncVector</a></div><div class="ttdeci">std::vector&lt; const Function * &gt; FuncVector</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00075">DCHG.h:75</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html_a3947007a7b8074f06064e34de9d980fe"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a3947007a7b8074f06064e34de9d980fe">SVF::DCHNode::setTemplate</a></div><div class="ttdeci">void setTemplate()</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00129">DCHG.h:129</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00845">SVFValue.h:845</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFGlobalValue_html"><div class="ttname"><a href="classSVF_1_1SVFGlobalValue.html">SVF::SVFGlobalValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00110">BasicTypes.h:110</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_ae9a0007299178912e2568dc7158d6824"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#ae9a0007299178912e2568dc7158d6824">SVF::DCHGraph::getFieldTypes</a></div><div class="ttdeci">const std::vector&lt; const DIType * &gt; &amp; getFieldTypes(const DIType *base)</div><div class="ttdoc">Returns a vector of the types of all fields in base.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00336">DCHG.h:336</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a6c276e661e5e63c1c84387f84c8a62e4"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph::stripArray</a></div><div class="ttdeci">static const DIType * stripArray(const DIType *)</div><div class="ttdoc">Returns the DIType beneath all qualifiers and arrays.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00806">DCHG.cpp:806</a></div></div>
@@ -605,7 +605,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1DCHEdge_html_a2580878ab964494ee5c7840e16ef84b3"><div class="ttname"><a href="classSVF_1_1DCHEdge.html#a2580878ab964494ee5c7840e16ef84b3">SVF::DCHEdge::DCHEdgeSetTy</a></div><div class="ttdeci">GenericNode&lt; DCHNode, DCHEdge &gt;::GEdgeSetTy DCHEdgeSetTy</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00043">DCHG.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html_a8a7b412262af7a90c9ef583b6a8c10fc"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode::typeName</a></div><div class="ttdeci">std::string typeName</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00198">DCHG.h:198</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHNode_html_a089af6085dec833b58133a9e834dab54"><div class="ttname"><a href="classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54">SVF::DCHNode::getName</a></div><div class="ttdeci">std::string getName() const</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8h_source.html#l00102">DCHG.h:102</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01102">SVFValue.h:1102</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DCHGraph_html_a86bf48776ccf53092f4cb742cf95f8eb"><div class="ttname"><a href="classSVF_1_1DCHGraph.html#a86bf48776ccf53092f4cb742cf95f8eb">SVF::DCHGraph::handleDIBasicType</a></div><div class="ttdeci">void handleDIBasicType(const DIBasicType *basicType)</div><div class="ttdoc">Construction helper to process DIBasicTypes.</div><div class="ttdef"><b>Definition:</b> <a href="DCHG_8cpp_source.html#l00021">DCHG.cpp:21</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GraphPrinter_html_a014217fb0d05c8f2a2f1a6c5b19d3e10"><div class="ttname"><a href="classSVF_1_1GraphPrinter.html#a014217fb0d05c8f2a2f1a6c5b19d3e10">SVF::GraphPrinter::WriteGraphToFile</a></div><div class="ttdeci">static void WriteGraphToFile(SVF::OutStream &amp;O, const std::string &amp;GraphName, const GraphType &amp;GT, bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphPrinter_8h_source.html#l00056">GraphPrinter.h:56</a></div></div>
 <div class="ttc" id="aWorkList_8h_html"><div class="ttname"><a href="WorkList_8h.html">WorkList.h</a></div></div>

package/SVF-doxygen/html/DDAClient_8cpp_source.html

@@ -320,7 +320,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1DDAStat_html_accadfa44f7cf9f107e4c8d100ce8db0d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">SVF::DDAStat::setMemUsageBefore</a></div><div class="ttdeci">void setMemUsageBefore(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00078">DDAStat.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AliasDDAClient_html_a66e5ae6a814c752615b63c6496b9e916"><div class="ttname"><a href="classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916">SVF::AliasDDAClient::performStat</a></div><div class="ttdeci">virtual void performStat(PointerAnalysis *pta)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00207">DDAClient.cpp:207</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01165">SVFValue.h:1165</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01176">SVFValue.h:1176</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aDDAClient_8h_html"><div class="ttname"><a href="DDAClient_8h.html">DDAClient.h</a></div></div>
@@ -336,7 +336,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00618">SVFType.h:618</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1323233941cdc9b99332e4b954a2217"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos.</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01161">SVFValue.h:1161</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01172">SVFValue.h:1172</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a40845b3027a1237076aa8297ca39e730"><div class="ttname"><a href="SVFType_8h.html#a40845b3027a1237076aa8297ca39e730">DDDA</a></div><div class="ttdeci">#define DDDA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00588">SVFType.h:588</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_ac106536778c829d6925d6ed2149aeb44"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#ac106536778c829d6925d6ed2149aeb44">SVF::PTACallGraph::getIndCSCallees</a></div><div class="ttdeci">const FunctionSet &amp; getIndCSCallees(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00288">PTACallGraph.h:288</a></div></div>
@@ -345,7 +345,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html">SVF::AndersenWaveDiff</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00384">Andersen.h:384</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a011b8401f5ed5fdb6cd507053465a7a2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a011b8401f5ed5fdb6cd507053465a7a2">SVF::PointerAnalysis::getVFnsFromPts</a></div><div class="ttdeci">void getVFnsFromPts(const CallICFGNode *cs, const PointsTo &amp;target, VFunSet &amp;vfns)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00442">PointerAnalysis.cpp:442</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointsTo_html_a13746982a11d0cab57e5919d53bfbec8"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a13746982a11d0cab57e5919d53bfbec8">SVF::PointsTo::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdoc">Returns true if set is empty.</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00098">PointsTo.cpp:98</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae2006820c0d00482b85e7ae3adcb5744"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR::getSVFStmtSet</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getSVFStmtSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get/set methods to get SVFStmts based on their kinds and ICFGNodes.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00188">SVFIR.h:188</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>

package/SVF-doxygen/html/ExtAPI_8cpp_source.html

@@ -317,7 +317,7 @@ $(function() {
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a9f6e5cd617ab57ef9da0bab6c3c9cdc8"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a9f6e5cd617ab57ef9da0bab6c3c9cdc8">SVF::ExtAPI::is_memset</a></div><div class="ttdeci">bool is_memset(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00180">ExtAPI.cpp:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a0d865c55681a3b4a9bb965fd0200029d"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a0d865c55681a3b4a9bb965fd0200029d">SVF::ExtAPI::is_alloc</a></div><div class="ttdeci">bool is_alloc(const SVFFunction *F)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00185">ExtAPI.cpp:185</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a067bd6dbaf74a028d546fa56b095791b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">SVF::SVFFunction::getAnnotations</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; &amp; getAnnotations() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00461">SVFValue.h:461</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_a067bd6dbaf74a028d546fa56b095791b"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a067bd6dbaf74a028d546fa56b095791b">SVF::SVFFunction::getAnnotations</a></div><div class="ttdeci">const std::vector&lt; std::string &gt; &amp; getAnnotations() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00471">SVFValue.h:471</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ExtAPI_html_a1d7778db3b31f732f06129b49ec6dacd"><div class="ttname"><a href="classSVF_1_1ExtAPI.html#a1d7778db3b31f732f06129b49ec6dacd">SVF::ExtAPI::hasExtFuncAnnotation</a></div><div class="ttdeci">bool hasExtFuncAnnotation(const SVFFunction *fun, const std::string &amp;funcAnnotation)</div><div class="ttdef"><b>Definition:</b> <a href="ExtAPI_8cpp_source.html#l00166">ExtAPI.cpp:166</a></div></div>
 <div class="ttc" id="aExtAPI_8h_html"><div class="ttname"><a href="ExtAPI_8h.html">ExtAPI.h</a></div></div>

package/SVF-doxygen/html/FSMPTA_8cpp_source.html

@@ -927,7 +927,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AndersenWaveDiff_html_a48ff6fc4badc79ad3204ae9bd95cc540"><div class="ttname"><a href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">SVF::AndersenWaveDiff::createAndersenWaveDiff</a></div><div class="ttdeci">static AndersenWaveDiff * createAndersenWaveDiff(SVFIR *_pag)</div><div class="ttdoc">Create an singleton instance directly instead of invoking llvm pass manager.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00395">Andersen.h:395</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a5c32c2f5038aab15ec2da50c7c99b405"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder::isHeadofSpan</a></div><div class="ttdeci">bool isHeadofSpan(const StmtSVFGNode *n, LockAnalysis::LockSpan lspan)</div><div class="ttdoc">whether is a first write in the lock span.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00201">FSMPTA.cpp:201</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00620">SVFValue.h:620</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a019a4597074fdad6e51d936ed4ead0d9"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9">SVF::MTASVFGBuilder::numOfNewSVFGEdges</a></div><div class="ttdeci">static u32_t numOfNewSVFGEdges</div><div class="ttdoc">Number of newly added SVFG edges.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00120">FSMPTA.h:120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a9f96e6a886fa69e07cda5dbfaed8b7c9"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a9f96e6a886fa69e07cda5dbfaed8b7c9">SVF::SparseBitVector::count</a></div><div class="ttdeci">unsigned count() const</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l01104">SparseBitVector.h:1104</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTASVFGBuilder_html_a5532751632ece036b3d6741908573b36"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder::readPrecision</a></div><div class="ttdeci">void readPrecision()</div><div class="ttdoc">For o, n2-o-&gt;n1, n1 and n2 are write. Foreach n3:n1-&gt;n3, n2-&gt;n3; then remove n2-&gt;n1.</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8cpp_source.html#l00658">FSMPTA.cpp:658</a></div></div>