svf-tools 1.0.533 → 1.0.536

package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html

@@ -299,7 +299,7 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00406">406</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;{</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num = 0;</div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a> it = pred_begin(BB), et = pred_end(BB); it != et; ++it)</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;        num++;</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    <span class="keywordflow">return</span> num;</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</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><!-- fragment -->
 </div>
 </div>
@@ -334,7 +334,7 @@ Functions</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="LLVMUtil_8cpp_source.html#l00383">383</a> of file <a class="el" href="LLVMUtil_8cpp_source.html">LLVMUtil.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;{</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;    <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> pos = 0;</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a5c943191dc4e242704943e5f594ae99e">const_pred_iterator</a> it = pred_begin(succbb), et = pred_end(succbb); it != et; ++it, ++pos)</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    {</div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <span class="keywordflow">if</span>(*it==bb)</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;            <span class="keywordflow">return</span> pos;</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    }</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;    assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;Didn&#39;t find predecessor edge?&quot;</span>);</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    <span class="keywordflow">return</span> pos;</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</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><!-- fragment -->
 </div>
 </div>
@@ -565,7 +565,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_ab7f58caf27c30a1d414e06f60ca84d80"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab7f58caf27c30a1d414e06f60ca84d80">SVF::SVFUtil::isIntrinsicInst</a></div><div class="ttdeci">bool isIntrinsicInst(const Instruction *inst)</div><div class="ttdoc">Return true if it is an intrinsic instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00181">SVFUtil.h:181</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</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="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><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html

@@ -1635,7 +1635,7 @@ template&lt;class X , class Y &gt; </div>
 <p>Get the meta data (line number and file name) info of a LLVM value </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFUtil_8cpp_source.html#l00267">267</a> of file <a class="el" href="SVFUtil_8cpp_source.html">SVFUtil.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;{</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    <span class="keywordflow">if</span>(val==<span class="keyword">nullptr</span>)  <span class="keywordflow">return</span> <span class="stringliteral">&quot;{ empty val }&quot;</span>;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;{ &quot;</span>;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = SVFUtil::dyn_cast&lt;Instruction&gt;(val))</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;AllocaInst&gt;(inst))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keywordflow">for</span> (llvm::DbgInfoIntrinsic *DII : FindDbgAddrUses(const_cast&lt;Instruction*&gt;(inst)))</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            {</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;                <span class="keywordflow">if</span> (llvm::DbgDeclareInst *DDI = SVFUtil::dyn_cast&lt;llvm::DbgDeclareInst&gt;(DII))</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;                {</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;                    llvm::DIVariable *DIVar = SVFUtil::cast&lt;llvm::DIVariable&gt;(DDI-&gt;getVariable());</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;                    rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; DIVar-&gt;getLine() &lt;&lt; <span class="stringliteral">&quot; fl: &quot;</span> &lt;&lt; DIVar-&gt;getFilename();</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;                    <span class="keywordflow">break</span>;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;                }</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            }</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        }</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">MDNode</a> *N = inst-&gt;getMetadata(<span class="stringliteral">&quot;dbg&quot;</span>))   <span class="comment">// Here I is an LLVM instruction</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        {</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            llvm::DILocation* Loc = SVFUtil::cast&lt;llvm::DILocation&gt;(N);                   <span class="comment">// DILocation is in DebugInfo.h</span></div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;            <span class="keywordtype">unsigned</span> Line = Loc-&gt;getLine();</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keywordtype">unsigned</span> Column = Loc-&gt;getColumn();</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> File = Loc-&gt;getFilename().str();</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            <span class="comment">//StringRef Dir = Loc.getDirectory();</span></div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;            <span class="keywordflow">if</span>(File.empty() || Line == 0)</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            {</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                <span class="keyword">auto</span> inlineLoc = Loc-&gt;getInlinedAt();</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;                <span class="keywordflow">if</span>(inlineLoc)</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;                    Line = inlineLoc-&gt;getLine();</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;                    Column = inlineLoc-&gt;getColumn();</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;                    File = inlineLoc-&gt;getFilename().str();</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;                }</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;            }</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; Line &lt;&lt; <span class="stringliteral">&quot;  cl: &quot;</span> &lt;&lt; Column &lt;&lt; <span class="stringliteral">&quot;  fl: &quot;</span> &lt;&lt; File;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        }</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    }</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">Argument</a>* argument = SVFUtil::dyn_cast&lt;Argument&gt;(val))</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 1)</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;st&quot;</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 2)</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;nd&quot;</span>;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 3)</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;rd&quot;</span>;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;th&quot;</span>;</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; arg &quot;</span> &lt;&lt; argument-&gt;getParent()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span></div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;               &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a>(argument-&gt;getParent());</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    }</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a>* gvar = SVFUtil::dyn_cast&lt;GlobalVariable&gt;(val))</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    {</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Glob &quot;</span>;</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;        <a class="code" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">NamedMDNode</a>* CU_Nodes = gvar-&gt;getParent()-&gt;getNamedMetadata(<span class="stringliteral">&quot;llvm.dbg.cu&quot;</span>);</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;        <span class="keywordflow">if</span>(CU_Nodes)</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        {</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0, e = CU_Nodes-&gt;getNumOperands(); i != e; ++i)</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;            {</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;                llvm::DICompileUnit *CUNode = SVFUtil::cast&lt;llvm::DICompileUnit&gt;(CU_Nodes-&gt;getOperand(i));</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;                <span class="keywordflow">for</span> (llvm::DIGlobalVariableExpression *GV : CUNode-&gt;getGlobalVariables())</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;                {</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;                    llvm::DIGlobalVariable * DGV = GV-&gt;getVariable();</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;                    <span class="keywordflow">if</span>(DGV-&gt;getName() == gvar-&gt;getName())</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;                    {</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;                        rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; DGV-&gt;getLine() &lt;&lt; <span class="stringliteral">&quot; fl: &quot;</span> &lt;&lt; DGV-&gt;getFilename();</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;                    }</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;                }</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            }</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        }</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    }</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* func = SVFUtil::dyn_cast&lt;Function&gt;(val))</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    {</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a>(func);</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* bb = SVFUtil::dyn_cast&lt;BasicBlock&gt;(val))</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;basic block: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(bb-&gt;getFirstNonPHI());</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;    }</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVFUtil::isConstantData</a>(val))</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    {</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;constant data&quot;</span>;</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    }</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Can only get source location for instruction, argument, global var, function or constant data.&quot;</span>;</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; }&quot;</span>;</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    <span class="keywordflow">if</span>(rawstr.str()==<span class="stringliteral">&quot;{  }&quot;</span>)</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
+<div class="fragment"><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;{</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    <span class="keywordflow">if</span>(val==<span class="keyword">nullptr</span>)  <span class="keywordflow">return</span> <span class="stringliteral">&quot;{ empty val }&quot;</span>;</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;{ &quot;</span>;</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = SVFUtil::dyn_cast&lt;Instruction&gt;(val))</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;    {</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;AllocaInst&gt;(inst))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">llvm::DbgInfoIntrinsic</a> *DII : FindDbgAddrUses(const_cast&lt;Instruction*&gt;(inst)))</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            {</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">llvm::DbgDeclareInst</a> *DDI = SVFUtil::dyn_cast&lt;llvm::DbgDeclareInst&gt;(DII))</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;                {</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;                    llvm::DIVariable *DIVar = SVFUtil::cast&lt;llvm::DIVariable&gt;(DDI-&gt;getVariable());</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;                    rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; DIVar-&gt;getLine() &lt;&lt; <span class="stringliteral">&quot; fl: &quot;</span> &lt;&lt; DIVar-&gt;getFilename();</div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;                    <span class="keywordflow">break</span>;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;                }</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            }</div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        }</div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">MDNode</a> *N = inst-&gt;getMetadata(<span class="stringliteral">&quot;dbg&quot;</span>))   <span class="comment">// Here I is an LLVM instruction</span></div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;        {</div><div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;            llvm::DILocation* Loc = SVFUtil::cast&lt;llvm::DILocation&gt;(N);                   <span class="comment">// DILocation is in DebugInfo.h</span></div><div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;            <span class="keywordtype">unsigned</span> Line = Loc-&gt;getLine();</div><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;            <span class="keywordtype">unsigned</span> Column = Loc-&gt;getColumn();</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;            <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> File = Loc-&gt;getFilename().str();</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            <span class="comment">//StringRef Dir = Loc.getDirectory();</span></div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;            <span class="keywordflow">if</span>(File.empty() || Line == 0)</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;            {</div><div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;                <span class="keyword">auto</span> inlineLoc = Loc-&gt;getInlinedAt();</div><div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;                <span class="keywordflow">if</span>(inlineLoc)</div><div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;                {</div><div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;                    Line = inlineLoc-&gt;getLine();</div><div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;                    Column = inlineLoc-&gt;getColumn();</div><div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;                    File = inlineLoc-&gt;getFilename().str();</div><div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;                }</div><div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;            }</div><div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; Line &lt;&lt; <span class="stringliteral">&quot;  cl: &quot;</span> &lt;&lt; Column &lt;&lt; <span class="stringliteral">&quot;  fl: &quot;</span> &lt;&lt; File;</div><div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;        }</div><div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;    }</div><div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">Argument</a>* argument = SVFUtil::dyn_cast&lt;Argument&gt;(val))</div><div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;    {</div><div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;        <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 1)</div><div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;st&quot;</span>;</div><div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 2)</div><div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;nd&quot;</span>;</div><div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (argument-&gt;getArgNo()%10 == 3)</div><div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;rd&quot;</span>;</div><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;            rawstr &lt;&lt; argument-&gt;getArgNo() &lt;&lt; <span class="stringliteral">&quot;th&quot;</span>;</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; arg &quot;</span> &lt;&lt; argument-&gt;getParent()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span></div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;               &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a>(argument-&gt;getParent());</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;    }</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">GlobalVariable</a>* gvar = SVFUtil::dyn_cast&lt;GlobalVariable&gt;(val))</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    {</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Glob &quot;</span>;</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;        <a class="code" href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">NamedMDNode</a>* CU_Nodes = gvar-&gt;getParent()-&gt;getNamedMetadata(<span class="stringliteral">&quot;llvm.dbg.cu&quot;</span>);</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;        <span class="keywordflow">if</span>(CU_Nodes)</div><div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;        {</div><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">unsigned</span> i = 0, e = CU_Nodes-&gt;getNumOperands(); i != e; ++i)</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;            {</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;                llvm::DICompileUnit *CUNode = SVFUtil::cast&lt;llvm::DICompileUnit&gt;(CU_Nodes-&gt;getOperand(i));</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;                <span class="keywordflow">for</span> (llvm::DIGlobalVariableExpression *GV : CUNode-&gt;getGlobalVariables())</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;                {</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;                    llvm::DIGlobalVariable * DGV = GV-&gt;getVariable();</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;</div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;                    <span class="keywordflow">if</span>(DGV-&gt;getName() == gvar-&gt;getName())</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;                    {</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;                        rawstr &lt;&lt; <span class="stringliteral">&quot;ln: &quot;</span> &lt;&lt; DGV-&gt;getLine() &lt;&lt; <span class="stringliteral">&quot; fl: &quot;</span> &lt;&lt; DGV-&gt;getFilename();</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;                    }</div><div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;</div><div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;                }</div><div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;            }</div><div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;        }</div><div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;    }</div><div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* func = SVFUtil::dyn_cast&lt;Function&gt;(val))</div><div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;    {</div><div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;        rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">getSourceLocOfFunction</a>(func);</div><div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;    }</div><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>* bb = SVFUtil::dyn_cast&lt;BasicBlock&gt;(val))</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;    {</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;basic block: &quot;</span> &lt;&lt; bb-&gt;getName() &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">getSourceLoc</a>(bb-&gt;getFirstNonPHI());</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;    }</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVFUtil::isConstantData</a>(val))</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    {</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;constant data&quot;</span>;</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;    }</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    {</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;Can only get source location for instruction, argument, global var, function or constant data.&quot;</span>;</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    }</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; }&quot;</span>;</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    <span class="keywordflow">if</span>(rawstr.str()==<span class="stringliteral">&quot;{  }&quot;</span>)</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a23bf614858f168b6ad76e0233cec9965"><div class="ttname"><a href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">SVF::BasicBlock</a></div><div class="ttdeci">llvm::BasicBlock BasicBlock</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00071">BasicTypes.h:71</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a09f5fa3bc44bf53612a085e3a611cc4e"><div class="ttname"><a href="namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e">SVF::GlobalVariable</a></div><div class="ttdeci">llvm::GlobalVariable GlobalVariable</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00267">SVFUtil.cpp:267</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a86c1c8bdfc1075c07c631525555194d2"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">SVF::SVFUtil::getSourceLocOfFunction</a></div><div class="ttdeci">std::string getSourceLocOfFunction(const Function *F)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00248">SVFUtil.cpp:248</a></div></div>
@@ -1645,7 +1645,9 @@ template&lt;class X , class Y &gt; </div>
 <div class="ttc" id="namespaceSVF_html_a58cdfbc4160cae08745b67844ac29801"><div class="ttname"><a href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF::Argument</a></div><div class="ttdeci">llvm::Argument Argument</div><div class="ttdoc">LLVM Aliases and constants. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00093">BasicTypes.h:93</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad3d3cec1813411f039211c86236f7adb"><div class="ttname"><a href="namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb">SVF::MDNode</a></div><div class="ttdeci">llvm::MDNode MDNode</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a9e85d445e8b7b205134acd3874bba388"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil::isConstantData</a></div><div class="ttdeci">bool isConstantData(const Value *val)</div><div class="ttdoc">Return true if the value refers to constant data, e.g., i32 0. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00451">SVFUtil.h:451</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a98310cccad527f8151328f2c87b29563"><div class="ttname"><a href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">SVF::DbgInfoIntrinsic</a></div><div class="ttdeci">llvm::DbgInfoIntrinsic DbgInfoIntrinsic</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a3011dbac9102f044ad5f36a4ad3d4a71"><div class="ttname"><a href="namespaceSVF.html#a3011dbac9102f044ad5f36a4ad3d4a71">SVF::NamedMDNode</a></div><div class="ttdeci">llvm::NamedMDNode NamedMDNode</div><div class="ttdoc">LLVM metadata. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00099">BasicTypes.h:99</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a52a9bff350f21692eae3b519030c314d"><div class="ttname"><a href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">SVF::DbgDeclareInst</a></div><div class="ttdeci">llvm::DbgDeclareInst DbgDeclareInst</div><div class="ttdef"><b>Definition:</b> <a href="SVF-FE_2BasicTypes_8h_source.html#l00102">BasicTypes.h:102</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><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/namespacemembers.html

@@ -79,6 +79,21 @@ $(function() {
 <li>AllocaInst
 : <a class="el" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF</a>
 </li>
+<li>AnyMemCpyInst
+: <a class="el" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">SVF</a>
+</li>
+<li>AnyMemIntrinsic
+: <a class="el" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">SVF</a>
+</li>
+<li>AnyMemMoveInst
+: <a class="el" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">SVF</a>
+</li>
+<li>AnyMemSetInst
+: <a class="el" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">SVF</a>
+</li>
+<li>AnyMemTransferInst
+: <a class="el" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">SVF</a>
+</li>
 <li>ArgInDeadFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449">SVF::LLVMUtil</a>
 </li>
@@ -91,9 +106,27 @@ $(function() {
 <li>ArrayType
 : <a class="el" href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF</a>
 </li>
+<li>AssumeInst
+: <a class="el" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">SVF</a>
+</li>
 <li>AtomicCmpXchgInst
 : <a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF</a>
 </li>
+<li>AtomicMemCpyInst
+: <a class="el" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">SVF</a>
+</li>
+<li>AtomicMemIntrinsic
+: <a class="el" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">SVF</a>
+</li>
+<li>AtomicMemMoveInst
+: <a class="el" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">SVF</a>
+</li>
+<li>AtomicMemSetInst
+: <a class="el" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">SVF</a>
+</li>
+<li>AtomicMemTransferInst
+: <a class="el" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">SVF</a>
+</li>
 <li>AtomicRMWInst
 : <a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_b.html

@@ -67,6 +67,9 @@ $(function() {
 <li>BinaryOperator
 : <a class="el" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF</a>
 </li>
+<li>BinaryOpIntrinsic
+: <a class="el" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">SVF</a>
+</li>
 <li>BitCastInst
 : <a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF</a>
 </li>
@@ -77,10 +80,10 @@ $(function() {
 : <a class="el" href="namespaceSVF.html#ac9a05dd7ab16e998625037aa242cd30f">SVF</a>
 </li>
 <li>bridge_gep_begin()
-: <a class="el" href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">llvm</a>
+: <a class="el" href="namespacellvm.html#abbab4f4ed7ffae3e7e715990a0b416fe">llvm</a>
 </li>
 <li>bridge_gep_end()
-: <a class="el" href="namespacellvm.html#a7cfc92a12082d69711c97bb3d1b99c48">llvm</a>
+: <a class="el" href="namespacellvm.html#af784337dc495897cf05f28fd95f07477">llvm</a>
 </li>
 <li>bridge_gep_iterator
 : <a class="el" href="namespacellvm.html#af77a7ec045719d1f075cf6c591902522">llvm</a>

package/SVF-doxygen/html/html/namespacemembers_c.html

@@ -136,6 +136,12 @@ $(function() {
 <li>ConstantStruct
 : <a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF</a>
 </li>
+<li>ConstrainedFPCmpIntrinsic
+: <a class="el" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">SVF</a>
+</li>
+<li>ConstrainedFPIntrinsic
+: <a class="el" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">SVF</a>
+</li>
 <li>CopySVFGNode
 : <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_d.html

@@ -64,6 +64,24 @@ $(function() {
 <li>DataLayout
 : <a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF</a>
 </li>
+<li>DbgAddrIntrinsic
+: <a class="el" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">SVF</a>
+</li>
+<li>DbgDeclareInst
+: <a class="el" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">SVF</a>
+</li>
+<li>DbgInfoIntrinsic
+: <a class="el" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">SVF</a>
+</li>
+<li>DbgLabelInst
+: <a class="el" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">SVF</a>
+</li>
+<li>DbgValueInst
+: <a class="el" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">SVF</a>
+</li>
+<li>DbgVariableIntrinsic
+: <a class="el" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">SVF</a>
+</li>
 <li>DebugInfoFinder
 : <a class="el" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF</a>
 </li>
@@ -128,7 +146,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#abd0a9ee845a455f9354d24a8b84a0bb3">SVF::SVFUtil</a>
 </li>
 <li>dumpSet()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aeb570e9267fd7b189bd1bc877896d7ab">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a04aa23b4982662d98c56af3e8ba16cb1">SVF::SVFUtil</a>
 </li>
 <li>dumpSparseSet()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab30a35713852a0a525c52ae5dd463442">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_g.html

@@ -61,6 +61,18 @@ $(function() {
 <div class="textblock">Here is a list of all namespace members with links to the namespace documentation for each member:</div>
 
 <h3><a id="index_g"></a>- g -</h3><ul>
+<li>GCProjectionInst
+: <a class="el" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">SVF</a>
+</li>
+<li>GCRelocateInst
+: <a class="el" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">SVF</a>
+</li>
+<li>GCResultInst
+: <a class="el" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">SVF</a>
+</li>
+<li>GCStatepointInst
+: <a class="el" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">SVF</a>
+</li>
 <li>GenericCallGraphEdgeTy
 : <a class="el" href="namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca">SVF</a>
 </li>
@@ -221,7 +233,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870">SVF::LLVMUtil</a>
 </li>
 <li>getRefTypeOfHeapAllocOrStatic()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a3e94ca73410d21c1a852123e44961ff9">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7">SVF::LLVMUtil</a>
 </li>
 <li>getSourceLoc()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil</a>
@@ -230,10 +242,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86c1c8bdfc1075c07c631525555194d2">SVF::SVFUtil</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5">SVF::SVFUtil</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a">SVF::SVFUtil</a>
 </li>
 <li>getThunkTarget()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#ac9c6d4315e7a1a826add7ed9cf924553">SVF::cppUtil</a>

package/SVF-doxygen/html/html/namespacemembers_i.html

@@ -76,6 +76,15 @@ $(function() {
 <li>inst_iterator
 : <a class="el" href="namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b">SVF</a>
 </li>
+<li>InstrProfIncrementInst
+: <a class="el" href="namespaceSVF.html#aebc2e2c17087bc2f00fd707f56c40795">SVF</a>
+</li>
+<li>InstrProfIncrementInstStep
+: <a class="el" href="namespaceSVF.html#acf50d678027c80ae12071cddf4bc1683">SVF</a>
+</li>
+<li>InstrProfValueProfileInst
+: <a class="el" href="namespaceSVF.html#a5510b21608b9780bafe8da04032c52db">SVF</a>
+</li>
 <li>Instruction
 : <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF</a>
 </li>
@@ -88,6 +97,9 @@ $(function() {
 <li>IntraPHISVFGNode
 : <a class="el" href="namespaceSVF.html#ad772e1586e369943f37c22641e93e941">SVF</a>
 </li>
+<li>IntrinsicInst
+: <a class="el" href="namespaceSVF.html#aeafba56771d23572128b21d784ff28a6">SVF</a>
+</li>
 <li>IntToPtrInst
 : <a class="el" href="namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb">SVF</a>
 </li>
@@ -206,7 +218,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794">SVF::LLVMUtil</a>
 </li>
 <li>isProgEntryFunction()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
@@ -221,7 +233,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be">SVF::LLVMUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -242,10 +254,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
 </li>
 <li>isThreadExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aae025d6727ef34fbeaa7ad48a4dabdcd">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/namespacemembers_m.html

@@ -73,15 +73,36 @@ $(function() {
 <li>MDString
 : <a class="el" href="namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4">SVF</a>
 </li>
+<li>MemCpyInlineInst
+: <a class="el" href="namespaceSVF.html#ac43dd719ccad81d77e6773b4d957e52a">SVF</a>
+</li>
+<li>MemCpyInst
+: <a class="el" href="namespaceSVF.html#a7b1ab6ca15d368bd378d4123c9f75451">SVF</a>
+</li>
+<li>MemIntrinsic
+: <a class="el" href="namespaceSVF.html#a062e5cbf987400704aff9209ac4507d1">SVF</a>
+</li>
+<li>MemMoveInst
+: <a class="el" href="namespaceSVF.html#a3c102dae4e7eb1cd6604ed9944b43e97">SVF</a>
+</li>
 <li>MemoryLocation
 : <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">SVF</a>
 </li>
+<li>MemSetInst
+: <a class="el" href="namespaceSVF.html#a3aeeba6da229f0a73fd306c9f0063ae7">SVF</a>
+</li>
+<li>MemTransferInst
+: <a class="el" href="namespaceSVF.html#a792b184a7ef4ea203fdf644f5608f838">SVF</a>
+</li>
 <li>mergePtsOccMaps()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a36c91f952a69875c33d4bd0b05a27ff2">SVF::SVFUtil</a>
 </li>
 <li>MetadataAsValue
 : <a class="el" href="namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b">SVF</a>
 </li>
+<li>MinMaxIntrinsic
+: <a class="el" href="namespaceSVF.html#a8d8a3708b1bed772fe4ad50f7ba544bf">SVF</a>
+</li>
 <li>Mod
 : <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844aea8604a04fd5c658e0ca8b9177316ba0">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_n.html

@@ -67,6 +67,9 @@ $(function() {
 <li>NoAlias
 : <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF</a>
 </li>
+<li>NoAliasScopeDeclInst
+: <a class="el" href="namespaceSVF.html#a2f7d8bb0a9f60fe855dd82e7b1a6a090">SVF</a>
+</li>
 <li>NodeBS
 : <a class="el" href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_p.html

@@ -97,6 +97,9 @@ $(function() {
 <li>processArguments()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil</a>
 </li>
+<li>PseudoProbeInst
+: <a class="el" href="namespaceSVF.html#aa1e6a12c2189520f5f92bd466f51dcde">SVF</a>
+</li>
 <li>ptsToNodeBS()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_s.html

@@ -67,6 +67,9 @@ $(function() {
 <li>s64_t
 : <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">SVF</a>
 </li>
+<li>SaturatingInst
+: <a class="el" href="namespaceSVF.html#ad1dff7fa24ef579c1392a3cd4712b1ee">SVF</a>
+</li>
 <li>ScalarEvolution
 : <a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type.html

@@ -76,15 +76,48 @@ $(function() {
 <li>AllocaInst
 : <a class="el" href="namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83">SVF</a>
 </li>
+<li>AnyMemCpyInst
+: <a class="el" href="namespaceSVF.html#adbb4d9eeed7e5a08892cfdf71caba1d8">SVF</a>
+</li>
+<li>AnyMemIntrinsic
+: <a class="el" href="namespaceSVF.html#a11c647398b2a931990d43b28462d421e">SVF</a>
+</li>
+<li>AnyMemMoveInst
+: <a class="el" href="namespaceSVF.html#aec83b8f2ca21f98734188f8db3aa99aa">SVF</a>
+</li>
+<li>AnyMemSetInst
+: <a class="el" href="namespaceSVF.html#af805291f579df47e55ef17f4bc966894">SVF</a>
+</li>
+<li>AnyMemTransferInst
+: <a class="el" href="namespaceSVF.html#a232f8b3ca0d5f43d2d8729c254685768">SVF</a>
+</li>
 <li>Argument
 : <a class="el" href="namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801">SVF</a>
 </li>
 <li>ArrayType
 : <a class="el" href="namespaceSVF.html#a146d286041987860388da3d8bc85cee3">SVF</a>
 </li>
+<li>AssumeInst
+: <a class="el" href="namespaceSVF.html#abd54de67b4f9f27583560e341cd68958">SVF</a>
+</li>
 <li>AtomicCmpXchgInst
 : <a class="el" href="namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49">SVF</a>
 </li>
+<li>AtomicMemCpyInst
+: <a class="el" href="namespaceSVF.html#acf966c15a74110cfa1e5fffe869187b0">SVF</a>
+</li>
+<li>AtomicMemIntrinsic
+: <a class="el" href="namespaceSVF.html#a50f4510bce9a49b48530b3da9abb542b">SVF</a>
+</li>
+<li>AtomicMemMoveInst
+: <a class="el" href="namespaceSVF.html#a88ecc1591c6e8e6671ddb5774b954aa6">SVF</a>
+</li>
+<li>AtomicMemSetInst
+: <a class="el" href="namespaceSVF.html#a16b872ede7813d24169143f091ac34a3">SVF</a>
+</li>
+<li>AtomicMemTransferInst
+: <a class="el" href="namespaceSVF.html#afb24dfe2255c30310049a9bd2a9c26b9">SVF</a>
+</li>
 <li>AtomicRMWInst
 : <a class="el" href="namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_b.html

@@ -67,6 +67,9 @@ $(function() {
 <li>BinaryOperator
 : <a class="el" href="namespaceSVF.html#aad5d26ab07a5d1314bdb8f54e0fcdb22">SVF</a>
 </li>
+<li>BinaryOpIntrinsic
+: <a class="el" href="namespaceSVF.html#aff2da2ed0d7c413dcb014141f0b750f1">SVF</a>
+</li>
 <li>BitCastInst
 : <a class="el" href="namespaceSVF.html#afc50da46a6ea7c2cf61683bbec4d7c8d">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_c.html

@@ -127,6 +127,12 @@ $(function() {
 <li>ConstantStruct
 : <a class="el" href="namespaceSVF.html#a2b28f48dde0a9a91d251e654ce1f9477">SVF</a>
 </li>
+<li>ConstrainedFPCmpIntrinsic
+: <a class="el" href="namespaceSVF.html#a01c39e0b75e02ca0823291cc0aab751f">SVF</a>
+</li>
+<li>ConstrainedFPIntrinsic
+: <a class="el" href="namespaceSVF.html#a373d9c3194e0b4d92ec12d792854eb87">SVF</a>
+</li>
 <li>CopySVFGNode
 : <a class="el" href="namespaceSVF.html#ab98f7c9e6311e649cdfd5d2f3f8e59be">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_d.html

@@ -64,6 +64,24 @@ $(function() {
 <li>DataLayout
 : <a class="el" href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF</a>
 </li>
+<li>DbgAddrIntrinsic
+: <a class="el" href="namespaceSVF.html#a97b6f3c33f30ba9b01e3ec5d91c5e6b5">SVF</a>
+</li>
+<li>DbgDeclareInst
+: <a class="el" href="namespaceSVF.html#a52a9bff350f21692eae3b519030c314d">SVF</a>
+</li>
+<li>DbgInfoIntrinsic
+: <a class="el" href="namespaceSVF.html#a98310cccad527f8151328f2c87b29563">SVF</a>
+</li>
+<li>DbgLabelInst
+: <a class="el" href="namespaceSVF.html#a32392667c0d47b88b4e1563da27be587">SVF</a>
+</li>
+<li>DbgValueInst
+: <a class="el" href="namespaceSVF.html#aa6ea2efcc92d5a96b71f37d41abb0482">SVF</a>
+</li>
+<li>DbgVariableIntrinsic
+: <a class="el" href="namespaceSVF.html#a5698b95e3f2bfb6220cca202145c79ce">SVF</a>
+</li>
 <li>DebugInfoFinder
 : <a class="el" href="namespaceSVF.html#a5ae98f122c64b0114df2e5861b341321">SVF</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_g.html

@@ -61,6 +61,18 @@ $(function() {
  
 
 <h3><a id="index_g"></a>- g -</h3><ul>
+<li>GCProjectionInst
+: <a class="el" href="namespaceSVF.html#aa567358f0c0c3a6363b41ba6d37dc90c">SVF</a>
+</li>
+<li>GCRelocateInst
+: <a class="el" href="namespaceSVF.html#ac4d0b7e1b0332ac5335cc98669a3de0a">SVF</a>
+</li>
+<li>GCResultInst
+: <a class="el" href="namespaceSVF.html#ae0b0c09f22fa87d94d7671a941851726">SVF</a>
+</li>
+<li>GCStatepointInst
+: <a class="el" href="namespaceSVF.html#ac2f24d976e62d802aa1769924ff38bf2">SVF</a>
+</li>
 <li>GenericCallGraphEdgeTy
 : <a class="el" href="namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca">SVF</a>
 </li>