svf-tools 1.0.565 → 1.0.567

package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html

@@ -121,7 +121,7 @@ $(function() {
 <div class="ttc" id="LockAnalysis_8h_html"><div class="ttname"><a href="LockAnalysis_8h.html">LockAnalysis.h</a></div></div>
 <div class="ttc" id="MTAAnnotator_8h_html"><div class="ttname"><a href="MTAAnnotator_8h.html">MTAAnnotator.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
 <div class="ttc" id="classSVF_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>
 <div class="ttc" id="classSVF_1_1MTAAnnotator_html_af469d79fcc3bebd9360f72696a242d4e"><div class="ttname"><a href="classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e">SVF::MTAAnnotator::pruneThreadLocal</a></div><div class="ttdeci">void pruneThreadLocal(PointerAnalysis *pta)</div><div class="ttdoc">Prune candidate instructions that are thread local. </div><div class="ttdef"><b>Definition:</b> <a href="MTAAnnotator_8cpp_source.html#l00113">MTAAnnotator.cpp:113</a></div></div>
 <div class="ttc" id="cJSON_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>

package/SVF-doxygen/html/html/MTAStat_8cpp_source.html

@@ -72,7 +72,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTAStat_html_a12f6bd291b206c18001f5d4775251481"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481">SVF::MTAStat::performTCTStat</a></div><div class="ttdeci">void performTCTStat(TCT *tct)</div><div class="ttdoc">Statistics for thread creation tree. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00094">MTAStat.cpp:94</a></div></div>
 <div class="ttc" id="MHP_8h_html"><div class="ttname"><a href="MHP_8h.html">MHP.h</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a8c8d16036008f87c7811586047599858"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a8c8d16036008f87c7811586047599858">SVF::GenericGraph::getTotalNodeNum</a></div><div class="ttdeci">u32_t getTotalNodeNum() const</div><div class="ttdoc">Get total number of node/edge. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00418">GenericGraph.h:418</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00161">BasicTypes.h:161</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a032e8478a7b6a8bb0b7755c98a7bce91"><div class="ttname"><a href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">SVF::const_inst_iterator</a></div><div class="ttdeci">llvm::const_inst_iterator const_inst_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_a8721610a39212613ad55bbd46a35c576"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a8721610a39212613ad55bbd46a35c576">SVF::ThreadCallGraph::getForkEdgeBegin</a></div><div class="ttdeci">ForkEdgeSet::const_iterator getForkEdgeBegin(const CallICFGNode *cs) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00208">ThreadCallGraph.h:208</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_ab7d9fe837844197b7acdc0493a50aaa5"><div class="ttname"><a href="classSVF_1_1MHP.html#ab7d9fe837844197b7acdc0493a50aaa5">SVF::MHP::interleavingQueriesTime</a></div><div class="ttdeci">double interleavingQueriesTime</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00286">MHP.h:286</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAStat_html_a21f01e6b0362de2c2ad12d5689c26940"><div class="ttname"><a href="classSVF_1_1MTAStat.html#a21f01e6b0362de2c2ad12d5689c26940">SVF::MTAStat::performAnnotationStat</a></div><div class="ttdeci">void performAnnotationStat(MTAAnnotator *anno)</div><div class="ttdoc">Statistics for annotation. </div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8cpp_source.html#l00178">MTAStat.cpp:178</a></div></div>

package/SVF-doxygen/html/html/MTA_8cpp_source.html

@@ -126,7 +126,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTA_html_af9558955c068ce922872c259dde1786e"><div class="ttname"><a href="classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e">SVF::MTA::detect</a></div><div class="ttdeci">virtual void detect(SVFModule *module)</div><div class="ttdoc">Perform detection. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00188">MTA.cpp:188</a></div></div>
 <div class="ttc" id="MTAStat_8h_html"><div class="ttname"><a href="MTAStat_8h.html">MTAStat.h</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a2c92809f1395aa064c80aef0c3e4c944"><div class="ttname"><a href="classSVF_1_1MTA.html#a2c92809f1395aa064c80aef0c3e4c944">SVF::MTA::FunToSEMap</a></div><div class="ttdeci">Map&lt; const Function *, ScalarEvolution * &gt; FunToSEMap</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00063">MTA.h:63</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
 <div class="ttc" id="classSVF_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>
 <div class="ttc" id="classSVF_1_1MTA_html_ab25d605ed6040a9ad6ed6fcec4e8d338"><div class="ttname"><a href="classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338">SVF::MTA::MTA</a></div><div class="ttdeci">MTA()</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00053">MTA.cpp:53</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#l00155">SVFBasicTypes.h:155</a></div></div>

package/SVF-doxygen/html/html/MTA_8h_source.html

@@ -71,13 +71,13 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTAStat_html"><div class="ttname"><a href="classSVF_1_1MTAStat.html">SVF::MTAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="MTAStat_8h_source.html#l00046">MTAStat.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a9c9a42fb8a8ada910cdb9a8fb55d7c36"><div class="ttname"><a href="classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36">SVF::MTA::tct</a></div><div class="ttdeci">TCT * tct</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00111">MTA.h:111</a></div></div>
 <div class="ttc" id="namespaceSVF_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="SVF-FE_2BasicTypes_8h_source.html#l00041">BasicTypes.h:41</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00168">BasicTypes.h:168</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad8794eb3c00de3d3b5c5e43dded3fb42"><div class="ttname"><a href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF::ScalarEvolution</a></div><div class="ttdeci">llvm::ScalarEvolution ScalarEvolution</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00172">BasicTypes.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a2473be56f2861ad101f65a65e02dff8d"><div class="ttname"><a href="classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d">SVF::MTA::FunToLoopInfoMap</a></div><div class="ttdeci">Map&lt; const Function *, LoopInfo * &gt; FunToLoopInfoMap</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00064">MTA.h:64</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a7cb2fd230ed5839b59f650cc87de192e"><div class="ttname"><a href="classSVF_1_1MTA.html#a7cb2fd230ed5839b59f650cc87de192e">SVF::MTA::getSE</a></div><div class="ttdeci">static ScalarEvolution * getSE(const Function *F)</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00099">MTA.h:99</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00033">BasicTypes.h:33</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a4f2f17975aabd2c4b9a3b2fbf3b1a487"><div class="ttname"><a href="classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487">SVF::MTA::computeMHP</a></div><div class="ttdeci">virtual MHP * computeMHP(SVFModule *module)</div><div class="ttdoc">Compute MHP. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00141">MTA.cpp:141</a></div></div>
 <div class="ttc" id="Util_2BasicTypes_8h_html"><div class="ttname"><a href="Util_2BasicTypes_8h.html">BasicTypes.h</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00165">BasicTypes.h:165</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a9f1aca0384166e42d14e2608009ebc01"><div class="ttname"><a href="namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01">SVF::ScalarEvolutionWrapperPass</a></div><div class="ttdeci">llvm::ScalarEvolutionWrapperPass ScalarEvolutionWrapperPass</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00169">BasicTypes.h:169</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a5ce0b3247bd412e5267a42be0646471b"><div class="ttname"><a href="classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b">SVF::MTA::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdoc">Pass ID. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00067">MTA.h:67</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a891e56104b9c2daa8b052e3821e85b9b"><div class="ttname"><a href="classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b">SVF::MTA::StoreSet</a></div><div class="ttdeci">Set&lt; const StoreInst * &gt; StoreSet</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00062">MTA.h:62</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a2ced024c7e0785d3d78d19c3c52d0f75"><div class="ttname"><a href="classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75">SVF::MTA::dump</a></div><div class="ttdeci">void dump(Module &amp;module, MHP *mhp, LockAnalysis *lsa)</div></div>

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

@@ -121,7 +121,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PTACallGraphNode_html"><div class="ttname"><a href="classSVF_1_1PTACallGraphNode.html">SVF::PTACallGraphNode</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00174">PTACallGraph.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00210">GenericGraph.h:210</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</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="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00162">BasicTypes.h:162</a></div></div>
 <div class="ttc" id="cJSON_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="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#l00155">SVFBasicTypes.h:155</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>

package/SVF-doxygen/html/html/SVF-FE_2BasicTypes_8h.html

@@ -207,86 +207,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a292a6e8c5b4f2023b5575879c57eca62"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af4912ad47e19060e53b665f73e0ee6ec"><td class="memItemLeft" align="right" valign="top">typedef llvm::UndefValue&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af4912ad47e19060e53b665f73e0ee6ec">SVF::UndefValue</a></td></tr>
 <tr class="separator:af4912ad47e19060e53b665f73e0ee6ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aeafba56771d23572128b21d784ff28a6"><td class="memItemLeft" align="right" valign="top">typedef llvm::IntrinsicInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">SVF::IntrinsicInst</a></td></tr>
-<tr class="separator:aeafba56771d23572128b21d784ff28a6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a98310cccad527f8151328f2c87b29563"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgInfoIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">SVF::DbgInfoIntrinsic</a></td></tr>
-<tr class="separator:a98310cccad527f8151328f2c87b29563"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5698b95e3f2bfb6220cca202145c79ce"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgVariableIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">SVF::DbgVariableIntrinsic</a></td></tr>
-<tr class="separator:a5698b95e3f2bfb6220cca202145c79ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a52a9bff350f21692eae3b519030c314d"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgDeclareInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">SVF::DbgDeclareInst</a></td></tr>
-<tr class="separator:a52a9bff350f21692eae3b519030c314d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a97b6f3c33f30ba9b01e3ec5d91c5e6b5"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgAddrIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">SVF::DbgAddrIntrinsic</a></td></tr>
-<tr class="separator:a97b6f3c33f30ba9b01e3ec5d91c5e6b5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa6ea2efcc92d5a96b71f37d41abb0482"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgValueInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">SVF::DbgValueInst</a></td></tr>
-<tr class="separator:aa6ea2efcc92d5a96b71f37d41abb0482"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a32392667c0d47b88b4e1563da27be587"><td class="memItemLeft" align="right" valign="top">typedef llvm::DbgLabelInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">SVF::DbgLabelInst</a></td></tr>
-<tr class="separator:a32392667c0d47b88b4e1563da27be587"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0ea8b301ceeb6ab13d781878029a6403"><td class="memItemLeft" align="right" valign="top">typedef llvm::VPIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a0ea8b301ceeb6ab13d781878029a6403">SVF::VPIntrinsic</a></td></tr>
-<tr class="separator:a0ea8b301ceeb6ab13d781878029a6403"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a373d9c3194e0b4d92ec12d792854eb87"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstrainedFPIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">SVF::ConstrainedFPIntrinsic</a></td></tr>
-<tr class="separator:a373d9c3194e0b4d92ec12d792854eb87"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a01c39e0b75e02ca0823291cc0aab751f"><td class="memItemLeft" align="right" valign="top">typedef llvm::ConstrainedFPCmpIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">SVF::ConstrainedFPCmpIntrinsic</a></td></tr>
-<tr class="separator:a01c39e0b75e02ca0823291cc0aab751f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8d8a3708b1bed772fe4ad50f7ba544bf"><td class="memItemLeft" align="right" valign="top">typedef llvm::MinMaxIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">SVF::MinMaxIntrinsic</a></td></tr>
-<tr class="separator:a8d8a3708b1bed772fe4ad50f7ba544bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aff2da2ed0d7c413dcb014141f0b750f1"><td class="memItemLeft" align="right" valign="top">typedef llvm::BinaryOpIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">SVF::BinaryOpIntrinsic</a></td></tr>
-<tr class="separator:aff2da2ed0d7c413dcb014141f0b750f1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a77a55960401110383dde69324277f67a"><td class="memItemLeft" align="right" valign="top">typedef llvm::WithOverflowInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a77a55960401110383dde69324277f67a">SVF::WithOverflowInst</a></td></tr>
-<tr class="separator:a77a55960401110383dde69324277f67a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad1dff7fa24ef579c1392a3cd4712b1ee"><td class="memItemLeft" align="right" valign="top">typedef llvm::SaturatingInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">SVF::SaturatingInst</a></td></tr>
-<tr class="separator:ad1dff7fa24ef579c1392a3cd4712b1ee"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a50f4510bce9a49b48530b3da9abb542b"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicMemIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">SVF::AtomicMemIntrinsic</a></td></tr>
-<tr class="separator:a50f4510bce9a49b48530b3da9abb542b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a16b872ede7813d24169143f091ac34a3"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicMemSetInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">SVF::AtomicMemSetInst</a></td></tr>
-<tr class="separator:a16b872ede7813d24169143f091ac34a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afb24dfe2255c30310049a9bd2a9c26b9"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicMemTransferInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">SVF::AtomicMemTransferInst</a></td></tr>
-<tr class="separator:afb24dfe2255c30310049a9bd2a9c26b9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acf966c15a74110cfa1e5fffe869187b0"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicMemCpyInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">SVF::AtomicMemCpyInst</a></td></tr>
-<tr class="separator:acf966c15a74110cfa1e5fffe869187b0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a88ecc1591c6e8e6671ddb5774b954aa6"><td class="memItemLeft" align="right" valign="top">typedef llvm::AtomicMemMoveInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">SVF::AtomicMemMoveInst</a></td></tr>
-<tr class="separator:a88ecc1591c6e8e6671ddb5774b954aa6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a062e5cbf987400704aff9209ac4507d1"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">SVF::MemIntrinsic</a></td></tr>
-<tr class="separator:a062e5cbf987400704aff9209ac4507d1"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3aeeba6da229f0a73fd306c9f0063ae7"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemSetInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">SVF::MemSetInst</a></td></tr>
-<tr class="separator:a3aeeba6da229f0a73fd306c9f0063ae7"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a792b184a7ef4ea203fdf644f5608f838"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemTransferInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">SVF::MemTransferInst</a></td></tr>
-<tr class="separator:a792b184a7ef4ea203fdf644f5608f838"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7b1ab6ca15d368bd378d4123c9f75451"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemCpyInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">SVF::MemCpyInst</a></td></tr>
-<tr class="separator:a7b1ab6ca15d368bd378d4123c9f75451"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3c102dae4e7eb1cd6604ed9944b43e97"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemMoveInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">SVF::MemMoveInst</a></td></tr>
-<tr class="separator:a3c102dae4e7eb1cd6604ed9944b43e97"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac43dd719ccad81d77e6773b4d957e52a"><td class="memItemLeft" align="right" valign="top">typedef llvm::MemCpyInlineInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">SVF::MemCpyInlineInst</a></td></tr>
-<tr class="separator:ac43dd719ccad81d77e6773b4d957e52a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a11c647398b2a931990d43b28462d421e"><td class="memItemLeft" align="right" valign="top">typedef llvm::AnyMemIntrinsic&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">SVF::AnyMemIntrinsic</a></td></tr>
-<tr class="separator:a11c647398b2a931990d43b28462d421e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af805291f579df47e55ef17f4bc966894"><td class="memItemLeft" align="right" valign="top">typedef llvm::AnyMemSetInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">SVF::AnyMemSetInst</a></td></tr>
-<tr class="separator:af805291f579df47e55ef17f4bc966894"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a232f8b3ca0d5f43d2d8729c254685768"><td class="memItemLeft" align="right" valign="top">typedef llvm::AnyMemTransferInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">SVF::AnyMemTransferInst</a></td></tr>
-<tr class="separator:a232f8b3ca0d5f43d2d8729c254685768"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adbb4d9eeed7e5a08892cfdf71caba1d8"><td class="memItemLeft" align="right" valign="top">typedef llvm::AnyMemCpyInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">SVF::AnyMemCpyInst</a></td></tr>
-<tr class="separator:adbb4d9eeed7e5a08892cfdf71caba1d8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aec83b8f2ca21f98734188f8db3aa99aa"><td class="memItemLeft" align="right" valign="top">typedef llvm::AnyMemMoveInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">SVF::AnyMemMoveInst</a></td></tr>
-<tr class="separator:aec83b8f2ca21f98734188f8db3aa99aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aebc2e2c17087bc2f00fd707f56c40795"><td class="memItemLeft" align="right" valign="top">typedef llvm::InstrProfIncrementInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">SVF::InstrProfIncrementInst</a></td></tr>
-<tr class="separator:aebc2e2c17087bc2f00fd707f56c40795"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acf50d678027c80ae12071cddf4bc1683"><td class="memItemLeft" align="right" valign="top">typedef llvm::InstrProfIncrementInstStep&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">SVF::InstrProfIncrementInstStep</a></td></tr>
-<tr class="separator:acf50d678027c80ae12071cddf4bc1683"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5510b21608b9780bafe8da04032c52db"><td class="memItemLeft" align="right" valign="top">typedef llvm::InstrProfValueProfileInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">SVF::InstrProfValueProfileInst</a></td></tr>
-<tr class="separator:a5510b21608b9780bafe8da04032c52db"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa1e6a12c2189520f5f92bd466f51dcde"><td class="memItemLeft" align="right" valign="top">typedef llvm::PseudoProbeInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">SVF::PseudoProbeInst</a></td></tr>
-<tr class="separator:aa1e6a12c2189520f5f92bd466f51dcde"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2f7d8bb0a9f60fe855dd82e7b1a6a090"><td class="memItemLeft" align="right" valign="top">typedef llvm::NoAliasScopeDeclInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">SVF::NoAliasScopeDeclInst</a></td></tr>
-<tr class="separator:a2f7d8bb0a9f60fe855dd82e7b1a6a090"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac2f24d976e62d802aa1769924ff38bf2"><td class="memItemLeft" align="right" valign="top">typedef llvm::GCStatepointInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">SVF::GCStatepointInst</a></td></tr>
-<tr class="separator:ac2f24d976e62d802aa1769924ff38bf2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa567358f0c0c3a6363b41ba6d37dc90c"><td class="memItemLeft" align="right" valign="top">typedef llvm::GCProjectionInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">SVF::GCProjectionInst</a></td></tr>
-<tr class="separator:aa567358f0c0c3a6363b41ba6d37dc90c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac4d0b7e1b0332ac5335cc98669a3de0a"><td class="memItemLeft" align="right" valign="top">typedef llvm::GCRelocateInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">SVF::GCRelocateInst</a></td></tr>
-<tr class="separator:ac4d0b7e1b0332ac5335cc98669a3de0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae0b0c09f22fa87d94d7671a941851726"><td class="memItemLeft" align="right" valign="top">typedef llvm::GCResultInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">SVF::GCResultInst</a></td></tr>
-<tr class="separator:ae0b0c09f22fa87d94d7671a941851726"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abd54de67b4f9f27583560e341cd68958"><td class="memItemLeft" align="right" valign="top">typedef llvm::AssumeInst&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">SVF::AssumeInst</a></td></tr>
-<tr class="separator:abd54de67b4f9f27583560e341cd68958"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad127b0ad478640ede3d426e3a58d2632"><td class="memItemLeft" align="right" valign="top">typedef llvm::DIType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></td></tr>
 <tr class="separator:ad127b0ad478640ede3d426e3a58d2632"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aded9b991c77acc5284ccead0739e84f1"><td class="memItemLeft" align="right" valign="top">typedef llvm::DICompositeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aded9b991c77acc5284ccead0739e84f1">SVF::DICompositeType</a></td></tr>