svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/functions_g.html

@@ -80,7 +80,8 @@ $(function() {
 : <a class="el" href="structDdManager.html#a9eee204f20f831cc8da778e4d408d9c6">DdManager</a>
 </li>
 <li>GEDGE
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>GEdgeFlag
@@ -862,7 +863,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4">SVF::ConstraintGraph</a>
 </li>
 <li>getEdgeAttributes()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -880,7 +882,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b">SVF::GenericEdge&lt; NodeTy &gt;</a>
 </li>
 <li>getEdgeSourceLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3">llvm::DOTGraphTraits&lt; OfflineConsG * &gt;</a>
@@ -905,6 +908,9 @@ $(function() {
 <li>getEntryProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab">SVF::TCT</a>
 </li>
+<li>getEpsilonProds()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#aa27c7e9e4ffcbbf95edddfe3f9faf719">SVF::CFLGrammar</a>
+</li>
 <li>getEscapObjviaGlobals()
 : <a class="el" href="classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a">SVF::MRGenerator</a>
 </li>
@@ -957,6 +963,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354">SVF::SVFIR</a>
 </li>
+<li>getFirstRHSSymbol()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#af26cd720d34bdf7e37c0be603fcc9921">SVF::CFLGrammar</a>
+</li>
 <li>getFlattenedElemIdx()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8">SVF::SymbolTableInfo</a>
 </li>
@@ -1138,12 +1147,19 @@ $(function() {
 <li>getGNode()
 : <a class="el" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
+<li>getGrammar()
+: <a class="el" href="classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827">SVF::CFLSolver</a>
+</li>
+<li>getGraph()
+: <a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">SVF::CFLSolver</a>
+</li>
 <li>getGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc">SVF::TCT</a>
 </li>
 <li>getGraphName()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -1314,6 +1330,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">SVF::VFG</a>
 </li>
+<li>getLHSSymbol()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a6b7598e35c7f50257c7f074a5e07b230">SVF::CFLGrammar</a>
+</li>
 <li>getLHSTopLevPtr()
 : <a class="el" href="classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac">SVF::VFG</a>
 </li>
@@ -1445,8 +1464,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ae487d7b800d7536b578095c9f140ac80">SVF::MRGenerator</a>
 </li>
 <li>getModRefInfo()
-: <a class="el" href="classSVF_1_1MRGenerator.html#a3a6c0f60c861b6d744225a40aea638d7">SVF::MRGenerator</a>
-, <a class="el" href="classSVF_1_1WPAPass.html#a567f818fa7b29142b18cb39e5c063a4e">SVF::WPAPass</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#a6d86f4ef6ad2f14c2dbf57b759e2950f">SVF::WPAPass</a>
 </li>
 <li>getModSideEffectOfCallSite()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator</a>
@@ -1545,10 +1564,12 @@ $(function() {
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d">SVF::DCHGraph</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeAttributes()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -1563,13 +1584,15 @@ $(function() {
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
 <li>getNodeIDFromItem()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>getNodeKind()
 : <a class="el" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>getNodeLabel()
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -1866,6 +1889,15 @@ $(function() {
 <li>getProc()
 : <a class="el" href="classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189">SVF::CxtProc</a>
 </li>
+<li>getProdsFromFirstRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#ad623cfee9bade475fcdc64fab349f332">SVF::CFLGrammar</a>
+</li>
+<li>getProdsFromSecondRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a060244b3b41208d9eb80ddee658cdc68">SVF::CFLGrammar</a>
+</li>
+<li>getProdsFromSingleRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a7284e7262bedad317a6f8b35b6f62e45">SVF::CFLGrammar</a>
+</li>
 <li>getPropaPts()
 : <a class="el" href="classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
@@ -1905,15 +1937,16 @@ $(function() {
 <li>getPts()
 : <a class="el" href="classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -1926,7 +1959,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRawCTirMetadata()
 : <a class="el" href="classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556">SVF::FlowSensitiveTBHC</a>
@@ -1987,7 +2020,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb">SVF::ICFGBuilder</a>
 </li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetPE()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#af84bf360ca641711a3c625de86feb603">SVF::RetCFGEdge</a>
@@ -2014,7 +2047,8 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2043,6 +2077,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTA.html#a7cb2fd230ed5839b59f650cc87de192e">SVF::MTA</a>
 , <a class="el" href="classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf">SVF::TCT</a>
 </li>
+<li>getSecondRHSSymbol()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#afc6e719553df005ea14cca953602d28b">SVF::CFLGrammar</a>
+</li>
 <li>getSiblingThread()
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
 </li>
@@ -2169,7 +2206,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a2ef5951de4760d28adb9d82b22067360">SVF::BranchVFGNode</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2216,6 +2253,9 @@ $(function() {
 <li>getSVFStmtSet()
 : <a class="el" href="classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744">SVF::SVFIR</a>
 </li>
+<li>getSymbol()
+: <a class="el" href="classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06">SVF::GrammarBase</a>
+</li>
 <li>getTaskDataAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
@@ -2234,7 +2274,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2434,7 +2474,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ExeState.html#ab52debe3aae77d1efd5de4d220dbed2f">SVF::ExeState</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
 </li>
 <li>global_end()
 : <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
@@ -2488,7 +2528,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b">SVF::ObjTypeInfo</a>
 </li>
 <li>GNODE
-: <a class="el" href="classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f">SVF::WPASCCSolver&lt; GraphType &gt;</a>
@@ -2508,15 +2549,38 @@ $(function() {
 <li>GNodeStack
 : <a class="el" href="classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
-<li>graph()
-: <a class="el" href="classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</a>
+<li>grammar
+: <a class="el" href="classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa">SVF::GrammarBuilder</a>
+</li>
+<li>GrammarBuilder()
+: <a class="el" href="classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b">SVF::GrammarBuilder</a>
+</li>
+<li>GrammarFilename
+: <a class="el" href="classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596">SVF::Options</a>
+</li>
+<li>GrammarIsEBNF
+: <a class="el" href="classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785">SVF::Options</a>
+</li>
+<li>graph
+: <a class="el" href="classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d">SVF::SVFGStat</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
+<li>GraphIsFromDot
+: <a class="el" href="classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888">SVF::Options</a>
+</li>
 <li>GraphPrinter()
 : <a class="el" href="classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448">llvm::GraphPrinter</a>
 </li>
+<li>GraphReachSolver()
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+</li>
 <li>graphSize()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
 </li>
@@ -2530,7 +2594,8 @@ $(function() {
 : <a class="el" href="structst__table.html#a33a7ea1dabc05f109a41d076fc835b02">st_table</a>
 </li>
 <li>GTraits
-: <a class="el" href="classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808">SVF::WPASCCSolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/html/functions_h.html

@@ -284,7 +284,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe">SVF::Annotator</a>
 </li>
 <li>hasEdge()
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51">SVF::ConstraintGraph</a>
+: <a class="el" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">SVF::CFLGraph</a>
+, <a class="el" href="classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91">SVF::DCHGraph</a>
 </li>
 <li>hasFlag()
@@ -355,7 +356,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ac34c4529229404617c346f81cc6c141f">SVF::VFG</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
 </li>
 <li>hasLCDCandidate()
 : <a class="el" href="classSVF_1_1AndersenLCD.html#ad3f4bd35f98c43a0642b91c6b0e7acb3">SVF::AndersenLCD</a>
@@ -367,7 +368,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -391,7 +392,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a86f06a790cf90ec897b896a79956e5b4">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -405,6 +406,15 @@ $(function() {
 <li>hasPointsTo()
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
+<li>hasProdsFromFirstRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#ae7fc8b9b6e3b5be1d5d1e98b19dc95e7">SVF::CFLGrammar</a>
+</li>
+<li>hasProdsFromSecondRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#af9b7e2baa487898ad9a890606216d0c1">SVF::CFLGrammar</a>
+</li>
+<li>hasProdsFromSingleRHS()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a087cd7538e2565fc00f95221d44c2463">SVF::CFLGrammar</a>
+</li>
 <li>hasPTASVFStmtList()
 : <a class="el" href="classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0">SVF::SVFIR</a>
 </li>
@@ -456,7 +466,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a6841b147e2a681ea372bdddd53616294">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_i.html

@@ -373,6 +373,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">SVF::CxtThread</a>
 , <a class="el" href="classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411">SVF::PTASCEV</a>
 </li>
+<li>InputFilename
+: <a class="el" href="classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56">SVF::Options</a>
+</li>
 <li>inRecurJoinSites
 : <a class="el" href="classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431">SVF::TCT</a>
 </li>
@@ -393,9 +396,15 @@ $(function() {
 <li>insensitveEdges
 : <a class="el" href="classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9">SVF::ContextDDA</a>
 </li>
+<li>insertNonTerminalSymbol()
+: <a class="el" href="classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b">SVF::GrammarBase</a>
+</li>
 <li>insertPHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA</a>
 </li>
+<li>insertTerminalSymbol()
+: <a class="el" href="classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8">SVF::GrammarBase</a>
+</li>
 <li>inst
 : <a class="el" href="classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4">SVF::IntraICFGNode</a>
@@ -590,13 +599,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>inv_child_iterator
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>invalidVersion
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112">SVF::VersionedFlowSensitive</a>
 </li>
 <li>InvGTraits
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>invperm
 : <a class="el" href="structDdManager.html#a8a017e5ed0025b952c284a41e5991b0f">DdManager</a>
@@ -876,7 +887,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7">SVF::SrcSnkDDA</a>
 </li>
 <li>isHareParFor()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025">SVF::ThreadAPI</a>
 </li>
 <li>isHBPair()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a86c68ce5fd8825b1593d92a5a5bad389">SVF::ForkJoinAnalysis</a>
@@ -984,7 +995,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb">SVF::SVFFunction</a>
 </li>
 <li>isInWorklist()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>isIsolatedNode()
@@ -1031,7 +1044,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
 </li>
 <li>isMemDealloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#ab6d9c2435bdb1c01542cc75e9eef0a4e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a6bfc01d7e72b8c587b2e494aa923f908">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemset()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#a36eb47b716c3b44ba5c459052bb0ed93">SVF::MTAAnnotator</a>
@@ -1113,7 +1126,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a842ddef4d1cb9c45555d949375627a48">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonCxtLock()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a56405fa1fec68717958ed1c05dd34287">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a3e2e629a588b44ed39e529babb59a4f9">SVF::LockAnalysis</a>
 </li>
 <li>isProtectedByCommonLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a4d4501d62bf51475662b6ba66e6380aa">SVF::LockAnalysis</a>
@@ -1250,7 +1263,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5521de9933ce74d0954a942dfceae772">SVF::LockAnalysis</a>
@@ -1260,22 +1273,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae87d129560d7015966336f06a516db23">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aff32f240a03421937c2fc606359dca9b">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6e34f3138e8ee558bb00d9d808afba16">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#aeabf2e9ec8b1ec874503c83cc65e1205">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a9da276dca5092d18f4f22d32e5ab6cdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aac722a42dc6e03e771a7a80de5f8ec94">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#ab566508ffd73abd4d5ad047a1d7f9c27">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a50e56d63c6d713ac34b4006d248f880b">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a8cc5f9ff6039392ce1471cd830973c44">SVF::ThreadAPI</a>
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ae312fa9ddb320674f7bc31e29aa474ed">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a38adae633d5aceddcca3b3a23ad66db9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1333,7 +1346,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c">SVF::TCT</a>
 </li>
 <li>isWorklistEmpty()
-: <a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">SVF::CFLSolver</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>isZeroOffsettedGepCGEdge()

package/SVF-doxygen/html/html/functions_l.html

@@ -61,6 +61,9 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
+<li>label2SymMap
+: <a class="el" href="classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139">SVF::CFLGraph</a>
+</li>
 <li>LargestRegion
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a172d72ae4ae45fa2baf2f20ff2b499dc">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -208,7 +211,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a6d62420837fe0c7814fc4da68a91eda4">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>LoadVFGNode()
-: <a class="el" href="classSVF_1_1LoadVFGNode.html#afe482a8a05b0efc45ceb4052ea87a039">SVF::LoadVFGNode</a>
+: <a class="el" href="classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567">SVF::LoadVFGNode</a>
 </li>
 <li>localCaches
 : <a class="el" href="structDdManager.html#a8f62071184b231f7320214e735b7fd0d">DdManager</a>
@@ -217,7 +220,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTAStat.html#a5b4095f427c9c7b9ec0db497ba33baea">SVF::PTAStat</a>
 </li>
 <li>LocationSet()
-: <a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">SVF::LocationSet</a>
+: <a class="el" href="classSVF_1_1LocationSet.html#a40cc38cbc1a9433d1d83724767dc41ba">SVF::LocationSet</a>
 </li>
 <li>LocID
 : <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/html/functions_n.html

@@ -94,6 +94,9 @@ $(function() {
 <li>newSSAName()
 : <a class="el" href="classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8">SVF::MemSSA</a>
 </li>
+<li>newTerminalSubscript
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd">SVF::CFLGrammar</a>
+</li>
 <li>next
 : <a class="el" href="structDdHashItem.html#a8552215a502b76f939920236cf86a20f">DdHashItem</a>
 , <a class="el" href="structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038">DdHook</a>
@@ -139,7 +142,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>node_iterator
-: <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>NodeAllocStrat
@@ -194,7 +198,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a">SVF::SVFIR</a>
 </li>
 <li>NodeRef
-: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">llvm::GraphTraits&lt; SVF::CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">llvm::GraphTraits&lt; SVF::CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">llvm::GraphTraits&lt; SVF::CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">llvm::GraphTraits&lt; SVF::DCHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4">llvm::GraphTraits&lt; SVF::ICFG * &gt;</a>
@@ -256,20 +261,21 @@ $(function() {
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
-<li>NodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
-</li>
 <li>nodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
 </li>
+<li>NodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
+</li>
 <li>NodeType
-: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
+: <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630">llvm::DOTGraphTraits&lt; CFLGraph * &gt;</a>
+, <a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e">llvm::DOTGraphTraits&lt; CHGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da">llvm::DOTGraphTraits&lt; ConstraintGraph * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562">llvm::DOTGraphTraits&lt; ICFG * &gt;</a>
 , <a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7">llvm::DOTGraphTraits&lt; IRGraph * &gt;</a>
@@ -294,12 +300,18 @@ $(function() {
 <li>NonOverlap
 : <a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">SVF::LocationSet</a>
 </li>
+<li>nonterminals
+: <a class="el" href="classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff">SVF::GrammarBase</a>
+</li>
 <li>NormalGep
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">SVF::ConstraintEdge</a>
 </li>
 <li>NormalGepCGEdge()
 : <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
 </li>
+<li>normalize()
+: <a class="el" href="classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9">SVF::CFGNormalizer</a>
+</li>
 <li>normalized
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -338,6 +350,9 @@ $(function() {
 <li>num_entries
 : <a class="el" href="structst__table.html#a4f720b56253518cde537ade35a3b591a">st_table</a>
 </li>
+<li>num_generator()
+: <a class="el" href="classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b">SVF::CFLGrammar</a>
+</li>
 <li>numAgg
 : <a class="el" href="classSVF_1_1TypeBasedHeapCloning.html#a891a5873205bb98ad494a1c07231dc8a">SVF::TypeBasedHeapCloning</a>
 </li>