svf-tools 1.0.528 → 1.0.531

package/SVF-doxygen/html/html/classSVF_1_1TCT.html

@@ -198,7 +198,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a71249dc399055790d86dcba6d9dd3021"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314">Loop</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TCT.html#a71249dc399055790d86dcba6d9dd3021">getLoop</a> (const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *bb)</td></tr>
 <tr class="memdesc:a71249dc399055790d86dcba6d9dd3021"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get loop for fork/join site.  <a href="#a71249dc399055790d86dcba6d9dd3021">More...</a><br /></td></tr>
 <tr class="separator:a71249dc399055790d86dcba6d9dd3021"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac66b3a193240c17c3f06437442b2d8bf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">ScalarEvolution</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf">getSE</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
+<tr class="memitem:ac66b3a193240c17c3f06437442b2d8bf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf">getSE</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst)</td></tr>
 <tr class="memdesc:ac66b3a193240c17c3f06437442b2d8bf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get SE for function.  <a href="#ac66b3a193240c17c3f06437442b2d8bf">More...</a><br /></td></tr>
 <tr class="separator:ac66b3a193240c17c3f06437442b2d8bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a97c3081d0648a8d483b07f23bbd1b6bf"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf">getNextInsts</a> (const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst, <a class="el" href="classSVF_1_1TCT.html#a13d01a1747d8ee1521596aeb36bdb655">InstVec</a> &amp;instSet)</td></tr>
@@ -1801,7 +1801,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="SVF-FE_2BasicTypes_8h.html#a14e646200d8836461877804ee4a203d1">ScalarEvolution</a> * TCT::getSE </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42">ScalarEvolution</a> * TCT::getSE </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *&#160;</td>
           <td class="paramname"><em>inst</em></td><td>)</td>

package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html

@@ -166,9 +166,10 @@ Additional Inherited Members</h2></td></tr>
 <p>Build thread-aware callgraph. </p>
 
 <p class="definition">Definition at line <a class="el" href="CallGraphBuilder_8cpp_source.html#l00069">69</a> of file <a class="el" href="CallGraphBuilder_8cpp_source.html">CallGraphBuilder.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;{</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">buildCallGraph</a>(svfModule);</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>* cg = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">dyn_cast</a>&lt;<a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>&gt;(<a class="code" href="classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6">callgraph</a>);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    assert(cg &amp;&amp; <span class="stringliteral">&quot;not a thread callgraph?&quot;</span>);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="classSVF_1_1ThreadAPI.html">ThreadAPI</a>* tdAPI = <a class="code" href="classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53">ThreadAPI::getThreadAPI</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFModule.html#ab86e221a93bec67a2ecb7cb53315f569">SVFModule::llvm_const_iterator</a> fi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">llvmFunBegin</a>(), efi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">llvmFunEnd</a>(); fi != efi; ++fi)</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun = *fi;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">const_inst_iterator</a> II = inst_begin(*fun), E = inst_end(*fun); II != E; ++II)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = &amp;*II;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a9da276dca5092d18f4f22d32e5ab6cdf">isTDFork</a>(inst))</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">addForksite</a>(cs);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* forkee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&gt;(tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456">getForkedFun</a>(inst));</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                <span class="keywordflow">if</span> (forkee)</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">addDirectForkEdge</a>(cs);</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                }</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                <span class="comment">// indirect call to the start routine function</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">addThreadForkEdgeSetMap</a>(cs,<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">isHareParFor</a>(inst))</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">addParForSite</a>(cs);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* taskFunc = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&gt;(tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">getTaskFuncAtHareParForSite</a>(inst));</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                <span class="keywordflow">if</span> (taskFunc)</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;                {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">addDirectParForEdge</a>(cs);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                }</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                <span class="comment">// indirect call to the start routine function</span></div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">addHareParForEdgeSetMap</a>(cs,<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                }</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            }</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        }</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="comment">// record join sites</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFModule.html#ab86e221a93bec67a2ecb7cb53315f569">SVFModule::llvm_const_iterator</a> fi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">llvmFunBegin</a>(), efi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">llvmFunEnd</a>(); fi != efi; ++fi)</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    {</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun = *fi;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">const_inst_iterator</a> II = inst_begin(*fun), E = inst_end(*fun); II != E; ++II)</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        {</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = &amp;*II;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">isTDJoin</a>(inst))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">addJoinsite</a>(cs);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            }</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="keywordflow">return</span> cg;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFModule_html_af38d0f831967d6d8391a4c84e58d6519"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule::llvmFunEnd</a></div><div class="ttdeci">llvm_iterator llvmFunEnd()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00138">SVFModule.h:138</a></div></div>
+<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;{</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">buildCallGraph</a>(svfModule);</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>* cg = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">dyn_cast</a>&lt;<a class="code" href="classSVF_1_1ThreadCallGraph.html">ThreadCallGraph</a>&gt;(<a class="code" href="classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6">callgraph</a>);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    assert(cg &amp;&amp; <span class="stringliteral">&quot;not a thread callgraph?&quot;</span>);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="classSVF_1_1ThreadAPI.html">ThreadAPI</a>* tdAPI = <a class="code" href="classSVF_1_1ThreadAPI.html#a6852ff1eedc1117e95e45e4a90c80d53">ThreadAPI::getThreadAPI</a>();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFModule.html#ab86e221a93bec67a2ecb7cb53315f569">SVFModule::llvm_const_iterator</a> fi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">llvmFunBegin</a>(), efi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">llvmFunEnd</a>(); fi != efi; ++fi)</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun = *fi;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a> II = inst_begin(*fun), E = inst_end(*fun); II != E; ++II)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = &amp;*II;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;            <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a9da276dca5092d18f4f22d32e5ab6cdf">isTDFork</a>(inst))</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">addForksite</a>(cs);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* forkee = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&gt;(tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a7ddc0c71aeae315af21972a4905b3456">getForkedFun</a>(inst));</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                <span class="keywordflow">if</span> (forkee)</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">addDirectForkEdge</a>(cs);</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                }</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;                <span class="comment">// indirect call to the start routine function</span></div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">addThreadForkEdgeSetMap</a>(cs,<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;            }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">isHareParFor</a>(inst))</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">addParForSite</a>(cs);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* taskFunc = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVFUtil::dyn_cast</a>&lt;<a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&gt;(tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">getTaskFuncAtHareParForSite</a>(inst));</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                <span class="keywordflow">if</span> (taskFunc)</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;                {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">addDirectParForEdge</a>(cs);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                }</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;                <span class="comment">// indirect call to the start routine function</span></div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;                <span class="keywordflow">else</span></div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;                    cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">addHareParForEdgeSetMap</a>(cs,<span class="keyword">nullptr</span>);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;                }</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            }</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        }</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="comment">// record join sites</span></div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1SVFModule.html#ab86e221a93bec67a2ecb7cb53315f569">SVFModule::llvm_const_iterator</a> fi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">llvmFunBegin</a>(), efi = svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">llvmFunEnd</a>(); fi != efi; ++fi)</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    {</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a> *fun = *fi;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#a032e8478a7b6a8bb0b7755c98a7bce91">const_inst_iterator</a> II = inst_begin(*fun), E = inst_end(*fun); II != E; ++II)</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        {</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a> *inst = &amp;*II;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">if</span> (tdAPI-&gt;<a class="code" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">isTDJoin</a>(inst))</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cs = <a class="code" href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">icfg</a>-&gt;<a class="code" href="classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f">getCallICFGNode</a>(inst);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                cg-&gt;<a class="code" href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">addJoinsite</a>(cs);</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            }</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    <span class="keywordflow">return</span> cg;</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFModule_html_af38d0f831967d6d8391a4c84e58d6519"><div class="ttname"><a href="classSVF_1_1SVFModule.html#af38d0f831967d6d8391a4c84e58d6519">SVF::SVFModule::llvmFunEnd</a></div><div class="ttdeci">llvm_iterator llvmFunEnd()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00138">SVFModule.h:138</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_1ThreadCallGraph_html_a795d504a098634b1725af272b37e46e7"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph::addJoinsite</a></div><div class="ttdeci">bool addJoinsite(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00336">ThreadCallGraph.h:336</a></div></div>
+<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="classSVF_1_1ThreadCallGraph_html_a563ebb1ece0adb4bafe5e14b2a024a91"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">SVF::ThreadCallGraph::addForksite</a></div><div class="ttdeci">bool addForksite(const CallICFGNode *cs)</div><div class="ttdoc">Add fork sites which directly or indirectly create a thread. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00331">ThreadCallGraph.h:331</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_a648542aa5c4b487ad5aa12a39d15e951"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a648542aa5c4b487ad5aa12a39d15e951">SVF::SVFModule::llvmFunBegin</a></div><div class="ttdeci">llvm_iterator llvmFunBegin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00130">SVFModule.h:130</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_ab20211a66583387f0da4769bee65e300"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph::addThreadForkEdgeSetMap</a></div><div class="ttdeci">void addThreadForkEdgeSetMap(const CallICFGNode *cs, ThreadForkEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map </div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00367">ThreadCallGraph.h:367</a></div></div>
@@ -186,7 +187,6 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ThreadCallGraph_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00160">ThreadCallGraph.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadAPI_html_a86d75b7e3570337e484397e60f97d88e"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI::isHareParFor</a></div><div class="ttdeci">bool isHareParFor(const Instruction *inst) const</div><div class="ttdoc">Return true if this call proceeds a hare_parallel_for. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00141">ThreadAPI.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1CallGraphBuilder_html_aa64a27e99434908a203e566074c66ebc"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">SVF::CallGraphBuilder::buildCallGraph</a></div><div class="ttdeci">PTACallGraph * buildCallGraph(SVFModule *svfModule)</div><div class="ttdoc">Build normal callgraph. </div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8cpp_source.html#l00038">CallGraphBuilder.cpp:38</a></div></div>
-<div class="ttc" id="SVF-FE_2BasicTypes_8h_html_a9a4df49ba7ca3ad32d65e5ecf2dad707"><div class="ttname"><a href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">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#l00114">BasicTypes.h:114</a></div></div>
 <div class="ttc" id="classSVF_1_1ThreadAPI_html_a8cc5f9ff6039392ce1471cd830973c44"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI::isTDJoin</a></div><div class="ttdeci">bool isTDJoin(const Instruction *inst) const</div><div class="ttdoc">Return true if this call wait for a worker thread. </div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00223">ThreadAPI.h:223</a></div></div>
 <div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00363">ICFGNode.h:363</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html

@@ -102,7 +102,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a567f818fa7b29142b18cb39e5c063a4e"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">getModRefInfo</a> (const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *callInst)</td></tr>
 <tr class="memdesc:a567f818fa7b29142b18cb39e5c063a4e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Interface of mod-ref analysis to determine whether a <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> instruction can mod or ref any memory location.  <a href="#a567f818fa7b29142b18cb39e5c063a4e">More...</a><br /></td></tr>
 <tr class="separator:a567f818fa7b29142b18cb39e5c063a4e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6d86f4ef6ad2f14c2dbf57b759e2950f"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">getModRefInfo</a> (const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *callInst, const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">MemoryLocation</a> &amp;Loc)</td></tr>
+<tr class="memitem:a6d86f4ef6ad2f14c2dbf57b759e2950f"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">getModRefInfo</a> (const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *callInst, const <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a> &amp;Loc)</td></tr>
 <tr class="memdesc:a6d86f4ef6ad2f14c2dbf57b759e2950f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Interface of mod-ref analysis to determine whether a <a class="el" href="classSVF_1_1CallSite.html">CallSite</a> instruction can mod or ref a specific memory location, given Location infos.  <a href="#a6d86f4ef6ad2f14c2dbf57b759e2950f">More...</a><br /></td></tr>
 <tr class="separator:a6d86f4ef6ad2f14c2dbf57b759e2950f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a81277c93b6a89c01a7a1f476bc3d744d"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844">ModRefInfo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPAPass.html#a81277c93b6a89c01a7a1f476bc3d744d">getModRefInfo</a> (const <a class="el" href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">CallInst</a> *callInst, const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *V)</td></tr>
@@ -387,7 +387,7 @@ Private Attributes</h2></td></tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype">const <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">MemoryLocation</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403">MemoryLocation</a> &amp;&#160;</td>
           <td class="paramname"><em>Loc</em>&#160;</td>
         </tr>
         <tr>

package/SVF-doxygen/html/html/globals_a.html

@@ -88,15 +88,6 @@ $(function() {
 <li>aliasQuery()
 : <a class="el" href="svf-ex_8cpp.html#a5fe2142b121150867c08ee9bd8f65940">svf-ex.cpp</a>
 </li>
-<li>AllocaInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5e06fe1b4b25113ac322dbeda71055dc">BasicTypes.h</a>
-</li>
-<li>AtomicCmpXchgInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#abafbd655050c8c70dc8947997c369294">BasicTypes.h</a>
-</li>
-<li>AtomicRMWInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab3bd63fdab8cc747227a32f88bd10370">BasicTypes.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_b.html

@@ -65,24 +65,9 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a1a175e87536301df98c805ac0636ad7c">cJSON.cpp</a>
 </li>
-<li>BinaryOperator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab58e9b290ff1defcedad101c3da8d8fd">BasicTypes.h</a>
-</li>
-<li>BitCastInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab8cddf2ff868c0a9ae99483640c9ecef">BasicTypes.h</a>
-</li>
-<li>BlockAddress
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd">BasicTypes.h</a>
-</li>
 <li>boolean
-: <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
-</li>
-<li>BranchInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#adeac5db1db4ed03898d30f205fd02264">BasicTypes.h</a>
-</li>
-<li>bridge_gep_iterator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#af43699df9f7bdcb9565574b588e3f5ae">BasicTypes.h</a>
+: <a class="el" href="cJSON_8cpp.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a08f076c86f430b6f0e301fcf94223b38">cJSON.h</a>
 </li>
 <li>buffer
 : <a class="el" href="cJSON_8h.html#a503753140aa27b00f99a3501280b2746">cJSON.h</a>
@@ -92,8 +77,8 @@ $(function() {
 : <a class="el" href="cJSON_8cpp.html#ac538057ef78677344d222b763251af5e">cJSON.cpp</a>
 </li>
 <li>buffer_length
-: <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a7beaf9b4ef5e4c7254cc3298a3424354">cJSON.cpp</a>
 </li>
 <li>buffer_skip_whitespace()
 : <a class="el" href="cJSON_8cpp.html#a029a2c33fa2744a7cc5cf061f28d2cfc">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_c.html

@@ -61,9 +61,6 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 
 <h3><a id="index_c"></a>- c -</h3><ul>
-<li>CallBrInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">BasicTypes.h</a>
-</li>
 <li>can_access_at_index
 : <a class="el" href="cJSON_8cpp.html#ae210aa01f1afe7510658c392f0f6e128">cJSON.cpp</a>
 </li>
@@ -82,9 +79,6 @@ $(function() {
 <li>cast_away_const()
 : <a class="el" href="cJSON_8cpp.html#a48223c36735c39cfc4711b0659f966c8">cJSON.cpp</a>
 </li>
-<li>CastInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">BasicTypes.h</a>
-</li>
 <li>checkArgTypes()
 : <a class="el" href="CHG_8cpp.html#a35a17be62be820e4de41ba53a7f7a905">CHG.cpp</a>
 </li>
@@ -107,7 +101,7 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a79203c3ba406ffd5736627cc1e082e38">cJSON.h</a>
 </li>
 <li>cJSON_Delete()
-: <a class="el" href="cJSON_8cpp.html#afde5c619f31577b3d821b56b23953c85">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#a38f5e694b5c8025da97c64a1323624b6">cJSON.cpp</a>
 </li>
 <li>cJSON_DetachItemViaPointer()
 : <a class="el" href="cJSON_8cpp.html#a3ac2a63423914bb3e443d578dd07b998">cJSON.cpp</a>
@@ -145,8 +139,8 @@ $(function() {
 <li>cJSON_ParseWithLengthOpts()
 : <a class="el" href="cJSON_8cpp.html#abeffdb0695e8c30e4612c8f917bfd9e1">cJSON.cpp</a>
 </li>
-<li>CJSON_PUBLIC
-: <a class="el" href="cJSON_8h.html#a70709a6f2a7e45debe4f5abe345fcb86">cJSON.h</a>
+<li>CJSON_PUBLIC()
+: <a class="el" href="cJSON_8h.html#a8172bffbb05eec3c761bf0b43484f62d">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a92b8d4d07c18d85e65c80af773a575ef">cJSON.cpp</a>
 </li>
 <li>cJSON_Raw
@@ -191,60 +185,24 @@ $(function() {
 <li>clsName
 : <a class="el" href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">CPPUtil.cpp</a>
 </li>
-<li>CmpInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">BasicTypes.h</a>
-</li>
 <li>compare_double()
 : <a class="el" href="cJSON_8cpp.html#aa7a85b63f1830e7e666e1f56872d5d3e">cJSON.cpp</a>
 </li>
-<li>const_inst_iterator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9a4df49ba7ca3ad32d65e5ecf2dad707">BasicTypes.h</a>
-</li>
-<li>const_pred_iterator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a45136b941670180e9ba248bb4e52f09f">BasicTypes.h</a>
-</li>
-<li>Constant
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aaca93e4092f0f73619d730f18b9e65de">BasicTypes.h</a>
-</li>
-<li>ConstantAggregate
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a586975ac48ba33219a901c5d9453da2c">BasicTypes.h</a>
-</li>
-<li>ConstantAggregateZero
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">BasicTypes.h</a>
-</li>
-<li>ConstantArray
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9707880a0f9b41d3375e2feb7bc5ebc5">BasicTypes.h</a>
-</li>
-<li>ConstantData
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">BasicTypes.h</a>
-</li>
-<li>ConstantDataArray
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">BasicTypes.h</a>
-</li>
-<li>ConstantDataSequential
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">BasicTypes.h</a>
-</li>
-<li>ConstantExpr
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">BasicTypes.h</a>
-</li>
-<li>ConstantStruct
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">BasicTypes.h</a>
-</li>
 <li>content
 : <a class="el" href="cJSON_8cpp.html#a7886d4c98c027896a652ad0ada741709">cJSON.cpp</a>
 </li>
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
-<li>copy
-: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
-</li>
 <li>Copy
 : <a class="el" href="CFLGrammar_8txt.html#a36f63c7a581bf6d351f835c6127a2519">CFLGrammar.txt</a>
 </li>
+<li>copy
+: <a class="el" href="cJSON_8cpp.html#a7669ee67a0563250c1efaa24d130e1ac">cJSON.cpp</a>
+</li>
 <li>count
-: <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
+: <a class="el" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#ad43c3812e6d13e0518d9f8b8f463ffcf">cJSON.cpp</a>
 </li>
 <li>create_reference()
 : <a class="el" href="cJSON_8cpp.html#ac06bbc307a6f39fe58aafbcb82fbf4b3">cJSON.cpp</a>

package/SVF-doxygen/html/html/globals_d.html

@@ -67,9 +67,6 @@ $(function() {
 <li>DAndersen
 : <a class="el" href="SVFBasicTypes_8h.html#adbfc4364261f019dc6cf33234a5177d2">SVFBasicTypes.h</a>
 </li>
-<li>DataLayout
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa81a27b9c6b2a354437417162220fb14">BasicTypes.h</a>
-</li>
 <li>DBOUT
 : <a class="el" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">SVFBasicTypes.h</a>
 </li>
@@ -91,45 +88,15 @@ $(function() {
 <li>DEBUG_TYPE
 : <a class="el" href="BreakConstantExpr_8cpp.html#ad78e062f62e0d6e453941fb4ca843e4d">BreakConstantExpr.cpp</a>
 </li>
-<li>DebugInfoFinder
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a36ec1ba901eeebe7a242f18510831788">BasicTypes.h</a>
-</li>
 <li>DFREECHECKER()
 : <a class="el" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">saber.cpp</a>
 </li>
 <li>DGENERAL
 : <a class="el" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">SVFBasicTypes.h</a>
 </li>
-<li>DIBasicType
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5f7968b31d2b29b589360067cf48e625">BasicTypes.h</a>
-</li>
-<li>DICompositeType
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a051267a17436de89e185c847afbb8db5">BasicTypes.h</a>
-</li>
-<li>DIDerivedType
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39d93c8a98813f35c91375d1d40ae953">BasicTypes.h</a>
-</li>
-<li>DINode
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a358cd7e78ebc504972b73cd5ee80fac2">BasicTypes.h</a>
-</li>
-<li>DINodeArray
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a98bb9afb9385eac16d7c78da796fd601">BasicTypes.h</a>
-</li>
 <li>DInstrument
 : <a class="el" href="SVFBasicTypes_8h.html#abf3a5def3f319733214fa5f595b39827">SVFBasicTypes.h</a>
 </li>
-<li>DISubrange
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ab0e8955a3dbfb0a836bfe64466411e4e">BasicTypes.h</a>
-</li>
-<li>DISubroutineType
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aad46bd16008ebbc81e632f4fc69b3ea9">BasicTypes.h</a>
-</li>
-<li>DIType
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8e2336cbb1db8aa093afbb3290d5ba05">BasicTypes.h</a>
-</li>
-<li>DITypeRefArray
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#abfc3b60432a782f5eb5ea73f20d34333">BasicTypes.h</a>
-</li>
 <li>DMemModel
 : <a class="el" href="SVFBasicTypes_8h.html#ad46a0423f8709692e1bb0f0fa5b1ca2f">SVFBasicTypes.h</a>
 </li>

package/SVF-doxygen/html/html/globals_e.html

@@ -86,12 +86,6 @@ $(function() {
 <li>EXTAPI_JSON_PATH
 : <a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">ExtAPI.h</a>
 </li>
-<li>ExtractElementInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#af4efbd8e6f644628b41104e855b0541b">BasicTypes.h</a>
-</li>
-<li>ExtractValueInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a41c335e8362a500085923e4742a53f57">BasicTypes.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_f.html

@@ -73,9 +73,6 @@ $(function() {
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>
-<li>FenceInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">BasicTypes.h</a>
-</li>
 <li>FILECHECKER()
 : <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
 </li>
@@ -83,8 +80,8 @@ $(function() {
 : <a class="el" href="ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411">ExeState.h</a>
 </li>
 <li>fmt
-: <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
+: <a class="el" href="cJSON_8cpp.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#aa813b2b7bde1a5a1f528cd9d9aa9ee7d">cJSON.h</a>
 </li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
@@ -93,9 +90,6 @@ $(function() {
 : <a class="el" href="cJSON_8h.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.h</a>
 , <a class="el" href="cJSON_8cpp.html#a6122748ab66fdcaed151288ac056a1d1">cJSON.cpp</a>
 </li>
-<li>FreezeInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">BasicTypes.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_g.html

@@ -70,9 +70,6 @@ $(function() {
 <li>Gep_i
 : <a class="el" href="CFLGrammar_8txt.html#a653086130f70f043218d296d00529455">CFLGrammar.txt</a>
 </li>
-<li>gep_type_iterator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a61c08909930c80e172b5580fa0cc629f">BasicTypes.h</a>
-</li>
 <li>Gepbar_0
 : <a class="el" href="CFLGrammar_8txt.html#a38750813346a2f7d4d2f74101bf1be37">CFLGrammar.txt</a>
 </li>
@@ -94,9 +91,6 @@ $(function() {
 <li>getBeforeParenthesis()
 : <a class="el" href="CPPUtil_8cpp.html#a53e57a2e4be46abf7278148150682d89">CPPUtil.cpp</a>
 </li>
-<li>GetElementPtrInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">BasicTypes.h</a>
-</li>
 <li>getJsonFile()
 : <a class="el" href="ExtAPI_8cpp.html#a82e0f4095086de7f384a1f55838b5d28">ExtAPI.cpp</a>
 </li>
@@ -109,9 +103,6 @@ $(function() {
 <li>global_hooks
 : <a class="el" href="cJSON_8cpp.html#a855c7241e836a5b2d87577df8c113faf">cJSON.cpp</a>
 </li>
-<li>GlobalObject
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a16adea95b46c741a8990d92d29f33bb6">BasicTypes.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_i.html

@@ -78,21 +78,12 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a750b5d744c39a06bfb13e6eb010e35d0">cJSON.cpp</a>
 </li>
 <li>InputFilename()
-: <a class="el" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">mta.cpp</a>
+: <a class="el" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">dda.cpp</a>
+, <a class="el" href="wpa_8cpp.html#a139199e1f33675df72b018c31e0be35c">wpa.cpp</a>
 , <a class="el" href="svf-ex_8cpp.html#a139199e1f33675df72b018c31e0be35c">svf-ex.cpp</a>
-, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
+, <a class="el" href="mta_8cpp.html#a139199e1f33675df72b018c31e0be35c">mta.cpp</a>
 , <a class="el" href="cfl_8cpp.html#a139199e1f33675df72b018c31e0be35c">cfl.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a139199e1f33675df72b018c31e0be35c">wpa.cpp</a>
-, <a class="el" href="dda_8cpp.html#a139199e1f33675df72b018c31e0be35c">dda.cpp</a>
-</li>
-<li>InsertElementInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">BasicTypes.h</a>
-</li>
-<li>InsertValueInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">BasicTypes.h</a>
-</li>
-<li>inst_iterator
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a160997c1a0fb1000445d04b89d9c1323">BasicTypes.h</a>
+, <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
 </li>
 <li>internal_free
 : <a class="el" href="cJSON_8cpp.html#a940bb34b2c297c3d8297d506a3955839">cJSON.cpp</a>
@@ -106,15 +97,6 @@ $(function() {
 <li>internal_realloc
 : <a class="el" href="cJSON_8cpp.html#a91654176e81c707d28b99dd0bf783ed5">cJSON.cpp</a>
 </li>
-<li>IntToPtrInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">BasicTypes.h</a>
-</li>
-<li>InvokeInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">BasicTypes.h</a>
-</li>
-<li>IRBuilder
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a71269a3564eca6be7bc0efb5202275f0">BasicTypes.h</a>
-</li>
 <li>isinf
 : <a class="el" href="cJSON_8cpp.html#abad128f70dbd5a06aa93fe79b3acc4df">cJSON.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_l.html

@@ -61,18 +61,12 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
-<li>LandingPadInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">BasicTypes.h</a>
-</li>
 <li>LEAKCHECKER()
 : <a class="el" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">saber.cpp</a>
 </li>
 <li>length
-: <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
-</li>
-<li>LLVMContext
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a9f19a521d06397d1b6dc52c0388513d9">BasicTypes.h</a>
+: <a class="el" href="cJSON_8h.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a9f237f17f4e79d5b89149e09152edabe">cJSON.cpp</a>
 </li>
 <li>Load
 : <a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">CFLGrammar.txt</a>

package/SVF-doxygen/html/html/globals_m.html

@@ -65,28 +65,16 @@ $(function() {
 : <a class="el" href="cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">cfl.cpp</a>
 , <a class="el" href="dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">dda.cpp</a>
 , <a class="el" href="mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">mta.cpp</a>
+, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
 , <a class="el" href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">saber.cpp</a>
 , <a class="el" href="svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">svf-ex.cpp</a>
-, <a class="el" href="wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">wpa.cpp</a>
-</li>
-<li>MDString
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a79dfa1a3c9502e187c036ed3b41f937c">BasicTypes.h</a>
 </li>
 <li>Memflow
 : <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">CFLGrammar.txt</a>
 </li>
-<li>MemoryLocation
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a8c9721de4c4754decc4f79d9f5b8c756">BasicTypes.h</a>
-</li>
-<li>MetadataAsValue
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae6439506f12c106932f8db434ebaa761">BasicTypes.h</a>
-</li>
 <li>minify_string()
 : <a class="el" href="cJSON_8cpp.html#a569f331078de59d01dee9351fa106e3b">cJSON.cpp</a>
 </li>
-<li>ModulePass
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a2e0fa4afbccc902de3ae55c65fb8b007">BasicTypes.h</a>
-</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_p.html

@@ -85,9 +85,6 @@ $(function() {
 <li>parseJson()
 : <a class="el" href="ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69">ExtAPI.cpp</a>
 </li>
-<li>PHINode
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a65732ea63bff4b444b225629ee7cf252">BasicTypes.h</a>
-</li>
 <li>position
 : <a class="el" href="cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a">cJSON.cpp</a>
 </li>

package/SVF-doxygen/html/html/globals_r.html

@@ -83,21 +83,15 @@ $(function() {
 , <a class="el" href="cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791">cJSON.cpp</a>
 </li>
 <li>require_null_terminated
-: <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
-, <a class="el" href="cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.h</a>
-</li>
-<li>ResumeInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0">BasicTypes.h</a>
+: <a class="el" href="cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.h</a>
+, <a class="el" href="cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130">cJSON.cpp</a>
 </li>
 <li>return()
 : <a class="el" href="cJSON_8cpp.html#a15f779a174654a93596726f6eb6b57fe">cJSON.cpp</a>
 </li>
 <li>return_parse_end
-: <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
-, <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
-</li>
-<li>ReturnInst
-: <a class="el" href="SVF-FE_2BasicTypes_8h.html#af386dbc3b9c4325443a15b07038e8386">BasicTypes.h</a>
+: <a class="el" href="cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9">cJSON.cpp</a>
+, <a class="el" href="cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a">cJSON.h</a>
 </li>
 <li>RFINEPT()
 : <a class="el" href="dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389">dda.cpp</a>