svf-tools 1.0.903 → 1.0.904

package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html

@@ -924,7 +924,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_af8be90fc1b61103187908dce4ba68001"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#af8be90fc1b61103187908dce4ba68001">SVF::IntervalValue::isBottom</a></div><div class="ttdeci">bool isBottom() const override</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00060">IntervalValue.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a48fec38aad1c2a9a140ee94e9fdd7e9b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a48fec38aad1c2a9a140ee94e9fdd7e9b">SVF::SVFIR2ItvExeState::getAddrs</a></div><div class="ttdeci">Addrs &amp; getAddrs(u32_t id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00116">SVFIR2ItvExeState.h:116</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3dba35c84607bd3ed4e62a90ae2799cf"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3dba35c84607bd3ed4e62a90ae2799cf">SVF::IntervalValue::is_infinite</a></div><div class="ttdeci">static bool is_infinite(const NumericLiteral &amp;e)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00077">IntervalValue.h:77</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_a6450b984f67d3cfa3f44892e8eea555e"><div class="ttname"><a href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">SVF::Options::GepUnknownIdx</a></div><div class="ttdeci">static const Option&lt; bool &gt; GepUnknownIdx</div><div class="ttdoc">if the access index of gepstmt is unknown, skip it, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00273">Options.h:273</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a6450b984f67d3cfa3f44892e8eea555e"><div class="ttname"><a href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">SVF::Options::GepUnknownIdx</a></div><div class="ttdeci">static const Option&lt; bool &gt; GepUnknownIdx</div><div class="ttdoc">if the access index of gepstmt is unknown, skip it, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00281">Options.h:281</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BufOverflowChecker_html_aed959fce840cbea32d3567ee1ac01e82"><div class="ttname"><a href="classSVF_1_1BufOverflowChecker.html#aed959fce840cbea32d3567ee1ac01e82">SVF::BufOverflowChecker::initExtAPIBufOverflowCheckRules</a></div><div class="ttdeci">void initExtAPIBufOverflowCheckRules()</div><div class="ttdef"><b>Definition:</b> <a href="BufOverflowChecker_8cpp_source.html#l00076">BufOverflowChecker.cpp:76</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericBug_html_a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747"><div class="ttname"><a href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacac88ddac03bb8ae09a72058e4ad7af747">SVF::GenericBug::FULLBUFOVERFLOW</a></div><div class="ttdeci">@ FULLBUFOVERFLOW</div><div class="ttdef"><b>Definition:</b> <a href="SVFBugReport_8h_source.html#l00086">SVFBugReport.h:86</a></div></div>
@@ -966,7 +966,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntervalESBase_html_adb26b186ee31bce7449a7b36faa24cc2"><div class="ttname"><a href="classSVF_1_1IntervalESBase.html#adb26b186ee31bce7449a7b36faa24cc2">SVF::IntervalESBase::store</a></div><div class="ttdeci">void store(u32_t addr, const IntervalValue &amp;val)</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00258">IntervalExeState.h:258</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_ac1742440725909fee77526726424d135"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#ac1742440725909fee77526726424d135">SVF::AbstractExecution::_func_map</a></div><div class="ttdeci">Map&lt; std::string, std::function&lt; void(const CallSite &amp;)&gt; &gt; _func_map</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8h_source.html#l00382">AbstractExecution.h:382</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_afbe432aabda95308e2c190a04d227a6d"><div class="ttname"><a href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">SVF::Options::BufferOverflowCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; BufferOverflowCheck</div><div class="ttdoc">open buffer overflow checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00271">Options.h:271</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_afbe432aabda95308e2c190a04d227a6d"><div class="ttname"><a href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">SVF::Options::BufferOverflowCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; BufferOverflowCheck</div><div class="ttdoc">buffer overflow checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00271">Options.h:271</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00047">GeneralType.h:47</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00526">SVFStatements.h:526</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AbstractExecution_html_a714fa1f4794008f630de415414cf8bfd"><div class="ttname"><a href="classSVF_1_1AbstractExecution.html#a714fa1f4794008f630de415414cf8bfd">SVF::AbstractExecution::handleICFGNode</a></div><div class="ttdeci">virtual void handleICFGNode(const ICFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="AbstractExecution_8cpp_source.html#l00711">AbstractExecution.cpp:711</a></div></div>

package/SVF-doxygen/html/MTA_8cpp_source.html

@@ -132,8 +132,8 @@ $(function() {
 <div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <a class="code" href="classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3">mhp</a> = <a class="code" href="classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487">computeMHP</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>());</div>
 <div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <a class="code" href="classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509">lsa</a> = <a class="code" href="classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75">computeLocksets</a>(<a class="code" href="classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3">mhp</a>-&gt;<a class="code" href="classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6">getTCT</a>());</div>
 <div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160; </div>
-<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160; </div>
-<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160; </div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e">Options::RaceCheck</a>())</div>
+<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        <a class="code" href="classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3">detect</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ad6e18f520f6b559f2304002792f6b701">getModule</a>());</div>
 <div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="comment">/*</span></div>
 <div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;<span class="comment">    if (Options::AndersenAnno()) {</span></div>
 <div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;<span class="comment">        pta = mhp-&gt;getTCT()-&gt;getPTA();</span></div>
@@ -221,9 +221,9 @@ $(function() {
 <div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3">mhp</a>;</div>
 <div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;}</div>
 <div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160; </div>
-<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;<span class="comment">// * Check   (1) write-write race</span></div>
-<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="comment">// *         (2) write-read race</span></div>
-<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;<span class="comment">// *         (3) read-read race</span></div>
+<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;<span class="comment">// * Check   (1) write-read race</span></div>
+<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;<span class="comment">// *         (2) write-write race (optional)</span></div>
+<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;<span class="comment">// *         (3) read-read race (optional)</span></div>
 <div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;<span class="comment">// * when two memory access may-happen in parallel and are not protected by the same lock</span></div>
 <div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;<span class="comment">// * (excluding global constraints because they are initialized before running the main function)</span></div>
 <div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;<span class="comment">// */</span></div>
@@ -232,82 +232,87 @@ $(function() {
 <div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160; </div>
 <div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    <a class="code" href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>, <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">pasMsg</a>(<span class="stringliteral">&quot;Starting Race Detection\n&quot;</span>));</div>
 <div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160; </div>
-<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    <a class="code" href="classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e">LoadSet</a> loads;</div>
-<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    <a class="code" href="classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e">StoreSet</a> stores;</div>
+<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const LoadStmt*&gt;</a> loads;</div>
+<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const StoreStmt*&gt;</a> stores;</div>
 <div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div>
-<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160; </div>
-<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFInstruction*&gt;</a> needcheckinst;</div>
-<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    <span class="comment">// Add symbols for all of the functions and the instructions in them.</span></div>
-<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> : module-&gt;<a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>())</div>
-<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    {</div>
-<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;        <span class="comment">// collect and create symbols inside the function body</span></div>
-<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* svfbb : <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>-&gt;getBasicBlockList())</div>
-<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        {</div>
-<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* svfInst : svfbb-&gt;getInstructionList())</div>
-<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            {</div>
-<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160; </div>
+<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    <a class="code" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a>* pta = <a class="code" href="classSVF_1_1AndersenWaveDiff.html#a48ff6fc4badc79ad3204ae9bd95cc540">AndersenWaveDiff::createAndersenWaveDiff</a>(pag);</div>
+<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160; </div>
+<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const SVFInstruction*&gt;</a> needcheckinst;</div>
+<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <span class="comment">// Add symbols for all of the functions and the instructions in them.</span></div>
+<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a> : module-&gt;<a class="code" href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">getFunctionSet</a>())</div>
+<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;    {</div>
+<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        <span class="comment">// collect and create symbols inside the function body</span></div>
+<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFBasicBlock.html">SVFBasicBlock</a>* svfbb : <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>-&gt;getBasicBlockList())</div>
+<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;        {</div>
+<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* svfInst : svfbb-&gt;getInstructionList())</div>
+<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;            {</div>
 <div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;                <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* stmt : pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">getSVFStmtList</a>(pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(svfInst)))</div>
 <div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;                {</div>
-<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                    <span class="keywordflow">if</span> (SVFUtil::isa&lt;LoadStmt&gt;(stmt))</div>
+<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                    <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a>* l = SVFUtil::dyn_cast&lt;LoadStmt&gt;(stmt))</div>
 <div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;                    {</div>
-<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                        loads.insert(svfInst);</div>
+<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                        loads.insert(l);</div>
 <div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;                    }</div>
-<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;                    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;StoreStmt&gt;(stmt))</div>
+<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;                    <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a>* s = SVFUtil::dyn_cast&lt;StoreStmt&gt;(stmt))</div>
 <div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;                    {</div>
-<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                        stores.insert(svfInst);</div>
+<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                        stores.insert(s);</div>
 <div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;                    }</div>
 <div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;                }</div>
 <div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;            }</div>
 <div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;        }</div>
 <div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    }</div>
 <div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160; </div>
-<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <span class="keywordflow">for</span> (LoadSet::const_iterator lit = loads.begin(), elit = loads.end(); lit != elit; ++lit)</div>
+<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const LoadStmt*&gt;::const_iterator</a> lit = loads.begin(), elit = loads.end(); lit != elit; ++lit)</div>
 <div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;    {</div>
-<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* load = *lit;</div>
-<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordtype">bool</span> loadneedcheck = <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        <span class="keywordflow">for</span> (StoreSet::const_iterator sit = stores.begin(), esit = stores.end(); sit != esit; ++sit)</div>
-<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;        {</div>
-<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFInstruction.html">SVFInstruction</a>* store = *sit;</div>
-<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160; </div>
-<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;            loadneedcheck = <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            needcheckinst.insert(store);</div>
-<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        }</div>
-<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordflow">if</span> (loadneedcheck)</div>
-<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;            needcheckinst.insert(load);</div>
-<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;    }</div>
+<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1LoadStmt.html">LoadStmt</a>* load = *lit;</div>
+<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const StoreStmt*&gt;::const_iterator</a> sit = stores.begin(), esit = stores.end(); sit != esit; ++sit)</div>
+<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;        {</div>
+<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1StoreStmt.html">StoreStmt</a>* store = *sit;</div>
+<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;            <span class="keywordflow">if</span>(load-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>()==<span class="keyword">nullptr</span> || store-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>()==<span class="keyword">nullptr</span>)</div>
+<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;                <span class="keywordflow">continue</span>;</div>
+<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;            <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MTA.html#a957925a4ae00e48f77a58697853f3cc3">mhp</a>-&gt;<a class="code" href="classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6">mayHappenInParallelInst</a>(load-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>(),store-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>()) &amp;&amp; pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">alias</a>(load-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>(),store-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>()))</div>
+<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;                <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509">lsa</a>-&gt;<a class="code" href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">isProtectedByCommonLock</a>(load-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>(),store-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">getInst</a>()) == <span class="keyword">false</span>)</div>
+<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;                    <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;race pair(&quot;</span>) &lt;&lt; <span class="stringliteral">&quot; store: &quot;</span> &lt;&lt; store-&gt;<a class="code" href="classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac">toString</a>() &lt;&lt; <span class="stringliteral">&quot;, load: &quot;</span> &lt;&lt; load-&gt;<a class="code" href="classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a">toString</a>() &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVFUtil::bugMsg1</a>(<span class="stringliteral">&quot;)&quot;</span>) &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
+<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        }</div>
+<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div>
+<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;}</div>
 <div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160; </div>
-<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;HP needcheck: &quot;</span> &lt;&lt; needcheckinst.size() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
-<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;}</div>
-<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160; </div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1MHP_html_a033936547612c54326a604f0ff1e39a6"><div class="ttname"><a href="classSVF_1_1MHP.html#a033936547612c54326a604f0ff1e39a6">SVF::MHP::getTCT</a></div><div class="ttdeci">TCT * getTCT() const</div><div class="ttdoc">Get Thread Creation Tree.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00082">MHP.h:82</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MHP_html"><div class="ttname"><a href="classSVF_1_1MHP.html">SVF::MHP</a></div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00045">MHP.h:45</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFStmt_html_a7ba458577745f9b88bceceee91649567"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a7ba458577745f9b88bceceee91649567">SVF::SVFStmt::getInst</a></div><div class="ttdeci">const SVFInstruction * getInst() const</div><div class="ttdoc">Get/set methods for llvm instruction.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00137">SVFStatements.h:137</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_abbaf48d9702ec1f38dc6ae137ca630a1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#abbaf48d9702ec1f38dc6ae137ca630a1">SVF::SVFModule::getFunctionSet</a></div><div class="ttdeci">const FunctionSetType &amp; getFunctionSet() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00216">SVFModule.h:216</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a570ad42ad516e3fabb91a3563b618c0b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b">SVF::SVFIR::getSVFStmtList</a></div><div class="ttdeci">SVFStmtList &amp; getSVFStmtList(const ICFGNode *inst)</div><div class="ttdoc">Given an instruction, get all its PAGEdges.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00208">SVFIR.h:208</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aMHP_8h_html"><div class="ttname"><a href="MHP_8h.html">MHP.h</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MTA_html_a6bcd86c36f8f4307c4951a23021af92e"><div class="ttname"><a href="classSVF_1_1MTA.html#a6bcd86c36f8f4307c4951a23021af92e">SVF::MTA::StoreSet</a></div><div class="ttdeci">Set&lt; const SVFInstruction * &gt; StoreSet</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00061">MTA.h:61</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00512">SVFType.h:512</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00171">PointerAnalysis.h:171</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTA_html_a308ca0fa99b3c95f3e62b27522b6aeaa"><div class="ttname"><a href="classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa">SVF::MTA::tcg</a></div><div class="ttdeci">ThreadCallGraph * tcg</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00092">MTA.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
 <div class="ttc" id="aMTAStat_8h_html"><div class="ttname"><a href="MTAStat_8h.html">MTAStat.h</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00490">SVFType.h:490</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a10504db25b86bc7f74aebb9c54f04cb3"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a10504db25b86bc7f74aebb9c54f04cb3">SVF::SVFUtil::bugMsg1</a></div><div class="ttdeci">std::string bugMsg1(const std::string &amp;msg)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00081">SVFUtil.cpp:81</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LockAnalysis_html_a213bd0dfeba620498dabcfa4fa3a018c"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#a213bd0dfeba620498dabcfa4fa3a018c">SVF::LockAnalysis::isProtectedByCommonLock</a></div><div class="ttdeci">bool isProtectedByCommonLock(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00556">LockAnalysis.cpp:556</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTA_html_a5adab2e3b400190ecc9fa2a158203cb3"><div class="ttname"><a href="classSVF_1_1MTA.html#a5adab2e3b400190ecc9fa2a158203cb3">SVF::MTA::detect</a></div><div class="ttdeci">virtual void detect(SVFModule *module)</div><div class="ttdoc">Perform detection.</div></div>
 <div class="ttc" id="aclassSVF_1_1LockAnalysis_html_ad1516b6cb1dbd06b8dff04ae3c944621"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8cpp_source.html#l00041">LockAnalysis.cpp:41</a></div></div>
 <div class="ttc" id="aLockAnalysis_8h_html"><div class="ttname"><a href="LockAnalysis_8h.html">LockAnalysis.h</a></div></div>
 <div class="ttc" id="aSVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_a217a1ccdaec1abb103cf6b0373631234"><div class="ttname"><a href="SVFType_8h.html#a217a1ccdaec1abb103cf6b0373631234">DMTA</a></div><div class="ttdeci">#define DMTA</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00505">SVFType.h:505</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00527">SVFValue.h:527</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00452">SVFStatements.h:452</a></div></div>
+<div class="ttc" id="aclassSVF_1_1MHP_html_a0cb1db9943ddc0928afa8e370cbf60c6"><div class="ttname"><a href="classSVF_1_1MHP.html#a0cb1db9943ddc0928afa8e370cbf60c6">SVF::MHP::mayHappenInParallelInst</a></div><div class="ttdeci">virtual bool mayHappenInParallelInst(const SVFInstruction *i1, const SVFInstruction *i2)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00544">MHP.cpp:544</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTA_html_abd4addbfd11a9479edd8625ed1947b9f"><div class="ttname"><a href="classSVF_1_1MTA.html#abd4addbfd11a9479edd8625ed1947b9f">SVF::MTA::stat</a></div><div class="ttdeci">std::unique_ptr&lt; MTAStat &gt; stat</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00094">MTA.h:94</a></div></div>
-<div class="ttc" id="aclassSVF_1_1MTA_html_a61ad028aa33e2fc5c9d05b9f735bd62e"><div class="ttname"><a href="classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e">SVF::MTA::LoadSet</a></div><div class="ttdeci">Set&lt; const SVFInstruction * &gt; LoadSet</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00060">MTA.h:60</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00092">ICFG.h:92</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTA_html_a4f2f17975aabd2c4b9a3b2fbf3b1a487"><div class="ttname"><a href="classSVF_1_1MTA.html#a4f2f17975aabd2c4b9a3b2fbf3b1a487">SVF::MTA::computeMHP</a></div><div class="ttdeci">virtual MHP * computeMHP(SVFModule *module)</div><div class="ttdoc">Compute MHP.</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8cpp_source.html#l00120">MTA.cpp:120</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a2eaa92517689173d93062e01e32ffe4e"><div class="ttname"><a href="classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e">SVF::Options::RaceCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; RaceCheck</div><div class="ttdoc">data race checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
+<div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1323233941cdc9b99332e4b954a2217"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos.</div></div>
+<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00489">SVFStatements.h:489</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StoreStmt_html_a3b9692c3de9437c4f686f646aa6b4aac"><div class="ttname"><a href="classSVF_1_1StoreStmt.html#a3b9692c3de9437c4f686f646aa6b4aac">SVF::StoreStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00205">SVFStatements.cpp:205</a></div></div>
 <div class="ttc" id="aSVFType_8h_html_ab6f41e9db3675dc689c5492418885041"><div class="ttname"><a href="SVFType_8h.html#ab6f41e9db3675dc689c5492418885041">DOTIMESTAT</a></div><div class="ttdeci">#define DOTIMESTAT(X)</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00486">SVFType.h:486</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MTA_html_a80a44f3aa41d4259523c94044983c509"><div class="ttname"><a href="classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509">SVF::MTA::lsa</a></div><div class="ttdeci">LockAnalysis * lsa</div><div class="ttdef"><b>Definition:</b> <a href="MTA_8h_source.html#l00096">MTA.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
@@ -318,8 +323,10 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a4550f2fb815882edfb666ac818792064"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(const std::string &amp;msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00099">SVFUtil.cpp:99</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LoadStmt_html_a5c930e62bc3b03c9dfa4a8dbe9b4df2a"><div class="ttname"><a href="classSVF_1_1LoadStmt.html#a5c930e62bc3b03c9dfa4a8dbe9b4df2a">SVF::LoadStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00192">SVFStatements.cpp:192</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MHP_html_a02457fa6e3c85c897ec3b3d8db18cc4b"><div class="ttname"><a href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP::analyze</a></div><div class="ttdeci">void analyze()</div><div class="ttdoc">Start analysis here.</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00062">MHP.cpp:62</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
+<div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="aTCT_8h_html"><div class="ttname"><a href="TCT_8h.html">TCT.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTACallGraph_html_a841be22581a7896d8924564e7199f62b"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b">SVF::PTACallGraph::dump</a></div><div class="ttdeci">void dump(const std::string &amp;filename)</div><div class="ttdoc">Dump the graph.</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8cpp_source.html#l00317">PTACallGraph.cpp:317</a></div></div>

package/SVF-doxygen/html/Options_8cpp_source.html

@@ -917,21 +917,29 @@ $(function() {
 <div class="line"><a name="l00847"></a><span class="lineno">  847</span>&#160;    <span class="stringliteral">&quot;output&quot;</span>,<span class="stringliteral">&quot;output db file&quot;</span>,<span class="stringliteral">&quot;output.db&quot;</span>);</div>
 <div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">Options::BufferOverflowCheck</a>(</div>
 <div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;    <span class="stringliteral">&quot;overflow&quot;</span>,<span class="stringliteral">&quot;Buffer Overflow Detection&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">Options::GepUnknownIdx</a>(</div>
-<div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    <span class="stringliteral">&quot;gep-unknown-idx&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">Options::RunUncallFuncs</a>(</div>
-<div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    <span class="stringliteral">&quot;run-uncall-fun&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">Options::ICFGMergeAdjacentNodes</a>(</div>
-<div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    <span class="stringliteral">&quot;icfg-merge-adjnodes&quot;</span>,<span class="stringliteral">&quot;ICFG Simplification - Merge Adjacent Nodes in the Same Basic Block.&quot;</span>,<span class="keyword">false</span>);</div>
-<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160; </div>
-<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160; </div>
-<div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">Options::AEPrecision</a>(</div>
-<div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;    <span class="stringliteral">&quot;precision&quot;</span>,</div>
-<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    <span class="stringliteral">&quot;symbolic abstraction precision for float&quot;</span>,</div>
-<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;    0</div>
-<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;);</div>
-<div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160; </div>
-<div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;} <span class="comment">// namespace SVF.</span></div>
+<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#ae70456dac0e85572ce072a7b9de88596">Options::MemoryLeakCheck</a>(</div>
+<div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    <span class="stringliteral">&quot;leak&quot;</span>, <span class="stringliteral">&quot;Memory Leak Detection&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a65a8c37c1ce3b183a8ac43d64475fed9">Options::FileCheck</a>(</div>
+<div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    <span class="stringliteral">&quot;fileck&quot;</span>, <span class="stringliteral">&quot;File Open/Close Detection&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a3a38989c49d0544f7cd7de85e5ea63f6">Options::DFreeCheck</a>(</div>
+<div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;    <span class="stringliteral">&quot;dfree&quot;</span>, <span class="stringliteral">&quot;Double Free Detection&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e">Options::RaceCheck</a>(</div>
+<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160;    <span class="stringliteral">&quot;race&quot;</span>, <span class="stringliteral">&quot;Data race Detection&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">Options::GepUnknownIdx</a>(</div>
+<div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;    <span class="stringliteral">&quot;gep-unknown-idx&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">Options::RunUncallFuncs</a>(</div>
+<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;    <span class="stringliteral">&quot;run-uncall-fun&quot;</span>,<span class="stringliteral">&quot;Skip Gep Unknown Index&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;bool&gt;</a> <a class="code" href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">Options::ICFGMergeAdjacentNodes</a>(</div>
+<div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160;    <span class="stringliteral">&quot;icfg-merge-adjnodes&quot;</span>,<span class="stringliteral">&quot;ICFG Simplification - Merge Adjacent Nodes in the Same Basic Block.&quot;</span>,<span class="keyword">false</span>);</div>
+<div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160; </div>
+<div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160; </div>
+<div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;<span class="keyword">const</span> <a class="code" href="classOption.html">Option&lt;u32_t&gt;</a> <a class="code" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">Options::AEPrecision</a>(</div>
+<div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;    <span class="stringliteral">&quot;precision&quot;</span>,</div>
+<div class="line"><a name="l00868"></a><span class="lineno">  868</span>&#160;    <span class="stringliteral">&quot;symbolic abstraction precision for float&quot;</span>,</div>
+<div class="line"><a name="l00869"></a><span class="lineno">  869</span>&#160;    0</div>
+<div class="line"><a name="l00870"></a><span class="lineno">  870</span>&#160;);</div>
+<div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160; </div>
+<div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;} <span class="comment">// namespace SVF.</span></div>
 </div><!-- fragment --></div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1Options_html_a6237da3f4e264fa8b63c11d621f39e71"><div class="ttname"><a href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options::MaxContextLen</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; MaxContextLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00085">Options.h:85</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab7741246d969021c9afc448b084699af"><div class="ttname"><a href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options::OPTSVFG</a></div><div class="ttdeci">static Option&lt; bool &gt; OPTSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00149">Options.h:149</a></div></div>
@@ -939,6 +947,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_aabeb232a46547fd35ddc96244fdaf1b9"><div class="ttname"><a href="classSVF_1_1Options.html#aabeb232a46547fd35ddc96244fdaf1b9">SVF::Options::WriteAnder</a></div><div class="ttdeci">static const Option&lt; std::string &gt; WriteAnder</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00231">Options.h:231</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a83103f0d5f166e0bb062aa7d7b393ddd"><div class="ttname"><a href="classSVF_1_1Options.html#a83103f0d5f166e0bb062aa7d7b393ddd">SVF::Options::TypePrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; TypePrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00114">Options.h:114</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a3f5235cbdaab1bf53b9144d335c9c3d4"><div class="ttname"><a href="classSVF_1_1Options.html#a3f5235cbdaab1bf53b9144d335c9c3d4">SVF::Options::DumpJson</a></div><div class="ttdeci">static const Option&lt; std::string &gt; DumpJson</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00124">Options.h:124</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_ae70456dac0e85572ce072a7b9de88596"><div class="ttname"><a href="classSVF_1_1Options.html#ae70456dac0e85572ce072a7b9de88596">SVF::Options::MemoryLeakCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; MemoryLeakCheck</div><div class="ttdoc">memory leak check, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00273">Options.h:273</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_abe3087eb48a10bb600d1fd24308c019b"><div class="ttname"><a href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00090">Options.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a12e88ce4ba3d39017203ec4cd3ccccea"><div class="ttname"><a href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options::FirstFieldEqBase</a></div><div class="ttdeci">static const Option&lt; bool &gt; FirstFieldEqBase</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00103">Options.h:103</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a0c5d08f13bd41095afb3b60c7ffad0e0"><div class="ttname"><a href="classSVF_1_1Options.html#a0c5d08f13bd41095afb3b60c7ffad0e0">SVF::Options::InsenCycle</a></div><div class="ttdeci">static const Option&lt; bool &gt; InsenCycle</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00089">Options.h:89</a></div></div>
@@ -949,7 +958,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78">SVF::PointerAnalysis::FSSPARSE_WPA</a></div><div class="ttdeci">@ FSSPARSE_WPA</div><div class="ttdoc">Sparse flow sensitive WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00074">PointerAnalysis.h:74</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a0123986b466dae50b2f12c71295c54f9"><div class="ttname"><a href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options::PlainMappingFs</a></div><div class="ttdeci">static const Option&lt; bool &gt; PlainMappingFs</div><div class="ttdoc">Use an explicitly plain mapping with flow-sensitive (not null).</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00047">Options.h:47</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_abbdf86ddc2fb37d03b7ef7a9bcc4ce29"><div class="ttname"><a href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">SVF::Options::RunUncallFuncs</a></div><div class="ttdeci">static const Option&lt; bool &gt; RunUncallFuncs</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00274">Options.h:274</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_abbdf86ddc2fb37d03b7ef7a9bcc4ce29"><div class="ttname"><a href="classSVF_1_1Options.html#abbdf86ddc2fb37d03b7ef7a9bcc4ce29">SVF::Options::RunUncallFuncs</a></div><div class="ttdeci">static const Option&lt; bool &gt; RunUncallFuncs</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00282">Options.h:282</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a595a98babd7d51af6dacd935bd27d1f0"><div class="ttname"><a href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options::PtType</a></div><div class="ttdeci">static const OptionMap&lt; PointsTo::Type &gt; PtType</div><div class="ttdoc">Type of points-to set to use for all analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00050">Options.h:50</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a15a9c1086e1bbd6a76d56ad1bdd6b994"><div class="ttname"><a href="classSVF_1_1Options.html#a15a9c1086e1bbd6a76d56ad1bdd6b994">SVF::Options::Customized</a></div><div class="ttdeci">static const Option&lt; bool &gt; Customized</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00258">Options.h:258</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a320a86694c42b92d0dd599d7825c7ca4"><div class="ttname"><a href="classSVF_1_1Options.html#a320a86694c42b92d0dd599d7825c7ca4">SVF::Options::EnableTypeCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; EnableTypeCheck</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00131">Options.h:131</a></div></div>
@@ -964,7 +973,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a81dbd12b5141c4a2758d6f2d3321f1ac"><div class="ttname"><a href="classSVF_1_1Options.html#a81dbd12b5141c4a2758d6f2d3321f1ac">SVF::Options::CFLGraph</a></div><div class="ttdeci">static const Option&lt; std::string &gt; CFLGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00251">Options.h:251</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a742a42d855c5b96fb7c70a2d0ab64021"><div class="ttname"><a href="classSVF_1_1Options.html#a742a42d855c5b96fb7c70a2d0ab64021">SVF::Options::UsePreCompFieldSensitive</a></div><div class="ttdeci">static const Option&lt; bool &gt; UsePreCompFieldSensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00129">Options.h:129</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00122">Options.h:122</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_a76555ba4522accb66d9d38b700e203e0"><div class="ttname"><a href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">SVF::Options::ICFGMergeAdjacentNodes</a></div><div class="ttdeci">static const Option&lt; bool &gt; ICFGMergeAdjacentNodes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00276">Options.h:276</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a76555ba4522accb66d9d38b700e203e0"><div class="ttname"><a href="classSVF_1_1Options.html#a76555ba4522accb66d9d38b700e203e0">SVF::Options::ICFGMergeAdjacentNodes</a></div><div class="ttdeci">static const Option&lt; bool &gt; ICFGMergeAdjacentNodes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00284">Options.h:284</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a34e1093189fc8c150a9f2961557aa844"><div class="ttname"><a href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options::PrintLockSpan</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintLockSpan</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00161">Options.h:161</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00123">Options.h:123</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a6ebad0decdd6e93c661b72d80f5dbcef"><div class="ttname"><a href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options::FsTimeLimit</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; FsTimeLimit</div><div class="ttdoc">Time limit for the main phase (i.e., the actual solving) of FS analyses.</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00072">Options.h:72</a></div></div>
@@ -977,7 +986,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a6c0afceb5db81504930dc6f673bc41ec"><div class="ttname"><a href="classSVF_1_1Options.html#a6c0afceb5db81504930dc6f673bc41ec">SVF::Options::LockValid</a></div><div class="ttdeci">static const Option&lt; bool &gt; LockValid</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00177">Options.h:177</a></div></div>
 <div class="ttc" id="aclassOptionMultiple_html"><div class="ttname"><a href="classOptionMultiple.html">OptionMultiple&lt; PointerAnalysis::PTATY &gt;</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a></div><div class="ttdeci">@ HCLUST_METHOD_COMPLETE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00070">fastcluster.h:70</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_a6450b984f67d3cfa3f44892e8eea555e"><div class="ttname"><a href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">SVF::Options::GepUnknownIdx</a></div><div class="ttdeci">static const Option&lt; bool &gt; GepUnknownIdx</div><div class="ttdoc">if the access index of gepstmt is unknown, skip it, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00273">Options.h:273</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a6450b984f67d3cfa3f44892e8eea555e"><div class="ttname"><a href="classSVF_1_1Options.html#a6450b984f67d3cfa3f44892e8eea555e">SVF::Options::GepUnknownIdx</a></div><div class="ttdeci">static const Option&lt; bool &gt; GepUnknownIdx</div><div class="ttdoc">if the access index of gepstmt is unknown, skip it, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00281">Options.h:281</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ad2f3ffd1b8d579ebe4c19a015cd599e2"><div class="ttname"><a href="classSVF_1_1Options.html#ad2f3ffd1b8d579ebe4c19a015cd599e2">SVF::Options::StatBudget</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; StatBudget</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00120">Options.h:120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ad6c9b07d4dc8af20fbe2b93711cc2101"><div class="ttname"><a href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options::OCGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; OCGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00099">Options.h:99</a></div></div>
 <div class="ttc" id="aOptions_8h_html"><div class="ttname"><a href="Options_8h.html">Options.h</a></div></div>
@@ -988,6 +997,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a51b28b2e973911fb8e2c23c6127e9a63"><div class="ttname"><a href="classSVF_1_1Options.html#a51b28b2e973911fb8e2c23c6127e9a63">SVF::Options::HandBlackHole</a></div><div class="ttdeci">static Option&lt; bool &gt; HandBlackHole</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00102">Options.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_afa6c98d477db41a457ac83cfbfd4a580"><div class="ttname"><a href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options::DDASelected</a></div><div class="ttdeci">static OptionMultiple&lt; PointerAnalysis::PTATY &gt; DDASelected</div><div class="ttdoc">register this into alias analysis group</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00093">Options.h:93</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a737f3501a93f954790fe93d36c43fb00"><div class="ttname"><a href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options::PTSAllPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; PTSAllPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00117">Options.h:117</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a3a38989c49d0544f7cd7de85e5ea63f6"><div class="ttname"><a href="classSVF_1_1Options.html#a3a38989c49d0544f7cd7de85e5ea63f6">SVF::Options::DFreeCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; DFreeCheck</div><div class="ttdoc">double free checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00277">Options.h:277</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ad989eab7d521e9933ac8e46e1c29f662"><div class="ttname"><a href="classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662">SVF::Options::OutputName</a></div><div class="ttdeci">static const Option&lt; std::string &gt; OutputName</div><div class="ttdoc">bug info output file, Default: output.db</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00269">Options.h:269</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a0a998c2e1d701b2052985691babc4567"><div class="ttname"><a href="classSVF_1_1Options.html#a0a998c2e1d701b2052985691babc4567">SVF::Options::CallGraphDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; CallGraphDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00126">Options.h:126</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ab25f7ec430ba1d41597fc409b758b193"><div class="ttname"><a href="classSVF_1_1Options.html#ab25f7ec430ba1d41597fc409b758b193">SVF::Options::WidenDelay</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; WidenDelay</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00265">Options.h:265</a></div></div>
@@ -1005,6 +1015,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a3914c0785473a773c7cb3da01229f2ee"><div class="ttname"><a href="classSVF_1_1Options.html#a3914c0785473a773c7cb3da01229f2ee">SVF::Options::CyclicFldIdx</a></div><div class="ttdeci">static const Option&lt; bool &gt; CyclicFldIdx</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00208">Options.h:208</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a1743b8a1ab2d71c35206c7befa725d90"><div class="ttname"><a href="classSVF_1_1Options.html#a1743b8a1ab2d71c35206c7befa725d90">SVF::Options::INCDFPTData</a></div><div class="ttdeci">static const Option&lt; bool &gt; INCDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a1721ff576ad641d862f29b038f31db28"><div class="ttname"><a href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options::DisableWarn</a></div><div class="ttdeci">static const Option&lt; bool &gt; DisableWarn</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00224">Options.h:224</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a2eaa92517689173d93062e01e32ffe4e"><div class="ttname"><a href="classSVF_1_1Options.html#a2eaa92517689173d93062e01e32ffe4e">SVF::Options::RaceCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; RaceCheck</div><div class="ttdoc">data race checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda66ab3fde95842ef6da0dae1f702a9618">HCLUST_METHOD_SVF_BEST</a></div><div class="ttdeci">@ HCLUST_METHOD_SVF_BEST</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00076">fastcluster.h:76</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_abb91435e1e06b07548c539e7f7761563"><div class="ttname"><a href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options::FuncPointerPrint</a></div><div class="ttdeci">static const Option&lt; bool &gt; FuncPointerPrint</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00115">Options.h:115</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aed7bdea17fad08ceb0453b23f2f908bb"><div class="ttname"><a href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options::PredictPtOcc</a></div><div class="ttdeci">static const Option&lt; bool &gt; PredictPtOcc</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00066">Options.h:66</a></div></div>
@@ -1015,8 +1026,9 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a9e5f361015b558d3d4e7e033868f9c83"><div class="ttname"><a href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options::PrintCGGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCGGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00229">Options.h:229</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a4a4eed0841c46f89f1b408e5789e114b"><div class="ttname"><a href="classSVF_1_1Options.html#a4a4eed0841c46f89f1b408e5789e114b">SVF::Options::Timeout</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; Timeout</div><div class="ttdoc">the max time consumptions (seconds). Default: 4 hours 14400s</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00267">Options.h:267</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae60822a71ee1cd389413d98dfb35e302"><div class="ttname"><a href="classSVF_1_1Options.html#ae60822a71ee1cd389413d98dfb35e302">SVF::Options::ContextInsensitive</a></div><div class="ttdeci">static const Option&lt; bool &gt; ContextInsensitive</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00106">Options.h:106</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a65a8c37c1ce3b183a8ac43d64475fed9"><div class="ttname"><a href="classSVF_1_1Options.html#a65a8c37c1ce3b183a8ac43d64475fed9">SVF::Options::FileCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; FileCheck</div><div class="ttdoc">file open close checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00275">Options.h:275</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdeci">@ AndersenWaveDiff_WPA</div><div class="ttdoc">Diff wave propagation andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00069">PointerAnalysis.h:69</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_afbe432aabda95308e2c190a04d227a6d"><div class="ttname"><a href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">SVF::Options::BufferOverflowCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; BufferOverflowCheck</div><div class="ttdoc">open buffer overflow checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00271">Options.h:271</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_afbe432aabda95308e2c190a04d227a6d"><div class="ttname"><a href="classSVF_1_1Options.html#afbe432aabda95308e2c190a04d227a6d">SVF::Options::BufferOverflowCheck</a></div><div class="ttdeci">static const Option&lt; bool &gt; BufferOverflowCheck</div><div class="ttdoc">buffer overflow checker, Default: false</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00271">Options.h:271</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">SVF::PointerAnalysis::TypeCPP_WPA</a></div><div class="ttdeci">@ TypeCPP_WPA</div><div class="ttdoc">Type-based analysis for C++.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00080">PointerAnalysis.h:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a3fc22d0a45be551110d1e326380f3202"><div class="ttname"><a href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options::DetectPWC</a></div><div class="ttdeci">static Option&lt; bool &gt; DetectPWC</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00235">Options.h:235</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a9ff12bf51a475c90c35e3351c5501f0f"><div class="ttname"><a href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options::PrintCFL</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintCFL</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00252">Options.h:252</a></div></div>
@@ -1051,7 +1063,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1Options_html_a4f022e2f997d25ec50842b4248147336"><div class="ttname"><a href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options::FSAnno</a></div><div class="ttdeci">static const Option&lt; bool &gt; FSAnno</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00169">Options.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a28af43961cb29a7dea50be2ab332cc75"><div class="ttname"><a href="classSVF_1_1Options.html#a28af43961cb29a7dea50be2ab332cc75">SVF::Options::ClockType</a></div><div class="ttdeci">static const OptionMap&lt; enum PTAStat::ClockType &gt; ClockType</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00024">Options.h:24</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_aaa27474452c68545e883d02a334cab70"><div class="ttname"><a href="classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const Option&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
-<div class="ttc" id="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00279">Options.h:279</a></div></div>
+<div class="ttc" id="aclassSVF_1_1Options_html_a922c40a80ef055f7f861948d2158f8a7"><div class="ttname"><a href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options::AEPrecision</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; AEPrecision</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00287">Options.h:287</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a7ef3e2cd417646e9d06e0da16ff6c516"><div class="ttname"><a href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options::CFLSVFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; CFLSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00255">Options.h:255</a></div></div>
 <div class="ttc" id="afastcluster_8h_html_a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115"><div class="ttname"><a href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a></div><div class="ttdeci">@ HCLUST_METHOD_AVERAGE</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8h_source.html#l00072">fastcluster.h:72</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2f4f7e10e3f4f11645aafe63edeef26c"><div class="ttname"><a href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options::POCRAlias</a></div><div class="ttdeci">static const Option&lt; bool &gt; POCRAlias</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>