svf-tools 1.0.471 → 1.0.474

package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html

@@ -179,7 +179,7 @@ Functions</h2></td></tr>
 <div class="fragment"><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;{</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    <span class="keywordtype">string</span> className = <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">PointerType</a> *ptrType = SVFUtil::dyn_cast&lt;PointerType&gt;(ty))</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;    {</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *elemType = <a class="code" href="namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c">SVFUtil::getPtrElementType</a>(ptrType);</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;StructType&gt;(elemType) &amp;&amp;</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;                !((SVFUtil::cast&lt;StructType&gt;(elemType))-&gt;isLiteral()))</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        {</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;            <span class="keywordtype">string</span> elemTypeName = elemType-&gt;getStructName().str();</div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;            <span class="keywordflow">if</span> (elemTypeName.compare(0, <a class="code" href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">clsName</a>.size(), <a class="code" href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">clsName</a>) == 0)</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;            {</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;                className = elemTypeName.substr(<a class="code" href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">clsName</a>.size());</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;            }</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (elemTypeName.compare(0, <a class="code" href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">structName</a>.size(), <a class="code" href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">structName</a>) == 0)</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;            {</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;                className = elemTypeName.substr(<a class="code" href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">structName</a>.size());</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;            }</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;        }</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;    }</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;    <span class="keywordflow">return</span> className;</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a1d008c0666c145622b81d427be64c52d"><div class="ttname"><a href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">SVF::Type</a></div><div class="ttdeci">llvm::Type Type</div><div class="ttdoc">LLVM Basic classes. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00065">BasicTypes.h:65</a></div></div>
 <div class="ttc" id="namespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00089">BasicTypes.h:89</a></div></div>
 <div class="ttc" id="CPPUtil_8cpp_html_a4f0d10054cce04a0f4dec52a337cdf3c"><div class="ttname"><a href="CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c">structName</a></div><div class="ttdeci">const string structName</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00055">CPPUtil.cpp:55</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8e7f56fa15cea924a09cd6903de2606c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c">SVF::SVFUtil::getPtrElementType</a></div><div class="ttdeci">static Type * getPtrElementType(const PointerType *pty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00063">LLVMUtil.h:63</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8e7f56fa15cea924a09cd6903de2606c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c">SVF::SVFUtil::getPtrElementType</a></div><div class="ttdeci">static Type * getPtrElementType(const PointerType *pty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00073">LLVMUtil.h:73</a></div></div>
 <div class="ttc" id="CPPUtil_8cpp_html_a7622b99b57e87ceef06c0d154fae281b"><div class="ttname"><a href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">clsName</a></div><div class="ttdeci">const string clsName</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00054">CPPUtil.cpp:54</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -483,7 +483,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00089">BasicTypes.h:89</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1cppUtil_html_a891719bac36ebb6c001f073dfa5a9e7b"><div class="ttname"><a href="namespaceSVF_1_1cppUtil.html#a891719bac36ebb6c001f073dfa5a9e7b">SVF::cppUtil::getClassNameFromType</a></div><div class="ttdeci">std::string getClassNameFromType(const Type *ty)</div><div class="ttdef"><b>Definition:</b> <a href="CPPUtil_8cpp_source.html#l00418">CPPUtil.cpp:418</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00084">SVFBasicTypes.h:84</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8e7f56fa15cea924a09cd6903de2606c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c">SVF::SVFUtil::getPtrElementType</a></div><div class="ttdeci">static Type * getPtrElementType(const PointerType *pty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00063">LLVMUtil.h:63</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8e7f56fa15cea924a09cd6903de2606c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c">SVF::SVFUtil::getPtrElementType</a></div><div class="ttdeci">static Type * getPtrElementType(const PointerType *pty)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00073">LLVMUtil.h:73</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00072">BasicTypes.h:72</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/namespacemembers_func.html

@@ -315,6 +315,9 @@ $(function() {
 <li>isConstantData()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil</a>
 </li>
+<li>isConstantObjSym()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6442fbf0cccd55cf93eab2b656756e9a">SVF::SVFUtil</a>
+</li>
 <li>isConstructor()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8">SVF::cppUtil</a>
 </li>
@@ -346,7 +349,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCallViaArg()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aedfa6e9216c6c788c26aef1967689b76">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a0bde3acf22383eac5bbf4e2c065a2226">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCallViaRet()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab2064cb70c76f399ce115f2621adea35">SVF::SVFUtil</a>
@@ -387,14 +390,17 @@ $(function() {
 <li>isNonInstricCallSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91">SVF::SVFUtil</a>
 </li>
+<li>isNullPtrSym()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4c1107b2635f374e71e6a3a43834469b">SVF::SVFUtil</a>
+</li>
 <li>isObject()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#acc9fd07cb66dbdeef696c3c745856094">SVF::SVFUtil</a>
 </li>
 <li>isProgEntryFunction()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68b531ca4077e71dcc6d085e47a9730b">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
 </li>
 <li>isProgExitFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil</a>
@@ -406,7 +412,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -421,19 +427,19 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a07d991d5bfccce9ebdef0cbb6f4bf739">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aab8ac16a9a2961f98001ab94aeaedf64">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil</a>
 </li>
 <li>isStaticExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
 </li>
 <li>isThreadExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aae025d6727ef34fbeaa7ad48a4dabdcd">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a3af5073a1cdc000678f7e4bbc943f5d5">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a834afc0042c24ed5a1dd00cadc1f00c3">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433">SVF::SVFUtil</a>

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

@@ -106,6 +106,9 @@ $(function() {
 <li>isConstantData()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388">SVF::SVFUtil</a>
 </li>
+<li>isConstantObjSym()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6442fbf0cccd55cf93eab2b656756e9a">SVF::SVFUtil</a>
+</li>
 <li>isConstructor()
 : <a class="el" href="namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8">SVF::cppUtil</a>
 </li>
@@ -131,7 +134,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a384b0986a6c4e99dfc4e1629b3598c3c">SVF::SVFUtil</a>
 </li>
 <li>isHareParForCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a28fbb7cc51eb7e25d88f43e3eb1f30fb">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9b37c6fe1232ebc35ffa052bd392e2e8">SVF::SVFUtil</a>
 </li>
 <li>isHeapAllocExtCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a93ac673b885633849fa484938405ca75">SVF::SVFUtil</a>
@@ -170,7 +173,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil</a>
 </li>
 <li>isLockReleaseCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a84ac49c70252036a957694f2cf05ae2c">SVF::SVFUtil</a>
 </li>
 <li>isNoCallerFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae7007ebc6a543dc30ef076b4aed75b1b">SVF::SVFUtil</a>
@@ -178,6 +181,9 @@ $(function() {
 <li>isNonInstricCallSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91">SVF::SVFUtil</a>
 </li>
+<li>isNullPtrSym()
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4c1107b2635f374e71e6a3a43834469b">SVF::SVFUtil</a>
+</li>
 <li>isObject()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#acc9fd07cb66dbdeef696c3c745856094">SVF::SVFUtil</a>
 </li>
@@ -185,7 +191,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ab87fef7b10465d3e635643fcb93b95a7">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a68b531ca4077e71dcc6d085e47a9730b">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
 </li>
 <li>isProgExitFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil</a>
@@ -197,7 +203,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a42748153e4845f3eee0ca58a1e151f97">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>

package/SVF-doxygen/html/html/saber_8cpp.html

@@ -243,7 +243,7 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="saber_8cpp_source.html#l00047">47</a> of file <a class="el" href="saber_8cpp_source.html">saber.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVFUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;                                <span class="stringliteral">&quot;Source-Sink Bug Detector\n&quot;</span>);</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    {</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    }</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;</div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a> *saber;</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;    <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a>)</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">FILECHECKER</a>)</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1FileChecker.html">FileChecker</a>();</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">DFREECHECKER</a>)</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a>();</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        saber = <span class="keyword">new</span> <a class="code" href="classSVF_1_1LeakChecker.html">LeakChecker</a>();  <span class="comment">// if no checker is specified, we use leak checker as the default one.</span></div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    saber-&gt;<a class="code" href="classSVF_1_1LeakChecker.html#ab3bb79d88d73c8b881d714921e7b5e12">runOnModule</a>(svfModule);</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    <span class="keywordflow">return</span> 0;</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;}</div><div class="ttc" id="classSVF_1_1LeakChecker_html"><div class="ttname"><a href="classSVF_1_1LeakChecker.html">SVF::LeakChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="LeakChecker_8h_source.html#l00042">LeakChecker.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1DoubleFreeChecker_html"><div class="ttname"><a href="classSVF_1_1DoubleFreeChecker.html">SVF::DoubleFreeChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="DoubleFreeChecker_8h_source.html#l00042">DoubleFreeChecker.h:42</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00393">LLVMUtil.cpp:393</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00427">LLVMUtil.cpp:427</a></div></div>
 <div class="ttc" id="classSVF_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#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1FileChecker_html"><div class="ttname"><a href="classSVF_1_1FileChecker.html">SVF::FileChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="FileChecker_8h_source.html#l00042">FileChecker.h:42</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3bebf1fb890054c49ae16f9706fa38d2"><div class="ttname"><a href="saber_8cpp.html#a3bebf1fb890054c49ae16f9706fa38d2">LEAKCHECKER</a></div><div class="ttdeci">static llvm::cl::opt&lt; bool &gt; LEAKCHECKER(&quot;leak&quot;, llvm::cl::init(false), llvm::cl::desc(&quot;Memory Leak Detection&quot;))</div></div>

package/SVF-doxygen/html/html/saber_8cpp_source.html

@@ -71,7 +71,7 @@ $(function() {
 <div class="ttc" id="namespacellvm_html"><div class="ttname"><a href="namespacellvm.html">llvm</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00107">CFLGraph.h:107</a></div></div>
 <div class="ttc" id="FileChecker_8h_html"><div class="ttname"><a href="FileChecker_8h.html">FileChecker.h</a></div></div>
 <div class="ttc" id="saber_8cpp_html_a3c04138a5bfe5d72780bb7e82a18e627"><div class="ttname"><a href="saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627">main</a></div><div class="ttdeci">int main(int argc, char **argv)</div><div class="ttdef"><b>Definition:</b> <a href="saber_8cpp_source.html#l00047">saber.cpp:47</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00393">LLVMUtil.cpp:393</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00427">LLVMUtil.cpp:427</a></div></div>
 <div class="ttc" id="classSVF_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#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="LeakChecker_8h_html"><div class="ttname"><a href="LeakChecker_8h.html">LeakChecker.h</a></div></div>
 <div class="ttc" id="classSVF_1_1FileChecker_html"><div class="ttname"><a href="classSVF_1_1FileChecker.html">SVF::FileChecker</a></div><div class="ttdef"><b>Definition:</b> <a href="FileChecker_8h_source.html#l00042">FileChecker.h:42</a></div></div>

package/SVF-doxygen/html/html/search/all_10.js

@@ -8,7 +8,7 @@ var searchData=
   ['pagedge',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
   ['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
   ['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
-  ['pagedgetofunmap',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
+  ['pagedgetofunmap',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()']]],
   ['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
   ['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
   ['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
@@ -59,7 +59,7 @@ var searchData=
   ['pasmsg',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738',1,'SVF::SVFUtil']]],
   ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
   ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5',1,'SVF::ProgSlice']]],
-  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1PathCondAllocator.html#a805120d975a4e0981b7045b719fe9de3',1,'SVF::PathCondAllocator::PathCondAllocator()'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()']]],
+  ['pathcondallocator',['PathCondAllocator',['../classSVF_1_1PathCondAllocator.html',1,'SVF::PathCondAllocator'],['../classSVF_1_1SrcSnkDDA.html#a3008dc334d4500516507544a86ec6d9c',1,'SVF::SrcSnkDDA::pathCondAllocator()'],['../classSVF_1_1PathCondAllocator.html#a805120d975a4e0981b7045b719fe9de3',1,'SVF::PathCondAllocator::PathCondAllocator()']]],
   ['pathcondallocator_2ecpp',['PathCondAllocator.cpp',['../PathCondAllocator_8cpp.html',1,'']]],
   ['pathcondallocator_2eh',['PathCondAllocator.h',['../PathCondAllocator_8h.html',1,'']]],
   ['pathconstraint',['pathConstraint',['../classSVF_1_1ExeState.html#a7a9c5c2275246a43414503f6822073b1',1,'SVF::ExeState']]],
@@ -185,7 +185,7 @@ var searchData=
   ['printinterlev',['PrintInterLev',['../classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a',1,'SVF::Options']]],
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
   ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58',1,'SVF::Options']]],
-  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()']]],
+  ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
   ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
@@ -252,7 +252,7 @@ var searchData=
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
@@ -260,14 +260,14 @@ var searchData=
   ['ptacfinfo',['ptaCFInfo',['../classSVF_1_1ForkJoinAnalysis.html#a1c616b61fbe9c713f51f2a44c4208cfa',1,'SVF::ForkJoinAnalysis']]],
   ['ptacfinfobuilder',['PTACFInfoBuilder',['../classSVF_1_1PTACFInfoBuilder.html',1,'SVF::PTACFInfoBuilder'],['../classSVF_1_1PTACFInfoBuilder.html#abf1c70ba37181884e7848f6a7c6acf2c',1,'SVF::PTACFInfoBuilder::PTACFInfoBuilder()']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()'],['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()']]],
+  ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
   ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html',1,'SVF::PTASCEV'],['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
   ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
   ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
-  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
+  ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
   ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
@@ -283,7 +283,7 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
+  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
   ['ptrtocptsmap',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
   ['ptruint',['ptruint',['../cuddInt_8h.html#afd9afe0bf7ac5855fcd5eb42ea5fcb18',1,'cuddInt.h']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -28,7 +28,7 @@ var searchData=
   ['readsvfg',['ReadSVFG',['../classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944',1,'SVF::Options']]],
   ['realign',['realign',['../structDdManager.html#ab50e58f446cce13dd36cf63230e2d836',1,'DdManager']]],
   ['realignz',['realignZ',['../structDdManager.html#aeb6927b50fc978391e3eda5161df8c5c',1,'DdManager']]],
-  ['realloc',['REALLOC',['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h'],['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h']]],
+  ['realloc',['realloc',['../util_8h.html#af6ef63a39a975856bc39bf0f3d13b292',1,'realloc(): util.h'],['../util_8h.html#ac3d02b1026db1997f09067d47aed16a8',1,'REALLOC(): util.h']]],
   ['reanalyze',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
   ['reclaimed',['reclaimed',['../structDdManager.html#a4ab47b179b205207c8e738f4b6ed1ebd',1,'DdManager']]],
   ['recomb',['recomb',['../structDdManager.html#a38b89daefdc8aab944fbc2ff2aece2f4',1,'DdManager']]],
@@ -143,7 +143,7 @@ var searchData=
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
   ['resumeinst',['ResumeInst',['../SVF-FE_2BasicTypes_8h.html#a3fd88a8942ad6c871c63a90b780afbd0',1,'BasicTypes.h']]],
   ['resver',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()']]],
+  ['ret',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
   ['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
   ['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
@@ -159,7 +159,7 @@ var searchData=
   ['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
   ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()']]],
   ['retnode',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge::retPE()'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)']]],
+  ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a60cb8a19e352547b22f197f4ca8e19d8',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret)'],['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge::retPE()']]],
   ['retpebegin',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
   ['retpeend',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
   ['retpes',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
@@ -173,7 +173,7 @@ var searchData=
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reverse_5fdense',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
+  ['revptsmap',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
   ['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
   ['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
   ['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],

package/SVF-doxygen/html/html/search/all_13.js

@@ -34,7 +34,7 @@ var searchData=
   ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection< GraphType >'],['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection::SCCDetection()']]],
   ['sccdetectiontime',['SCCDetectionTime',['../classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa',1,'SVF::PTAStat']]],
-  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()']]],
+  ['sccedgeflag',['sccEdgeFlag',['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
   ['sccmergetime',['SCCMergeTime',['../classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287',1,'SVF::PTAStat']]],
   ['sccrepnode',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
@@ -52,7 +52,7 @@ var searchData=
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['sentinel',['sentinel',['../structDdManager.html#a8679aac5ecef09b42b3cf11786d57139',1,'DdManager']]],
   ['seq',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
-  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt']]],
+  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
   ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
   ['setallocationsite',['setAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0',1,'SVF::TypeBasedHeapCloning']]],
   ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
@@ -232,7 +232,7 @@ var searchData=
   ['st_5fdefault_5finit_5ftable_5fsize',['ST_DEFAULT_INIT_TABLE_SIZE',['../st_8h.html#a311df13f4d458054df7d87ca22782ab2',1,'st.h']]],
   ['st_5fdefault_5fmax_5fdensity',['ST_DEFAULT_MAX_DENSITY',['../st_8h.html#a4f884be75490db2c92e409a0209fdbcb',1,'st.h']]],
   ['st_5fdefault_5freorder_5fflag',['ST_DEFAULT_REORDER_FLAG',['../st_8h.html#a933aaa48b6a156a000befde073a24e4c',1,'st.h']]],
-  ['st_5fdelete',['ST_DELETE',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h'],['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c']]],
+  ['st_5fdelete',['st_delete',['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c'],['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h']]],
   ['st_5fforeach',['st_foreach',['../st_8h.html#a5341675ff925b7a670ab4705735ceb38',1,'st_foreach(st_table *, ST_PFSR, char *): st.c'],['../st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57',1,'st_foreach(st_table *table, ST_PFSR func, char *arg): st.c']]],
   ['st_5fforeach_5fitem',['st_foreach_item',['../st_8h.html#aea51027ca2b7197709990fb086e12c2c',1,'st.h']]],
   ['st_5fforeach_5fitem_5fint',['st_foreach_item_int',['../st_8h.html#a437227772bc9c4c0ec636f5723654a4c',1,'st.h']]],
@@ -248,14 +248,14 @@ var searchData=
   ['st_5fis_5fmember',['st_is_member',['../st_8h.html#a3e18b4a4f91b4188aa376a15ca372b9c',1,'st.h']]],
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
-  ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
+  ['st_5fnumcmp',['st_numcmp',['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c'],['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c']]],
   ['st_5fnumhash',['st_numhash',['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c'],['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
   ['st_5fpficpi',['ST_PFICPI',['../st_8h.html#a4689d232930698db6d2432922e094539',1,'st.h']]],
   ['st_5fpfsr',['ST_PFSR',['../st_8h.html#afcc2f06d7b3802b2710eec97355f968d',1,'st.h']]],
   ['st_5fptrcmp',['st_ptrcmp',['../st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf',1,'st_ptrcmp(const char *, const char *): st.c'],['../st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075',1,'st_ptrcmp(const char *x, const char *y): st.c']]],
-  ['st_5fptrhash',['st_ptrhash',['../st_8h.html#a144fc385b211526daab6da9ad5a854cc',1,'st_ptrhash(char *, int): st.c'],['../st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06',1,'st_ptrhash(char *x, int size): st.c'],['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'ST_PTRHASH(): st.c']]],
+  ['st_5fptrhash',['ST_PTRHASH',['../st_8c.html#a524a1efaf5df2432aa5bf96e35546164',1,'ST_PTRHASH(): st.c'],['../st_8h.html#a144fc385b211526daab6da9ad5a854cc',1,'st_ptrhash(char *, int): st.c'],['../st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06',1,'st_ptrhash(char *x, int size): st.c']]],
   ['st_5fretval',['st_retval',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1f',1,'st.h']]],
   ['st_5fshift',['st_shift',['../st_8c.html#ab2920f4cebe075a6fda8b299fce9f762',1,'st.c']]],
   ['st_5fstop',['ST_STOP',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa04b939c166d4baa471909eb224d5fed3',1,'st.h']]],
@@ -327,7 +327,7 @@ var searchData=
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
   ['str2kind',['str2Kind',['../classSVF_1_1GrammarBase.html#ad2d56d8cdc4539d4201d1995fb36e772',1,'SVF::GrammarBase']]],
-  ['strategy',['Strategy',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()'],['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()']]],
+  ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -378,7 +378,7 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
   ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
@@ -400,7 +400,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
   ['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
   ['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
+  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
   ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
   ['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
   ['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
@@ -413,13 +413,13 @@ var searchData=
   ['svfgreadwrite_2ecpp',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
   ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
   ['svfinst',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
-  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()']]],
+  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()']]],
   ['svfir_2ecpp',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
   ['svfir_2eh',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF::SVFIRBuilder'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder::SVFIRBuilder()']]],

package/SVF-doxygen/html/html/search/all_14.js

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -43,7 +43,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
@@ -89,14 +89,14 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
-  ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
+  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
@@ -149,7 +149,7 @@ var searchData=
   ['treez',['treeZ',['../structDdManager.html#a748a046ca1743d33b4cfaea560cc4d48',1,'DdManager']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['truecond',['trueCond',['../classSVF_1_1BDDExprManager.html#acf9824ae990ee816bf182fb9e4a14053',1,'SVF::BDDExprManager']]],
-  ['type',['type',['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
+  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../structDdNode.html#ac7e82d45498ac66d16e74db9a7971d9b',1,'DdNode::type()'],['../structDdGen.html#ab08569c7ba12c63288a09a92109aa81d',1,'DdGen::type()'],['../structEpDoubleStruct.html#ad715bfed9d5d6ebd3333b0f9d36030c6',1,'EpDoubleStruct::type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()']]],
   ['type2string',['type2String',['../namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518',1,'SVF::SVFUtil']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],
   ['typeanalysis_2ecpp',['TypeAnalysis.cpp',['../TypeAnalysis_8cpp.html',1,'']]],

package/SVF-doxygen/html/html/search/all_17.js

@@ -7,7 +7,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['WorkList',['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()'],['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['worklist',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
   ['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],

package/SVF-doxygen/html/html/search/all_2.js

@@ -80,6 +80,7 @@ var searchData=
   ['blackholeobjectid',['blackHoleObjectId',['../classSVF_1_1NodeIDAllocator.html#a79ee84d7efb8abbfcd80d31d966ce20b',1,'SVF::NodeIDAllocator']]],
   ['blackholepointerid',['blackHolePointerId',['../classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea',1,'SVF::NodeIDAllocator']]],
   ['blackholesymid',['blackholeSymID',['../classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4',1,'SVF::SymbolTableInfo']]],
+  ['blackholesyms',['blackholeSyms',['../classSVF_1_1SymbolTableInfo.html#a3f661249c4543c7bdb7ed17706b086cc',1,'SVF::SymbolTableInfo']]],
   ['blkptr',['BlkPtr',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba9a9d3f03f58ccd4fdaaf08327a74aa03',1,'SVF::SymbolTableInfo']]],
   ['blkptrsymid',['blkPtrSymID',['../classSVF_1_1SymbolTableInfo.html#a1689fa03795200b501ae3887906e7e72',1,'SVF::SymbolTableInfo']]],
   ['blockaddress',['BlockAddress',['../SVF-FE_2BasicTypes_8h.html#ad29efa92ce4c6449b5ef7853994877bd',1,'BasicTypes.h']]],