svf-tools 1.0.620 → 1.0.621

package/SVF-doxygen/html/html/functions_r.html

@@ -523,7 +523,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>
@@ -566,14 +566,12 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap

package/SVF-doxygen/html/html/functions_s.html

@@ -115,13 +115,11 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>SCC
-: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -871,12 +869,12 @@ $(function() {
 <li>storesToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3">SVF::MRGenerator</a>
 </li>
-<li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
-</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>
@@ -950,6 +948,9 @@ $(function() {
 <li>succInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction</a>
 </li>
+<li>succMap
+: <a class="el" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">SVF::CFLData</a>
+</li>
 <li>succset
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262">SVF::MTASVFGBuilder</a>
 </li>
@@ -999,7 +1000,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstant.html#a8981bda3ca80a7eb07285138d8218ffa">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
-: <a class="el" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData</a>
+: <a class="el" href="classSVF_1_1SVFConstantData.html#af2abe8e7f6d994677f4c93e2be11afac">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#a815feae0cca159fb0f3f74731c2cea1f">SVF::SVFConstantFP</a>
@@ -1073,7 +1074,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea8a1159a8819de74d39e32aef1b415c2a">SVF::SVFValue</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aaa876cccdd46e7ef2e094ac4a2a29b04">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#aec81144051355d04775807130d22356f">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNode
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#ae5374d89b21005f56ce3bbd6f123e5d7">SVF::SVFGNodeLockSpan</a>
@@ -1154,7 +1155,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd">SVF::SVFValue</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a245c052c318899d236654d629b855851">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntergerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca880833d3b6778a897bc24d15e58cf021">SVF::SVFType</a>
@@ -1263,7 +1264,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVF::SVFType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>svfTypes
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff6341f4e2a79b3c999ec955e48555c9">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_t.html

@@ -187,18 +187,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>tdAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
-</li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144">SVF::ThreadAPI</a>
 </li>
+<li>tdAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -322,6 +322,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>timeOfBuildCFLData
+: <a class="el" href="classSVF_1_1POCRAlias.html#a28c186dfb2ff9a6cc222215f7ca28b8e">SVF::POCRAlias</a>
+</li>
 <li>timeOfBuildCFLGrammar
 : <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
 </li>
@@ -660,6 +663,9 @@ $(function() {
 <li>traverseDendrogram()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6">SVF::NodeIDAllocator::Clusterer</a>
 </li>
+<li>TreeNode()
+: <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#a4b273b1b7152457e9d445cfd766ab736">SVF::HybridData::TreeNode</a>
+</li>
 <li>type
 : <a class="el" href="structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc">cJSON</a>
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
@@ -705,6 +711,9 @@ $(function() {
 <li>typeinfo
 : <a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">SVF::SVFType</a>
 </li>
+<li>TypeMap
+: <a class="el" href="classSVF_1_1CFLData.html#ad6e5c00ad346f21cd59b5ff52862bbd5">SVF::CFLData</a>
+</li>
 <li>typeName
 : <a class="el" href="classSVF_1_1DCHNode.html#a8a7b412262af7a90c9ef583b6a8c10fc">SVF::DCHNode</a>
 </li>

package/SVF-doxygen/html/html/functions_type_c.html

@@ -257,7 +257,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a5d4f73db8fb5bddb0e7630eda8c6da57">SVF::SVFModule</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>

package/SVF-doxygen/html/html/functions_type_d.html

@@ -68,6 +68,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>

package/SVF-doxygen/html/html/functions_type_i.html

@@ -149,7 +149,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>iterator
-: <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CFLData.html#ac9488c13a59fc9da5ea96774f68cb578">SVF::CFLData</a>
+, <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6">SVF::CoreBitVector</a>

package/SVF-doxygen/html/html/functions_type_t.html

@@ -93,6 +93,9 @@ $(function() {
 <li>Type2TypeInfoMap
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a026246497b363eeeabb519d845eb9c4b">SVF::LLVMModuleSet</a>
 </li>
+<li>TypeMap
+: <a class="el" href="classSVF_1_1CFLData.html#ad6e5c00ad346f21cd59b5ff52862bbd5">SVF::CFLData</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/functions_v.html

@@ -145,12 +145,12 @@ $(function() {
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#a4f01c7de5795f85a5f70bbf4f15c70df">SVF::ValVar</a>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
-</li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars.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_vars_c.html

@@ -215,6 +215,9 @@ $(function() {
 <li>child
 : <a class="el" href="structcJSON.html#a401b274c2da358dac5c23ab8b2c71f85">cJSON</a>
 </li>
+<li>children
+: <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#ab9fbeff34671b066d10611616909c683">SVF::HybridData::TreeNode</a>
+</li>
 <li>ciLocktoSpan
 : <a class="el" href="classSVF_1_1LockAnalysis.html#afc4212873c3e05ac9506aac0a25f515a">SVF::LockAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_d.html

@@ -116,6 +116,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#ad3c53ef1c8e221299f3afe078946fbe0">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>diff
+: <a class="el" href="classSVF_1_1CFLData.html#ab7db3b1ae0698c64b02001dd9943c311">SVF::CFLData</a>
+</li>
 <li>DiffPts
 : <a class="el" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -109,6 +109,9 @@ $(function() {
 <li>elemNum
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a5fdcd5f3b7550e7bdc30c8c030c6226d">SVF::ObjTypeInfo</a>
 </li>
+<li>emptyData
+: <a class="el" href="classSVF_1_1CFLData.html#ad6d63106c4db16659cf29a7e0c31c6bc">SVF::CFLData</a>
+</li>
 <li>EnableAliasCheck
 : <a class="el" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -100,6 +100,7 @@ $(function() {
 </li>
 <li>id
 : <a class="el" href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+, <a class="el" href="structSVF_1_1HybridData_1_1TreeNode.html#aee14edee2d81613c48c00b090ff0e66b">SVF::HybridData::TreeNode</a>
 </li>
 <li>ID
 : <a class="el" href="classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458">SVF::MergeFunctionRets</a>
@@ -150,6 +151,9 @@ $(function() {
 <li>indirectPropaTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a2feaa4b7a72989b311e9084a81320254">SVF::FlowSensitive</a>
 </li>
+<li>indMap
+: <a class="el" href="classSVF_1_1HybridData.html#abec2faddf70b046941f146976c8d05df">SVF::HybridData</a>
+</li>
 <li>InEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a0d918a6c8dd3b7b395d4c7161bcf9656">SVF::SVFVar</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_p.html

@@ -164,6 +164,9 @@ $(function() {
 <li>PlainMappingFs
 : <a class="el" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options</a>
 </li>
+<li>POCRAlias
+: <a class="el" href="classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c">SVF::Options</a>
+</li>
 <li>position
 : <a class="el" href="structerror.html#a24de70a4d517ab351d80c18582cadb66">error</a>
 </li>
@@ -186,6 +189,9 @@ $(function() {
 <li>predInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction</a>
 </li>
+<li>predMap
+: <a class="el" href="classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c">SVF::CFLData</a>
+</li>
 <li>preemptiveComplements
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -243,6 +243,9 @@ $(function() {
 <li>succInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ad0e8b1042094fda42346bae211d3e679">SVF::SVFInstruction</a>
 </li>
+<li>succMap
+: <a class="el" href="classSVF_1_1CFLData.html#a58bc39506945e1c7eaaf542c9e93aefa">SVF::CFLData</a>
+</li>
 <li>succset
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac909a7aa7de6cda8d2a89a9c7d2f4262">SVF::MTASVFGBuilder</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_t.html

@@ -135,6 +135,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969">SVF::CxtThreadProc</a>
 , <a class="el" href="classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269">SVF::CxtThreadStmt</a>
 </li>
+<li>timeOfBuildCFLData
+: <a class="el" href="classSVF_1_1POCRAlias.html#a28c186dfb2ff9a6cc222215f7ca28b8e">SVF::POCRAlias</a>
+</li>
 <li>timeOfBuildCFLGrammar
 : <a class="el" href="classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2">SVF::CFLBase</a>
 </li>