svf-tools 1.0.619 → 1.0.621

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>
@@ -115,7 +118,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAPass.html#a4f68cbbe00863024cba2ecf513ff979f">SVF::DDAPass</a>
 </li>
 <li>DDASelected
-: <a class="el" href="classSVF_1_1Options.html#a2203f622ab539b3a38488575c9eec33b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afa6c98d477db41a457ac83cfbfd4a580">SVF::Options</a>
 </li>
 <li>DDAStat()
 : <a class="el" href="classSVF_1_1DDAStat.html#aef8db234efc3a5ae58a6d43de97ca361">SVF::DDAStat</a>
@@ -173,6 +176,9 @@ $(function() {
 <li>deref_val()
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a15f4cee67b783061f09705dc7d2a2f87">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
+<li>description
+: <a class="el" href="classOptionBase.html#a8fbb1cde9e12a099617c8e8298424b5b">OptionBase</a>
+</li>
 <li>destory()
 : <a class="el" href="classSVF_1_1ExtAPI.html#abe3e0e2500532acfc01cee7e2ce1cd90">SVF::ExtAPI</a>
 </li>
@@ -201,7 +207,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTA.html#af9558955c068ce922872c259dde1786e">SVF::MTA</a>
 </li>
 <li>DetectPWC
-: <a class="el" href="classSVF_1_1Options.html#a1d299e736ee653759d340508fd30c6ab">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">SVF::Options</a>
 </li>
 <li>detectSCCs()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#ad52f6f586168ca4ceaf85cca8dfab825">SVF::VersionedFlowSensitive::SCC</a>
@@ -254,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>
@@ -270,7 +279,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#abd8bb73e9beac5e39667091b1e211bd3">SVF::BVDataPTAImpl</a>
 </li>
 <li>DiffPts
-: <a class="el" href="classSVF_1_1Options.html#a3e311bdcdaf0e39fd7d8566dc7866a44">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae782f25eaee9ac363c733b6ac609fbce">SVF::Options</a>
 </li>
 <li>diffPtsMap
 : <a class="el" href="classSVF_1_1MutableDiffPTData.html#a9ee7874e987e93eb4cb9d75ed08effd5">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -341,7 +350,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#af44b14fed89918847c0228c1100c56d2">SVF::PointerAnalysis</a>
 </li>
 <li>DisableWarn
-: <a class="el" href="classSVF_1_1Options.html#ab4206ecb79fdcd2d5211bfbd2537cacb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1721ff576ad641d862f29b038f31db28">SVF::Options</a>
 </li>
 <li>DistanceMatrixTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a09d2dbb2faab0a0e03bfa353534116a8">SVF::NodeIDAllocator::Clusterer</a>
@@ -380,7 +389,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404">SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a>
 </li>
 <li>DoLockAnalysis
-: <a class="el" href="classSVF_1_1Options.html#a036b9eb8b265a8abd54680d45758e7c6">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae2c4fe298a27f50c749b75f0801f9666">SVF::Options</a>
 </li>
 <li>dominate()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#af2fe5ef8f31ae675a7a32b45aa34a597">SVF::SaberCondAllocator</a>
@@ -415,7 +424,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a8b5a34679fb1362425c88d6e74b6c019">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>DPItem()
-: <a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">SVF::DPItem</a>
+: <a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">SVF::DPItem</a>
 </li>
 <li>dpmToADCPtSetMap
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a2565bf8dcacb22350dc1dc98ec7595f2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -515,7 +524,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27">SVF::PointerAnalysis</a>
 </li>
 <li>DumpCHA
-: <a class="el" href="classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#afcef86c88bb86198a3579aef82b5e270">SVF::Options</a>
 </li>
 <li>dumpCHAStats()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2">SVF::TypeAnalysis</a>
@@ -540,10 +549,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT</a>
 </li>
 <li>DumpFree
-: <a class="el" href="classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a03cd671379712e6b3fa8ac4ec9b4d1d4">SVF::Options</a>
 </li>
 <li>DumpICFG
-: <a class="el" href="classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options</a>
 </li>
 <li>dumpInterlev()
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a1af033b5742fa9cc1e4f9873184775b7">SVF::MTAResultValidator</a>
@@ -561,7 +570,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a749df6d6b28dd1bae569989bffeb7746">SVF::MemSSA</a>
 </li>
 <li>DumpMSSA
-: <a class="el" href="classSVF_1_1Options.html#a097255cb1373feaaaf2fe60c998862d5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0bb4bfd677e2e45cc8c24bfc190edfaa">SVF::Options</a>
 </li>
 <li>dumpPTData()
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a95f4644a82f84674164651db66b084b8">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -583,7 +592,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a9d5990a41e90558595d0ad0defceb4e8">SVF::VersionedFlowSensitive</a>
 </li>
 <li>DumpSlice
-: <a class="el" href="classSVF_1_1Options.html#ace1f2368a0a466f98c9e53def47db3ab">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab9443e23bdcb60f118a7aab835f974db">SVF::Options</a>
 </li>
 <li>dumpSlices()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#acae985068ff1c20fb81c4c9ba730aaba">SVF::SrcSnkDDA</a>
@@ -597,10 +606,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#a56ba65487cc91248259e29d3ebb5bdb0">SVF::Z3Expr</a>
 </li>
 <li>DumpSUPts
-: <a class="el" href="classSVF_1_1Options.html#ac2e5aab778f266c5de58cb6eb1939095">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6d45d7ba6852a986b53b31f60f967b01">SVF::Options</a>
 </li>
 <li>DumpSUStore
-: <a class="el" href="classSVF_1_1Options.html#aa24f52782c835452daf82138d0d69412">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab64401bdde8b0c846a78f21423e5cfb6">SVF::Options</a>
 </li>
 <li>dumpTopLevelPtsTo()
 : <a class="el" href="classSVF_1_1Andersen.html#a43858bd242c7f2c5f33c3c0f6445376a">SVF::Andersen</a>
@@ -609,13 +618,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a627bdc95485fd65e8846fcaa5e89559f">SVF::PointerAnalysis</a>
 </li>
 <li>DumpUninitPtr
-: <a class="el" href="classSVF_1_1Options.html#a2f671b5844b2c167a2c44b90061bfd73">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a296e4a2187d14828cb0baf859f48d716">SVF::Options</a>
 </li>
 <li>DumpUninitVar
-: <a class="el" href="classSVF_1_1Options.html#aaf05b444fd7f087e5d7fda3883f29dc5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab8075fe929f99b640d5c0a0530297025">SVF::Options</a>
 </li>
 <li>DumpVFG
-: <a class="el" href="classSVF_1_1Options.html#a3061c75f7491dd737222b1b877721070">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae3ad3003a8d3df2f1e3463248bb5ad51">SVF::Options</a>
 </li>
 <li>dval
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aa1d551ad74dd5ce3eb4b7d639aec31a9">SVF::SVFConstantFP</a>

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

@@ -285,18 +285,22 @@ $(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>
 <li>EnableAliasCheck
-: <a class="el" href="classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5f07ff361307017b35fb6b9a97919a73">SVF::Options</a>
 </li>
 <li>EnableThreadCallGraph
-: <a class="el" href="classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1daf36a755523519187c3a8e9a19b58d">SVF::Options</a>
 </li>
 <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>
@@ -415,7 +419,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#ac10a8f3a4b09dc257be9edabccea3fbb">SVF::MHP</a>
 </li>
 <li>ExeState()
-: <a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">SVF::ExeState</a>
+: <a class="el" href="classSVF_1_1ExeState.html#a2e79702693c4fce03ab9fc03d1ceb2b8">SVF::ExeState</a>
 </li>
 <li>ExeState_TYPE
 : <a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">SVF::ExeState</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()
@@ -463,6 +467,9 @@ $(function() {
 <li>extractKindStrFromSymbolStr()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a9cc406edc117b3abd07a85f66ca892a0">SVF::GrammarBase</a>
 </li>
+<li>extractPossibilityDescriptions()
+: <a class="el" href="classOptionBase.html#a21e8ccc08eef254ceee53185a717301d">OptionBase</a>
+</li>
 <li>extractSubConds()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a9f43fe1cacf419f03276d66c3a54fe77">SVF::SaberCondAllocator</a>
 </li>

package/SVF-doxygen/html/html/functions_f.html

@@ -173,7 +173,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a1ca118240e4c7f678d52a6ca4b3e6b2f">SVF::CoreBitVector</a>
 </li>
 <li>FirstFieldEqBase
-: <a class="el" href="classSVF_1_1Options.html#a8dc477d83a142a62b63207f6f240f224">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a12e88ce4ba3d39017203ec4cd3ccccea">SVF::Options</a>
 </li>
 <li>firstRHS2Prods
 : <a class="el" href="classSVF_1_1CFLGrammar.html#a640023178f4a6db832ca30256759484f">SVF::CFLGrammar</a>
@@ -203,10 +203,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo</a>
 </li>
 <li>FlexSymMap
-: <a class="el" href="classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8e22c3bca5ee0e4e7d90e857a5ea8031">SVF::Options</a>
 </li>
 <li>FlowBudget
-: <a class="el" href="classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8c02af98e908c48cef1de0085ed10ce4">SVF::Options</a>
 </li>
 <li>flowDDA
 : <a class="el" href="classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551">SVF::ContextDDA</a>
@@ -326,13 +326,16 @@ $(function() {
 <li>fromFile
 : <a class="el" href="classSVF_1_1IRGraph.html#a7750a2b2a98bb39fc5f67af4e0c12379">SVF::IRGraph</a>
 </li>
+<li>fromString()
+: <a class="el" href="classOption.html#abcd65f7f3f269cba1456455980be8322">Option&lt; T &gt;</a>
+</li>
 <li>front()
 : <a class="el" href="classSVF_1_1FIFOWorkList.html#af58263ff13106f215a027badae017e52">SVF::FIFOWorkList&lt; Data &gt;</a>
 , <a class="el" href="classSVF_1_1SVFBasicBlock.html#a7bde256bc906af7f7204929019f4a33e">SVF::SVFBasicBlock</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#a3a482ac970b808b932f9f50f0e0703e5">SVF::SVFFunction</a>
 </li>
 <li>FSAnno
-: <a class="el" href="classSVF_1_1Options.html#ae444f90ff3b6a3cfec1c08e6ca6f263a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4f022e2f997d25ec50842b4248147336">SVF::Options</a>
 </li>
 <li>FSCS_WPA
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82">SVF::PointerAnalysis</a>
@@ -354,7 +357,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78">SVF::PointerAnalysis</a>
 </li>
 <li>FsTimeLimit
-: <a class="el" href="classSVF_1_1Options.html#ad03c4697dd4da2b6adde112e3ee1884b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6ebad0decdd6e93c661b72d80f5dbcef">SVF::Options</a>
 </li>
 <li>fullJoin
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a4193a30050195cd9aaafd58511b66ccc">SVF::ForkJoinAnalysis</a>
@@ -397,7 +400,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38">SVF::MHP</a>
 </li>
 <li>FuncPointerPrint
-: <a class="el" href="classSVF_1_1Options.html#a14ceeb5d7de81a0946389159986e4955">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abb91435e1e06b07548c539e7f7761563">SVF::Options</a>
 </li>
 <li>FUNCTION_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830af5f94b2a41dab25fa08c94a989fb9515">SVF::ObjTypeInfo</a>
@@ -496,24 +499,24 @@ $(function() {
 <li>FunToArgsListMap
 : <a class="el" href="classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63">SVF::SVFIR</a>
 </li>
-<li>FunToCallGraphNodeMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
-</li>
 <li>funToCallGraphNodeMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a97986d6e6732c78b04cc053f0e9d1367">SVF::PTACallGraph</a>
 </li>
-<li>funToEntryChiSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
+<li>FunToCallGraphNodeMap
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14">SVF::PTACallGraph</a>
 </li>
 <li>FunToEntryChiSetMap
 : <a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">SVF::MemSSA</a>
 </li>
-<li>FunToExitBBsMap
-: <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678">SVF::SaberCondAllocator</a>
+<li>funToEntryChiSetMap
+: <a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">SVF::MemSSA</a>
 </li>
 <li>funToExitBBsMap
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#ad1620cc7482aeb464b53cfce64e17cc3">SVF::SaberCondAllocator</a>
 </li>
+<li>FunToExitBBsMap
+: <a class="el" href="classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678">SVF::SaberCondAllocator</a>
+</li>
 <li>funToFormalINMap
 : <a class="el" href="classSVF_1_1SVFG.html#ae51cd0493e4e767848b96b69045762fd">SVF::SVFG</a>
 </li>
@@ -553,12 +556,12 @@ $(function() {
 <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#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</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>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

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>
@@ -211,7 +216,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>
@@ -275,6 +280,9 @@ $(function() {
 <li>buildThreadCallGraph()
 : <a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html#a0f5bf24257858919c10af0e076d87ef7">SVF::ThreadCallGraphBuilder</a>
 </li>
+<li>buildUsage()
+: <a class="el" href="classOptionBase.html#a7dbcdc9ff8df95a2c5ca4bd0723a3965">OptionBase</a>
+</li>
 <li>buildVirtualFunctionToIDMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8">SVF::CHGBuilder</a>
 </li>