svf-tools 1.0.442 → 1.0.445

package/SVF-doxygen/html/html/search/all_7.js

@@ -6,7 +6,7 @@ var searchData=
   ['gcenabled',['gcEnabled',['../structDdManager.html#a9ea7f1aaa19f3621745b590b7dca4f26',1,'DdManager']]],
   ['gcfrac',['gcFrac',['../structDdManager.html#a6d7c2a944d2b73afcf3d085410568849',1,'DdManager']]],
   ['gctime',['GCTime',['../structDdManager.html#a9eee204f20f831cc8da778e4d408d9c6',1,'DdManager']]],
-  ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
+  ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
   ['gedgekind',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge']]],
   ['gedgesetty',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
@@ -17,6 +17,9 @@ var searchData=
   ['genericcallgraphedgety',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
   ['genericcallgraphnodety',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
   ['genericcallgraphty',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
+  ['genericcfledgety',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
+  ['genericcflgraphty',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
+  ['genericcflnodety',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
   ['genericchedgety',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
   ['genericchgraphty',['GenericCHGraphTy',['../namespaceSVF.html#aa8bd37e4ec2e98c805a14adbf590b9dd',1,'SVF']]],
   ['genericchnodety',['GenericCHNodeTy',['../namespaceSVF.html#a838ed37e84836101711c25a760eec57d',1,'SVF']]],
@@ -34,6 +37,7 @@ var searchData=
   ['genericicfgnodety',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
   ['genericicfgty',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
   ['genericnode',['GenericNode',['../classSVF_1_1GenericNode.html',1,'SVF::GenericNode< NodeTy, EdgeTy >'],['../classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f',1,'SVF::GenericNode::GenericNode()']]],
+  ['genericnode_3c_20cflnode_2c_20cfledge_20_3e',['GenericNode< CFLNode, CFLEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericnode_3c_20constraintnode_2c_20constraintedge_20_3e',['GenericNode< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericnode_3c_20dchnode_2c_20dchedge_20_3e',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericpagedgety',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
@@ -264,10 +268,10 @@ var searchData=
   ['getdt',['getDT',['../classSVF_1_1MemSSA.html#a9741a8d0540ba4c27cb667590d246197',1,'SVF::MemSSA::getDT()'],['../classSVF_1_1TCT.html#a9b2977014d3c3e7df5cb56cc876ddc70',1,'SVF::TCT::getDT()'],['../classSVF_1_1PathCondAllocator.html#a496a23bc37dfdea32c536e9ebe9a4b88',1,'SVF::PathCondAllocator::getDT()'],['../classSVF_1_1PTACFInfoBuilder.html#afb3864bae4ac95c7d3b731634c1abdab',1,'SVF::PTACFInfoBuilder::getDT()']]],
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
-  ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
+  ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a0cda5ff37828cb37d152c25878fa208d',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge']]],
-  ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
+  ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a046f087794d334eb303a2cea66aad3c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementnum',['getElementNum',['../classSVF_1_1LocationSet.html#ac66b56e1fa180be9b09d7bfe653ff311',1,'SVF::LocationSet']]],
   ['getelementptrinst',['GetElementPtrInst',['../SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79',1,'BasicTypes.h']]],
@@ -275,6 +279,7 @@ var searchData=
   ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getenv',['getenv',['../util_8h.html#aee28fd8a0e40b6d958f7d20348e45368',1,'util.h']]],
+  ['getepsilonprods',['getEpsilonProds',['../classSVF_1_1CFLGrammar.html#aa27c7e9e4ffcbbf95edddfe3f9faf719',1,'SVF::CFLGrammar']]],
   ['getescapobjviaglobals',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
   ['getevalbrcond',['getEvalBrCond',['../classSVF_1_1PathCondAllocator.html#a6d2c5b05f4966522c9310fd3c086adea',1,'SVF::PathCondAllocator']]],
   ['getexitinstofparentroutinefun',['getExitInstOfParentRoutineFun',['../classSVF_1_1ForkJoinAnalysis.html#acc178bd423dbb21bd46a9fae9ed0351c',1,'SVF::ForkJoinAnalysis']]],
@@ -291,6 +296,7 @@ var searchData=
   ['getfilename',['getFileName',['../classSVF_1_1PAGBuilderFromFile.html#aaaa1e516e5eeceece371a9178142c3ff',1,'SVF::PAGBuilderFromFile']]],
   ['getfilterset',['getFilterSet',['../classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356',1,'SVF::TypeBasedHeapCloning']]],
   ['getfiobjvar',['getFIObjVar',['../classSVF_1_1ConstraintGraph.html#a7c8a29ad1d270fca745f233bb4800731',1,'SVF::ConstraintGraph::getFIObjVar()'],['../classSVF_1_1PointerAnalysis.html#a68b05bc02c5473c1e0d39ac4f4454bac',1,'SVF::PointerAnalysis::getFIObjVar()'],['../classSVF_1_1SVFIR.html#a2878e202045b7f2c817185e8bf95d354',1,'SVF::SVFIR::getFIObjVar(const MemObj *obj) const'],['../classSVF_1_1SVFIR.html#ac9f860028c8cbd364720888084701628',1,'SVF::SVFIR::getFIObjVar(NodeID id) const']]],
+  ['getfirstrhssymbol',['getFirstRHSSymbol',['../classSVF_1_1CFLGrammar.html#af26cd720d34bdf7e37c0be603fcc9921',1,'SVF::CFLGrammar']]],
   ['getflattenedelemidx',['getFlattenedElemIdx',['../classSVF_1_1SymbolTableInfo.html#a8fc42c2b02317621d6aeb3c5f52d3ee8',1,'SVF::SymbolTableInfo']]],
   ['getflattenedelemidxvec',['getFlattenedElemIdxVec',['../classSVF_1_1StInfo.html#a55e5fd85f232c1867c5c6a73646d53eb',1,'SVF::StInfo']]],
   ['getflattenedfieldidxvec',['getFlattenedFieldIdxVec',['../classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05',1,'SVF::StInfo']]],
@@ -348,8 +354,10 @@ var searchData=
   ['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#afd86b94574632e927a5764df74f9e555',1,'SVF::SVFIRBuilder']]],
   ['getglobalvfgnodes',['getGlobalVFGNodes',['../classSVF_1_1VFG.html#aff291586a4b0c28a6939577d39de5d0a',1,'SVF::VFG']]],
   ['getgnode',['getGNode',['../classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b',1,'SVF::GenericGraph']]],
+  ['getgrammar',['getGrammar',['../classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827',1,'SVF::CFLSolver']]],
+  ['getgraph',['getGraph',['../classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c',1,'SVF::CFLSolver']]],
   ['getgraphedge',['getGraphEdge',['../classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b',1,'SVF::PTACallGraph::getGraphEdge()'],['../classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc',1,'SVF::TCT::getGraphEdge()']]],
-  ['getgraphname',['getGraphName',['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits< CHGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits< ICFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#af55f35dde97c37966d9d3396662e00aa',1,'llvm::DOTGraphTraits< OfflineConsG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits< SVFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits< VFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits< TCT * >::getGraphName()']]],
+  ['getgraphname',['getGraphName',['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d',1,'llvm::DOTGraphTraits< CFLGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits< CHGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits< ICFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#af55f35dde97c37966d9d3396662e00aa',1,'llvm::DOTGraphTraits< OfflineConsG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits< SVFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits< VFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits< TCT * >::getGraphName()']]],
   ['getheapallocholdingargposition',['getHeapAllocHoldingArgPosition',['../namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#a298b6366145ed871faf3d01420ae5d20',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5af986a7698e72272707cc2a466d5ae7',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const Instruction *inst)']]],
   ['geticfg',['getICFG',['../classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e',1,'SVF::PointerAnalysis::getICFG()'],['../classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da',1,'SVF::SVFIR::getICFG()'],['../classSVF_1_1PathCondAllocator.html#a80a607028f3a05d478ffbd6fcc0bbc2a',1,'SVF::PathCondAllocator::getICFG()']]],
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
@@ -400,6 +408,7 @@ var searchData=
   ['getkind',['getKind',['../classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b',1,'SVF::CommonCHGraph::getKind()'],['../classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7',1,'SVF::PTACallGraph::getKind()'],['../classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7',1,'SVF::VFG::getKind()'],['../classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826',1,'SVF::SVFValue::getKind()']]],
   ['getlargest',['getLargest',['../cuddInt_8c.html#a6506f1ae80b0f85d1e01da0db4a4f31a',1,'cuddInt.c']]],
   ['getlevelkeys',['getLevelKeys',['../cuddInt_8c.html#ad829ee379117400b55d9b61100bb1252',1,'cuddInt.c']]],
+  ['getlhssymbol',['getLHSSymbol',['../classSVF_1_1CFLGrammar.html#a6b7598e35c7f50257c7f074a5e07b230',1,'SVF::CFLGrammar']]],
   ['getlhstoplevptr',['getLHSTopLevPtr',['../classSVF_1_1VFG.html#a1fff5a365e5aa2d99f07f7f64cc35fac',1,'SVF::VFG']]],
   ['getlhsvar',['getLHSVar',['../classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7',1,'SVF::AssignStmt']]],
   ['getlhsvarid',['getLHSVarID',['../classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840',1,'SVF::AssignStmt']]],
@@ -469,12 +478,12 @@ var searchData=
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../classSVF_1_1MHP.html#a04357a2827d22e4e727d488d32eb5cb5',1,'SVF::MHP::getNextInsts()'],['../classSVF_1_1ForkJoinAnalysis.html#a799e14292e16b9fb322cab07f3ff5593',1,'SVF::ForkJoinAnalysis::getNextInsts()'],['../classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf',1,'SVF::TCT::getNextInsts()'],['../namespaceSVF_1_1SVFUtil.html#a2f9959fa23ab4bdc65ca36fbda8c1b70',1,'SVF::SVFUtil::getNextInsts()']]],
-  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()']]],
-  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
+  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
+  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11',1,'llvm::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
   ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
-  ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver']]],
+  ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver::getNodeIDFromItem()'],['../classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf',1,'SVF::GraphReachSolver::getNodeIDFromItem()']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
-  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aacbbb986a293424442c6560d3a2cf357',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()']]],
+  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1',1,'llvm::DOTGraphTraits< CFLGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aacbbb986a293424442c6560d3a2cf357',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()']]],
   ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
   ['getnodenumafterpagbuild',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
   ['getnorrep',['getNorRep',['../classSVF_1_1OfflineConsG.html#a5deba2c74d1a3dc24ec55e3ecf3227be',1,'SVF::OfflineConsG']]],
@@ -557,6 +566,9 @@ var searchData=
   ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
   ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
   ['getproc',['getProc',['../classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189',1,'SVF::CxtProc']]],
+  ['getprodsfromfirstrhs',['getProdsFromFirstRHS',['../classSVF_1_1CFLGrammar.html#ad623cfee9bade475fcdc64fab349f332',1,'SVF::CFLGrammar']]],
+  ['getprodsfromsecondrhs',['getProdsFromSecondRHS',['../classSVF_1_1CFLGrammar.html#a060244b3b41208d9eb80ddee658cdc68',1,'SVF::CFLGrammar']]],
+  ['getprodsfromsinglerhs',['getProdsFromSingleRHS',['../classSVF_1_1CFLGrammar.html#a7284e7262bedad317a6f8b35b6f62e45',1,'SVF::CFLGrammar']]],
   ['getprogentryfunction',['getProgEntryFunction',['../namespaceSVF_1_1SVFUtil.html#aa8017e3e5100b3f63ee338b66118d266',1,'SVF::SVFUtil']]],
   ['getprogfunction',['getProgFunction',['../namespaceSVF_1_1SVFUtil.html#a6f82e03d880257527bd9cb5978e05604',1,'SVF::SVFUtil']]],
   ['getpropapts',['getPropaPts',['../classSVF_1_1MutableDiffPTData.html#a450ed4470b1d83d44218904dd391fd75',1,'SVF::MutableDiffPTData']]],
@@ -569,7 +581,7 @@ var searchData=
   ['getptdataty',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
   ['getptdty',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
   ['getptrnodeid',['getPtrNodeID',['../classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397',1,'SVF::ContextDDA::getPtrNodeID()'],['../classSVF_1_1DDAVFSolver.html#a3fa002d4ba4194ffde62ecbdd361a24d',1,'SVF::DDAVFSolver::getPtrNodeID()'],['../classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a',1,'SVF::FlowDDA::getPtrNodeID()']]],
-  ['getpts',['getPts',['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
+  ['getpts',['getPts',['../classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9',1,'SVF::CFLAlias::getPts()'],['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
   ['getptssubsetmap',['getPtsSubSetMap',['../classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func)'],['../classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53',1,'SVF::IntraDisjointMRG::getPtsSubSetMap(const SVFFunction *func) const']]],
   ['getrawctirmetadata',['getRawCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a2c47ba37bd250be455a21d1f0049d556',1,'SVF::FlowSensitiveTBHC::getRawCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#a21d2fd8bbef0c6f6ddddb5387569a7fa',1,'SVF::TypeBasedHeapCloning::getRawCTirMetadata()']]],
@@ -597,12 +609,13 @@ var searchData=
   ['getreturnnode',['getReturnNode',['../classSVF_1_1ConstraintGraph.html#a802d7aa5c5bdc5c8720120f71d316b68',1,'SVF::ConstraintGraph::getReturnNode()'],['../classSVF_1_1IRGraph.html#a96010999a4e5013beb1c37ef753ff910',1,'SVF::IRGraph::getReturnNode()'],['../classSVF_1_1SVFIRBuilder.html#aff99c8de4acf4eeaf01803dadf459b92',1,'SVF::SVFIRBuilder::getReturnNode()']]],
   ['getrev',['getRev',['../classSVF_1_1ActualRetVFGNode.html#a4bcfddf05da46729c670b4f450f9d606',1,'SVF::ActualRetVFGNode']]],
   ['getreversenodemapping',['getReverseNodeMapping',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a36b25188130f4c21d145c950a70d616f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['getrevpts',['getRevPts',['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
+  ['getrevpts',['getRevPts',['../classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d',1,'SVF::CFLAlias::getRevPts()'],['../classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03',1,'SVF::PTData::getRevPts()'],['../classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096',1,'SVF::MutablePTData::getRevPts()'],['../classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d',1,'SVF::MutableDiffPTData::getRevPts()'],['../classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4',1,'SVF::MutableDFPTData::getRevPts()'],['../classSVF_1_1MutableVersionedPTData.html#a7de508c0d83895aee785524d28eac8b9',1,'SVF::MutableVersionedPTData::getRevPts()'],['../classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34',1,'SVF::PersistentPTData::getRevPts()'],['../classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b',1,'SVF::PersistentDiffPTData::getRevPts()'],['../classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a',1,'SVF::PersistentDFPTData::getRevPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30',1,'SVF::PersistentVersionedPTData::getRevPts()'],['../classSVF_1_1PointerAnalysis.html#ad9af9655a13f3faeaf265ba370d1f280',1,'SVF::PointerAnalysis::getRevPts()'],['../classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7',1,'SVF::BVDataPTAImpl::getRevPts()'],['../classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3',1,'SVF::CondPTAImpl::getRevPts(CVar nodeId)'],['../classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9',1,'SVF::CondPTAImpl::getRevPts(NodeID obj)']]],
   ['getrhsvar',['getRHSVar',['../classSVF_1_1AssignStmt.html#ad03d28d16754c9049dd4d0ad3b6c1e28',1,'SVF::AssignStmt']]],
   ['getrhsvarid',['getRHSVarID',['../classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d',1,'SVF::AssignStmt']]],
   ['getsccdetector',['getSCCDetector',['../classSVF_1_1WPASolver.html#a37ca8a99b8f83fba796293e6e13b0953',1,'SVF::WPASolver']]],
   ['getsccrep',['getSCCRep',['../classSVF_1_1SVFGStat.html#a947dcd586a9ccf8b60243153769aaf31',1,'SVF::SVFGStat']]],
   ['getse',['getSE',['../classSVF_1_1ForkJoinAnalysis.html#ad3db3e7a2ebe7646675aab16103691e7',1,'SVF::ForkJoinAnalysis::getSE()'],['../classSVF_1_1MTA.html#a7cb2fd230ed5839b59f650cc87de192e',1,'SVF::MTA::getSE()'],['../classSVF_1_1TCT.html#ac66b3a193240c17c3f06437442b2d8bf',1,'SVF::TCT::getSE()']]],
+  ['getsecondrhssymbol',['getSecondRHSSymbol',['../classSVF_1_1CFLGrammar.html#afc6e719553df005ea14cca953602d28b',1,'SVF::CFLGrammar']]],
   ['getshortest',['getShortest',['../cuddInt_8c.html#a048492e5cad979aad3c0540ff82a4824',1,'cuddInt.c']]],
   ['getsiblingthread',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
   ['getsimplenodelabel',['getSimpleNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553',1,'llvm::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787',1,'llvm::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e',1,'llvm::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
@@ -656,6 +669,7 @@ var searchData=
   ['getsvfstmtlist',['getSVFStmtList',['../classSVF_1_1SVFIR.html#a570ad42ad516e3fabb91a3563b618c0b',1,'SVF::SVFIR']]],
   ['getsvfstmts',['getSVFStmts',['../classSVF_1_1ICFGNode.html#a6c68f52dd90728073fb79141df9b0661',1,'SVF::ICFGNode']]],
   ['getsvfstmtset',['getSVFStmtSet',['../classSVF_1_1SVFIR.html#ae2006820c0d00482b85e7ae3adcb5744',1,'SVF::SVFIR']]],
+  ['getsymbol',['getSymbol',['../classSVF_1_1GrammarBase.html#afb21efe07e3451ad8284cab384963f06',1,'SVF::GrammarBase']]],
   ['gettaskdataathareparforsite',['getTaskDataAtHareParForSite',['../classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1',1,'SVF::ThreadAPI::getTaskDataAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ad3471260b66bdd7e6b790ad2a94fe7ce',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a5f3dd36ee492b60039928a86519518a5',1,'SVF::SVFUtil::getTaskDataAtHareParForSite(const Instruction *inst)']]],
   ['gettaskfuncathareparforsite',['getTaskFuncAtHareParForSite',['../classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6',1,'SVF::ThreadAPI::getTaskFuncAtHareParForSite(CallSite cs) const'],['../namespaceSVF_1_1SVFUtil.html#ab048cbce6e4f5a3d6ff90da3565220ff',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a111fa1ecf72adbd2e0ff27e922f0d34a',1,'SVF::SVFUtil::getTaskFuncAtHareParForSite(const Instruction *inst)']]],
   ['gettcg',['getTCG',['../classSVF_1_1LockAnalysis.html#a96a6cfddc8f7115294e8ad49a097b938',1,'SVF::LockAnalysis::getTCG()'],['../classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6',1,'SVF::ForkJoinAnalysis::getTCG()']]],
@@ -741,17 +755,28 @@ var searchData=
   ['globsvfgnodes',['globSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#a9431a9dcbcf88b78e721b0347046e997',1,'SVF::SaberSVFGBuilder']]],
   ['globsvfstmtset',['globSVFStmtSet',['../classSVF_1_1SVFIR.html#a71b51492b00e66e36266b9a76a842323',1,'SVF::SVFIR']]],
   ['globvar_5fobj',['GLOBVAR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad2ba0edfac1460f3fd89e7a6c4c4691b',1,'SVF::ObjTypeInfo']]],
-  ['gnode',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
+  ['gnode',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
   ['gnodek',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection< GraphType >::GNodeSCCInfo'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de',1,'SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo()'],['../classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36',1,'SVF::SCCDetection::GNodeSCCInfo()']]],
   ['gnodesccinfomap',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
   ['gnodestack',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graph',['graph',['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
+  ['grammar',['grammar',['../classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be',1,'SVF::CFLAlias::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
+  ['grammarbase',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF']]],
+  ['grammarbuilder',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF::GrammarBuilder'],['../classSVF_1_1GrammarBuilder.html#a423310118382fa2d5afe169a290a355b',1,'SVF::GrammarBuilder::GrammarBuilder()']]],
+  ['grammarbuilder_2ecpp',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
+  ['grammarbuilder_2eh',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
+  ['grammarfilename',['GrammarFilename',['../classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596',1,'SVF::Options']]],
+  ['grammarisebnf',['GrammarIsEBNF',['../classSVF_1_1Options.html#a5bbbe648c96c9600e9c825dd31585785',1,'SVF::Options']]],
+  ['graph',['graph',['../classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b',1,'SVF::CFLAlias::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
   ['graph2json_2ecpp',['Graph2Json.cpp',['../Graph2Json_8cpp.html',1,'']]],
   ['graph2json_2eh',['Graph2Json.h',['../Graph2Json_8h.html',1,'']]],
+  ['graphisfromdot',['GraphIsFromDot',['../classSVF_1_1Options.html#a0d099b268241f4658eb06a14ef598888',1,'SVF::Options']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm::GraphPrinter'],['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637',1,'SVF::GraphPrinter()']]],
   ['graphprinter_2eh',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
+  ['graphreachsolver',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF::GraphReachSolver< GraphType, DPIm >'],['../classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174',1,'SVF::GraphReachSolver::GraphReachSolver()']]],
+  ['graphreachsolver_2eh',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
   ['graphsize',['graphSize',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
+  ['graphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CFLNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::ConstraintNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::DCHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'llvm']]],
@@ -761,6 +786,8 @@ var searchData=
   ['graphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::SVFVar * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::TCTNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::VFGNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'llvm']]],
+  ['graphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e',['GraphTraits< SVF::CFLGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'llvm']]],
+  ['graphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e',['GraphTraits< SVF::CFLNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e',['GraphTraits< SVF::CHGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3achnode_20_2a_20_3e',['GraphTraits< SVF::CHNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e',['GraphTraits< SVF::ConstraintGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'llvm']]],
@@ -784,5 +811,5 @@ var searchData=
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]],
   ['groupcheck',['groupcheck',['../structDdManager.html#ac7cc9100fc0deb8d4e5cdf92b96f075b',1,'DdManager']]],
   ['grow_5ffactor',['grow_factor',['../structst__table.html#a33a7ea1dabc05f109a41d076fc835b02',1,'st_table']]],
-  ['gtraits',['GTraits',['../classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
+  ['gtraits',['GTraits',['../classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
 ];

package/SVF-doxygen/html/html/search/all_8.js

@@ -68,7 +68,7 @@ var searchData=
   ['hasdfoutset',['hasDFOutSet',['../classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03',1,'SVF::DFPTData::hasDFOutSet(LocID loc) const =0'],['../classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4',1,'SVF::DFPTData::hasDFOutSet(LocID loc, const Key &var) const =0'],['../classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340',1,'SVF::MutableDFPTData::hasDFOutSet(LocID loc, const Key &var) const override'],['../classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc) const override'],['../classSVF_1_1PersistentDFPTData.html#ace47d00f778bc4a714fc4f9d0cbd063c',1,'SVF::PersistentDFPTData::hasDFOutSet(LocID loc, const Key &var) const override']]],
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
-  ['hasedge',['hasEdge',['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
+  ['hasedge',['hasEdge',['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
   ['hasflag',['hasFlag',['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()']]],
   ['hasformalinsvfgnodes',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
   ['hasformaloutsvfgnodes',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
@@ -131,6 +131,9 @@ var searchData=
   ['hasparentthread',['hasParentThread',['../classSVF_1_1TCT.html#a6855a3a8a98591e58dba07047f7705ce',1,'SVF::TCT']]],
   ['hasphiset',['hasPHISet',['../classSVF_1_1MemSSA.html#a552bb17f0435e012b7393fb641c19298',1,'SVF::MemSSA']]],
   ['haspointsto',['hasPointsTo',['../classSVF_1_1CondPointsToSet.html#ab1d20dfe6f243f7a09a8e2face097cc0',1,'SVF::CondPointsToSet']]],
+  ['hasprodsfromfirstrhs',['hasProdsFromFirstRHS',['../classSVF_1_1CFLGrammar.html#ae7fc8b9b6e3b5be1d5d1e98b19dc95e7',1,'SVF::CFLGrammar']]],
+  ['hasprodsfromsecondrhs',['hasProdsFromSecondRHS',['../classSVF_1_1CFLGrammar.html#af9b7e2baa487898ad9a890606216d0c1',1,'SVF::CFLGrammar']]],
+  ['hasprodsfromsinglerhs',['hasProdsFromSingleRHS',['../classSVF_1_1CFLGrammar.html#a087cd7538e2565fc00f95221d44c2463',1,'SVF::CFLGrammar']]],
   ['hasptasvfstmtlist',['hasPTASVFStmtList',['../classSVF_1_1SVFIR.html#a0552d565633ee22abe03085134a871c0',1,'SVF::SVFIR']]],
   ['hasptr_5fobj',['HASPTR_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830ad17b2a35fb492561c4011dbe3880c6c9',1,'SVF::ObjTypeInfo']]],
   ['hasptrobj',['hasPtrObj',['../classSVF_1_1MemObj.html#a6dae1b3429c6049f0153ec006d329082',1,'SVF::MemObj::hasPtrObj()'],['../classSVF_1_1ObjTypeInfo.html#ac5bae1e7917f415193a805e8d2e29320',1,'SVF::ObjTypeInfo::hasPtrObj()']]],

package/SVF-doxygen/html/html/search/all_9.js

@@ -2,7 +2,7 @@ var searchData=
 [
   ['i1',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a753e4df194dc85e37a0285eaac7b30f7',1,'SVF::RaceResultValidator::AccessPair']]],
   ['i2',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#ad06bd4046fd98b85e6d1f97fcd472d3b',1,'SVF::RaceResultValidator::AccessPair']]],
-  ['icfg',['ICFG',['../classSVF_1_1ICFG.html',1,'SVF::ICFG'],['../classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb',1,'SVF::ICFGStat::icfg()'],['../classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2',1,'SVF::PointerAnalysis::icfg()'],['../classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51',1,'SVF::SVFIR::icfg()'],['../classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211',1,'SVF::CallGraphBuilder::icfg()'],['../classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6',1,'SVF::ICFGBuilder::icfg()'],['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG::ICFG()']]],
+  ['icfg',['ICFG',['../classSVF_1_1ICFG.html',1,'SVF::ICFG'],['../classSVF_1_1ICFG.html#a683f33b8ad507a33809511954c7c1acb',1,'SVF::ICFG::ICFG()'],['../classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb',1,'SVF::ICFGStat::icfg()'],['../classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2',1,'SVF::PointerAnalysis::icfg()'],['../classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51',1,'SVF::SVFIR::icfg()'],['../classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211',1,'SVF::CallGraphBuilder::icfg()'],['../classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6',1,'SVF::ICFGBuilder::icfg()']]],
   ['icfg_2ecpp',['ICFG.cpp',['../ICFG_8cpp.html',1,'']]],
   ['icfg_2eh',['ICFG.h',['../ICFG_8h.html',1,'']]],
   ['icfgbuilder',['ICFGBuilder',['../classSVF_1_1ICFGBuilder.html',1,'SVF::ICFGBuilder'],['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG::ICFGBuilder()'],['../classSVF_1_1ICFGBuilder.html#a40d50a22a5c2094dbfe5e8516a0deccc',1,'SVF::ICFGBuilder::ICFGBuilder()']]],
@@ -38,7 +38,7 @@ var searchData=
   ['ieeedoublestruct',['IeeeDoubleStruct',['../structIeeeDoubleStruct.html',1,'']]],
   ['ieeenan',['IeeeNan',['../epd_8h.html#a6bcc381f10c8368cabcd2bb6ccde5985',1,'epd.h']]],
   ['ieeenanstruct',['IeeeNanStruct',['../structIeeeNanStruct.html',1,'']]],
-  ['if',['if',['../tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $: CMakeLists.txt'],['../tools_2Example_2CMakeLists_8txt.html#a99a811bf6e0c9c244f0663f312a3ee41',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex Svf Cudd $: CMakeLists.txt'],['../tools_2MTA_2CMakeLists_8txt.html#a4bd9f4b25fec671a4e18608050c47e87',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(mta mta.cpp) else() add_executable(mta mta.cpp) target_link_libraries(mta Svf Cudd $: CMakeLists.txt'],['../tools_2SABER_2CMakeLists_8txt.html#a8090d680f76934d4cad048ea01b7fe8e',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber Svf Cudd $: CMakeLists.txt']]],
+  ['if',['if',['../tools_2CFL_2CMakeLists_8txt.html#aff8b1edecee3d7c397afcfe02e05d0c7',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(cfl cfl.cpp) else() add_executable(cfl cfl.cpp) target_link_libraries(cfl Svf Cudd $: CMakeLists.txt'],['../tools_2DDA_2CMakeLists_8txt.html#a7686df215f6da6fdcfa2c20950c96939',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(dvf dda.cpp) else() add_executable(dvf dda.cpp) target_link_libraries(dvf Svf Cudd $: CMakeLists.txt'],['../tools_2Example_2CMakeLists_8txt.html#a99a811bf6e0c9c244f0663f312a3ee41',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(svf-ex svf-ex.cpp) else() add_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex Svf Cudd $: CMakeLists.txt'],['../tools_2MTA_2CMakeLists_8txt.html#a4bd9f4b25fec671a4e18608050c47e87',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(mta mta.cpp) else() add_executable(mta mta.cpp) target_link_libraries(mta Svf Cudd $: CMakeLists.txt'],['../tools_2SABER_2CMakeLists_8txt.html#a8090d680f76934d4cad048ea01b7fe8e',1,'if(DEFINED IN_SOURCE_BUILD) set(LLVM_LINK_COMPONENTS BitWriter Core IPO IrReader InstCombine Instrumentation Target Linker Analysis ScalarOpts Support Svf Cudd) add_llvm_tool(saber saber.cpp) else() add_executable(saber saber.cpp) target_link_libraries(saber Svf Cudd $: CMakeLists.txt']]],
   ['ignoredeadfun',['IgnoreDeadFun',['../classSVF_1_1Options.html#a50182faec95c6c4635df65a55148b040',1,'SVF::Options']]],
   ['in',['IN',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ad0b57a5d90c72b67337a68c04ae34739',1,'SVF::FlowSensitiveStat']]],
   ['inbackwardslice',['inBackwardSlice',['../classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590',1,'SVF::SVFGStat::inBackwardSlice()'],['../classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7',1,'SVF::ProgSlice::inBackwardSlice()']]],
@@ -99,7 +99,7 @@ var searchData=
   ['initvalvar',['initValVar',['../classSVF_1_1ExeState.html#a7b3013578baac3ce73bc544569c3dbbf',1,'SVF::ExeState']]],
   ['initworklist',['initWorklist',['../classSVF_1_1Andersen.html#a9075cd05cb21e0f08a1109b7af6c7480',1,'SVF::Andersen::initWorklist()'],['../classSVF_1_1WPASolver.html#a7195381c3aab04890139b4fe2c561909',1,'SVF::WPASolver::initWorklist()']]],
   ['inloop',['inloop',['../classSVF_1_1PTASCEV.html#ac6636f0c39ef55e2b5f126532bf2d411',1,'SVF::PTASCEV::inloop()'],['../classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c',1,'SVF::CxtThread::inloop()']]],
-  ['inputfilename',['InputFilename',['../dda_8cpp.html#a17d2e24d913aaa7484a3e226255019b7',1,'InputFilename(cl::Positional, cl::desc("<input bitcode>"), cl::init("-")): dda.cpp'],['../svf-ex_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): svf-ex.cpp'],['../mta_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): mta.cpp'],['../saber_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): saber.cpp'],['../wpa_8cpp.html#a2d332c504284f0bc181289ee67479845',1,'InputFilename(cl::Positional, llvm::cl::desc("<input bitcode>"), llvm::cl::init("-")): wpa.cpp']]],
+  ['inputfilename',['InputFilename',['../classSVF_1_1Options.html#a322f78488d420e41a648d603f2773c56',1,'SVF::Options']]],
   ['inrecurjoinsites',['inRecurJoinSites',['../classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431',1,'SVF::TCT']]],
   ['insamecallgraphscc',['inSameCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67',1,'SVF::PointerAnalysis::inSameCallGraphSCC()'],['../classSVF_1_1TCT.html#a95cd490d37f8831edc6910f7ecdf413e',1,'SVF::TCT::inSameCallGraphSCC()']]],
   ['inscc',['inSCC',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(void) const'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#afece6206c79adc1c462cff5b9e05f0f2',1,'SVF::SCCDetection::GNodeSCCInfo::inSCC(bool v)'],['../classSVF_1_1SCCDetection.html#a60b977d41c29aa6ea01b94be12792351',1,'SVF::SCCDetection::inSCC()']]],
@@ -108,7 +108,9 @@ var searchData=
   ['insensitveedges',['insensitveEdges',['../classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9',1,'SVF::ContextDDA']]],
   ['insertelementinst',['InsertElementInst',['../SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec',1,'BasicTypes.h']]],
   ['insertkey',['insertKey',['../namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7',1,'SVF::SVFUtil::insertKey(const Key &key, KeySet &keySet)'],['../namespaceSVF_1_1SVFUtil.html#a4f75b8313eb2b1e5a4c798a01cb99471',1,'SVF::SVFUtil::insertKey(const NodeID &key, NodeBS &keySet)']]],
+  ['insertnonterminalsymbol',['insertNonTerminalSymbol',['../classSVF_1_1GrammarBase.html#a63389968c8d246a84562a8d17e08790b',1,'SVF::GrammarBase']]],
   ['insertphi',['insertPHI',['../classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983',1,'SVF::MemSSA']]],
+  ['insertterminalsymbol',['insertTerminalSymbol',['../classSVF_1_1GrammarBase.html#a7583350e892c62a454de8a8317e4c1b8',1,'SVF::GrammarBase']]],
   ['insertvalueinst',['InsertValueInst',['../SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5',1,'BasicTypes.h']]],
   ['inst',['inst',['../classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4',1,'SVF::IntraICFGNode::inst()'],['../classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46',1,'SVF::LoadMU::inst()'],['../classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2',1,'SVF::StoreCHI::inst()'],['../classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567',1,'SVF::CxtStmt::inst()']]],
   ['inst2labelmap',['inst2LabelMap',['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()']]],
@@ -171,9 +173,9 @@ var searchData=
   ['intraphivfgnode',['IntraPHIVFGNode',['../classSVF_1_1IntraPHIVFGNode.html',1,'SVF::IntraPHIVFGNode'],['../classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3',1,'SVF::IntraPHIVFGNode::IntraPHIVFGNode()']]],
   ['inttoptrinst',['IntToPtrInst',['../SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906',1,'BasicTypes.h']]],
   ['inupdatedvarmap',['inUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#ab5e9ebf9e71652b5fa63d59c97d016e4',1,'SVF::MutableIncDFPTData::inUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad',1,'SVF::PersistentIncDFPTData::inUpdatedVarMap()']]],
-  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver']]],
+  ['inv_5fchild_5fiterator',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
   ['invalidversion',['invalidVersion',['../classSVF_1_1VersionedFlowSensitive.html#a3d44a343a2e3f5d276fd1b069c92e112',1,'SVF::VersionedFlowSensitive']]],
-  ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver']]],
+  ['invgtraits',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#ad50e99f38fe6569107d0461d96f735ae',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e',1,'SVF::GraphReachSolver::InvGTraits()']]],
   ['invokeinst',['InvokeInst',['../SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75',1,'BasicTypes.h']]],
   ['invperm',['invperm',['../structDdManager.html#a8a017e5ed0025b952c284a41e5991b0f',1,'DdManager']]],
   ['invpermz',['invpermZ',['../structDdManager.html#a4d73e6913b795a8ce7a75d2ff3724f2a',1,'DdManager']]],
@@ -335,7 +337,7 @@ var searchData=
   ['isintrinsic',['isIntrinsic',['../classSVF_1_1SVFFunction.html#a7b4c6c7143d012802ea5ee962bec2deb',1,'SVF::SVFFunction']]],
   ['isintrinsicfun',['isIntrinsicFun',['../namespaceSVF_1_1SVFUtil.html#ad2c53be5490882768d51aa894b37cbf1',1,'SVF::SVFUtil']]],
   ['isintrinsicinst',['isIntrinsicInst',['../namespaceSVF_1_1SVFUtil.html#ab7f58caf27c30a1d414e06f60ca84d80',1,'SVF::SVFUtil']]],
-  ['isinworklist',['isInWorklist',['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
+  ['isinworklist',['isInWorklist',['../classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d',1,'SVF::CFLSolver::isInWorklist()'],['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c',1,'SVF::GraphReachSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
   ['isirfile',['isIRFile',['../namespaceSVF_1_1SVFUtil.html#aa1657ceed1953f96329fe7226bf7da4c',1,'SVF::SVFUtil']]],
   ['isisolatednode',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
   ['isjoininsymmetricloop',['isJoinInSymmetricLoop',['../classSVF_1_1MHP.html#afa0d341a2fb7b05522dc6e178eab7e8b',1,'SVF::MHP::isJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#a4e058b920c3648f943f85099690ff44f',1,'SVF::ForkJoinAnalysis::isJoinInSymmetricLoop()']]],
@@ -468,7 +470,7 @@ var searchData=
   ['isvirtualmemaddress',['isVirtualMemAddress',['../classSVF_1_1ExeState.html#a2d5f2c2de23c919a47432501c3ad8adb',1,'SVF::ExeState']]],
   ['isvisited',['isVisited',['../classSVF_1_1CSC.html#a2913a7a83deae0b91f1f42dc45c4f3b2',1,'SVF::CSC']]],
   ['isvisitedctps',['isVisitedCTPs',['../classSVF_1_1LockAnalysis.html#ad459afc7dd1e6620739eeee2bc4c570e',1,'SVF::LockAnalysis::isVisitedCTPs()'],['../classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c',1,'SVF::TCT::isVisitedCTPs()']]],
-  ['isworklistempty',['isWorklistEmpty',['../classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383',1,'SVF::SrcSnkSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
+  ['isworklistempty',['isWorklistEmpty',['../classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb',1,'SVF::CFLSolver::isWorklistEmpty()'],['../classSVF_1_1SrcSnkSolver.html#a8cf98a877e4190f3886b4020006f6383',1,'SVF::SrcSnkSolver::isWorklistEmpty()'],['../classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26',1,'SVF::GraphReachSolver::isWorklistEmpty()'],['../classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b',1,'SVF::WPASolver::isWorklistEmpty()']]],
   ['iszerooffsettedgepcgedge',['isZeroOffsettedGepCGEdge',['../classSVF_1_1ConstraintGraph.html#af790af4146197682dd4f9abfad1434f6',1,'SVF::ConstraintGraph']]],
   ['ite',['ite',['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr']]],
   ['item',['item',['../structDdLocalCache.html#a5b894c8287e08c2b3ff59ab7d208d2e4',1,'DdLocalCache']]],

package/SVF-doxygen/html/html/search/all_c.js

@@ -1,5 +1,6 @@
 var searchData=
 [
+  ['label2symmap',['label2SymMap',['../classSVF_1_1CFLGraph.html#afb6fe6ac26adb93b0123012891cdd139',1,'SVF::CFLGraph']]],
   ['landingpadinst',['LandingPadInst',['../SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1',1,'BasicTypes.h']]],
   ['large',['large',['../cuddInt_8c.html#a134b3b75fc389f1772e03372004cfeff',1,'cuddInt.c']]],
   ['largest',['largest',['../cuddInt_8c.html#ae1fb84f2a4466a90328a944b5f1a810d',1,'cuddInt.c']]],
@@ -85,7 +86,7 @@ var searchData=
   ['lockset',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
   ['locksites',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#a1f9ae41c4ed7450d0d8b29cd20a6ef25',1,'SVF::LockAnalysis']]],
-  ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
+  ['lockspan',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
   ['locktime',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
   ['lockvalid',['LockValid',['../classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66',1,'SVF::Options']]],
   ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_d.js

@@ -4,7 +4,7 @@ var searchData=
   ['m_5fbdd_5fmgr',['m_bdd_mgr',['../classSVF_1_1BDDExprManager.html#ae17830ea476e0ba786e98831bd2b4f50',1,'SVF::BDDExprManager']]],
   ['m_5fcond',['m_cond',['../classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df',1,'SVF::CondVar']]],
   ['m_5fid',['m_id',['../classSVF_1_1CondVar.html#a26fd04b3f2d45f0c230e1823f3eea49a',1,'SVF::CondVar']]],
-  ['main',['main',['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
+  ['main',['main',['../cfl_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): cfl.cpp'],['../dda_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): dda.cpp'],['../svf-ex_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): svf-ex.cpp'],['../mta_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): mta.cpp'],['../saber_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): saber.cpp'],['../wpa_8cpp.html#a3c04138a5bfe5d72780bb7e82a18e627',1,'main(int argc, char **argv): wpa.cpp']]],
   ['mainmodule',['mainModule',['../classSVF_1_1IRAnnotator.html#a01462e9ee84f490514598c68e8c9557b',1,'SVF::IRAnnotator']]],
   ['make_5frandom',['make_random',['../cuddInt_8c.html#ab9aad1b09fd466fd971fba854332d7d8',1,'cuddInt.c']]],
   ['makeedgeflagwithaddionalopnd',['makeEdgeFlagWithAddionalOpnd',['../classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b',1,'SVF::SVFStmt']]],
@@ -59,7 +59,7 @@ var searchData=
   ['maxpointstosetsize',['MaxPointsToSetSize',['../classSVF_1_1PTAStat.html#af2b45aab2eee96a1cabba3025e4375a2',1,'SVF::PTAStat::MaxPointsToSetSize()'],['../classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae',1,'SVF::AndersenBase::MaxPointsToSetSize()']]],
   ['maxreorderings',['maxReorderings',['../structDdManager.html#a61170edf6d08bb1c4bacab68823a825d',1,'DdManager']]],
   ['maxsccsize',['maxSCCSize',['../classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4',1,'SVF::FlowSensitive']]],
-  ['maxsize',['maxsize',['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()'],['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()']]],
+  ['maxsize',['maxSize',['../structDdManager.html#aa4d0701dc4e6f11b30085ae30c09fab6',1,'DdManager::maxSize()'],['../structDdHashTable.html#aba376a6d310dcead9f74cfc459f4a248',1,'DdHashTable::maxsize()'],['../structDdLevelQueue.html#acb7146e9f3dd73a052340c0e4010e6b6',1,'DdLevelQueue::maxsize()']]],
   ['maxsizez',['maxSizeZ',['../structDdManager.html#a4a0b8f95d02bc99557fb55140e9b0963',1,'DdManager']]],
   ['maxslots',['maxslots',['../structDdLocalCache.html#af4379636b29a9bfe4a55708ac637545a',1,'DdLocalCache']]],
   ['maxstepinwrapper',['MaxStepInWrapper',['../classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84',1,'SVF::Options']]],

package/SVF-doxygen/html/html/search/all_e.js

@@ -12,6 +12,7 @@ var searchData=
   ['newpointstoid',['newPointsToId',['../classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127',1,'SVF::PersistentPointsToCache']]],
   ['newsbvnumwords',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['newssaname',['newSSAName',['../classSVF_1_1MemSSA.html#a381a35d48ce2f8e348ddbbb9ce526ca8',1,'SVF::MemSSA']]],
+  ['newterminalsubscript',['newTerminalSubscript',['../classSVF_1_1CFLGrammar.html#a505980f327852aca64bb372f1f87b1cd',1,'SVF::CFLGrammar']]],
   ['next',['next',['../structDdNode.html#a9422352d3b46de31b325d1cf18b9f25f',1,'DdNode::next()'],['../structDdHook.html#af30b5d30fbe9fe96c61bf418c75f1038',1,'DdHook::next()'],['../structDdLocalCache.html#a0db45346abb7d4d58d8631f6236341a8',1,'DdLocalCache::next()'],['../structDdHashItem.html#a8552215a502b76f939920236cf86a20f',1,'DdHashItem::next()'],['../structDdSubtable.html#ab7d4e44285966307d5683079096d3ab2',1,'DdSubtable::next()'],['../structMove.html#a66ffd949928e547d99bd3192616f2c5e',1,'Move::next()'],['../structDdQueueItem.html#a0d21b7869d18ec60019c1bffaacf0a16',1,'DdQueueItem::next()'],['../structst__table__entry.html#a8c7fef89f13d76633cd71d595d39181d',1,'st_table_entry::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()']]],
   ['nextdead',['nextDead',['../structDdManager.html#adfd3bf56eb28cf1bb21294982a4c8cb5',1,'DdManager']]],
   ['nextdyn',['nextDyn',['../structDdManager.html#a832f5099477ac37dbce551565c61496d',1,'DdManager']]],
@@ -20,9 +21,9 @@ var searchData=
   ['nil',['NIL',['../util_8h.html#a31bfee01545b78af63301bf9e857218b',1,'util.h']]],
   ['no_5fstruct_5falloc',['no_struct_alloc',['../classSVF_1_1ExtAPI.html#a235ef40373e36583004eb6d289ce63f9',1,'SVF::ExtAPI']]],
   ['noalias',['NoAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239',1,'SVF']]],
-  ['node',['node',['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()'],['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()']]],
+  ['node',['Node',['../classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1',1,'SVF::List::Node()'],['../classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6',1,'SVF::SCCDetection::Node()'],['../classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4',1,'SVF::WPASolver::Node()'],['../structDdGen.html#a7678908601787fa2d5ce4bccdd004ffb',1,'DdGen::node()'],['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode::node()']]],
   ['node_5findex',['Node_Index',['../classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c',1,'SVF::SCCDetection::Node_Index()'],['../classSVF_1_1WPASolver.html#a01450e1475679d093413e6496c198fc0',1,'SVF::WPASolver::Node_Index()']]],
-  ['node_5fiterator',['node_iterator',['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
+  ['node_5fiterator',['node_iterator',['../classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3',1,'SVF::SrcSnkSolver::node_iterator()'],['../classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084',1,'SVF::GraphReachSolver::node_iterator()'],['../classSVF_1_1SCCDetection.html#abaf75ef45e8f5349b902dab063999ad8',1,'SVF::SCCDetection::node_iterator()']]],
   ['nodeallocstrat',['NodeAllocStrat',['../classSVF_1_1Options.html#a2537be131132830c63d408133619a065',1,'SVF::Options']]],
   ['nodebs',['NodeBS',['../namespaceSVF.html#a740396763e377643790c8b803ab3e4ea',1,'SVF']]],
   ['nodedata',['NodeData',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html',1,'SVF::VersionedFlowSensitive::SCC::NodeData'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c',1,'SVF::VersionedFlowSensitive::SCC::NodeData()']]],
@@ -47,7 +48,7 @@ var searchData=
   ['nodepairmap',['NodePairMap',['../namespaceSVF.html#a56a7d652fccf3134748f3cb8e8334b76',1,'SVF']]],
   ['nodepairset',['NodePairSet',['../namespaceSVF.html#ac82022f3f81965c3ce9b26c299f537a7',1,'SVF']]],
   ['nodepairsetmap',['NodePairSetMap',['../classSVF_1_1SVFIR.html#ab715a8e83a4ec45fb86298fef3eda95a',1,'SVF::SVFIR']]],
-  ['noderef',['NodeRef',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a',1,'llvm::GraphTraits< SVF::CHGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c',1,'llvm::GraphTraits< SVF::ConstraintGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4',1,'llvm::GraphTraits< SVF::ICFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a2f3dc486fd4a3d8f4f4fd27d0f0f65c4',1,'llvm::GraphTraits< SVF::IRGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1OfflineConsG_01_5_01_4.html#acc7fa524cd8c4c4b786136c642ee2d58',1,'llvm::GraphTraits< SVF::OfflineConsG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a616c61ef97851d0737b81ae34f82d53a',1,'llvm::GraphTraits< SVF::PTACallGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#afc660c371870b04ba6486980a7e4c9aa',1,'llvm::GraphTraits< SVF::SVFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#a0c6c42e5f1f75e34d71c39996f50e5b2',1,'llvm::GraphTraits< SVF::VFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#a064d2e7841d3ad3fce45f8b99f37001b',1,'llvm::GraphTraits< SVF::TCT * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54',1,'llvm::GraphTraits< SVF::DCHGraph * >::NodeRef()']]],
+  ['noderef',['NodeRef',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d',1,'llvm::GraphTraits< SVF::CFLGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a',1,'llvm::GraphTraits< SVF::CHGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c',1,'llvm::GraphTraits< SVF::ConstraintGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html#a56fc8804dac855c62d6d7d3842b6fff4',1,'llvm::GraphTraits< SVF::ICFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html#a2f3dc486fd4a3d8f4f4fd27d0f0f65c4',1,'llvm::GraphTraits< SVF::IRGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1OfflineConsG_01_5_01_4.html#acc7fa524cd8c4c4b786136c642ee2d58',1,'llvm::GraphTraits< SVF::OfflineConsG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html#a616c61ef97851d0737b81ae34f82d53a',1,'llvm::GraphTraits< SVF::PTACallGraph * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html#afc660c371870b04ba6486980a7e4c9aa',1,'llvm::GraphTraits< SVF::SVFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html#a0c6c42e5f1f75e34d71c39996f50e5b2',1,'llvm::GraphTraits< SVF::VFG * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#a064d2e7841d3ad3fce45f8b99f37001b',1,'llvm::GraphTraits< SVF::TCT * >::NodeRef()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54',1,'llvm::GraphTraits< SVF::DCHGraph * >::NodeRef()']]],
   ['nodes',['nodes',['../structDdGen.html#a09714fb73fb8713e13514b94719ebeb3',1,'DdGen']]],
   ['nodes_5fbegin',['nodes_begin',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ae71d73a9d9d6f11f96aed422757c00c3',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['nodes_5fend',['nodes_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a8397bafa216b209b6bd2bcb20fec4322',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
@@ -63,15 +64,17 @@ var searchData=
   ['nodetoptssmap',['NodeToPTSSMap',['../classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d',1,'SVF::MRGenerator::NodeToPTSSMap()'],['../classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1',1,'SVF::SaberSVFGBuilder::NodeToPTSSMap()']]],
   ['nodetorefmap',['nodeToRefMap',['../classSVF_1_1OfflineConsG.html#aebeb8a44fcfbb677a738fa04c8e9c5e1',1,'SVF::OfflineConsG']]],
   ['nodetorepmap',['NodeToRepMap',['../classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004',1,'SVF::ConstraintGraph::NodeToRepMap()'],['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph::nodeToRepMap()']]],
-  ['nodetosubsmap',['NodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
-  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()']]],
+  ['nodetosubsmap',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()'],['../classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139',1,'SVF::ConstraintGraph::NodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453',1,'SVF::Steensgaard::NodeToSubsMap()']]],
+  ['nodetype',['NodeType',['../classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736',1,'SVF::GenericEdge::NodeType()'],['../classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22',1,'SVF::GenericNode::NodeType()'],['../classSVF_1_1GenericGraph.html#a86c50fc6775fd29f88df2cb4646bb211',1,'SVF::GenericGraph::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec39caaa600f638af5e5fa57ae0b6706',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::NodeType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab7627f7ad0d6ea6dbe89132031ef732c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::NodeType()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#af8a1cf62dc7ed9d8da15e6e92e3a433c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6e417cb13c4cdff831f257a66d031630',1,'llvm::DOTGraphTraits< CFLGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a73928161c8b1427e8150ca68ec48160e',1,'llvm::DOTGraphTraits< CHGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ac3889bd563cdc21a55df0524df2ae4da',1,'llvm::DOTGraphTraits< ConstraintGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a7ef3894da60c3e3350b8d2de3e94a562',1,'llvm::DOTGraphTraits< ICFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad6174f74f7a037a7ffd13df41c5f50f7',1,'llvm::DOTGraphTraits< IRGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#a4de1b76db4f60446aa2db97535fff54f',1,'llvm::DOTGraphTraits< OfflineConsG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ad08b2b59081251fcf467fa992c83986c',1,'llvm::DOTGraphTraits< PTACallGraph * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a07ad41a658bfc0a404a5f6abc823040b',1,'llvm::DOTGraphTraits< SVFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#afd7d2c80916a68b53814e6de593bf520',1,'llvm::DOTGraphTraits< VFG * >::NodeType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a86caa5eb1467eea028ea13aac175f949',1,'llvm::DOTGraphTraits< TCT * >::NodeType()']]],
   ['nodevector',['NodeVector',['../namespaceSVF.html#a39d27055a14d9d6363c668ee215a4676',1,'SVF']]],
   ['nomodref',['NoModRef',['../namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f',1,'SVF']]],
   ['noncandidatefuncmhprelmap',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
   ['nonconstsimpletype',['NonConstSimpleType',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#aadddb18b44c9744dcc639a3de603151d',1,'SVF::SVFUtil::simplify_type< const From >']]],
   ['nonoverlap',['NonOverlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d',1,'SVF::LocationSet']]],
+  ['nonterminals',['nonterminals',['../classSVF_1_1GrammarBase.html#a42edb89b4d782bfae800842f90da09ff',1,'SVF::GrammarBase']]],
   ['normalgep',['NormalGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa',1,'SVF::ConstraintEdge']]],
   ['normalgepcgedge',['NormalGepCGEdge',['../classSVF_1_1NormalGepCGEdge.html',1,'SVF::NormalGepCGEdge'],['../classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7',1,'SVF::NormalGepCGEdge::NormalGepCGEdge()'],['../classSVF_1_1NormalGepCGEdge.html#a5d81c538e3747a7b760a80129581c49f',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(const NormalGepCGEdge &)'],['../classSVF_1_1NormalGepCGEdge.html#a4f5b8c292822670d2fea3d532cae5257',1,'SVF::NormalGepCGEdge::NormalGepCGEdge(ConstraintNode *s, ConstraintNode *d, const LocationSet &l, EdgeID id)']]],
+  ['normalize',['normalize',['../classSVF_1_1CFGNormalizer.html#ae8e2b22944e9d3d2ec14cd6aaa8b93c9',1,'SVF::CFGNormalizer']]],
   ['normalized',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
   ['normalizepointsto',['normalizePointsTo',['../classSVF_1_1BVDataPTAImpl.html#a2026cffd7043208333083ed1a6603e7b',1,'SVF::BVDataPTAImpl::normalizePointsTo()'],['../classSVF_1_1CondPTAImpl.html#aa945d068c8935fc6926833fdf102e21c',1,'SVF::CondPTAImpl::normalizePointsTo()'],['../classSVF_1_1AndersenBase.html#af37392229dab0a1f2f807a12186c3b39',1,'SVF::AndersenBase::normalizePointsTo()']]],
   ['normcallgraph',['NormCallGraph',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c',1,'SVF::PTACallGraph']]],
@@ -85,6 +88,7 @@ var searchData=
   ['nullptrvfgnode',['NullPtrVFGNode',['../classSVF_1_1NullPtrVFGNode.html',1,'SVF::NullPtrVFGNode'],['../classSVF_1_1NullPtrVFGNode.html#a5bbcd7ba5ac40efefbd1ef99bea86639',1,'SVF::NullPtrVFGNode::NullPtrVFGNode()']]],
   ['num_5fbins',['num_bins',['../structst__table.html#a82a6c5cde11a832171b4c3e8fec57c36',1,'st_table']]],
   ['num_5fentries',['num_entries',['../structst__table.html#a4f720b56253518cde537ade35a3b591a',1,'st_table']]],
+  ['num_5fgenerator',['num_generator',['../classSVF_1_1CFLGrammar.html#a29d757bc4f0d236f421e332e51fe6d8b',1,'SVF::CFLGrammar']]],
   ['numagg',['numAgg',['../classSVF_1_1TypeBasedHeapCloning.html#a891a5873205bb98ad494a1c07231dc8a',1,'SVF::TypeBasedHeapCloning']]],
   ['numberoffieldinsensitiveobj',['NumberOfFieldInsensitiveObj',['../classSVF_1_1PTAStat.html#ad1a7e7aec8f272017be7d0b6acda86a4',1,'SVF::PTAStat']]],
   ['numberoffieldsensitiveobj',['NumberOfFieldSensitiveObj',['../classSVF_1_1PTAStat.html#ab62eb21c7dc03f68b0509c31451b2e98',1,'SVF::PTAStat']]],