svf-tools 1.0.620 → 1.0.622

package/SVF-doxygen/html/html/dir_ae8aa099e368efaa962140c6624142bc.html

@@ -75,6 +75,10 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLBase_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLBase_8h.html">CFLBase.h</a> <a href="CFLBase_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFLData_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLData_8h.html">CFLData.h</a> <a href="CFLData_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFLDataBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLDataBuilder_8h.html">CFLDataBuilder.h</a> <a href="CFLDataBuilder_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGramGraphChecker_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGramGraphChecker_8h.html">CFLGramGraphChecker.h</a> <a href="CFLGramGraphChecker_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CFLGrammar_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8h.html">CFLGrammar.h</a> <a href="CFLGrammar_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/html/fastcluster__dm_8cpp_8inc_source.html

@@ -70,7 +70,7 @@ $(function() {
 <div class="ttc" id="cJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
 <div class="ttc" id="fastcluster_8cpp_html_a8abcd9d66492e761592578e82ce2cba0"><div class="ttname"><a href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fc_isnan</a></div><div class="ttdeci">bool fc_isnan(double x)</div><div class="ttdef"><b>Definition:</b> <a href="fastcluster_8cpp_source.html#l00019">fastcluster.cpp:19</a></div></div>
 <div class="ttc" id="cJSON_8h_html_a1a175e87536301df98c805ac0636ad7c"><div class="ttname"><a href="cJSON_8h.html#a1a175e87536301df98c805ac0636ad7c">b</a></div><div class="ttdeci">const cJSON *const b</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00255">cJSON.h:255</a></div></div>
-<div class="ttc" id="namespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00597">IntervalValue.h:597</a></div></div>
+<div class="ttc" id="namespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00602">IntervalValue.h:602</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a8a1a0a26c50cc4becfc754bb68d1dc6b"><div class="ttname"><a href="cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b">a</a></div><div class="ttdeci">cJSON * a</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02560">cJSON.cpp:2560</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>

package/SVF-doxygen/html/html/files.html

@@ -80,13 +80,15 @@ $(function() {
 <tr id="row_0_1_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFGNormalizer_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFGNormalizer_8h.html" target="_self">CFGNormalizer.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLAlias_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLAlias_8h.html" target="_self">CFLAlias.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLBase_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLBase_8h.html" target="_self">CFLBase.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGramGraphChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGramGraphChecker_8h.html" target="_self">CFLGramGraphChecker.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGrammar_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8h.html" target="_self">CFLGrammar.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_5_" style="display:none;"><td class="entry"><span style="width:48px;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_1_6_" style="display:none;"><td class="entry"><span style="width:48px;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_1_7_" style="display:none;"><td class="entry"><span style="width:48px;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_1_8_" style="display:none;"><td class="entry"><span style="width:48px;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_1_9_" style="display:none;"><td class="entry"><span style="width:48px;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_1_3_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLData_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLData_8h.html" target="_self">CFLData.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_4_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLDataBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLDataBuilder_8h.html" target="_self">CFLDataBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_5_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGramGraphChecker_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGramGraphChecker_8h.html" target="_self">CFLGramGraphChecker.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_6_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><a href="CFLGrammar_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFLGrammar_8h.html" target="_self">CFLGrammar.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_7_" style="display:none;"><td class="entry"><span style="width:48px;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_1_8_" style="display:none;"><td class="entry"><span style="width:48px;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_1_9_" style="display:none;"><td class="entry"><span style="width:48px;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_1_10_" style="display:none;"><td class="entry"><span style="width:48px;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_1_11_" style="display:none;"><td class="entry"><span style="width:48px;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_2_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_0_2_" class="arrow" onclick="toggleFolder('0_2_')">&#9658;</span><span id="img_0_2_" class="iconfclosed" onclick="toggleFolder('0_2_')">&#160;</span><a class="el" href="dir_1ef28ffd5b1a0676d84f8349afe04309.html" target="_self">DDA</a></td><td class="desc"></td></tr>
 <tr id="row_0_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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_2_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;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>

package/SVF-doxygen/html/html/functions.html

@@ -105,6 +105,11 @@ $(function() {
 <li>_callGraphSCC
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a4c307d486756daa1e79595b1e9edc40a">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>_cflData
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#a33912d00ef8eb5e205cb9b0177c60f77">SVF::CFLDataBuilder</a>
+, <a class="el" href="classSVF_1_1POCRAlias.html#a4a225814387ebd9ae2b32026579a6b4f">SVF::POCRAlias</a>
+, <a class="el" href="classSVF_1_1POCRSolver.html#a3ed67db7c5bbddee09b7fefdec3ca538">SVF::POCRSolver</a>
+</li>
 <li>_client
 : <a class="el" href="classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a8bb61315bc5d1816f4e07140864af47f">SVF::DDAPass</a>
@@ -143,7 +148,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">SVF::SVFIR2ItvExeState</a>
 </li>
 <li>_graph
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#a46acc7c901770ea22c66011f9c68c55c">SVF::CFLDataBuilder</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_0x7e.html

@@ -97,6 +97,12 @@ $(function() {
 <li>~CFLBase()
 : <a class="el" href="classSVF_1_1CFLBase.html#a9bcd55546fc9ec1fbbac2b257ffa3243">SVF::CFLBase</a>
 </li>
+<li>~CFLData()
+: <a class="el" href="classSVF_1_1CFLData.html#a2c04558fd5b2a69d4aa6e1af1c3c3279">SVF::CFLData</a>
+</li>
+<li>~CFLDataBuilder()
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#a073a84eaffbb1ab63b825aa26ee3e6bb">SVF::CFLDataBuilder</a>
+</li>
 <li>~CFLEdge()
 : <a class="el" href="classSVF_1_1CFLEdge.html#a8754c9d2a2a8b342d614383ee5829e70">SVF::CFLEdge</a>
 </li>
@@ -244,6 +250,9 @@ $(function() {
 <li>~HareParForEdge()
 : <a class="el" href="classSVF_1_1HareParForEdge.html#a6496eb7d7d33d49cc174722034451b1b">SVF::HareParForEdge</a>
 </li>
+<li>~HybridData()
+: <a class="el" href="classSVF_1_1HybridData.html#a06a0f79963a5d9a330f030d3c93096f6">SVF::HybridData</a>
+</li>
 <li>~ICFG()
 : <a class="el" href="classSVF_1_1ICFG.html#ae1a4cb907f4313c253576c51955f2b53">SVF::ICFG</a>
 </li>
@@ -373,6 +382,12 @@ $(function() {
 <li>~PersistentVersionedPTData()
 : <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a70d4addaf968ab26132a84079ee6fd03">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
+<li>~POCRAlias()
+: <a class="el" href="classSVF_1_1POCRAlias.html#afde197bfe5e98bdc6c879e1364b2b373">SVF::POCRAlias</a>
+</li>
+<li>~POCRSolver()
+: <a class="el" href="classSVF_1_1POCRSolver.html#a5149116e1dbcffcf656f5a63fa0e0c25">SVF::POCRSolver</a>
+</li>
 <li>~PointerAnalysis()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a4aeca84393c5586eea7a480737daf17c">SVF::PointerAnalysis</a>
 </li>
@@ -493,6 +508,9 @@ $(function() {
 <li>~ThreadJoinEdge()
 : <a class="el" href="classSVF_1_1ThreadJoinEdge.html#a0a09e2d148e6d02a5fcb31b8752a3ea5">SVF::ThreadJoinEdge</a>
 </li>
+<li>~TreeNode()
+: <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ad93a4d1a7e025403c741421c96030ce7">SVF::HybridData::TreeNode</a>
+</li>
 <li>~TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#a6375b5601feda2fb22259ecce08548fc">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_a.html

@@ -171,6 +171,9 @@ $(function() {
 <li>addAliasSet()
 : <a class="el" href="classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d">SVF::SVFModule</a>
 </li>
+<li>addArc()
+: <a class="el" href="classSVF_1_1HybridData.html#aa77cded07aeb17c600c5d864694dd922">SVF::HybridData</a>
+</li>
 <li>addArgument()
 : <a class="el" href="classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77">SVF::SVFCallInst</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c">SVF::SVFFunction</a>
@@ -382,7 +385,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea">SVF::SVFG</a>
 </li>
 <li>addEdge()
-: <a class="el" href="classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7">SVF::CHGraph</a>
+: <a class="el" href="classSVF_1_1CFLData.html#ad31c2dc818201eec84056b0b238048d1">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CFLDataBuilder.html#ae483afdd26ba4b70fe4e40f985950d2b">SVF::CFLDataBuilder</a>
+, <a class="el" href="classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def">SVF::DCHGraph</a>
 , <a class="el" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">SVF::IRGraph</a>
 , <a class="el" href="classSVF_1_1PAGBuilderFromFile.html#afe42e4086de6688002afd144507b0b62">SVF::PAGBuilderFromFile</a>
@@ -410,6 +415,10 @@ $(function() {
 <li>ADDEDGE_NORP
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b">SVF::MTASVFGBuilder</a>
 </li>
+<li>addEdges()
+: <a class="el" href="classSVF_1_1CFLData.html#a35d5d928a6ae9298893c903ed00b476e">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CFLDataBuilder.html#a110fa54ae8d88c19409ebbafb6570653">SVF::CFLDataBuilder</a>
+</li>
 <li>addEntryICFGEdge()
 : <a class="el" href="classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00">SVF::SVFLoop</a>
 </li>
@@ -536,6 +545,9 @@ $(function() {
 <li>addIncomingStoreEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504">SVF::ConstraintNode</a>
 </li>
+<li>addInd()
+: <a class="el" href="classSVF_1_1HybridData.html#a7ef9213832546a850c968d075db6264b">SVF::HybridData</a>
+</li>
 <li>addIndirectCallGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758">SVF::PTACallGraph</a>
 </li>
@@ -758,9 +770,15 @@ $(function() {
 <li>addPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53">SVF::IndirectSVFGEdge</a>
 </li>
+<li>addPred()
+: <a class="el" href="classSVF_1_1CFLData.html#a75adafb55103000ea7b959905831623e">SVF::CFLData</a>
+</li>
 <li>addPredBasicBlock()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5">SVF::SVFBasicBlock</a>
 </li>
+<li>addPreds()
+: <a class="el" href="classSVF_1_1CFLData.html#ab214e58aee047fc94e79b8a8011ca8ca">SVF::CFLData</a>
+</li>
 <li>addPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -781,7 +799,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -802,7 +820,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -819,7 +837,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6">SVF::SVFG</a>
 </li>
 <li>addRetNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f">SVF::SVFIR</a>
 </li>
 <li>addRetPE()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a">SVF::FormalRetVFGNode</a>
@@ -845,7 +863,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b">SVF::FlowSensitive</a>
 </li>
 <li>AddrVFGNode()
-: <a class="el" href="classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c">SVF::AddrVFGNode</a>
+: <a class="el" href="classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a">SVF::AddrVFGNode</a>
 </li>
 <li>addSccCandidate()
 : <a class="el" href="classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689">SVF::AndersenSCD</a>
@@ -882,7 +900,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -899,9 +917,15 @@ $(function() {
 <li>addSubNodes()
 : <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 </li>
+<li>addSucc()
+: <a class="el" href="classSVF_1_1CFLData.html#a1d420d898cd68f419f1ebc853547a90f">SVF::CFLData</a>
+</li>
 <li>addSuccBasicBlock()
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff">SVF::SVFBasicBlock</a>
 </li>
+<li>addSuccs()
+: <a class="el" href="classSVF_1_1CFLData.html#a9766221dac3f6a9597dd663435ccd7ba">SVF::CFLData</a>
+</li>
 <li>addSUStat()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
@@ -1025,7 +1049,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1059,19 +1083,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_b.html

@@ -222,6 +222,7 @@ $(function() {
 <li>begin()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aabd833b8eca182f681462209c9f24f1a">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1AddressValue.html#aed0b4789beda4980e4e215a65350f323">SVF::AddressValue</a>
+, <a class="el" href="classSVF_1_1CFLData.html#a41a7fd0398309e57e5397ff84907e489">SVF::CFLData</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a3521ec3be48cc03d9d3f562cb088a9ad">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#adf095111734d81b6ad1908a7f795b038">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4ae7e2236708b0d205f393cdce75c8d1">SVF::ContextCond</a>
@@ -273,7 +274,7 @@ $(function() {
 : <a class="el" href="structSVF_1_1SparseBitVectorElement.html#a2dfc62db92b64481fe56fafaa923dce0aeb226b2e0dea78fbdbf5b780c3745f6d">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
 <li>BitVector()
-: <a class="el" href="classSVF_1_1BitVector.html#a212871312b985f7d7215dd46ba171990">SVF::BitVector</a>
+: <a class="el" href="classSVF_1_1BitVector.html#a4a5726a380b115e555944059a507eab7">SVF::BitVector</a>
 , <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aba51f4b0022c38b89f9fa519cf25fb3f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>BitWord
@@ -322,7 +323,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -343,8 +344,9 @@ $(function() {
 : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
 </li>
 <li>build()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a5944c6a36e150a50a54aedd622c43ff9">SVF::CFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#afb5aaadc3d2cb2e0158e9e5a83823d23">SVF::CFLDataBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -377,6 +379,9 @@ $(function() {
 <li>buildCandidateFuncSetforLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e">SVF::LockAnalysis</a>
 </li>
+<li>buildCFLData()
+: <a class="el" href="classSVF_1_1POCRAlias.html#a010c8f2757debf259598f11d1c6e97fe">SVF::POCRAlias</a>
+</li>
 <li>buildCFLGrammar()
 : <a class="el" href="classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09">SVF::CFLBase</a>
 </li>