svf-tools 1.0.440 → 1.0.443

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

@@ -28,13 +28,13 @@ var searchData=
   ['scalar',['SCALAR',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3ad5c99cf0681af30e8ed4cc59cc2371cb',1,'SVF::DCHNode']]],
   ['scalarevolution',['ScalarEvolution',['../namespaceSVF.html#ad8794eb3c00de3d3b5c5e43dded3fb42',1,'SVF']]],
   ['scalarevolutionwrapperpass',['ScalarEvolutionWrapperPass',['../namespaceSVF.html#a9f1aca0384166e42d14e2608009ebc01',1,'SVF']]],
-  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()']]],
+  ['scc',['SCC',['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html',1,'SVF::VersionedFlowSensitive::SCC'],['../classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629',1,'SVF::MRGenerator::SCC()'],['../classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33',1,'SVF::WPASolver::SCC()'],['../classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70',1,'SVF::WPASolver::scc()']]],
   ['scc_2eh',['SCC.h',['../SCC_8h.html',1,'']]],
   ['scccandidates',['sccCandidates',['../classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40',1,'SVF::AndersenSCD']]],
   ['sccdetect',['SCCDetect',['../classSVF_1_1Andersen.html#a31ea24432ff42ab86a4728f2bde571bc',1,'SVF::Andersen::SCCDetect()'],['../classSVF_1_1AndersenLCD.html#a078a58b3b3f18cca4e09ff5a9a8ed791',1,'SVF::AndersenLCD::SCCDetect()'],['../classSVF_1_1AndersenSCD.html#a70f69baf47587b742b5013a63a3ce593',1,'SVF::AndersenSCD::SCCDetect()'],['../classSVF_1_1FlowSensitive.html#a5f8a1493f7550a3f7a295e25d87bce12',1,'SVF::FlowSensitive::SCCDetect()'],['../classSVF_1_1WPAFSSolver.html#a2d4cfae34bd4a55f1fe03881c87f8708',1,'SVF::WPAFSSolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#aaa932894d00b69cfa741f9987a9cc6b8',1,'SVF::WPASolver::SCCDetect()'],['../classSVF_1_1WPASolver.html#a16d371c8f6a9bdb1ca984bcb287d6c5a',1,'SVF::WPASolver::SCCDetect(NodeSet &candidates)']]],
   ['sccdetection',['SCCDetection',['../classSVF_1_1SCCDetection.html',1,'SVF::SCCDetection< GraphType >'],['../classSVF_1_1SCCDetection.html#a1bd915ba4079ddd5dd6e57a88129ffee',1,'SVF::SCCDetection::SCCDetection()']]],
   ['sccdetectiontime',['SCCDetectionTime',['../classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa',1,'SVF::PTAStat']]],
-  ['sccedgeflag',['sccEdgeFlag',['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()']]],
+  ['sccedgeflag',['SCCEdgeFlag',['../classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c',1,'SVF::ConstraintNode::SCCEdgeFlag()'],['../classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a',1,'SVF::ConstraintNode::sccEdgeFlag()']]],
   ['sccmergetime',['SCCMergeTime',['../classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287',1,'SVF::PTAStat']]],
   ['sccrepnode',['sccRepNode',['../classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f',1,'SVF::ConstraintGraph::sccRepNode()'],['../classSVF_1_1Andersen.html#aad706e332847e6b0892350a05028ba30',1,'SVF::Andersen::sccRepNode()'],['../classSVF_1_1WPAFSSolver.html#a0bbaffd1673cc3850217afad0ca56e42',1,'SVF::WPAFSSolver::sccRepNode()'],['../classSVF_1_1WPASolver.html#a3bd463cd456a1d58242f118328f51ddb',1,'SVF::WPASolver::sccRepNode()']]],
   ['sccsubnodes',['sccSubNodes',['../classSVF_1_1ConstraintGraph.html#aed605b010e313f4b11e95b83fe50e3b3',1,'SVF::ConstraintGraph::sccSubNodes()'],['../classSVF_1_1Andersen.html#acd2feff818906db49a1bb2d94c33db5f',1,'SVF::Andersen::sccSubNodes()']]],
@@ -43,6 +43,7 @@ var searchData=
   ['scev',['scev',['../classSVF_1_1PTASCEV.html#af1d494e97cfb2f555d47227ca25172b3',1,'SVF::PTASCEV::scev()'],['../namespaceSVF.html#aac5262378e41a3414a20cc9a41d4adc6',1,'SVF::SCEV()']]],
   ['scevaddrecexpr',['SCEVAddRecExpr',['../namespaceSVF.html#a4f7c400fbf2fa03db8cf61cb9a7dd3e8',1,'SVF']]],
   ['scevconstant',['SCEVConstant',['../namespaceSVF.html#abe745006fa40399d8a13613a3e0dfc63',1,'SVF']]],
+  ['secondrhs2prods',['secondRHS2Prods',['../classSVF_1_1CFLGrammar.html#aa85341b1bac9f80780417c83b83b9f73',1,'SVF::CFLGrammar']]],
   ['select',['Select',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa',1,'SVF::SVFStmt']]],
   ['selectclient',['selectClient',['../classSVF_1_1DDAPass.html#aa33694e0b5f30c451c229e92877e4842',1,'SVF::DDAPass']]],
   ['selectedvalidationscenarios',['selectedValidationScenarios',['../classSVF_1_1RaceResultValidator.html#a1294cb90b073ba25a8ffc06180c09419',1,'SVF::RaceResultValidator']]],
@@ -51,7 +52,7 @@ var searchData=
   ['selfcycle',['SelfCycle',['../classSVF_1_1Options.html#a3ed96242ac56a05d057ebd11b23cf053',1,'SVF::Options']]],
   ['sentinel',['sentinel',['../structDdManager.html#a8679aac5ecef09b42b3cf11786d57139',1,'DdManager']]],
   ['seq',['SEQ',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228a85142db6ed24203f054117f3a5110e2f',1,'SVF::NodeIDAllocator']]],
-  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) 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(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()']]],
+  ['set',['set',['../classSVF_1_1CondStdSet.html#ae11deddad534be115d29daad08c90599',1,'SVF::CondStdSet::set()'],['../classSVF_1_1CondPointsToSet.html#aadf2576b55bbdb82d7affc8466c09861',1,'SVF::CondPointsToSet::set()'],['../classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa',1,'SVF::PointsTo::set()'],['../classSVF_1_1CoreBitVector.html#a553e3e51bffe1aab04adc047e0fd3f24',1,'SVF::CoreBitVector::set()'],['../namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb',1,'SVF::Set()'],['../lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf',1,'set(SOURCES epd.c st.c util.c mtr.c cuddInt.c) add_llvm_library(Cudd $: CMakeLists.txt'],['../tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75',1,'set(THREADS_PREFER_PTHREAD_FLAG ON) find_package(Threads REQUIRED) 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(wpa wpa.cpp) else() add_executable(wpa wpa.cpp) target_link_libraries(wpa Svf Cudd $: CMakeLists.txt']]],
   ['setactualindef',['setActualINDef',['../classSVF_1_1SVFGOPT.html#a490695ab536cd455c531fbdc57499cac',1,'SVF::SVFGOPT']]],
   ['setallocationsite',['setAllocationSite',['../classSVF_1_1TypeBasedHeapCloning.html#a006243a1416f4950de254d0d62ba40b0',1,'SVF::TypeBasedHeapCloning']]],
   ['setallreachable',['setAllReachable',['../classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd',1,'SVF::ProgSlice']]],
@@ -85,13 +86,14 @@ var searchData=
   ['setflag',['setFlag',['../classSVF_1_1CHNode.html#ab3755d804852b8a98bdf8cd0171f3a2f',1,'SVF::CHNode::setFlag()'],['../classSVF_1_1ObjTypeInfo.html#ad6fb2bfae3d4b73a6821a87106f65f49',1,'SVF::ObjTypeInfo::setFlag()'],['../classSVF_1_1DCHNode.html#a4e08c543fa2ae557ff835b1a0f3c53a4',1,'SVF::DCHNode::setFlag()']]],
   ['setfldidx',['setFldIdx',['../classSVF_1_1LocationSet.html#abe990543374ebd8c1b3ee0d37c83eb8f',1,'SVF::LocationSet']]],
   ['setformaloutdef',['setFormalOUTDef',['../classSVF_1_1SVFGOPT.html#a3e2b811dd939c93bcf9fb94e91d553b1',1,'SVF::SVFGOPT']]],
-  ['setgraph',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
+  ['setgraph',['setGraph',['../classSVF_1_1SrcSnkSolver.html#a49cae8f70144639f529956478a8fca2b',1,'SVF::SrcSnkSolver::setGraph()'],['../classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3',1,'SVF::GraphReachSolver::setGraph()'],['../classSVF_1_1WPASolver.html#aa04deb39cd024c051f30ac43d1d62b34',1,'SVF::WPASolver::setGraph()']]],
   ['seticfgnode',['setICFGNode',['../classSVF_1_1VFGNode.html#a9c95dd4f0e70ccc4a03282cdddba95de',1,'SVF::VFGNode::setICFGNode()'],['../classSVF_1_1SVFStmt.html#adb92a92f5c878576dff26cb38eab8c8c',1,'SVF::SVFStmt::setICFGNode()']]],
   ['setincycle',['setIncycle',['../classSVF_1_1CxtThread.html#adde663205c3ecc5a2e01b18bc305d5cb',1,'SVF::CxtThread']]],
   ['setinloop',['setInloop',['../classSVF_1_1CxtThread.html#aa4e1a9babb249a005e8dfae8cb83df21',1,'SVF::CxtThread']]],
   ['setinscc',['setInSCC',['../classSVF_1_1SCCDetection.html#aafe9ae9d158480e6a04803b25b61083e',1,'SVF::SCCDetection']]],
   ['setloc',['setLoc',['../classSVF_1_1StmtDPItem.html#a9ba9ab1013a36530369aa6d684397f4f',1,'SVF::StmtDPItem']]],
   ['setlocvar',['setLocVar',['../classSVF_1_1StmtDPItem.html#a3feb4bc8e003cfdd30c1b2cfb2219efb',1,'SVF::StmtDPItem']]],
+  ['setmap',['setMap',['../classSVF_1_1CFLGraph.html#a0048622552a5dff5afdd512ee91490f2',1,'SVF::CFLGraph']]],
   ['setmaxbudget',['setMaxBudget',['../classSVF_1_1DPItem.html#a687ef8944ccb55b826508c47ea5b9240',1,'SVF::DPItem']]],
   ['setmaxcxtlen',['setMaxCxtLen',['../classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071',1,'SVF::ContextCond']]],
   ['setmaxfieldoffsetlimit',['setMaxFieldOffsetLimit',['../classSVF_1_1ObjTypeInfo.html#a9fff869c63776c6ebeff78933e0f6092',1,'SVF::ObjTypeInfo']]],
@@ -166,6 +168,7 @@ var searchData=
   ['simplify_5ftype_3c_20const_20from_20_3e',['simplify_type< const From >',['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html',1,'SVF::SVFUtil']]],
   ['singlecondvar',['SingleCondVar',['../classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514',1,'SVF::CondPointsToSet']]],
   ['singleload',['SingleLoad',['../classSVF_1_1Options.html#a57564c82a2b90b7de837151f65b276f3',1,'SVF::Options']]],
+  ['singlerhs2prods',['singleRHS2Prods',['../classSVF_1_1CFLGrammar.html#acd866f3392952d7d71b51ca21b7e1c91',1,'SVF::CFLGrammar']]],
   ['singlestride',['SingleStride',['../classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015',1,'SVF::Options']]],
   ['singlevfg',['SingleVFG',['../classSVF_1_1Options.html#a78ce4bd2e80e7b87ff0ee52edd1db403',1,'SVF::Options']]],
   ['sinks',['sinks',['../classSVF_1_1SVFGStat.html#a332adbaad93a3077416c870f175a1202',1,'SVF::SVFGStat::sinks()'],['../classSVF_1_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80',1,'SVF::ProgSlice::sinks()'],['../classSVF_1_1SrcSnkDDA.html#aaffd4b48be1f99e0450b23f20f034b1e',1,'SVF::SrcSnkDDA::sinks()']]],
@@ -179,9 +182,10 @@ var searchData=
   ['slots',['slots',['../structDdLocalCache.html#a81d92a3508761cdf2f169e421ca7b7ab',1,'DdLocalCache::slots()'],['../structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856',1,'DdSubtable::slots()'],['../structDdManager.html#a8a0404c6d3d8c1e49ed84e4467c3387c',1,'DdManager::slots()']]],
   ['smallbbvector',['SmallBBVector',['../namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3',1,'SVF']]],
   ['smdiagnostic',['SMDiagnostic',['../SVF-FE_2BasicTypes_8h.html#a312d4d865f87a9bff58ce66b087c13d0',1,'BasicTypes.h']]],
-  ['solve',['solve',['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
+  ['solve',['solve',['../classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6',1,'SVF::CFLSolver::solve()'],['../classSVF_1_1WPASCCSolver.html#ac37c1063fbdff394c9a313c8d131d893',1,'SVF::WPASCCSolver::solve()'],['../classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2',1,'SVF::WPAMinimumSolver::solve()']]],
   ['solveall',['solveAll',['../classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8',1,'SVF::DDAClient']]],
   ['solveofflinescc',['solveOfflineSCC',['../classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181',1,'SVF::OfflineConsG']]],
+  ['solver',['solver',['../classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35',1,'SVF::CFLAlias']]],
   ['solverep',['solveRep',['../classSVF_1_1OfflineConsG.html#aeb069df3700dafcf365f11d697501c8f',1,'SVF::OfflineConsG']]],
   ['solvetime',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
   ['solveworklist',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::solveWorklist()'],['../classSVF_1_1AndersenLCD.html#a52399086e540c2adabc03a978155f55d',1,'SVF::AndersenLCD::solveWorklist()'],['../classSVF_1_1AndersenHCD.html#ae3ac936d1ae3e46a9110b8c8ed9f279c',1,'SVF::AndersenHCD::solveWorklist()'],['../classSVF_1_1AndersenHLCD.html#a0ead595bb9e36c89419adb22ef11a283',1,'SVF::AndersenHLCD::solveWorklist()'],['../classSVF_1_1AndersenSCD.html#a98fac4ecfe203666178e2ace39da81e2',1,'SVF::AndersenSCD::solveWorklist()'],['../classSVF_1_1Steensgaard.html#a966faa0548fe76d81a50339fffdd24c8',1,'SVF::Steensgaard::solveWorklist()'],['../classSVF_1_1WPASolver.html#af1bb670efde7006e3e99b3735e4fc4cc',1,'SVF::WPASolver::solveWorklist()']]],
@@ -221,7 +225,7 @@ var searchData=
   ['st_5fdefault_5finit_5ftable_5fsize',['ST_DEFAULT_INIT_TABLE_SIZE',['../st_8h.html#a311df13f4d458054df7d87ca22782ab2',1,'st.h']]],
   ['st_5fdefault_5fmax_5fdensity',['ST_DEFAULT_MAX_DENSITY',['../st_8h.html#a4f884be75490db2c92e409a0209fdbcb',1,'st.h']]],
   ['st_5fdefault_5freorder_5fflag',['ST_DEFAULT_REORDER_FLAG',['../st_8h.html#a933aaa48b6a156a000befde073a24e4c',1,'st.h']]],
-  ['st_5fdelete',['ST_DELETE',['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h'],['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c']]],
+  ['st_5fdelete',['st_delete',['../st_8h.html#aeac35fa92942958472a69117777ec90d',1,'st_delete(st_table *, void *, void *): st.c'],['../st_8c.html#a2d8405879414ed73f3ff6a935f3fc269',1,'st_delete(st_table *table, void *keyp, void *value): st.c'],['../st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7',1,'ST_DELETE(): st.h']]],
   ['st_5fforeach',['st_foreach',['../st_8h.html#a5341675ff925b7a670ab4705735ceb38',1,'st_foreach(st_table *, ST_PFSR, char *): st.c'],['../st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57',1,'st_foreach(st_table *table, ST_PFSR func, char *arg): st.c']]],
   ['st_5fforeach_5fitem',['st_foreach_item',['../st_8h.html#aea51027ca2b7197709990fb086e12c2c',1,'st.h']]],
   ['st_5fforeach_5fitem_5fint',['st_foreach_item_int',['../st_8h.html#a437227772bc9c4c0ec636f5723654a4c',1,'st.h']]],
@@ -238,7 +242,7 @@ var searchData=
   ['st_5flookup',['st_lookup',['../st_8h.html#a0ed63fd0cb21b0a1fe502e84aa5563ef',1,'st_lookup(st_table *, void *, void *): st.c'],['../st_8c.html#a0664208425f99d5c88fe2a79c425756c',1,'st_lookup(st_table *table, void *key, void *value): st.c']]],
   ['st_5flookup_5fint',['st_lookup_int',['../st_8h.html#ab10245506c3e5d053c75a902ec62a074',1,'st_lookup_int(st_table *, void *, int *): st.c'],['../st_8c.html#a958c280b8f24c847ca511eaffd410f04',1,'st_lookup_int(st_table *table, void *key, int *value): st.c']]],
   ['st_5fnumcmp',['ST_NUMCMP',['../st_8c.html#a2796b8bc2a5f15834d61a3519ad149d5',1,'ST_NUMCMP(): st.c'],['../st_8h.html#a65b35768bcf5b6f173b063b441a493db',1,'st_numcmp(const char *, const char *): st.c'],['../st_8c.html#a0ba60ae98aae8e6dd21bbe3b485bcfbe',1,'st_numcmp(const char *x, const char *y): st.c']]],
-  ['st_5fnumhash',['st_numhash',['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c'],['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c']]],
+  ['st_5fnumhash',['ST_NUMHASH',['../st_8c.html#a76573cced143d429f99bfb5e286c621e',1,'ST_NUMHASH(): st.c'],['../st_8h.html#a487317ef8c55ab34fb58ddfe47163b9e',1,'st_numhash(char *, int): st.c'],['../st_8c.html#aede320ef4713f295a335b4da6e1d8358',1,'st_numhash(char *x, int size): st.c']]],
   ['st_5fout_5fof_5fmem',['ST_OUT_OF_MEM',['../st_8h.html#a1276d6ae80c20ae2ec082db7c502ef75',1,'st.h']]],
   ['st_5fpficpcp',['ST_PFICPCP',['../st_8h.html#afb91ce58b9010645ed1cdf1ed2b76b03',1,'st.h']]],
   ['st_5fpficpi',['ST_PFICPI',['../st_8h.html#a4689d232930698db6d2432922e094539',1,'st.h']]],
@@ -255,12 +259,13 @@ var searchData=
   ['stack',['stack',['../structDdGen.html#a50762b8a4bc39e9094a414d41da2613b',1,'DdGen::stack()'],['../structDdGen.html#af405420fc6648aa758b180a7a1b5f557',1,'DdGen::stack()'],['../structDdManager.html#af99ce33d5dcd3dcf67f10bd7da6a5aa5',1,'DdManager::stack()']]],
   ['stack_5fobj',['STACK_OBJ',['../classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830aad918042d1f04a5e3960817d55ccb5d5',1,'SVF::ObjTypeInfo']]],
   ['standard',['Standard',['../classSVF_1_1CommonCHGraph.html#a6a1feb9e268fb56b0de3efc39cfc8db8afa3f4c3017fb95011bfdc11b147eae0c',1,'SVF::CommonCHGraph']]],
-  ['standardcompileopts',['StandardCompileOpts',['../dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e',1,'dda.cpp']]],
+  ['standardcompileopts',['StandardCompileOpts',['../cfl_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e',1,'StandardCompileOpts("std-compile-opts", cl::desc("Include the standard compile time optimizations")): cfl.cpp'],['../dda_8cpp.html#afffbd7760f0128b74c9dbfd517d0f99e',1,'StandardCompileOpts("std-compile-opts", cl::desc("Include the standard compile time optimizations")): dda.cpp']]],
   ['start',['start',['../classSVF_1_1PTASCEV.html#a0de1531fc72f5aa0bafc59101faae68d',1,'SVF::PTASCEV']]],
   ['startanalysislimittimer',['startAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a757815a2c758695176120509ceb0ce70',1,'SVF::SVFUtil']]],
   ['startclk',['startClk',['../classSVF_1_1PTAStat.html#a5524ff7901659f56e9de343992be8f3b',1,'SVF::PTAStat']]],
   ['startnewptcompfromloadsrc',['startNewPTCompFromLoadSrc',['../classSVF_1_1DDAVFSolver.html#acd694c2092adf8c516d1aba5f798cec7',1,'SVF::DDAVFSolver']]],
   ['startnewptcompfromstoredst',['startNewPTCompFromStoreDst',['../classSVF_1_1DDAVFSolver.html#aff744e724dcf06a2b1cdd7ba2b1093f1',1,'SVF::DDAVFSolver']]],
+  ['startsymbol',['startSymbol',['../classSVF_1_1GrammarBase.html#a48c738beefe73184f7aed8b1ed5afb53',1,'SVF::GrammarBase::startSymbol()'],['../classSVF_1_1CFLGraph.html#ab678bb152e60a8b67d6a703792c8af84',1,'SVF::CFLGraph::startSymbol()']]],
   ['starttime',['startTime',['../structDdManager.html#a7436169471f7648c313c0c4a3674942c',1,'DdManager::startTime()'],['../classSVF_1_1PTAStat.html#a59e0fe6fa506f1cf319b5acaf9d28be9',1,'SVF::PTAStat::startTime()']]],
   ['stash',['stash',['../structDdManager.html#a0c7a23b6822e1f426e2021e6864af0e9',1,'DdManager']]],
   ['stat',['stat',['../classSVF_1_1SVFG.html#ad5c1415f488ec4412d5457262269eff3',1,'SVF::SVFG::stat()'],['../classSVF_1_1PointerAnalysis.html#a5ec3d9bf1fc81346c9df29638daedc0f',1,'SVF::PointerAnalysis::stat()'],['../classSVF_1_1MemSSA.html#a4fc930040ec54eb60629da18fb6a4d04',1,'SVF::MemSSA::stat()'],['../classSVF_1_1MTA.html#a8c0f7a777b7fd6b388678be63190ee59',1,'SVF::MTA::stat()']]],
@@ -295,7 +300,7 @@ var searchData=
   ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
   ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI< Cond >'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()']]],
-  ['storedd',['storedd',['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c'],['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c']]],
+  ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD(): cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd(): cuddInt.c']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
   ['storeedges',['StoreEdges',['../classSVF_1_1OfflineConsG.html#a9880cb387e24fa2c87297487411f95ea',1,'SVF::OfflineConsG']]],
@@ -304,9 +309,9 @@ var searchData=
   ['storemssachi',['StoreMSSACHI',['../classSVF_1_1MSSADEF.html#a32682e20c9c08d2bdd5abc62ea17af18ac9b53519d32443a72c04e771489aba43',1,'SVF::MSSADEF']]],
   ['storeoutedges',['storeOutEdges',['../classSVF_1_1ConstraintNode.html#a8d28c94a72acf221177aeae135f73ec1',1,'SVF::ConstraintNode']]],
   ['storereuse',['storeReuse',['../classSVF_1_1FlowSensitiveTBHC.html#ac7ed9100533dc399c71cdf017bfa2462',1,'SVF::FlowSensitiveTBHC']]],
-  ['storeset',['StoreSet',['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()'],['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()']]],
+  ['storeset',['storeset',['../classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a',1,'SVF::MTAAnnotator::storeset()'],['../classSVF_1_1MTA.html#a891e56104b9c2daa8b052e3821e85b9b',1,'SVF::MTA::StoreSet()']]],
   ['storestmt',['StoreStmt',['../classSVF_1_1StoreStmt.html',1,'SVF::StoreStmt'],['../classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb',1,'SVF::StoreStmt::StoreStmt()'],['../classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42',1,'SVF::StoreStmt::StoreStmt(const StoreStmt &)'],['../classSVF_1_1StoreStmt.html#a39ee0d8cc951aff0d6418a3d743fb3ae',1,'SVF::StoreStmt::StoreStmt(SVFVar *s, SVFVar *d, const IntraICFGNode *st)']]],
-  ['storestomrsmap',['StoresToMRsMap',['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()'],['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()']]],
+  ['storestomrsmap',['storesToMRsMap',['../classSVF_1_1MRGenerator.html#a255551fd3ff8fb33bcea93d0b00280b3',1,'SVF::MRGenerator::storesToMRsMap()'],['../classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c',1,'SVF::MRGenerator::StoresToMRsMap()']]],
   ['storestopointstomap',['storesToPointsToMap',['../classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac',1,'SVF::MRGenerator::storesToPointsToMap()'],['../classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d',1,'SVF::MRGenerator::StoresToPointsToMap()']]],
   ['storesvfgnode',['StoreSVFGNode',['../namespaceSVF.html#a54c5725186e66ead6faf53c10a288714',1,'SVF']]],
   ['storetime',['storeTime',['../classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7',1,'SVF::FlowSensitive']]],
@@ -314,6 +319,7 @@ var searchData=
   ['storetodpms',['storeToDPMs',['../classSVF_1_1DDAVFSolver.html#af66895278f0ecbc882f9e4f43ef9c8a8',1,'SVF::DDAVFSolver']]],
   ['storetopmsetmap',['StoreToPMSetMap',['../classSVF_1_1DDAVFSolver.html#accaacd2dd680f92ff83cfe75eef6ffab',1,'SVF::DDAVFSolver']]],
   ['storevfgnode',['StoreVFGNode',['../classSVF_1_1StoreVFGNode.html',1,'SVF::StoreVFGNode'],['../classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd',1,'SVF::StoreVFGNode::StoreVFGNode()'],['../classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a',1,'SVF::StoreVFGNode::StoreVFGNode(const StoreVFGNode &)'],['../classSVF_1_1StoreVFGNode.html#ae7ee09f0e965b6487a38a58c4f51b20b',1,'SVF::StoreVFGNode::StoreVFGNode(NodeID id, const StoreStmt *edge)']]],
+  ['str2sym',['str2Sym',['../classSVF_1_1GrammarBase.html#ada4387512b2e18555b4c309580d4dba6',1,'SVF::GrammarBase']]],
   ['strategy',['strategy',['../classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d',1,'SVF::NodeIDAllocator::strategy()'],['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228',1,'SVF::NodeIDAllocator::Strategy()']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
@@ -341,6 +347,7 @@ var searchData=
   ['strspn',['strspn',['../util_8h.html#afb090ae58ff51adbf4300bef3e320264',1,'util.h']]],
   ['strstr',['strstr',['../util_8h.html#aaaaf5365ac473a2e91c3326c08d4eeb2',1,'util.h']]],
   ['strtok',['strtok',['../util_8h.html#a8bf943e1f78acc0236f9075a94765663',1,'util.h']]],
+  ['strtrans',['strTrans',['../classSVF_1_1CFGNormalizer.html#a2711dbd73fa56bc9d17f8caeca109680',1,'SVF::CFGNormalizer']]],
   ['structlayout',['StructLayout',['../SVF-FE_2BasicTypes_8h.html#aef8af3d6e4b75a3e3e108b636a48fbd3',1,'BasicTypes.h']]],
   ['structname',['structName',['../CPPUtil_8cpp.html#a4f0d10054cce04a0f4dec52a337cdf3c',1,'CPPUtil.cpp']]],
   ['structtype',['StructType',['../namespaceSVF.html#a2bf58575ac7d068e0f1a4cf953b9e6cb',1,'SVF']]],
@@ -365,10 +372,10 @@ var searchData=
   ['svfbb',['SVFBB',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea732cb3760ef56163428add79824174f4',1,'SVF::SVFValue']]],
   ['svffunc',['SVFFunc',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577',1,'SVF::SVFValue']]],
   ['svffunction',['SVFFunction',['../classSVF_1_1SVFFunction.html',1,'SVF::SVFFunction'],['../classSVF_1_1SVFFunction.html#aed73a0604a9fc5b6560ce87cfeaa3944',1,'SVF::SVFFunction::SVFFunction(const std::string &val)'],['../classSVF_1_1SVFFunction.html#ae7a55d86a87088f7d70254980e4325b3',1,'SVF::SVFFunction::SVFFunction(Function *f)']]],
-  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()']]],
+  ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1SVFGBuilder.html#a26bc3b9c07472e454bc567cd8746caef',1,'SVF::SVFGBuilder::svfg()'],['../classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde',1,'SVF::ProgSlice::svfg()'],['../classSVF_1_1SrcSnkDDA.html#ae657ebdeae8a083cfec210859a0023e4',1,'SVF::SrcSnkDDA::svfg()'],['../classSVF_1_1FlowSensitive.html#aae032e5f5d53b131d0112dc8faa464a9',1,'SVF::FlowSensitive::svfg()'],['../classSVF_1_1SVFG.html#a68965c5a9cc5136aa0b593851c60ff12',1,'SVF::SVFG::SVFG()']]],
   ['svfg_2ecpp',['SVFG.cpp',['../SVFG_8cpp.html',1,'']]],
   ['svfg_2eh',['SVFG.h',['../SVFG_8h.html',1,'']]],
-  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()']]],
+  ['svfgbuilder',['SVFGBuilder',['../classSVF_1_1SVFGBuilder.html',1,'SVF::SVFGBuilder'],['../classSVF_1_1DDAVFSolver.html#a0d563fe8b016b27a58f5b054fec9c38a',1,'SVF::DDAVFSolver::svfgBuilder()'],['../classSVF_1_1SVFG.html#ab2f81db3935389480baa5cb14e15e9d7',1,'SVF::SVFG::SVFGBuilder()'],['../classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e',1,'SVF::SVFGBuilder::SVFGBuilder()']]],
   ['svfgbuilder_2ecpp',['SVFGBuilder.cpp',['../SVFGBuilder_8cpp.html',1,'']]],
   ['svfgbuilder_2eh',['SVFGBuilder.h',['../SVFGBuilder_8h.html',1,'']]],
   ['svfgedge',['SVFGEdge',['../namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9',1,'SVF']]],
@@ -387,7 +394,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html',1,'SVF::SVFGNodeLockSpan'],['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan::SVFGNodeLockSpan()']]],
   ['svfgnodeset',['SVFGNodeSet',['../classSVF_1_1SVFGOPT.html#a07874e1a77bcd5ff593757d202a4edd6',1,'SVF::SVFGOPT::SVFGNodeSet()'],['../classSVF_1_1SVFGStat.html#aee5ecd6a92c40e1e27197869028689c4',1,'SVF::SVFGStat::SVFGNodeSet()'],['../classSVF_1_1MTASVFGBuilder.html#a467e7b445394acb735b1b24ce39e966a',1,'SVF::MTASVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a',1,'SVF::ProgSlice::SVFGNodeSet()'],['../classSVF_1_1SaberSVFGBuilder.html#a298a94f9b368e37767935a42e5ba954a',1,'SVF::SaberSVFGBuilder::SVFGNodeSet()'],['../classSVF_1_1SrcSnkDDA.html#a19f02a14ee669fadc37fde3816fa2f84',1,'SVF::SrcSnkDDA::SVFGNodeSet()']]],
   ['svfgnodesetiter',['SVFGNodeSetIter',['../classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd',1,'SVF::ProgSlice::SVFGNodeSetIter()'],['../classSVF_1_1SrcSnkDDA.html#ad6935e27bbd95d26a01b22b879efed58',1,'SVF::SrcSnkDDA::SVFGNodeSetIter()']]],
-  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()']]],
+  ['svfgnodetocondmap',['svfgNodeToCondMap',['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
   ['svfgnodetocsidmap',['SVFGNodeToCSIDMap',['../classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700',1,'SVF::LeakChecker']]],
   ['svfgnodetodpitemsmap',['SVFGNodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117',1,'SVF::SrcSnkDDA']]],
   ['svfgnodetoslicemap',['SVFGNodeToSliceMap',['../classSVF_1_1SrcSnkDDA.html#ac96c2f09dee260b4378eae7eb67b21e4',1,'SVF::SrcSnkDDA']]],
@@ -399,13 +406,13 @@ var searchData=
   ['svfgopttimestart',['svfgOptTimeStart',['../classSVF_1_1SVFGStat.html#a1e92f02d43f06ef31e107859d1bd8ac2',1,'SVF::SVFGStat']]],
   ['svfgscc',['SVFGSCC',['../classSVF_1_1DDAPass.html#a5e51ac666db439865846b835bcea9d21',1,'SVF::DDAPass::SVFGSCC()'],['../classSVF_1_1DDAVFSolver.html#a502207f81ed22fa42f9e18ccba83ad4e',1,'SVF::DDAVFSolver::SVFGSCC()'],['../classSVF_1_1SVFGStat.html#a149edd19cd5adafec13cbb49c590f0a8',1,'SVF::SVFGStat::SVFGSCC()']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html',1,'SVF::SVFGStat'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfgstat_2ecpp',['SVFGStat.cpp',['../SVFGStat_8cpp.html',1,'']]],
   ['svfgstat_2eh',['SVFGStat.h',['../SVFGStat_8h.html',1,'']]],
   ['svfgwithindcall',['SVFGWithIndCall',['../classSVF_1_1SVFGBuilder.html#a70de38086437635d2e44d2a0c9fdded9',1,'SVF::SVFGBuilder']]],
   ['svfgwithindirectcall',['SVFGWithIndirectCall',['../classSVF_1_1Options.html#a982b4cd71ccafd07d94f10a0a2e953c2',1,'SVF::Options']]],
   ['svfinst',['SVFInst',['../classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eacb5f1f872986a8f8bccd9a3b3904e9dd',1,'SVF::SVFValue']]],
-  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()']]],
+  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()'],['../classSVF_1_1SVFVar.html#a6dbb40e8ee92033b77440c44acd8a868',1,'SVF::SVFVar::SVFIR()'],['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR::SVFIR()']]],
   ['svfir_2ecpp',['SVFIR.cpp',['../SVFIR_8cpp.html',1,'']]],
   ['svfir_2eh',['SVFIR.h',['../SVFIR_8h.html',1,'']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html',1,'SVF::SVFIRBuilder'],['../classSVF_1_1SVFIR.html#a46fadea4d08baefc8fbc1d8928da7f6b',1,'SVF::SVFIR::SVFIRBuilder()'],['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder::SVFIRBuilder()']]],
@@ -433,6 +440,8 @@ var searchData=
   ['svfvariables_2eh',['SVFVariables.h',['../SVFVariables_8h.html',1,'']]],
   ['svfvarlist',['SVFVarList',['../classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b',1,'SVF::SVFIR']]],
   ['switchinst',['SwitchInst',['../SVF-FE_2BasicTypes_8h.html#a55ac065a1d559c907908492c6853dd53',1,'BasicTypes.h']]],
+  ['sym2str',['sym2Str',['../classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e',1,'SVF::GrammarBase']]],
+  ['symbol',['Symbol',['../classSVF_1_1CFGNormalizer.html#a4df66b45b07b7e3dc5bcc839188bd70f',1,'SVF::CFGNormalizer::Symbol()'],['../classSVF_1_1GrammarBase.html#a98ae90215ba9aa3ddb0afdab459cb08f',1,'SVF::GrammarBase::Symbol()'],['../classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd',1,'SVF::CFLSolver::Symbol()'],['../classSVF_1_1CFLGraph.html#a9c06fd82f008d44417b1373b4afe40f8',1,'SVF::CFLGraph::Symbol()']]],
   ['symbolinfo',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
   ['symboltablebuilder',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html',1,'SVF::SymbolTableBuilder'],['../classSVF_1_1SymbolTableInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::SymbolTableInfo::SymbolTableBuilder()'],['../classSVF_1_1ObjTypeInfo.html#a9d9633d48431b80c078bd4a34c1e7fa0',1,'SVF::ObjTypeInfo::SymbolTableBuilder()'],['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder::SymbolTableBuilder()']]],
   ['symboltablebuilder_2ecpp',['SymbolTableBuilder.cpp',['../SymbolTableBuilder_8cpp.html',1,'']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['tbhcstorereuse',['TBHCStoreReuse',['../classSVF_1_1Options.html#a10cc9fa1d4e553865343d635cf84592e',1,'SVF::Options']]],
   ['tcg',['tcg',['../classSVF_1_1MHP.html#a4b73d112880ad940e078e801f8725799',1,'SVF::MHP::tcg()'],['../classSVF_1_1MTA.html#a308ca0fa99b3c95f3e62b27522b6aeaa',1,'SVF::MTA::tcg()'],['../classSVF_1_1MTAResultValidator.html#abe087e2e8d92aa218ef282d2493193ef',1,'SVF::MTAResultValidator::tcg()'],['../classSVF_1_1TCT.html#ac9ddd6559e818f37c018ed5435182363',1,'SVF::TCT::tcg()']]],
   ['tcgscc',['tcgSCC',['../classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980',1,'SVF::TCT']]],
-  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()']]],
+  ['tct',['TCT',['../classSVF_1_1TCT.html',1,'SVF::TCT'],['../classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887',1,'SVF::TCT::TCT()'],['../classSVF_1_1LockAnalysis.html#a2c4a69b0f2381142c172b3043943c79d',1,'SVF::LockAnalysis::tct()'],['../classSVF_1_1MHP.html#a176eefb65e4ba99ee70513c8add44176',1,'SVF::MHP::tct()'],['../classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce',1,'SVF::ForkJoinAnalysis::tct()'],['../classSVF_1_1MTA.html#a9c9a42fb8a8ada910cdb9a8fb55d7c36',1,'SVF::MTA::tct()']]],
   ['tct_2ecpp',['TCT.cpp',['../TCT_8cpp.html',1,'']]],
   ['tct_2eh',['TCT.h',['../TCT_8h.html',1,'']]],
   ['tct_5faccess',['TCT_ACCESS',['../classSVF_1_1MTAResultValidator.html#ae709b039a68f5600271c40903b1c0dbe',1,'SVF::MTAResultValidator']]],
@@ -54,6 +54,7 @@ var searchData=
   ['template',['TEMPLATE',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4a330331556c568fcd60c9df6df2c1281d',1,'SVF::CHNode::TEMPLATE()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a38e9932af7d38e26c84fb0edbd083afc',1,'SVF::DCHNode::TEMPLATE()']]],
   ['templatenametoinstancesmap',['templateNameToInstancesMap',['../classSVF_1_1CHGraph.html#acd022005e2191bc3bcb265805abee4f8',1,'SVF::CHGraph']]],
   ['teq',['teq',['../classSVF_1_1DCHGraph.html#acb76ab20da1bfbec00f63d08e48cbddd',1,'SVF::DCHGraph']]],
+  ['terminals',['terminals',['../classSVF_1_1GrammarBase.html#af9e8e7bf4239a04002ff41885f9e5e91',1,'SVF::GrammarBase']]],
   ['test',['test',['../classSVF_1_1CondStdSet.html#a6bf6fafc6f8391dbff08a6bd9d07f4d4',1,'SVF::CondStdSet::test()'],['../classSVF_1_1CondPointsToSet.html#a1613b690473a4fcbae7bc41c3c5347d7',1,'SVF::CondPointsToSet::test()'],['../classSVF_1_1PointsTo.html#af61271fefa574c39f405fdfee59a8b3f',1,'SVF::PointsTo::test()'],['../classSVF_1_1CoreBitVector.html#a7b20ffd3cd4a0ffc48a1348f657deaa0',1,'SVF::CoreBitVector::test()']]],
   ['test_5fand_5fset',['test_and_set',['../classSVF_1_1CondStdSet.html#a3e72341580263f3a9b48ce0e8c7bbbec',1,'SVF::CondStdSet::test_and_set()'],['../classSVF_1_1CondPointsToSet.html#ac29ac1adefca6b34cd8e83fe3f0b4450',1,'SVF::CondPointsToSet::test_and_set()'],['../classSVF_1_1PointsTo.html#a1161d97df5ffc8f11d1a34df9a4d5bdf',1,'SVF::PointsTo::test_and_set()'],['../classSVF_1_1CoreBitVector.html#a3299b296d20d2b76c6538ba51a684972',1,'SVF::CoreBitVector::test_and_set()']]],
   ['testindcallreachability',['testIndCallReachability',['../classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008',1,'SVF::ContextDDA::testIndCallReachability()'],['../classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554',1,'SVF::FlowDDA::testIndCallReachability()']]],
@@ -88,14 +89,14 @@ var searchData=
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['TIMEStatMap',['../classSVF_1_1PTAStat.html#a28f304e7095f3843ca4cc017bc1f7b10',1,'SVF::PTAStat::TIMEStatMap()'],['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
@@ -131,6 +132,7 @@ var searchData=
   ['totalnumofpointers',['TotalNumOfPointers',['../classSVF_1_1PTAStat.html#a1a4d418fd9e5413e7ffbbfe57f5e0560',1,'SVF::PTAStat']]],
   ['totaloutedge',['totalOutEdge',['../classSVF_1_1SVFGStat.html#a18211427d08f70d252512d387763ce4a',1,'SVF::SVFGStat']]],
   ['totalptapagedge',['totalPTAPAGEdge',['../classSVF_1_1IRGraph.html#a9f68ffe75e3d9457092ac2368aa08a27',1,'SVF::IRGraph']]],
+  ['totalsymbol',['totalSymbol',['../classSVF_1_1GrammarBase.html#ac17dee194615cc9f7861375f033aaa8e',1,'SVF::GrammarBase']]],
   ['totalsymnum',['totalSymNum',['../classSVF_1_1SymbolTableInfo.html#a125faa0295b38d027b35bc3d76b3afdd',1,'SVF::SymbolTableInfo']]],
   ['totaltime',['TotalTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afef85f0ecacd681357b3945f97d52964',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['totaltimeofconstructmemssa',['TotalTimeOfConstructMemSSA',['../classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd',1,'SVF::MemSSAStat']]],

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

@@ -13,7 +13,7 @@ var searchData=
   ['validatesuccesstests',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
   ['validatetbhctests',['validateTBHCTests',['../classSVF_1_1TypeBasedHeapCloning.html#ae42ec334a7dfc96a5ead2d2845ca3b22',1,'SVF::TypeBasedHeapCloning']]],
   ['validatetct',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator']]],
-  ['validatetests',['ValidateTests',['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()'],['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()']]],
+  ['validatetests',['validateTests',['../classSVF_1_1PointerAnalysis.html#a0454332c89e60729956bb7d69a1a24df',1,'SVF::PointerAnalysis::validateTests()'],['../classSVF_1_1Options.html#aec491143ded97649da1ed61b8fda796c',1,'SVF::Options::ValidateTests()']]],
   ['valnode',['ValNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66',1,'SVF::SVFVar']]],
   ['valsymbol',['ValSymbol',['../classSVF_1_1SymbolTableInfo.html#afd2cf6ef6d7f2a583c709a72067be89ba23583f8cf79d3fd142f8550664ad8247',1,'SVF::SymbolTableInfo']]],
   ['valsymmap',['valSymMap',['../classSVF_1_1SymbolTableInfo.html#a5054f95a7b77257ffb283044aab17b08',1,'SVF::SymbolTableInfo']]],
@@ -95,7 +95,7 @@ var searchData=
   ['vfunset',['VFunSet',['../classSVF_1_1PointerAnalysis.html#aa7f15c74eb438be78fcc028534477478',1,'SVF::PointerAnalysis::VFunSet()'],['../namespaceSVF.html#ad2b487757f1e1a1d81073120fc1d49c7',1,'SVF::VFunSet()']]],
   ['vfworklist',['VFWorkList',['../classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c',1,'SVF::ProgSlice']]],
   ['vid',['vid',['../classSVF_1_1MRVer.html#a394b8c115d01dcf212d453a93a812aab',1,'SVF::MRVer']]],
-  ['view',['view',['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
+  ['view',['view',['../classSVF_1_1CFLGraph.html#a0f1b98e7cecc352a7fa7624b530efe49',1,'SVF::CFLGraph::view()'],['../classSVF_1_1CHGraph.html#a87a7d8c281490fbd2377d64b0115d262',1,'SVF::CHGraph::view()'],['../classSVF_1_1ConstraintGraph.html#a27d8078577d479c84f2a87b44f015d1c',1,'SVF::ConstraintGraph::view()'],['../classSVF_1_1ICFG.html#a0d16e302515ffa0033e02ee8f6b3b590',1,'SVF::ICFG::view()'],['../classSVF_1_1IRGraph.html#a3a656bb310ba0f42e525995a480a5b67',1,'SVF::IRGraph::view()'],['../classSVF_1_1PTACallGraph.html#a7c2d28b4707d7feaabf62977cef90d27',1,'SVF::PTACallGraph::view()'],['../classSVF_1_1VFG.html#ae4350f68e960bfef87f44587628b1929',1,'SVF::VFG::view()']]],
   ['viewcfg',['viewCFG',['../classSVF_1_1SVFFunction.html#a10bba41af683e8902f65aa1b736411dd',1,'SVF::SVFFunction']]],
   ['viewcfgonly',['viewCFGOnly',['../classSVF_1_1SVFFunction.html#af9dfd6804b5ebda0d4a963b1ce5e6887',1,'SVF::SVFFunction']]],
   ['virtualcallsites',['virtualCallSites',['../classSVF_1_1TypeAnalysis.html#aa7fb5d1cd8e42058120758a990ed471d',1,'SVF::TypeAnalysis']]],

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

@@ -7,7 +7,7 @@ var searchData=
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],
   ['wordsize',['WordSize',['../classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3',1,'SVF::CoreBitVector']]],
-  ['worklist',['WorkList',['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()']]],
+  ['worklist',['worklist',['../classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e',1,'SVF::CFLSolver::worklist()'],['../classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194',1,'SVF::SVFGOPT::worklist()'],['../classSVF_1_1SrcSnkSolver.html#aeecbd88066567b2f123e84072dd09941',1,'SVF::SrcSnkSolver::worklist()'],['../classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc',1,'SVF::GraphReachSolver::worklist()'],['../classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5',1,'SVF::WPASolver::worklist()'],['../classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695',1,'SVF::CFLSolver::WorkList()'],['../classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12',1,'SVF::CHGraph::WorkList()'],['../classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00',1,'SVF::ConstraintGraph::WorkList()'],['../classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40',1,'SVF::SVFGOPT::WorkList()'],['../classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc',1,'SVF::MRGenerator::WorkList()'],['../classSVF_1_1LeakChecker.html#af1e1f0fd38f72dcdfb5daa3d8af9538b',1,'SVF::LeakChecker::WorkList()'],['../classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039',1,'SVF::SaberSVFGBuilder::WorkList()'],['../classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a',1,'SVF::SrcSnkDDA::WorkList()'],['../classSVF_1_1SrcSnkSolver.html#a19861635c58ef6db7347c22daabf80da',1,'SVF::SrcSnkSolver::WorkList()'],['../classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac',1,'SVF::CHGBuilder::WorkList()'],['../classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a',1,'SVF::ICFGBuilder::WorkList()'],['../classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054',1,'SVF::GraphReachSolver::WorkList()'],['../classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334',1,'SVF::WPASolver::WorkList()']]],
   ['worklist_2eh',['WorkList.h',['../WorkList_8h.html',1,'']]],
   ['workstack',['WorkStack',['../classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e',1,'SVF::CSC']]],
   ['wpa_2ecpp',['wpa.cpp',['../wpa_8cpp.html',1,'']]],

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

@@ -10,6 +10,11 @@ var searchData=
   ['_7ebvdataptaimpl',['~BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#a06f211184d3e75f0ca351a4b8092a478',1,'SVF::BVDataPTAImpl']]],
   ['_7ecallchi',['~CallCHI',['../classSVF_1_1CallCHI.html#a9ae4f818ff29ebaccc0d82a0170577b5',1,'SVF::CallCHI']]],
   ['_7ecallmu',['~CallMU',['../classSVF_1_1CallMU.html#a408184b7a6c625d67a4b660e140b10c5',1,'SVF::CallMU']]],
+  ['_7ecflalias',['~CFLAlias',['../classSVF_1_1CFLAlias.html#a0e8b474695b21c55a11e71ff59d646d5',1,'SVF::CFLAlias']]],
+  ['_7ecfledge',['~CFLEdge',['../classSVF_1_1CFLEdge.html#a8754c9d2a2a8b342d614383ee5829e70',1,'SVF::CFLEdge']]],
+  ['_7ecflgraph',['~CFLGraph',['../classSVF_1_1CFLGraph.html#a887f27836a2fb5eca3c33fb95f3990d3',1,'SVF::CFLGraph']]],
+  ['_7ecflnode',['~CFLNode',['../classSVF_1_1CFLNode.html#acdb5d04eae48b26bb21f8738c62cd3bf',1,'SVF::CFLNode']]],
+  ['_7ecflsolver',['~CFLSolver',['../classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41',1,'SVF::CFLSolver']]],
   ['_7echgraph',['~CHGraph',['../classSVF_1_1CHGraph.html#a63c4f42eea94e786090a546fc2195a00',1,'SVF::CHGraph']]],
   ['_7echnode',['~CHNode',['../classSVF_1_1CHNode.html#aff05589899b58112119af68df5d1997e',1,'SVF::CHNode']]],
   ['_7ecommonchgraph',['~CommonCHGraph',['../classSVF_1_1CommonCHGraph.html#aeb7e79b36c74bcded008fe227952c335',1,'SVF::CommonCHGraph']]],
@@ -52,6 +57,7 @@ var searchData=
   ['_7egenericedge',['~GenericEdge',['../classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741',1,'SVF::GenericEdge']]],
   ['_7egenericgraph',['~GenericGraph',['../classSVF_1_1GenericGraph.html#a3b94850d788a1b8da45e9b8bf2f2df2c',1,'SVF::GenericGraph']]],
   ['_7egenericnode',['~GenericNode',['../classSVF_1_1GenericNode.html#a48a8d05b81b5c8099c3f3d1f2c4983a9',1,'SVF::GenericNode']]],
+  ['_7egraphreachsolver',['~GraphReachSolver',['../classSVF_1_1GraphReachSolver.html#a31e78a14271a152f5b7c0d751a39312a',1,'SVF::GraphReachSolver']]],
   ['_7ehareparforedge',['~HareParForEdge',['../classSVF_1_1HareParForEdge.html#a6496eb7d7d33d49cc174722034451b1b',1,'SVF::HareParForEdge']]],
   ['_7eicfg',['~ICFG',['../classSVF_1_1ICFG.html#ae02e30b2d9c2cd070ba326b782fa8520',1,'SVF::ICFG']]],
   ['_7eicfgedge',['~ICFGEdge',['../classSVF_1_1ICFGEdge.html#a6dea0df51f68b621fcabef6a3ce9e778',1,'SVF::ICFGEdge']]],

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

@@ -11,7 +11,7 @@ var searchData=
   ['backwardslice',['backwardslice',['../classSVF_1_1ProgSlice.html#addb781260db48c0571c0083a45065ca0',1,'SVF::ProgSlice::backwardslice()'],['../classSVF_1_1SVFGStat.html#a1f93abeefa0c265f4945171255107725',1,'SVF::SVFGStat::backwardSlice()']]],
   ['backwardslicebegin',['backwardSliceBegin',['../classSVF_1_1ProgSlice.html#ab5810f8a7a994f0637c54b94d0367a89',1,'SVF::ProgSlice']]],
   ['backwardsliceend',['backwardSliceEnd',['../classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c',1,'SVF::ProgSlice']]],
-  ['backwardtraverse',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver']]],
+  ['backwardtraverse',['backwardTraverse',['../classSVF_1_1SrcSnkSolver.html#a9c2fbfa1a4563ce45726ae79f0f34fcc',1,'SVF::SrcSnkSolver::backwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819',1,'SVF::GraphReachSolver::backwardTraverse()']]],
   ['backwardvisited',['backwardVisited',['../classSVF_1_1DDAVFSolver.html#a63d04c3af4529d0e0f82acd76ed57f6c',1,'SVF::DDAVFSolver::backwardVisited()'],['../classSVF_1_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA::backwardVisited()']]],
   ['badc',['BADC',['../cuddInt_8c.html#af443a49990c3ce480d6d41cb65630c1f',1,'cuddInt.c']]],
   ['bang',['bang',['../cuddInt_8c.html#a6c2c4a63badba1daf2d17524b546d120',1,'cuddInt.c']]],
@@ -102,8 +102,9 @@ var searchData=
   ['bugmsg1',['bugMsg1',['../namespaceSVF_1_1SVFUtil.html#af6c66553e2559eebfe4f98c0c7ec4b08',1,'SVF::SVFUtil']]],
   ['bugmsg2',['bugMsg2',['../namespaceSVF_1_1SVFUtil.html#a054c3e668ce8b265bbc5d923f6243ce7',1,'SVF::SVFUtil']]],
   ['bugmsg3',['bugMsg3',['../namespaceSVF_1_1SVFUtil.html#aabbca7c40d2da6bd2374ea53d5de0553',1,'SVF::SVFUtil']]],
-  ['build',['build',['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98',1,'SVF::SVFIRBuilder::build()']]],
+  ['build',['build',['../classSVF_1_1GrammarBuilder.html#a630c90978d5fe576ca180cf04ee562f6',1,'SVF::GrammarBuilder::build()'],['../classSVF_1_1GrammarBuilder.html#a7134cf01048cb2d7b33931712783579e',1,'SVF::GrammarBuilder::build(Map< std::string, SVF::CFLGraph::Symbol > *preMap)'],['../classSVF_1_1CFLGraph.html#a4417ad2b7bdf7846cbddbbaf8b0c6b1e',1,'SVF::CFLGraph::build(GenericGraph< N, E > *graph)'],['../classSVF_1_1CFLGraph.html#a15f1c8838d5c0b7d7129bdcb372dd4a1',1,'SVF::CFLGraph::build(std::string filename)'],['../classSVF_1_1PAGBuilderFromFile.html#ac5a5058088d03fc9e0e8a0ed8b4367aa',1,'SVF::PAGBuilderFromFile::build()'],['../classSVF_1_1SVFGBuilder.html#a47591192260ddc3ff0717430f127cc95',1,'SVF::SVFGBuilder::build()'],['../classSVF_1_1TCT.html#ab86389b3bf292c5b3d2b29fc49a5d94d',1,'SVF::TCT::build()'],['../classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250',1,'SVF::ICFGBuilder::build()'],['../classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e',1,'SVF::LLVMModuleSet::build()'],['../classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98',1,'SVF::SVFIRBuilder::build()']]],
   ['build_5fdd',['build_dd',['../cuddInt_8c.html#a12a6eae497f8107110071950a94efb50',1,'cuddInt.c']]],
+  ['buildbigraph',['buildBigraph',['../classSVF_1_1CFLGraph.html#aa440c07a2724adb69678a7d912b86ed9',1,'SVF::CFLGraph']]],
   ['buildcallgraph',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
   ['buildcandidatefuncsetforlock',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
   ['buildcg',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
@@ -113,6 +114,7 @@ var searchData=
   ['buildclassnametoancestorsdescendantsmap',['buildClassNameToAncestorsDescendantsMap',['../classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb',1,'SVF::CHGBuilder']]],
   ['buildcstochavtblsandvfnsmap',['buildCSToCHAVtblsAndVfnsMap',['../classSVF_1_1CHGBuilder.html#abab6d95945a43fbe4c73ac12550f5d8c',1,'SVF::CHGBuilder']]],
   ['builddeltamaps',['buildDeltaMaps',['../classSVF_1_1VersionedFlowSensitive.html#a3407cc82ef9806e26b79edb677979014',1,'SVF::VersionedFlowSensitive']]],
+  ['buildfromdot',['buildFromDot',['../classSVF_1_1CFLGraph.html#af57d64ae3c252ea4ebc0404b3b0bc2be',1,'SVF::CFLGraph']]],
   ['buildfullsvfg',['buildFullSVFG',['../classSVF_1_1SVFGBuilder.html#a54a713e3989597b11cee70864d0197bd',1,'SVF::SVFGBuilder']]],
   ['buildfuntofunmap',['buildFunToFunMap',['../classSVF_1_1LLVMModuleSet.html#ac7c646a78c989807c52263fc35fb3628',1,'SVF::LLVMModuleSet']]],
   ['buildglobaldeftorepmap',['buildGlobalDefToRepMap',['../classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47',1,'SVF::LLVMModuleSet']]],
@@ -136,7 +138,7 @@ var searchData=
   ['bvdataimpl',['BVDataImpl',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4da84705167ea3a7162ecb9470a8a77b5d8',1,'SVF::PointerAnalysis']]],
   ['bvdataptaimpl',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html',1,'SVF::BVDataPTAImpl'],['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl::BVDataPTAImpl()']]],
   ['bvit',['bvIt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aa420a44769d1c25e083975e3cd04d699',1,'SVF::PointsTo::PointsToIterator']]],
-  ['bwprocesscurnode',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()']]],
-  ['bwprocessincomingedge',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()']]],
+  ['bwprocesscurnode',['BWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#adc2ac209e2d5e561bcb594db4c77051b',1,'SVF::SrcSnkDDA::BWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#a447db2796a7024dfa0fbe9ac95c671c0',1,'SVF::SrcSnkSolver::BWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f',1,'SVF::GraphReachSolver::BWProcessCurNode()']]],
+  ['bwprocessincomingedge',['BWProcessIncomingEdge',['../classSVF_1_1SrcSnkDDA.html#a1ea0d4c4e53ff6986dd50d624ba2bff5',1,'SVF::SrcSnkDDA::BWProcessIncomingEdge()'],['../classSVF_1_1SrcSnkSolver.html#a9e8b3a956eb5d1ac2aad095eb132c848',1,'SVF::SrcSnkSolver::BWProcessIncomingEdge()'],['../classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014',1,'SVF::GraphReachSolver::BWProcessIncomingEdge()']]],
   ['bypassmssaphinode',['bypassMSSAPHINode',['../classSVF_1_1SVFGOPT.html#a4f3890f637ffe03c2a1981e75e3d2e16',1,'SVF::SVFGOPT']]]
 ];

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

@@ -123,14 +123,36 @@ var searchData=
   ['cdab',['CDAB',['../cuddInt_8c.html#af622ea0fc818e997586bbe473f388024',1,'cuddInt.c']]],
   ['cdba',['CDBA',['../cuddInt_8c.html#a558afffc204585d630d294f63f004a28',1,'cuddInt.c']]],
   ['cedgek',['CEDGEK',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7',1,'SVF::PTACallGraphEdge::CEDGEK()'],['../classSVF_1_1TCTEdge.html#a18644ee9ae37b03254afb077dca5494f',1,'SVF::TCTEdge::CEDGEK()']]],
+  ['cfgnormalizer',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF::CFGNormalizer'],['../classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3',1,'SVF::CFGNormalizer::CFGNormalizer()']]],
+  ['cfgnormalizer_2ecpp',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
+  ['cfgnormalizer_2eh',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
   ['cfinfobuilder',['cfInfoBuilder',['../classSVF_1_1PathCondAllocator.html#a4949fb25fe4cd461de8aec90756b1fea',1,'SVF::PathCondAllocator']]],
-  ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a60a528875b7fdc441fb9d348f07a57f8',1,'SVF']]],
+  ['cfl_2ecpp',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
+  ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF::CFLAlias'],['../classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48',1,'SVF::CFLAlias::CFLAlias()']]],
+  ['cflalias_2eh',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
+  ['cfledge',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF::CFLEdge'],['../classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116',1,'SVF::CFLEdge::CFLEdge()']]],
+  ['cfledgeset',['cflEdgeSet',['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph::cflEdgeSet()'],['../classSVF_1_1CFLGraph.html#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph::CFLEdgeSet()']]],
+  ['cflfici_5fwpa',['CFLFICI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb',1,'SVF::PointerAnalysis']]],
+  ['cflfsci_5fwpa',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
+  ['cflfscs_5fwpa',['CFLFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab87dcf990c05d31f91b9bfdfcfb54b7d',1,'SVF::PointerAnalysis']]],
+  ['cflgrammar',['CFLGrammar',['../classSVF_1_1CFLGrammar.html',1,'SVF::CFLGrammar'],['../classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067',1,'SVF::CFLGrammar::CFLGrammar()']]],
+  ['cflgrammar_2ecpp',['CFLGrammar.cpp',['../CFLGrammar_8cpp.html',1,'']]],
+  ['cflgrammar_2eh',['CFLGrammar.h',['../CFLGrammar_8h.html',1,'']]],
+  ['cflgraph',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF::CFLGraph'],['../classSVF_1_1CFLGraph.html#accff96922713a51fd2d9cb124d74b036',1,'SVF::CFLGraph::CFLGraph()']]],
+  ['cflgraph_2ecpp',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
+  ['cflgraph_2eh',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
+  ['cflnode',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF::CFLNode'],['../classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6',1,'SVF::CFLNode::CFLNode()']]],
+  ['cflsolver',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF::CFLSolver'],['../classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b',1,'SVF::CFLSolver::CFLSolver()']]],
+  ['cflsolver_2ecpp',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
+  ['cflsolver_2eh',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
+  ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
   ['cfworklist',['CFWorkList',['../classSVF_1_1PathCondAllocator.html#ac578894f959845164e1343384d60def1',1,'SVF::PathCondAllocator::CFWorkList()'],['../classSVF_1_1ProgSlice.html#ab13cc8f64fed5f06b11f7ca67cbc0dc5',1,'SVF::ProgSlice::CFWorkList()']]],
   ['cgek',['CGEK',['../classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1c',1,'SVF::PTACallGraph']]],
   ['cgscc',['CGSCC',['../classSVF_1_1Andersen.html#a77e7378a3a35622bde2371d7d3ed7013',1,'SVF::Andersen::CGSCC()'],['../namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01',1,'SVF::CGSCC()']]],
   ['cha',['cha',['../classSVF_1_1DCHGraph.html#a0a3dfe1f2757eabd75082e2c4caec47a',1,'SVF::DCHGraph']]],
   ['chaffmap',['chaFFMap',['../classSVF_1_1DCHGraph.html#abe8d313b501182ab62f2276a19d670a4',1,'SVF::DCHGraph']]],
   ['chamap',['chaMap',['../classSVF_1_1DCHGraph.html#ac0d5f1e10f642aac5b64792bf5fcbd9d',1,'SVF::DCHGraph']]],
+  ['check_5fhead',['check_head',['../classSVF_1_1CFGNormalizer.html#a8afa1e5a38fd981a3799053e20fa6048',1,'SVF::CFGNormalizer']]],
   ['checkandremap',['checkAndRemap',['../classSVF_1_1CondStdSet.html#a347097404761b16a077eac1ae9fbfd94',1,'SVF::CondStdSet::checkAndRemap()'],['../classSVF_1_1PointsTo.html#ac630a1bfa028240f9128e3b60d9413a4',1,'SVF::PointsTo::checkAndRemap()']]],
   ['checkargtypes',['checkArgTypes',['../CHG_8cpp.html#a35a17be62be820e4de41ba53a7f7a905',1,'CHG.cpp']]],
   ['checker_5ftype',['CHECKER_TYPE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056',1,'SVF::SaberCheckerAPI']]],
@@ -153,7 +175,7 @@ var searchData=
   ['child',['child',['../structMtrNode.html#aa5cced262e32e3b5c0f01277dbad6db0',1,'MtrNode']]],
   ['child_5fbegin',['child_begin',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aecba6127f1e1802104590d63ac710421',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::child_begin()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a40de5c2e7ac24421cc93b2235d00089c',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::child_begin()']]],
   ['child_5fend',['child_end',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#af7353e7790e6d4828d76fc16bea16212',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::child_end()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ab82e90ae6e1f1b39e5c33f9c9a6cfcf9',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::child_end()']]],
-  ['child_5fiterator',['child_iterator',['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
+  ['child_5fiterator',['child_iterator',['../classSVF_1_1SrcSnkSolver.html#a78684539084301715a665f0aece23c8e',1,'SVF::SrcSnkSolver::child_iterator()'],['../classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04',1,'SVF::GraphReachSolver::child_iterator()'],['../classSVF_1_1SCCDetection.html#ac1274a90ddbea6f1f0b539710505d902',1,'SVF::SCCDetection::child_iterator()'],['../classSVF_1_1WPASCCSolver.html#abec9201d60f0bf2724dbe9ad8a0dfc39',1,'SVF::WPASCCSolver::child_iterator()'],['../classSVF_1_1WPAMinimumSolver.html#ab16212294f1dab31215fe113b02f09c6',1,'SVF::WPAMinimumSolver::child_iterator()'],['../classSVF_1_1WPASolver.html#a4d5b605b8932824a7088399305952f12',1,'SVF::WPASolver::child_iterator()']]],
   ['childiteratortype',['ChildIteratorType',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aec22c38e9fb74816d84a84e402ca562d',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::ChildIteratorType()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a5c8f971fb6ca3682a9a0cd9694edc48b',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a03a1edb4d4b703eff1bdad004179c1ec',1,'llvm::DOTGraphTraits< IRGraph * >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a38abf60604b5f9b4bc992cb1d65a447b',1,'llvm::DOTGraphTraits< PTACallGraph * >::ChildIteratorType()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a73a500d1bdff303590f9dc8786e1f8c0',1,'llvm::DOTGraphTraits< TCT * >::ChildIteratorType()']]],
   ['chiset',['CHISet',['../classSVF_1_1SVFG.html#a8843ab4a4608f7f5f46f68ad31314c07',1,'SVF::SVFG::CHISet()'],['../classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4',1,'SVF::MemSSA::CHISet()']]],
   ['chitype',['CHITYPE',['../classSVF_1_1MSSACHI.html#a21d9218e105987a1f807633ea824e5d3',1,'SVF::MSSACHI']]],
@@ -209,7 +231,7 @@ var searchData=
   ['clusterer',['Clusterer',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html',1,'SVF::NodeIDAllocator']]],
   ['clusterfs',['ClusterFs',['../classSVF_1_1Options.html#a9dc372635fc6f5ea2d902fc5c49fca8a',1,'SVF::Options']]],
   ['clustermethod',['ClusterMethod',['../classSVF_1_1Options.html#a8e0538a7f2e3c5bece69bc69f7074819',1,'SVF::Options']]],
-  ['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../lib_2CUDD_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
+  ['cmakelists_2etxt',['CMakeLists.txt',['../lib_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../lib_2CUDD_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CFL_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2DDA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2Example_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2MTA_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2SABER_2CMakeLists_8txt.html',1,'(Global Namespace)'],['../tools_2WPA_2CMakeLists_8txt.html',1,'(Global Namespace)']]],
   ['cmp',['Cmp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a98fd43afc6615f418d2d96209eb31828',1,'SVF::VFGNode::Cmp()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0',1,'SVF::SVFStmt::Cmp()']]],
   ['cmpinst',['CmpInst',['../SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564',1,'BasicTypes.h']]],
   ['cmpnodebs',['cmpNodeBS',['../namespaceSVF_1_1SVFUtil.html#a8f749354b7e882ef3e5bf5081fa715b5',1,'SVF::SVFUtil']]],
@@ -369,7 +391,7 @@ var searchData=
   ['context',['context',['../classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535',1,'SVF::ContextCond::context()'],['../classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466',1,'SVF::CxtStmtDPItem::context()'],['../classSVF_1_1CxtDPItem.html#ab89e9f588054ad8a99d9af8e756c951b',1,'SVF::CxtDPItem::context()']]],
   ['context_5fleak',['CONTEXT_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da1524077f4425b7e2d6cc32917a02c356',1,'SVF::LeakChecker']]],
   ['contextcond',['ContextCond',['../classSVF_1_1ContextCond.html',1,'SVF::ContextCond'],['../classSVF_1_1ContextCond.html#a9b81bf11679645d32d50b91bdb6d2dc1',1,'SVF::ContextCond::ContextCond()'],['../classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9',1,'SVF::ContextCond::ContextCond(const ContextCond &cond)']]],
-  ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF::ContextDDA'],['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat::contextDDA()'],['../classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05',1,'SVF::ContextDDA::ContextDDA()']]],
+  ['contextdda',['ContextDDA',['../classSVF_1_1ContextDDA.html',1,'SVF::ContextDDA'],['../classSVF_1_1ContextDDA.html#ac73213825d188fb4d1105ddc472fde05',1,'SVF::ContextDDA::ContextDDA()'],['../classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1',1,'SVF::DDAStat::contextDDA()']]],
   ['contextdda_2ecpp',['ContextDDA.cpp',['../ContextDDA_8cpp.html',1,'']]],
   ['contextdda_2eh',['ContextDDA.h',['../ContextDDA_8h.html',1,'']]],
   ['contextinsensitive',['ContextInsensitive',['../classSVF_1_1Options.html#ac3ad7d0cf734e867b91a081aad1faff2',1,'SVF::Options']]],
@@ -791,6 +813,7 @@ var searchData=
   ['curevalsvfgnode',['curEvalSVFGNode',['../classSVF_1_1PathCondAllocator.html#a165e0a354b7679ce582c15f4a3faf6e0',1,'SVF::PathCondAllocator']]],
   ['curloc',['curloc',['../classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef',1,'SVF::StmtDPItem']]],
   ['curptr',['curPtr',['../classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb',1,'SVF::DDAClient']]],
+  ['current',['current',['../classSVF_1_1CFLGraph.html#a4ae1d3576cfef62444087e321dc110b2',1,'SVF::CFLGraph']]],
   ['currentbestnodemapping',['currentBestNodeMapping',['../classSVF_1_1PointsTo.html#a98781dd444ada40af7eef9aefe76123d',1,'SVF::PointsTo']]],
   ['currentbestreversenodemapping',['currentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c',1,'SVF::PointsTo']]],
   ['cursccid',['curSCCID',['../classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa',1,'SVF::WPASCCSolver']]],

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

@@ -340,7 +340,8 @@ var searchData=
   ['dominatortree',['DominatorTree',['../namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd',1,'SVF']]],
   ['domtreenode',['DomTreeNode',['../namespaceSVF.html#a827d09974dc7bf0849f96823cc2fee89',1,'SVF']]],
   ['dostat',['DOSTAT',['../SVFBasicTypes_8h.html#a6c9e2209a2c38607a9e3b7fab242886a',1,'SVFBasicTypes.h']]],
-  ['dotgraphtraits',['DOTGraphTraits',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f',1,'llvm::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5',1,'llvm::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad540c20d134f28f3b99a32d0e69b2a3f',1,'llvm::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aa51e1638f3a8423a7eb77f7ba153a1c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8',1,'llvm::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a',1,'llvm::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882',1,'llvm::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280',1,'llvm::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
+  ['dotgraphtraits',['DOTGraphTraits',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a0a47c58da5bab4b282856a0c7616388e',1,'llvm::DOTGraphTraits< CFLGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a9ed844169fc8d8f3e42d25dfcc6f451f',1,'llvm::DOTGraphTraits< CHGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a007736227bec42182208176006b7d83d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a72d303201f61fdec14f08bddabf649e5',1,'llvm::DOTGraphTraits< ICFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#ad540c20d134f28f3b99a32d0e69b2a3f',1,'llvm::DOTGraphTraits< IRGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#aa51e1638f3a8423a7eb77f7ba153a1c3',1,'llvm::DOTGraphTraits< OfflineConsG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a34fdb3c78cdda82f0bb81f143891cea8',1,'llvm::DOTGraphTraits< PTACallGraph * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1e5cce964fc852f8bdada1edc174bd5a',1,'llvm::DOTGraphTraits< SVFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0ae94170a4f95bfc7e89d0149ff67882',1,'llvm::DOTGraphTraits< VFG * >::DOTGraphTraits()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a1c96cefb862ef290819e689104b18280',1,'llvm::DOTGraphTraits< TCT * >::DOTGraphTraits()']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e',['DOTGraphTraits< CFLGraph * >',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'llvm']]],
   ['dotgraphtraits_3c_20chgraph_20_2a_20_3e',['DOTGraphTraits< CHGraph * >',['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'llvm']]],
   ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e',['DOTGraphTraits< ConstraintGraph * >',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'llvm']]],
   ['dotgraphtraits_3c_20icfg_20_2a_20_3e',['DOTGraphTraits< ICFG * >',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'llvm']]],
@@ -379,7 +380,7 @@ var searchData=
   ['dummyvalvar',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF::DummyValVar'],['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar::DummyValVar()']]],
   ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF::DummyVersionPropSVFGNode'],['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode::DummyVersionPropSVFGNode()']]],
   ['dummyvprop',['DummyVProp',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6b262331878a44019af8a8539a5ddad2',1,'SVF::VFGNode']]],
-  ['dump',['dump',['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde',1,'SVF::BDDExprManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()']]],
+  ['dump',['dump',['../classSVF_1_1CFLGraph.html#ab32869931e46babcfaa6791efe2ba91e',1,'SVF::CFLGraph::dump()'],['../classSVF_1_1CHGraph.html#a29351163649618332394fc72cc35212f',1,'SVF::CHGraph::dump()'],['../classSVF_1_1ConstraintGraph.html#af9fc8308845628fe8900528573e30462',1,'SVF::ConstraintGraph::dump()'],['../classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba',1,'SVF::ICFG::dump()'],['../classSVF_1_1ICFGNode.html#a3c193da05d6dee7313a141ae3ab43e97',1,'SVF::ICFGNode::dump()'],['../classSVF_1_1IRGraph.html#a1cb32461439c4dc8d044c2bfadb11307',1,'SVF::IRGraph::dump()'],['../classSVF_1_1OfflineConsG.html#a727c635892986998167f30ff23a75f4c',1,'SVF::OfflineConsG::dump()'],['../classSVF_1_1PTACallGraph.html#a841be22581a7896d8924564e7199f62b',1,'SVF::PTACallGraph::dump()'],['../classSVF_1_1SVFG.html#a5fdaddc52e7342b834d76d64c1a1e498',1,'SVF::SVFG::dump()'],['../classSVF_1_1VFG.html#aee3d0c4ed32bde425f33281f248b7dd2',1,'SVF::VFG::dump()'],['../classSVF_1_1CondPointsToSet.html#a52392deae4011c4353a259c873efc0d6',1,'SVF::CondPointsToSet::dump()'],['../classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c',1,'SVF::LocationSet::dump()'],['../classSVF_1_1SVFVar.html#aa34b2230655db9c4195e44e1c437bbc6',1,'SVF::SVFVar::dump()'],['../classSVF_1_1SymbolTableInfo.html#a9f4cf6914b400b9f69c7852f13c496a9',1,'SVF::SymbolTableInfo::dump()'],['../classSVF_1_1MSSAMU.html#a489e8c27e40b709d94a462653fb760f5',1,'SVF::MSSAMU::dump()'],['../classSVF_1_1LoadMU.html#aaaa51723d657719b82a2ce85c1628329',1,'SVF::LoadMU::dump()'],['../classSVF_1_1CallMU.html#af08ecc9c2b75737e88690fb2319fcf57',1,'SVF::CallMU::dump()'],['../classSVF_1_1RetMU.html#ae452b798bf9c6a9d913e63a75c4cd3c0',1,'SVF::RetMU::dump()'],['../classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52',1,'SVF::MSSADEF::dump()'],['../classSVF_1_1MSSACHI.html#a63355fc98b9c1cc3db5e664e387693ca',1,'SVF::MSSACHI::dump()'],['../classSVF_1_1StoreCHI.html#af889bd9b729182e20ca7598ad4167bb8',1,'SVF::StoreCHI::dump()'],['../classSVF_1_1CallCHI.html#ac6a1f2f1c897c647d9b070cb56c61a41',1,'SVF::CallCHI::dump()'],['../classSVF_1_1EntryCHI.html#a819f66c0471fe06c739acf18c4a4161d',1,'SVF::EntryCHI::dump()'],['../classSVF_1_1MSSAPHI.html#a15c687ef4286532a5856270bf6f9e11a',1,'SVF::MSSAPHI::dump()'],['../classSVF_1_1MTA.html#a2ced024c7e0785d3d78d19c3c52d0f75',1,'SVF::MTA::dump()'],['../classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8',1,'SVF::TCTNode::dump()'],['../classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8',1,'SVF::TCT::dump()'],['../classSVF_1_1DCHGraph.html#a587baf86ecc2fdbecfcf85310673e9f4',1,'SVF::DCHGraph::dump()'],['../classSVF_1_1BDDExprManager.html#ae9a81416569c44bb384b61e47ade8bde',1,'SVF::BDDExprManager::dump()'],['../classSVF_1_1CxtStmt.html#a56e2767c327a383db09dca96edb19614',1,'SVF::CxtStmt::dump()'],['../classSVF_1_1CxtThreadStmt.html#a735d71af28b26d9576f679e53141e303',1,'SVF::CxtThreadStmt::dump()'],['../classSVF_1_1CxtThread.html#a66709acfa2f5762d86574c9cf7f38a64',1,'SVF::CxtThread::dump()'],['../classSVF_1_1CxtProc.html#a254c612f06a3f82b57b1c5a0e52c012f',1,'SVF::CxtProc::dump()'],['../classSVF_1_1CxtThreadProc.html#aed801cfecdbfcd690db2d78de5f8e0b5',1,'SVF::CxtThreadProc::dump()'],['../classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44',1,'SVF::DPItem::dump()'],['../classSVF_1_1StmtDPItem.html#a6cc1361dd5777cb4b93fb93c3899cfc7',1,'SVF::StmtDPItem::dump()'],['../classSVF_1_1CxtStmtDPItem.html#abc67c264dd262d25899e04f8d68e8a31',1,'SVF::CxtStmtDPItem::dump()']]],
   ['dumpaliasset',['dumpAliasSet',['../namespaceSVF_1_1SVFUtil.html#a4a15cc5570eed12dd6ee766213e11d61',1,'SVF::SVFUtil']]],
   ['dumpallpts',['dumpAllPts',['../classSVF_1_1PointerAnalysis.html#a861554c2fdeaa406131c2c920b4c7908',1,'SVF::PointerAnalysis::dumpAllPts()'],['../classSVF_1_1BVDataPTAImpl.html#a97705b60d294b87ee075a69f04a35d22',1,'SVF::BVDataPTAImpl::dumpAllPts()']]],
   ['dumpalltypes',['dumpAllTypes',['../classSVF_1_1PointerAnalysis.html#a08399de593c073b6dd848a8d849dad27',1,'SVF::PointerAnalysis']]],