svf-tools 1.0.837 → 1.0.839

package/SVF-doxygen/html/dir_1b8e404556d3e8597ae60437f0a084bf.html

@@ -93,6 +93,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLStat_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLStat_8h.html">CFLStat.h</a> <a href="CFLStat_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFLSVFGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLSVFGBuilder_8h.html">CFLSVFGBuilder.h</a> <a href="CFLSVFGBuilder_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLVF_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLVF_8h.html">CFLVF.h</a> <a href="CFLVF_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:GrammarBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="GrammarBuilder_8h.html">GrammarBuilder.h</a> <a href="GrammarBuilder_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/dir_8a9c8659eb68b9cbd3fead4690588a47.html

@@ -86,6 +86,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLStat_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLStat_8cpp.html">CFLStat.cpp</a> <a href="CFLStat_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFLSVFGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLSVFGBuilder_8cpp.html">CFLSVFGBuilder.cpp</a> <a href="CFLSVFGBuilder_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLVF_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLVF_8cpp.html">CFLVF.cpp</a> <a href="CFLVF_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:GrammarBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="GrammarBuilder_8cpp.html">GrammarBuilder.cpp</a> <a href="GrammarBuilder_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/files.html

@@ -95,8 +95,9 @@ $(function() {
 <tr id="row_0_0_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8h.html" target="_self">CFLGraphBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8h.html" target="_self">CFLSolver.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLStat_8h.html" target="_self">CFLStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8h.html" target="_self">CFLVF.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8h.html" target="_self">GrammarBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSVFGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSVFGBuilder_8h.html" target="_self">CFLSVFGBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8h.html" target="_self">CFLVF.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_1_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8h.html" target="_self">GrammarBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_2_" class="arrow" onclick="toggleFolder('0_0_2_')">&#9658;</span><span id="img_0_0_2_" class="iconfclosed" onclick="toggleFolder('0_0_2_')">&#160;</span><a class="el" href="dir_bdae418e222376af7bbb677cb952ac5b.html" target="_self">DDA</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ContextDDA_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ContextDDA_8h.html" target="_self">ContextDDA.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_2_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DDAClient_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DDAClient_8h.html" target="_self">DDAClient.h</a></td><td class="desc"></td></tr>
@@ -240,8 +241,9 @@ $(function() {
 <tr id="row_0_1_1_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGraphBuilder_8cpp.html" target="_self">CFLGraphBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSolver_8cpp.html" target="_self">CFLSolver.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLStat_8cpp.html" target="_self">CFLStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_1_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8cpp.html" target="_self">CFLVF.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_1_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8cpp.html" target="_self">GrammarBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLSVFGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLSVFGBuilder_8cpp.html" target="_self">CFLSVFGBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFLVF_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFLVF_8cpp.html" target="_self">CFLVF.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_1_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GrammarBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="GrammarBuilder_8cpp.html" target="_self">GrammarBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_2_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_2_" class="arrow" onclick="toggleFolder('0_1_2_')">&#9658;</span><span id="img_0_1_2_" class="iconfclosed" onclick="toggleFolder('0_1_2_')">&#160;</span><a class="el" href="dir_66a98945e0e09705e7bf000f55637571.html" target="_self">DDA</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ContextDDA_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ContextDDA_8cpp.html" target="_self">ContextDDA.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DDAClient_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="DDAClient_8cpp.html" target="_self">DDAClient.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/functions_b.html

@@ -356,7 +356,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
-: <a class="el" href="classSVF_1_1BranchVFGNode.html#a29efb69de81e8fd799133c9194eec3d3">SVF::BranchVFGNode</a>
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
 </li>
 <li>brConditions
 : <a class="el" href="classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0">SVF::CDGEdge</a>
@@ -385,12 +385,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>BugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
-</li>
 <li>bugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
 </li>
+<li>BugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>
@@ -524,7 +524,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210">SVF::RelExeState</a>
 </li>
 <li>buildSVFG()
-: <a class="el" href="classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2">SVF::CFLSVFGBuilder</a>
+, <a class="el" href="classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a3b75cd10a314c920669cd0d4790e1a16">SVF::MTASVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">SVF::SVFG</a>
@@ -535,7 +536,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>

package/SVF-doxygen/html/functions_c.html

@@ -541,6 +541,10 @@ $(function() {
 <li>CFLSVFG
 : <a class="el" href="classSVF_1_1Options.html#a7ef3e2cd417646e9d06e0da16ff6c516">SVF::Options</a>
 </li>
+<li>CFLSVFGBuilder()
+: <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#a6dc5b2c97c0e4948f78bd68fbbf0fdfc">SVF::CFLSVFGBuilder</a>
+, <a class="el" href="classSVF_1_1SVFG.html#a17841bd17e7595f8feef1002b26ff188">SVF::SVFG</a>
+</li>
 <li>CFLVF()
 : <a class="el" href="classSVF_1_1CFLVF.html#a1e6a36bc27f7b325086f8f44d745d519">SVF::CFLVF</a>
 </li>
@@ -743,7 +747,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallICFGNode.html#afb8bed9242cea8c927d14028526c19b9">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a9da25118e904862eb1f39231c2b191bd">SVF::CallIndSVFGEdge</a>
-, <a class="el" href="classSVF_1_1CallMU.html#a27c70bc7543eeb2fcf64f139481d3bf9">SVF::CallMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallMU.html#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#acce909c4c082749affec7b0d3ceb394a">SVF::CFBasicBlockGWTOCycle</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#a2d94a3f6bd93d6b3806ec03de3eb1576">SVF::CFBasicBlockGWTONode</a>
@@ -796,7 +800,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ae1fef4865427f59811fde241d4ac80cc">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a30aa2227c1d94c2726d29cdbe800f91e">SVF::IntraPHIVFGNode</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a1e4ddf7950685fa18fc0bb8669cc1961">SVF::LoadCGEdge</a>
-, <a class="el" href="classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5">SVF::LoadMU&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1LoadMU.html#a2b3f73c38c479e05984e01710227e50f">SVF::LoadMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a4f8125b671b65b106b82fa7f555a0627">SVF::LoadVFGNode</a>
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a22e28a37a013d14964ce832fa23dfb84">SVF::MRSVFGNode</a>
@@ -967,7 +971,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4a55644f32cf3ccddf85541f61bef5ff">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a64e3dbd840184eb8e829c4d003b5b4cf">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a522af0d1727809479b1122b075b0845e">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -1013,7 +1017,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828">SVF::VFGNode</a>
 </li>
 <li>CmpStmt()
-: <a class="el" href="classSVF_1_1CmpStmt.html#a5cf03d97a8e21b09946b0842c6fde54d">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#abab82b7193ac1a9811d0177cedd329dc">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1080,7 +1084,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286">SVF::SaberSVFGBuilder</a>
 </li>
 <li>collectInterleavingTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a3c3eacff786230d093d27615ff360ed4">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#a044d4c936df5b37496076c173f0dd503">SVF::MTAResultValidator</a>
 </li>
 <li>collectLoadStoreInst()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#ab84e4295f1137090bdf9e0608a4c2077">SVF::MTAAnnotator</a>
@@ -1144,7 +1148,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ac2fa9a797e3e2a8885ccc488030659d5">SVF::SymbolTableBuilder</a>
 </li>
 <li>collectTCTTargets()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#a47b07809c67e2a48245f19ae2a7a488c">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1MTAResultValidator.html#abdf31e8fca824b56a53788de525042a6">SVF::MTAResultValidator</a>
 </li>
 <li>collectTypeInfo()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f6cc76c996a0577b20b8cedd83fff92">SVF::LLVMModuleSet</a>
@@ -1212,6 +1216,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae7f6f66b7e70cf872dc572b073f6d67b">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#af77d3631664b21a16818f54b03b5a832">SVF::SaberCondAllocator</a>
 </li>
+<li>computeInvalidCondFromRemovedSUVFEdge()
+: <a class="el" href="classSVF_1_1ProgSlice.html#abe0cc350db350bd4e9a9973c9052fc41">SVF::ProgSlice</a>
+</li>
 <li>computeLocksets()
 : <a class="el" href="classSVF_1_1MTA.html#a0f4805f195ebd42d81127b1a79333c75">SVF::MTA</a>
 </li>
@@ -1265,7 +1272,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a2e4c3f5149a5085a5c8bb7547eae8161">SVF::SaberCondAllocator</a>
 </li>
 <li>CondPointsToSet()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a7217769c21c50c44f139006ec44d3a6f">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a3670dc2bb046f2d3e0d27dc02b32e62f">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221">SVF::SaberCondAllocator</a>
@@ -1289,7 +1296,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondStdSet.html#a1f3e8aa09ca8e7f252525e35c4886c5b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
 <li>CondVar()
-: <a class="el" href="classSVF_1_1CondVar.html#a93101c4401ed4ced33d64b5726e9cd69">SVF::CondVar&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondVar.html#afd729e068419ed45bb9da8d5920f8674">SVF::CondVar&lt; Cond &gt;</a>
 </li>
 <li>connectAInAndFIn()
 : <a class="el" href="classSVF_1_1SVFG.html#ac9ab2a95cd7a09bbe4b4aa3e6fafaf62">SVF::SVFG</a>
@@ -1370,7 +1377,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass</a>
 </li>
 <li>ConsExeState()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a2c661a9a6742cd091dccabee30314f89">SVF::ConsExeState</a>
+: <a class="el" href="classSVF_1_1ConsExeState.html#a61645ed0edcdab44f30f6e0e3989cb6d">SVF::ConsExeState</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>
@@ -1422,7 +1429,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a236f64d0b5529573f5070506e07b1faf">SVF::SVFModule</a>
 </li>
 <li>constant_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#abd37790149389fe1fd3bf93196b302e0">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#ad4616c3bde775e0cf19ea9ed90065a2e">SVF::SVFModule</a>
 </li>
 <li>ConstantObj
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89baa3ecb7c51e2cba67d1f9a5284c2f215f">SVF::SymbolTableInfo</a>
@@ -1501,7 +1508,7 @@ $(function() {
 : <a class="el" href="structparse__buffer.html#a52ee1184576baa3d5171059ab0e942de">parse_buffer</a>
 </li>
 <li>contentToJson()
-: <a class="el" href="classSVF_1_1SVFIRWriter.html#a92792f6766cdca52289cc96270ea832c">SVF::SVFIRWriter</a>
+: <a class="el" href="classSVF_1_1SVFIRWriter.html#a9c11025e72dc0d50bd6c8861c987a9bd">SVF::SVFIRWriter</a>
 </li>
 <li>context
 : <a class="el" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond</a>
@@ -1512,7 +1519,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356">SVF::LeakChecker</a>
 </li>
 <li>ContextCond()
-: <a class="el" href="classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1">SVF::ContextCond</a>
+: <a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1532,7 +1539,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af589a053fdb7efc728b68a324fc58b2b">SVF::VFGNode</a>
 </li>
 <li>CopyCGEdge()
-: <a class="el" href="classSVF_1_1CopyCGEdge.html#a90cbb8b4085648811f95afde4175a168">SVF::CopyCGEdge</a>
+: <a class="el" href="classSVF_1_1CopyCGEdge.html#ac82949d49688f428d09842bda0ba1d53">SVF::CopyCGEdge</a>
 </li>
 <li>copyInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">SVF::ConstraintNode</a>
@@ -1541,19 +1548,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">SVF::ConstraintNode</a>
 </li>
 <li>CopyStmt()
-: <a class="el" href="classSVF_1_1CopyStmt.html#aa965d58e96e8729d16d66387ee09eac7">SVF::CopyStmt</a>
+: <a class="el" href="classSVF_1_1CopyStmt.html#a69b179ef052408034786d32a52c52389">SVF::CopyStmt</a>
 </li>
 <li>copyTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a888d6334e5e226c634680e4c0674dcfb">SVF::FlowSensitive</a>
 </li>
 <li>CopyVFGNode()
-: <a class="el" href="classSVF_1_1CopyVFGNode.html#ac04930bac7b31563ce761779ff1dbf91">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#a93f42d767c99bdf788dc4df4881751c5">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a66b4a85853791c4e1537a4bdbc7a2f90">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ae209179f396c8b5b788ff6d2c437e5d6">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1583,10 +1590,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRSVFGNode.html#a640153ff592bf0058882a0d05a76b1ba">SVF::MRSVFGNode</a>
 </li>
 <li>cptsBegin()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1860,7 +1867,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a3bbd106de519cb8d00f33e82f14d279b">SVF::Options</a>
 </li>
 <li>CxtDPItem()
-: <a class="el" href="classSVF_1_1CxtDPItem.html#a53fa464132d5e51e832158d2e928db32">SVF::CxtDPItem</a>
+: <a class="el" href="classSVF_1_1CxtDPItem.html#a673749f246b002b33ca3718a566779ca">SVF::CxtDPItem</a>
 </li>
 <li>cxtJoinInLoop
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a63da48d338683ec95709a6bd95238707">SVF::ForkJoinAnalysis</a>
@@ -1895,23 +1902,23 @@ $(function() {
 <li>CxtLockToLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab782401c6521a2810e28ac602710ac22">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockToSpan
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
-</li>
 <li>cxtLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a2fd796765f16cc7094f36d68c0ff70a0">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockToSpan
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a7335d5b13a6cb1dcde9706f30b8a4826">SVF::LockAnalysis</a>
+</li>
 <li>CxtProc()
-: <a class="el" href="classSVF_1_1CxtProc.html#ac1ca3a049f6d0f8a0548a153cc903aa0">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#a25a80c93a6aeb1112a846d6c588364cc">SVF::CxtProc</a>
 </li>
 <li>cxtSize()
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
-: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a5c3bd4e8f26bfdc863baeb1241a557d1">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>cxtStmtList
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis</a>
@@ -1930,12 +1937,14 @@ $(function() {
 <li>CxtStmtToCxtLockS
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a284e4c4d5d84da5ebe0938cad8490dfc">SVF::LockResultValidator</a>
 </li>
+<li>cxtStmtToCxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
+</li>
 <li>CxtStmtToCxtLockSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a710aad28484677637367e9098a55c7d7">SVF::LockAnalysis</a>
 </li>
 <li>cxtStmtToCxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#ae256a84fd63947a6f81bee030bdbe7fc">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ad8a03181445edeb835fed08c88f6e0bb">SVF::LockResultValidator</a>
 </li>
 <li>CxtStmtToLockFlagMap
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a451d9b41fd048e11615ea47872f614c9">SVF::LockAnalysis</a>
@@ -1963,7 +1972,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a23df579f18d4ea4b0f47272091ddc43e">SVF::TCT</a>
 </li>
 <li>CxtThreadStmt()
-: <a class="el" href="classSVF_1_1CxtThreadStmt.html#a5a4392f444e5fe64a1387c134935893d">SVF::CxtThreadStmt</a>
+: <a class="el" href="classSVF_1_1CxtThreadStmt.html#ab5487e3f330bb18685281c5effcecfbb">SVF::CxtThreadStmt</a>
 </li>
 <li>CxtThreadStmtSet
 : <a class="el" href="classSVF_1_1MHP.html#a28031502c4f8f0d4012c0827c57efb32">SVF::MHP</a>

package/SVF-doxygen/html/functions_d.html

@@ -561,9 +561,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a073f442fd9441d95731b7b7b92675ec7">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
-<li>DumpFree
-: <a class="el" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">SVF::Options</a>
-</li>
 <li>DumpICFG
 : <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
 </li>
@@ -621,12 +618,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1MemRegion.html#adad8c2b08ab6a512f0c3aa90b4416f60">SVF::MemRegion</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0">SVF::Z3Expr</a>
 </li>
-<li>DumpSUPts
-: <a class="el" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options</a>
-</li>
-<li>DumpSUStore
-: <a class="el" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options</a>
-</li>
 <li>dumpToJsonFile()
 : <a class="el" href="classSVF_1_1SVFBugReport.html#aa119593331403f73867fddcb6ec26989">SVF::SVFBugReport</a>
 </li>
@@ -636,12 +627,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a80daa422e0dacf75aceb4fe5b4687c04">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f">SVF::PointerAnalysis</a>
 </li>
-<li>DumpUninitPtr
-: <a class="el" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options</a>
-</li>
-<li>DumpUninitVar
-: <a class="el" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">SVF::Options</a>
-</li>
 <li>DumpVFG
 : <a class="el" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options</a>
 </li>

package/SVF-doxygen/html/functions_f.html

@@ -652,24 +652,24 @@ $(function() {
 <li>funToModsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d">SVF::MRGenerator</a>
 </li>
-<li>FunToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
-</li>
 <li>funToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator</a>
 </li>
+<li>FunToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b">SVF::MRGenerator</a>
+</li>
 <li>FunToNodeBSMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d">SVF::MRGenerator</a>
 </li>
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>
@@ -682,12 +682,12 @@ $(function() {
 <li>FunToRetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3">SVF::SVFIR</a>
 </li>
-<li>FunToReturnMuSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
-</li>
 <li>funToReturnMuSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#abae2396bf8a37a22be9365d368fe455c">SVF::MemSSA</a>
 </li>
+<li>FunToReturnMuSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92">SVF::MemSSA</a>
+</li>
 <li>funToVFGNodesMap
 : <a class="el" href="classSVF_1_1VFG.html#a9a99ae86d16ffe69bff9d52de769d049">SVF::VFG</a>
 </li>

package/SVF-doxygen/html/functions_func_b.html

@@ -231,7 +231,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -300,7 +300,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1RelExeState.html#ab798aa0dfa3f71a53a6860dc84e92210">SVF::RelExeState</a>
 </li>
 <li>buildSVFG()
-: <a class="el" href="classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSVFGBuilder.html#ab8c71c5af2877ccacd6c34a86a9eadf2">SVF::CFLSVFGBuilder</a>
+, <a class="el" href="classSVF_1_1DDAVFSolver.html#af34ed8482d3737a8aaaff2d5c75960ec">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a3b75cd10a314c920669cd0d4790e1a16">SVF::MTASVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4d70d1413f42f30437d8eb45ff00b6f6">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a0920e9f9896531959d74ae61013d96d6">SVF::SVFG</a>