svf-tools 1.0.620 → 1.0.621

package/SVF-doxygen/html/html/functions_c.html

@@ -245,18 +245,18 @@ $(function() {
 <li>CallSite()
 : <a class="el" href="classSVF_1_1CallSite.html#aa21ead8f8652ef405a86b385837ea910">SVF::CallSite</a>
 </li>
-<li>CallSite2DummyValPN
-: <a class="el" href="classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51">SVF::Andersen</a>
-</li>
 <li>callsite2DummyValPN
 : <a class="el" href="classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541">SVF::Andersen</a>
 </li>
 <li>CallSite2DummyValPN
-: <a class="el" href="classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a">SVF::CFLAlias</a>
+: <a class="el" href="classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51">SVF::Andersen</a>
 </li>
 <li>callsite2DummyValPN
 : <a class="el" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">SVF::CFLAlias</a>
 </li>
+<li>CallSite2DummyValPN
+: <a class="el" href="classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a">SVF::CFLAlias</a>
+</li>
 <li>callSiteArgsListMap
 : <a class="el" href="classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2">SVF::SVFIR</a>
 </li>
@@ -276,13 +276,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">SVF::SVFGBuilder</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
 </li>
 <li>callSiteSet
 : <a class="el" href="classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450">SVF::SVFIR</a>
 </li>
 <li>CallSiteSet
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
 </li>
 <li>callSiteToActualINMap
 : <a class="el" href="classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4">SVF::SVFG</a>
@@ -411,6 +411,17 @@ $(function() {
 <li>CFLBase()
 : <a class="el" href="classSVF_1_1CFLBase.html#a59c71b0eada5c763ce776f3618d08dd8">SVF::CFLBase</a>
 </li>
+<li>CFLData()
+: <a class="el" href="classSVF_1_1CFLData.html#a05d8b0f55753fdad40a0f7be00aa80e4">SVF::CFLData</a>
+</li>
+<li>cflData()
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#a0e7ddcf73bde929b9b1b87f503f3bc3f">SVF::CFLDataBuilder</a>
+, <a class="el" href="classSVF_1_1POCRAlias.html#a8f936a2325919f016d09b1fb86c5c72b">SVF::POCRAlias</a>
+, <a class="el" href="classSVF_1_1POCRSolver.html#a5e82e65d4e7bec0031d06b41902fae54">SVF::POCRSolver</a>
+</li>
+<li>CFLDataBuilder()
+: <a class="el" href="classSVF_1_1CFLDataBuilder.html#a5a2cdbf128e536c771567b372c29ce0b">SVF::CFLDataBuilder</a>
+</li>
 <li>CFLEdge()
 : <a class="el" href="classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116">SVF::CFLEdge</a>
 </li>
@@ -568,6 +579,9 @@ $(function() {
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a9be4c858403f9161e48f6aa551932b04">SVF::GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab4886d654f7f3678490d09c15b42f79e">SVF::GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
+<li>children
+: <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">SVF::HybridData::TreeNode</a>
+</li>
 <li>CHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07">SVF::SVFG</a>
@@ -655,7 +669,7 @@ $(function() {
 , <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#af8a0defe4c5b36893e155a4b074c0f30">SVF::CallMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CallPE.html#a188c51f3e378c451d34e90c96cca0cf5">SVF::CallPE</a>
+, <a class="el" href="classSVF_1_1CallPE.html#a6df0149f79122c5a7d517f75d0235e73">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CFLGrammar.html#a866db9b7ba6569421fa8a9e3c64c2eab">SVF::CFLGrammar</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#ae7e9f1a3c524d80c77b2a75f877dc2d6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CmpStmt.html#adec661dd23b7806b35abba2d44aebc61">SVF::CmpStmt</a>
@@ -699,9 +713,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae1e57e6cc223a06f957c4d6761c35402">SVF::IntraIndSVFGEdge</a>
 , <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_1LoadCGEdge.html#ab7d9fa1d9ed23f3f7579ba26dad46032">SVF::LoadCGEdge</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#a675192a60c5afa6e1d5f9b7dae5953b5">SVF::LoadMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1LoadStmt.html#a03d6f1ee2f52b34d905b204eb53d6560">SVF::LoadStmt</a>
+, <a class="el" href="classSVF_1_1LoadStmt.html#ac252b1e9b7c01108d1aff602fbe1ef40">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>
 , <a class="el" href="classSVF_1_1MSSACHI.html#a49cf6b7e0cb38acfeb2eb2e1273c506d">SVF::MSSACHI&lt; Cond &gt;</a>
@@ -713,7 +727,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a89f65d37096c82fcdddb1c324ec206d2">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a589d71ff881e53133e5c688f1c616ab3">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a6be54447671288a666af5d48972e2ccf">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
-, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#abaa71e2b1e7f9a6d7920a89eb397dccc">SVF::NormalGepCGEdge</a>
+, <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a79033645683ead9a7404cd35fd936092">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NullPtrVFGNode.html#ad3fb6de5ce7d31e881e95bf60528847d">SVF::NullPtrVFGNode</a>
 , <a class="el" href="classSVF_1_1ObjVar.html#ac127d3ee00a6bed2bdba2f24b389eb4b">SVF::ObjVar</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -773,7 +787,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ValVar.html#adbbf3c9ff5dcb10ac528d3eb4b69750c">SVF::ValVar</a>
 , <a class="el" href="classSVF_1_1VarArgPN.html#acaecf9e9d98c4a14fecee0877a72839c">SVF::VarArgPN</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a5afc61b0781b222c70707a0ea765a4bd">SVF::VariantGepCGEdge</a>
-, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#afd1e0d4445e1e50e95f816e51f8de3c8">SVF::VersionedFlowSensitive</a>
+, <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#abe1874f12ba05b4f453604c6d91598d6">SVF::VersionedFlowSensitive</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#a385133d44ac2b5fcef007040da8c2fd6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1WtoCycle.html#af55574afbbb75dede2d9589070da600d">SVF::WtoCycle</a>
 , <a class="el" href="classSVF_1_1WtoVertex.html#aa16a28629fd927cd2c827b2019f92c31">SVF::WtoVertex</a>
@@ -782,7 +796,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1AndersenBase.html#aebfe0c7238eb24f74f105b950b86cb5e">SVF::AndersenBase</a>
 </li>
 <li>clear()
-: <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
+: <a class="el" href="classSVF_1_1CFLData.html#add6e4c022793302af571cfd251de1f51">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CFLFIFOWorkList.html#a0899c25a81dfad2d134785c31ab6ad56">SVF::CFLFIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#ad81774f0ad13fb21579180fc15affd7b">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a4c49e2964276825744ffce26fc43ec36">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a1e523bab1013a9f3e9eaea56e53afa58">SVF::CoreBitVector</a>
@@ -826,6 +841,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab514f387ae2122e919030c5006f1bbce">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SaberCondAllocator.html#a5406e73b860c419143035ee3774e7c1c">SVF::SaberCondAllocator</a>
 </li>
+<li>clearEdges()
+: <a class="el" href="classSVF_1_1CFLData.html#af9427cd02ab98f3a265c92ca5b60131f">SVF::CFLData</a>
+</li>
 <li>clearFlagMap()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a7965a276a3a12d532c9967de13d4cc8a">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#adffd808458057544e3492c7afffeeebe">SVF::LockAnalysis</a>
@@ -908,7 +926,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#a02c4846269bd28bd4e8b127532cb737a">SVF::CmpStmt</a>
+: <a class="el" href="classSVF_1_1CmpStmt.html#a6e11c486468a8fe0f7aa38a0546b8328">SVF::CmpStmt</a>
 </li>
 <li>CmpVFGNode()
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#adcb91fca3c1cd9e23c8996dd825504ac">SVF::CmpVFGNode</a>
@@ -1070,7 +1088,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet</a>
 </li>
 <li>computeDDAPts()
-: <a class="el" href="classSVF_1_1ContextDDA.html#ae0f3b07267ded5f0ee879c39effff864">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a337eb89cc5f31741ad8d840d9f284ca5">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a113faa56ee75eff39da19fd4b47a47e0">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">SVF::PointerAnalysis</a>
 </li>
@@ -1152,7 +1170,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#aad144061d006968ff4d6d21488b84801">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondPosMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#aa330cc6a1a3c38601ebeb325ffd87221">SVF::SaberCondAllocator</a>
@@ -1176,7 +1194,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>
@@ -1274,7 +1292,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a84c1bc6eaff950330a102afca1efc04c">SVF::ObjTypeInfo</a>
 </li>
 <li>const_iterator
-: <a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet&lt; Element &gt;</a>
+: <a class="el" href="classSVF_1_1CFLData.html#ac65bbba5545887149cfe270fc6970d37">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CondStdSet.html#a55152b7749868cc25f1c3c33ea57a650">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#ab1868f04de44f6fe1e9ac14f3d4ee56b">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a101bc917679a9d8ee7badb3c9e8c12e3">SVF::ContextCond</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a45a3bf8465e63f723c0a551f0b0f37ff">SVF::CoreBitVector</a>
@@ -1300,7 +1319,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>
@@ -1387,7 +1406,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#a5f31275f74ff9eb5734481f36275c6d9">SVF::ContextCond</a>
 </li>
 <li>ContextDDA()
 : <a class="el" href="classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05">SVF::ContextDDA</a>
@@ -1404,7 +1423,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>
@@ -1413,19 +1432,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#a63b808e82e75562c53e4371cc3d7ed1e">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#aee4a402546b3df92412a5252c9608818">SVF::CopyVFGNode</a>
+: <a class="el" href="classSVF_1_1CopyVFGNode.html#a0f3f697a0053bf5847db95f526bec1e7">SVF::CopyVFGNode</a>
 </li>
 <li>CoreBitVector()
-: <a class="el" href="classSVF_1_1CoreBitVector.html#adb5b13df8bc76f00ceb145711cfb77e1">SVF::CoreBitVector</a>
+: <a class="el" href="classSVF_1_1CoreBitVector.html#a57b3db689583b652ab1426c04a66c4ae">SVF::CoreBitVector</a>
 </li>
 <li>CoreBitVectorIterator()
-: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#abe0289ad45158397b6950afc920f34ef">SVF::CoreBitVector::CoreBitVectorIterator</a>
+: <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#add4da76753804d22314f070e1ad1ce6f">SVF::CoreBitVector::CoreBitVectorIterator</a>
 </li>
 <li>count()
 : <a class="el" href="classSVF_1_1CondStdSet.html#aa19e82905537f3ae41f64fce070ee555">SVF::CondStdSet&lt; Element &gt;</a>
@@ -1464,10 +1483,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#acc5c77fbd1a6133d5e80c3f587d49fb3">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#ad26570b94c56d6d2ae1cd5093ac66670">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>cptsEnd()
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#aa4c47630b9a06d70375daf5e9237303d">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CondPointsToSet.html#a20026db57cfef6bf6a978140b2372cea">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CPtSet
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a3f2f48fc122c07ff9eb1382aa7a3f966">SVF::CondPTAImpl&lt; Cond &gt;</a>
@@ -1566,7 +1585,7 @@ $(function() {
 <li>csHasVtblsBasedonCHA()
 : <a class="el" href="classSVF_1_1CHGraph.html#acd4907aa926a4c7fdc3964700d721f79">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1CommonCHGraph.html#aff7363feebc20267dad7230666b583b1">SVF::CommonCHGraph</a>
-, <a class="el" href="classSVF_1_1DCHGraph.html#a2fef8f7209f100c7a266cf3102b1219b">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1DCHGraph.html#afc7235305640be3d6dbae8199d5c8611">SVF::DCHGraph</a>
 </li>
 <li>csId
 : <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#a2cbaf86c3e65eb9d02d3843706fc178b">SVF::CallDirSVFGEdge</a>
@@ -1702,7 +1721,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#a1c2b14fd60bd4902bfc520c9ba08c6e8">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>
@@ -1722,12 +1741,12 @@ $(function() {
 <li>CxtLockProcVec
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a058f3518f0b861c46c99095922e373f0">SVF::LockAnalysis</a>
 </li>
-<li>CxtLockSet
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
-</li>
 <li>cxtLockset
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a3081e7c7165908ed4aa282f398c5236d">SVF::LockAnalysis</a>
 </li>
+<li>CxtLockSet
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a0716c155b42b3ae7a6c8d7593bb6ac83">SVF::LockAnalysis</a>
+</li>
 <li>cxtLockSet
 : <a class="el" href="classSVF_1_1LockResultValidator.html#a51e6f48be9f2a65b390e4e0350eb12a9">SVF::LockResultValidator</a>
 </li>
@@ -1753,7 +1772,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextCond.html#a20f15a1661f928ab80bacaf8f5c497b1">SVF::ContextCond</a>
 </li>
 <li>CxtStmt()
-: <a class="el" href="classSVF_1_1CxtStmt.html#ad976db5b794019bb68ccc9a35349fb41">SVF::CxtStmt</a>
+: <a class="el" href="classSVF_1_1CxtStmt.html#a1fa357ea71dee45deac94141ef8cdd32">SVF::CxtStmt</a>
 </li>
 <li>CxtStmtDPItem()
 : <a class="el" href="classSVF_1_1CxtStmtDPItem.html#a595d44fa92f4ebef2fe789873fd357e0">SVF::CxtStmtDPItem&lt; LocCond &gt;</a>
@@ -1766,21 +1785,23 @@ $(function() {
 <li>CxtStmtSet
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a42ed881d4cd79eae099266a9e171aeb2">SVF::LockAnalysis</a>
 </li>
-<li>cxtStmtToAliveFlagMap
-: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
-</li>
 <li>CxtStmtToAliveFlagMap
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#acdc652faba35e45820cce0cdd20ea99c">SVF::ForkJoinAnalysis</a>
 </li>
+<li>cxtStmtToAliveFlagMap
+: <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis</a>
+</li>
 <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>
@@ -1796,7 +1817,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ae2218961699a4b4385f47fb039005dbe">SVF::LockAnalysis</a>
 </li>
 <li>CxtThread()
-: <a class="el" href="classSVF_1_1CxtThread.html#ac6af46ba08bbad4454358298fd2557d3">SVF::CxtThread</a>
+: <a class="el" href="classSVF_1_1CxtThread.html#ad05fb5464900d6d444c1fd3a6e0d9280">SVF::CxtThread</a>
 </li>
 <li>CxtThreadProc()
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a1c7dd7740266a07d354df537a9167bcc">SVF::CxtThreadProc</a>

package/SVF-doxygen/html/html/functions_d.html

@@ -84,6 +84,9 @@ $(function() {
 <li>DataIter
 : <a class="el" href="classSVF_1_1MutableIncDFPTData.html#a1fc4dff28f9044234fdfeede6f4b1cb0">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>DataMap
+: <a class="el" href="classSVF_1_1CFLData.html#a3a33fbfd1fb0afa58926e748012a2bf7">SVF::CFLData</a>
+</li>
 <li>DataOp
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a5a0f1b93f29ce62ad13042ab8435c62c">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -257,6 +260,9 @@ $(function() {
 <li>DI
 : <a class="el" href="classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8ae9e3edea0bae930aa9af04699fca9506">SVF::CommonCHGraph</a>
 </li>
+<li>diff
+: <a class="el" href="classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311">SVF::CFLData</a>
+</li>
 <li>Diff
 : <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
@@ -539,7 +545,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aa4dc73ea65f736282a413a9d286141e5">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>dumpCxt()
-: <a class="el" href="classSVF_1_1MTAResultValidator.html#ae7d61becd14123f60976fd7261d0c84d">SVF::MTAResultValidator</a>
+: <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

package/SVF-doxygen/html/html/functions_e.html

@@ -285,6 +285,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#aea5389ad7e5fe4c8bef686940a1a6056">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="structSVF_1_1SparseBitVectorElement.html#ac3a4795681af74563d757f587252aa7f">SVF::SparseBitVectorElement&lt; ElementSize &gt;</a>
 </li>
+<li>emptyData
+: <a class="el" href="classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc">SVF::CFLData</a>
+</li>
 <li>emptyPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
@@ -297,6 +300,7 @@ $(function() {
 <li>end()
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a4f13b7cccd69bdac2a4f5feff5625f01">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 , <a class="el" href="classSVF_1_1AddressValue.html#a6f8186d1df43be4fbd0a48f724046372">SVF::AddressValue</a>
+, <a class="el" href="classSVF_1_1CFLData.html#aaab737512ca958a7f43e27bbcac23285">SVF::CFLData</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a5ead697952ada3fbb07da3459a2b1b86">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a93c232ef7e5dea652622da7f994e1dc3">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ContextCond.html#a4b56b54896a1241032d7614309829399">SVF::ContextCond</a>
@@ -427,7 +431,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE</a>
 </li>
 <li>expandFIObjs()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a798c84d5e861de2b61bcb1a86385f721">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aa6a7186152037452599406a74b05d0e1">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a87b48287d7edb97fc120200fe0e5218d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>ExtAPI()

package/SVF-doxygen/html/html/functions_func.html

@@ -144,6 +144,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>
@@ -355,13 +358,19 @@ $(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>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFIRBuilder.html#ae07ab1c2549151d95114a9600399ffc3">SVF::SVFIRBuilder</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>
@@ -488,6 +497,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>
@@ -707,15 +719,21 @@ $(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>
-, <a class="el" href="classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -734,7 +752,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf">SVF::MRGenerator</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>
@@ -802,7 +820,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>
@@ -819,9 +837,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>
@@ -936,7 +960,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
+: <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>
@@ -974,18 +998,18 @@ $(function() {
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</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#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</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#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#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
 </li>
 <li>AliasDDAClient()
 : <a class="el" href="classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6">SVF::AliasDDAClient</a>
@@ -1021,7 +1045,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>

package/SVF-doxygen/html/html/functions_func_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_func_b.html

@@ -103,6 +103,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>
@@ -113,7 +114,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SparseBitVector.html#abf76d8157c49ddba24bdc9dab3655772">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#ac9cb2f17e42c40ca81b49c8b63a855fc">SVF::SVFBasicBlock</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a49a6e9c0661135ceda2dd4d84c4b24ae">SVF::SVFFunction</a>
-, <a class="el" href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule</a>
+, <a class="el" href="classSVF_1_1SVFModule.html#a436c4bdede4d1c1e68d7e41bd2b27da7">SVF::SVFModule</a>
 , <a class="el" href="classSVF_1_1Wto.html#a0e0dfb1d27ced24411387488dd97f270">SVF::Wto</a>
 , <a class="el" href="classSVF_1_1WtoCycle.html#af8bc18d803523a81a79c8d2937067062">SVF::WtoCycle</a>
 , <a class="el" href="classSVF_1_1WtoNesting.html#adcd8c44ebdf968de75ed7b950082c2aa">SVF::WtoNesting</a>
@@ -159,7 +160,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1BreakConstantGEPs.html#a5397ce21e78d09c8d1cdc3f912d53a7f">SVF::BreakConstantGEPs</a>
 </li>
 <li>build()
-: <a class="el" href="classSVF_1_1CFLGraphBuilder.html#ab0d2bd46dd1c3be10c04f573e9365757">SVF::CFLGraphBuilder</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>
@@ -193,6 +195,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>
@@ -270,7 +275,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a82b29fc1e138e082d7da6e016a5b7eb8">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>buildThreadCallGraph()
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>