svf-tools 1.0.533 → 1.0.536

package/SVF-doxygen/html/html/FlowSensitive_8h_source.html

@@ -99,7 +99,7 @@ $(function() {
 <div class="ttc" id="classSVF_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#l00410">Andersen.h:410</a></div></div>
 <div class="ttc" id="classSVF_1_1FlowSensitive_html_aa37d591d2d4f65957e840bef4d142a6a"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a">SVF::FlowSensitive::processStore</a></div><div class="ttdeci">virtual bool processStore(const StoreSVFGNode *store)</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8cpp_source.html#l00552">FlowSensitive.cpp:552</a></div></div>
 <div class="ttc" id="SVFGBuilder_8h_html"><div class="ttname"><a href="SVFGBuilder_8h.html">SVFGBuilder.h</a></div></div>
-<div class="ttc" id="classSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00179">WPASolver.h:179</a></div></div>
+<div class="ttc" id="classSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration </div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00177">WPASolver.h:177</a></div></div>
 <div class="ttc" id="classSVF_1_1CopyVFGNode_html"><div class="ttname"><a href="classSVF_1_1CopyVFGNode.html">SVF::CopyVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00281">VFGNode.h:281</a></div></div>
 <div class="ttc" id="classSVF_1_1PHIVFGNode_html"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html">SVF::PHIVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00635">VFGNode.h:635</a></div></div>
 <div class="ttc" id="classSVF_1_1FlowSensitive_html_a267f7198600dde3054feb40def7a6681"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681">SVF::FlowSensitive::analyze</a></div><div class="ttdeci">virtual void analyze()</div><div class="ttdoc">Flow sensitive analysis. </div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8cpp_source.html#l00082">FlowSensitive.cpp:82</a></div></div>

package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html

@@ -108,7 +108,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1FunExitICFGNode_html"><div class="ttname"><a href="classSVF_1_1FunExitICFGNode.html">SVF::FunExitICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00308">ICFGNode.h:308</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8d8216a92140d982303f83ea424ddc91"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91">SVF::SVFUtil::isNonInstricCallSite</a></div><div class="ttdeci">bool isNonInstricCallSite(const Instruction *inst)</div><div class="ttdoc">Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls...</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00209">SVFUtil.h:209</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGBuilder_html_a52e6426f0a1af479159f6fbac6d5b8f4"><div class="ttname"><a href="classSVF_1_1ICFGBuilder.html#a52e6426f0a1af479159f6fbac6d5b8f4">SVF::ICFGBuilder::processFunEntry</a></div><div class="ttdeci">void processFunEntry(const SVFFunction *fun, WorkList &amp;worklist)</div><div class="ttdef"><b>Definition:</b> <a href="ICFGBuilder_8cpp_source.html#l00060">ICFGBuilder.cpp:60</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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</a></div></div>
 <div class="ttc" id="classSVF_1_1GlobalICFGNode_html"><div class="ttname"><a href="classSVF_1_1GlobalICFGNode.html">SVF::GlobalICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00142">ICFGNode.h:142</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_a832b1306f23e0f3db8cf5c0a35dc4561"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a832b1306f23e0f3db8cf5c0a35dc4561">SVF::LLVMUtil::isReturn</a></div><div class="ttdeci">bool isReturn(const Instruction *inst)</div><div class="ttdoc">Whether an instruction is a return instruction. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00068">LLVMUtil.h:68</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/LLVMUtil_8cpp_source.html

@@ -114,7 +114,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_a74a7961552498d1a99e1da70b7f78620"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a74a7961552498d1a99e1da70b7f78620">SVF::LLVMModuleSet::hasDeclaration</a></div><div class="ttdeci">bool hasDeclaration(const Function *fun) const</div><div class="ttdoc">Fun def –&gt; decl. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00146">LLVMModule.h:146</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_a6d9205380948e1bd00708581a64301e1"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a6d9205380948e1bd00708581a64301e1">SVF::LLVMUtil::getBBSuccessorNum</a></div><div class="ttdeci">u32_t getBBSuccessorNum(const BasicBlock *BB)</div><div class="ttdoc">Get num of BB&amp;#39;s successors. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00398">LLVMUtil.cpp:398</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a73215bac62f1340a58f6c7f2ba9b0e7b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b">SVF::SVFUtil::getHeapAllocHoldingArgPosition</a></div><div class="ttdeci">int getHeapAllocHoldingArgPosition(const SVFFunction *fun)</div><div class="ttdoc">Get the position of argument that holds an allocated heap object. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00379">SVFUtil.h:379</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00118">BasicTypes.h:118</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a5c943191dc4e242704943e5f594ae99e"><div class="ttname"><a href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">SVF::const_pred_iterator</a></div><div class="ttdeci">llvm::const_pred_iterator const_pred_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_afc50da46a6ea7c2cf61683bbec4d7c8d"><div class="ttname"><a href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF::BitCastInst</a></div><div class="ttdeci">llvm::BitCastInst BitCastInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00070">BasicTypes.h:70</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_a752d53b6b65d892d0e579aafe70083b4"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4">SVF::LLVMUtil::getNextInsts</a></div><div class="ttdeci">void getNextInsts(const Instruction *curInst, std::vector&lt; const Instruction *&gt; &amp;instList)</div><div class="ttdoc">Get the next instructions following control flow. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00259">LLVMUtil.cpp:259</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_adfa4a4e6d13004d14137d9168bd32463"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil::isInt2PtrConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isInt2PtrConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00197">LLVMUtil.h:197</a></div></div>

package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html

@@ -161,7 +161,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1LockResultValidator_html_a88ff3ed1398a0b847d71a4c0352ed66d"><div class="ttname"><a href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="LockResultValidator_8cpp_source.html#l00166">LockResultValidator.cpp:166</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html">SVF::RaceResultValidator</a></div><div class="ttdoc">Validate the result of concurrent analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00168">MTAResultValidator.h:168</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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</a></div></div>
 <div class="ttc" id="classSVF_1_1LockAnalysis_html_a4d4501d62bf51475662b6ba66e6380aa"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a4d4501d62bf51475662b6ba66e6380aa">SVF::LockAnalysis::isProtectedByCommonLock</a></div><div class="ttdeci">bool isProtectedByCommonLock(const Instruction *i1, const Instruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00568">LockAnalysis.cpp:568</a></div></div>
 <div class="ttc" id="PTAStat_8h_html"><div class="ttname"><a href="PTAStat_8h.html">PTAStat.h</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/MHP_8cpp.html

@@ -135,7 +135,7 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l01004">1004</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l01005"></a><span class="lineno"> 1005</span>&#160;{</div><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160;</div><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160;    std::vector&lt;u32_t&gt; ptr1vec;</div><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a> gi = gep_type_begin(*ptr1), ge = gep_type_end(*ptr1);</div><div class="line"><a name="l01009"></a><span class="lineno"> 1009</span>&#160;            gi != ge; ++gi)</div><div class="line"><a name="l01010"></a><span class="lineno"> 1010</span>&#160;    {</div><div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>* ci = SVFUtil::dyn_cast&lt;ConstantInt&gt;(gi.getOperand()))</div><div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>&#160;        {</div><div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160;            <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> idx = ci-&gt;getSExtValue();</div><div class="line"><a name="l01014"></a><span class="lineno"> 1014</span>&#160;            ptr1vec.push_back(idx);</div><div class="line"><a name="l01015"></a><span class="lineno"> 1015</span>&#160;        }</div><div class="line"><a name="l01016"></a><span class="lineno"> 1016</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l01017"></a><span class="lineno"> 1017</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l01018"></a><span class="lineno"> 1018</span>&#160;    }</div><div class="line"><a name="l01019"></a><span class="lineno"> 1019</span>&#160;</div><div class="line"><a name="l01020"></a><span class="lineno"> 1020</span>&#160;    std::vector&lt;u32_t&gt; ptr2vec;</div><div class="line"><a name="l01021"></a><span class="lineno"> 1021</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">gep_type_iterator</a> gi = gep_type_begin(*ptr2), ge = gep_type_end(*ptr2);</div><div class="line"><a name="l01022"></a><span class="lineno"> 1022</span>&#160;            gi != ge; ++gi)</div><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160;    {</div><div class="line"><a name="l01024"></a><span class="lineno"> 1024</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">ConstantInt</a>* ci = SVFUtil::dyn_cast&lt;ConstantInt&gt;(gi.getOperand()))</div><div class="line"><a name="l01025"></a><span class="lineno"> 1025</span>&#160;        {</div><div class="line"><a name="l01026"></a><span class="lineno"> 1026</span>&#160;            <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> idx = ci-&gt;getSExtValue();</div><div class="line"><a name="l01027"></a><span class="lineno"> 1027</span>&#160;            ptr2vec.push_back(idx);</div><div class="line"><a name="l01028"></a><span class="lineno"> 1028</span>&#160;        }</div><div class="line"><a name="l01029"></a><span class="lineno"> 1029</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l01030"></a><span class="lineno"> 1030</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l01031"></a><span class="lineno"> 1031</span>&#160;    }</div><div class="line"><a name="l01032"></a><span class="lineno"> 1032</span>&#160;</div><div class="line"><a name="l01033"></a><span class="lineno"> 1033</span>&#160;    <span class="keywordflow">return</span> ptr1vec==ptr2vec;</div><div class="line"><a name="l01034"></a><span class="lineno"> 1034</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="namespaceSVF_html_adefcb50414ea999d70cea5ccdbcb98d7"><div class="ttname"><a href="namespaceSVF.html#adefcb50414ea999d70cea5ccdbcb98d7">SVF::ConstantInt</a></div><div class="ttdeci">llvm::ConstantInt ConstantInt</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00158">BasicTypes.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/MHP_8cpp_source.html

@@ -76,7 +76,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MHP_html_a4b73d112880ad940e078e801f8725799"><div class="ttname"><a href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP::tcg</a></div><div class="ttdeci">ThreadCallGraph * tcg</div><div class="ttdoc">TCG. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00251">MHP.h:251</a></div></div>
 <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ab636777379aca0b53a06e4888d4b4c6b"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b">SVF::ForkJoinAnalysis::handleCall</a></div><div class="ttdeci">void handleCall(const CxtStmt &amp;cts, NodeID rootTid)</div><div class="ttdoc">Handle call. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00878">MHP.cpp:878</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_aaab54c670518d9d6790707f76ea76aa1"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#aaab54c670518d9d6790707f76ea76aa1">SVF::PTACallGraph::getCallGraphNode</a></div><div class="ttdeci">PTACallGraphNode * getCallGraphNode(NodeID id) const</div><div class="ttdoc">Get call graph node. </div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00315">PTACallGraph.h:315</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#l00124">BasicTypes.h:124</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#l00167">BasicTypes.h:167</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a041392f704690e89d8acf5ec68d8682c"><div class="ttname"><a href="classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c">SVF::MHP::isMultiForkedThread</a></div><div class="ttdeci">bool isMultiForkedThread(NodeID curTid)</div><div class="ttdoc">A thread is a multiForked thread if it is in a loop or recursion. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00198">MHP.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThread_html_a93d75593046e26eafcf1af3a596bba4a"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a93d75593046e26eafcf1af3a596bba4a">SVF::CxtThread::getContext</a></div><div class="ttdeci">const CallStrCxt &amp; getContext() const</div><div class="ttdoc">Return context of the thread. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00205">CxtStmt.h:205</a></div></div>
 <div class="ttc" id="MHP_8h_html"><div class="ttname"><a href="MHP_8h.html">MHP.h</a></div></div>
@@ -185,7 +185,7 @@ $(function() {
 <div class="ttc" id="namespaceSVF_html_ac4e93e1fec646ff222940a663843921b"><div class="ttname"><a href="namespaceSVF.html#ac4e93e1fec646ff222940a663843921b">SVF::GetElementPtrInst</a></div><div class="ttdeci">llvm::GetElementPtrInst GetElementPtrInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a0300d46dd22ee7cc8c62fada694d3acb"><div class="ttname"><a href="classSVF_1_1MHP.html#a0300d46dd22ee7cc8c62fada694d3acb">SVF::MHP::cxtStmtList</a></div><div class="ttdeci">CxtThreadStmtWorkList cxtStmtList</div><div class="ttdoc">CxtThreadStmt worklist. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00254">MHP.h:254</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a26ae18993915d76b704232cded9811c2"><div class="ttname"><a href="classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2">SVF::MHP::numOfTotalQueries</a></div><div class="ttdeci">u32_t numOfTotalQueries</div><div class="ttdoc">Total number of queries. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00261">MHP.h:261</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00125">BasicTypes.h:125</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aac5262378e41a3414a20cc9a41d4adc6"><div class="ttname"><a href="namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6">SVF::SCEV</a></div><div class="ttdeci">llvm::SCEV SCEV</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="classSVF_1_1CxtStmt_html"><div class="ttname"><a href="classSVF_1_1CxtStmt.html">SVF::CxtStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00041">CxtStmt.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a9b89800fe8089fd7521ef3f415f6eb12"><div class="ttname"><a href="classSVF_1_1MHP.html#a9b89800fe8089fd7521ef3f415f6eb12">SVF::MHP::getDirAndIndJoinedTid</a></div><div class="ttdeci">NodeBS getDirAndIndJoinedTid(const CallStrCxt &amp;cxt, const Instruction *call)</div><div class="ttdoc">Return thread id(s) which are directly or indirectly joined at this join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00484">MHP.cpp:484</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_afcfc409e625b74cbefd240170627c541"><div class="ttname"><a href="classSVF_1_1MHP.html#afcfc409e625b74cbefd240170627c541">SVF::MHP::threadStmtToTheadInterLeav</a></div><div class="ttdeci">ThreadStmtToThreadInterleav threadStmtToTheadInterLeav</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00255">MHP.h:255</a></div></div>
@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_a07d3db6ffe8d75effd6fbc3856c484fe"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">SVF::ThreadCallGraph::isForksite</a></div><div class="ttdeci">bool isForksite(const CallICFGNode *csInst)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00257">ThreadCallGraph.h:257</a></div></div>
 <div class="ttc" id="namespaceSVF_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="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
 <div class="ttc" id="classSVF_1_1TCT_html"><div class="ttname"><a href="classSVF_1_1TCT.html">SVF::TCT</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00115">TCT.h:115</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00115">BasicTypes.h:115</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aa508c087703240dad69a9827e85ebd0b"><div class="ttname"><a href="namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b">SVF::gep_type_iterator</a></div><div class="ttdeci">llvm::gep_type_iterator gep_type_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="classSVF_1_1ForkJoinAnalysis_html_a30e5ef1322216857513047d23b525829"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a30e5ef1322216857513047d23b525829">SVF::ForkJoinAnalysis::handleRet</a></div><div class="ttdeci">void handleRet(const CxtStmt &amp;cts)</div><div class="ttdoc">Handle return. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00902">MHP.cpp:902</a></div></div>
 <div class="ttc" id="classSVF_1_1PTACallGraph_html_a4ed2fd37007de9c873d5e197a0b3bd4e"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e">SVF::PTACallGraph::getCallEdgeBegin</a></div><div class="ttdeci">CallGraphEdgeSet::const_iterator getCallEdgeBegin(const CallICFGNode *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00401">PTACallGraph.h:401</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_a50502f398e5eac9c6da3e26ea6052057"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057">SVF::ThreadCallGraph::joinsitesEnd</a></div><div class="ttdeci">CallSiteSet::const_iterator joinsitesEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00289">ThreadCallGraph.h:289</a></div></div>
@@ -245,7 +245,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MHP_html_aeabf2e9ec8b1ec874503c83cc65e1205"><div class="ttname"><a href="classSVF_1_1MHP.html#aeabf2e9ec8b1ec874503c83cc65e1205">SVF::MHP::isTDFork</a></div><div class="ttdeci">bool isTDFork(const Instruction *call)</div><div class="ttdoc">Whether it is a fork site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00232">MHP.h:232</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a176eefb65e4ba99ee70513c8add44176"><div class="ttname"><a href="classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176">SVF::MHP::tct</a></div><div class="ttdeci">TCT * tct</div><div class="ttdoc">TCT. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00252">MHP.h:252</a></div></div>
 <div class="ttc" id="classSVF_1_1RaceResultValidator_html"><div class="ttname"><a href="classSVF_1_1RaceResultValidator.html">SVF::RaceResultValidator</a></div><div class="ttdoc">Validate the result of concurrent analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00168">MTAResultValidator.h:168</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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</a></div></div>
 <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html">SVF::ForkJoinAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00272">MHP.h:272</a></div></div>
 <div class="ttc" id="classSVF_1_1CxtThreadStmt_html"><div class="ttname"><a href="classSVF_1_1CxtThreadStmt.html">SVF::CxtThreadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00123">CxtStmt.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a6b238ee6342da990840162845bba547f"><div class="ttname"><a href="classSVF_1_1MHP.html#a6b238ee6342da990840162845bba547f">SVF::MHP::instToTSMap</a></div><div class="ttdeci">InstToThreadStmtSetMap instToTSMap</div><div class="ttdoc">Map a statement to its thread interleavings. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00256">MHP.h:256</a></div></div>

package/SVF-doxygen/html/html/MHP_8h_source.html

@@ -78,7 +78,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MHP_html_a08ba219ec02b07b1bbd91a88ebb4acd7"><div class="ttname"><a href="classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7">SVF::MHP::LockSpan</a></div><div class="ttdeci">Set&lt; CxtStmt &gt; LockSpan</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00036">MHP.h:36</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadAPI_html_a9da276dca5092d18f4f22d32e5ab6cdf"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a9da276dca5092d18f4f22d32e5ab6cdf">SVF::ThreadAPI::isTDFork</a></div><div class="ttdeci">bool isTDFork(const Instruction *inst) const</div><div class="ttdoc">Return true if this call create a new thread. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00129">ThreadAPI.h:129</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a4b73d112880ad940e078e801f8725799"><div class="ttname"><a href="classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799">SVF::MHP::tcg</a></div><div class="ttdeci">ThreadCallGraph * tcg</div><div class="ttdoc">TCG. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00251">MHP.h:251</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#l00124">BasicTypes.h:124</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#l00167">BasicTypes.h:167</a></div></div>
 <div class="ttc" id="classSVF_1_1MHP_html_a041392f704690e89d8acf5ec68d8682c"><div class="ttname"><a href="classSVF_1_1MHP.html#a041392f704690e89d8acf5ec68d8682c">SVF::MHP::isMultiForkedThread</a></div><div class="ttdeci">bool isMultiForkedThread(NodeID curTid)</div><div class="ttdoc">A thread is a multiForked thread if it is in a loop or recursion. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00198">MHP.h:198</a></div></div>
 <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a1505ba82206169f76ea239067797d6c2"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2">SVF::ForkJoinAnalysis::addToHPPair</a></div><div class="ttdeci">void addToHPPair(NodeID tid1, NodeID tid2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00512">MHP.h:512</a></div></div>
 <div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a7ac37e3399aa6e303a6babe8f455aa87"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a7ac37e3399aa6e303a6babe8f455aa87">SVF::ForkJoinAnalysis::pushToCTSWorkList</a></div><div class="ttdeci">bool pushToCTSWorkList(const CxtStmt &amp;cs)</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00446">MHP.h:446</a></div></div>

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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</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#l00072">MTAStat.cpp:72</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#l00117">BasicTypes.h:117</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#l00160">BasicTypes.h:160</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#l00264">MHP.h:264</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#l00156">MTAStat.cpp:156</a></div></div>

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

@@ -96,7 +96,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MTA_html_a0f4805f195ebd42d81127b1a79333c75"><div class="ttname"><a href="classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75">SVF::MTA::computeLocksets</a></div><div class="ttdeci">virtual LockAnalysis * computeLocksets(TCT *tct)</div><div class="ttdoc">Compute locksets. </div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00111">MTA.cpp:111</a></div></div>
 <div class="ttc" id="classSVF_1_1MTA_html_a3dd09dcdcf58ae8ee1745634cefbb8aa"><div class="ttname"><a href="classSVF_1_1MTA.html#a3dd09dcdcf58ae8ee1745634cefbb8aa">SVF::MTA::modulePass</a></div><div class="ttdeci">static ModulePass * modulePass</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00043">MTA.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00105">SVFBasicTypes.h:105</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
 <div class="ttc" id="namespaceSVFUtil_html"><div class="ttname"><a href="namespaceSVFUtil.html">SVFUtil</a></div></div>
@@ -125,7 +125,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#l00165">MTA.cpp:165</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#l00037">MTA.h:37</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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</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#l00030">MTA.cpp:30</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#l00024">MTAStat.h:24</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#l00085">MTA.h:85</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="Util_2BasicTypes_8h_source.html#l00077">BasicTypes.h:77</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#l00124">BasicTypes.h:124</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#l00167">BasicTypes.h:167</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#l00038">MTA.h:38</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#l00073">MTA.h:73</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#l00118">MTA.cpp:118</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#l00121">BasicTypes.h:121</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#l00164">BasicTypes.h:164</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#l00041">MTA.h:41</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#l00036">MTA.h:36</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#l00114">BasicTypes.h:114</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#l00157">BasicTypes.h:157</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

@@ -205,6 +205,86 @@ 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>