svf-tools 1.0.577 → 1.0.579

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

@@ -32,7 +32,7 @@ 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_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',['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_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_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)']]],
@@ -177,9 +177,9 @@ var searchData=
   ['skip_5futf8_5fbom',['skip_utf8_bom',['../cJSON_8cpp.html#a13b2d9f17c3b80a8878405f2782cd916',1,'cJSON.cpp']]],
   ['smallbbvector',['SmallBBVector',['../namespaceSVF.html#a02be4933b76c2baa7fdbe8b290e12bb3',1,'SVF']]],
   ['smdiagnostic',['SMDiagnostic',['../namespaceSVF.html#a86863d104a3930b3a806935d92ddbf30',1,'SVF']]],
-  ['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()']]],
+  ['solve',['solve',['../classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27',1,'SVF::CFLAlias::solve()'],['../classSVF_1_1CFLBase.html#a2d1f2e2c7f8cbe07e0dda759a7424e6e',1,'SVF::CFLBase::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']]],
-  ['solver',['solver',['../classSVF_1_1CFLAlias.html#aa61c3683c9b759b6eca65b1f88e00b35',1,'SVF::CFLAlias::solver()'],['../classSVF_1_1CFLVF.html#ab7ff36646da4c568d160ca2563b9b087',1,'SVF::CFLVF::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
+  ['solver',['solver',['../classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17',1,'SVF::CFLBase::solver()'],['../classSVF_1_1Z3Expr.html#a2f0cf6549d9bc6fc1d4be46976ad0f0e',1,'SVF::Z3Expr::solver()']]],
   ['solvetime',['solveTime',['../classSVF_1_1FlowSensitive.html#a4202f837e863a48712765cc346d8b514',1,'SVF::FlowSensitive']]],
   ['solveworklist',['solveWorklist',['../classSVF_1_1AndersenWaveDiff.html#a35cd97d5f7c1dcb65dd077f45ad864e9',1,'SVF::AndersenWaveDiff::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()']]],
   ['sortpointsto',['sortPointsTo',['../classSVF_1_1MRGenerator.html#a66d94d15fb94e90a771f6b3dd7c0ecdd',1,'SVF::MRGenerator']]],
@@ -229,7 +229,7 @@ var searchData=
   ['statinit',['statInit',['../classSVF_1_1ThreadAPI.html#a8a4ab0b1dcb2e3897b7740868e0d955d',1,'SVF::ThreadAPI']]],
   ['statinoutptssize',['statInOutPtsSize',['../classSVF_1_1FlowSensitiveStat.html#a8ae7448f6210b6c759a33e6fc8a8cee8',1,'SVF::FlowSensitiveStat']]],
   ['statistic',['STATISTIC',['../BreakConstantExpr_8cpp.html#a53fcf89c33901a1e4bf09351eb612a6a',1,'STATISTIC(GEPChanges, "Number of Converted GEP Constant Expressions"): BreakConstantExpr.cpp'],['../BreakConstantExpr_8cpp.html#a908d11ca6b0a342e6ddcdcced200cab3',1,'STATISTIC(TotalChanges, "Number of Converted Constant Expressions"): BreakConstantExpr.cpp']]],
-  ['statnullptr',['statNullPtr',['../classSVF_1_1CFLStat.html#a6bcca58ff4481dee06b06eb17ed603ea',1,'SVF::CFLStat::statNullPtr()'],['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
+  ['statnullptr',['statNullPtr',['../classSVF_1_1AndersenStat.html#a898f091cd9aeed4b0cf5b338b8a3b1d3',1,'SVF::AndersenStat::statNullPtr()'],['../classSVF_1_1FlowSensitiveStat.html#a36f7be42772b2df6f7594c51b7dc4770',1,'SVF::FlowSensitiveStat::statNullPtr()']]],
   ['statptssize',['statPtsSize',['../classSVF_1_1FlowSensitiveStat.html#af51e5b90f7bc52e3657a708c7bc5bb75',1,'SVF::FlowSensitiveStat']]],
   ['std_5fdef',['STD_DEF',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba8b07351616a1798fa34ec3828f485ebb',1,'SVF::DCHEdge']]],
   ['steens',['steens',['../classSVF_1_1Steensgaard.html#a04530669bc548ae13bd8908fe4dbd3d2',1,'SVF::Steensgaard']]],
@@ -245,12 +245,12 @@ var searchData=
   ['stmtvfgnode',['StmtVFGNode',['../classSVF_1_1StmtVFGNode.html',1,'SVF::StmtVFGNode'],['../classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d',1,'SVF::StmtVFGNode::StmtVFGNode()']]],
   ['stnodeset',['stnodeSet',['../classSVF_1_1MTASVFGBuilder.html#a772436f5edc7b4bed3a3e8f0e55ac5ce',1,'SVF::MTASVFGBuilder']]],
   ['stopanalysislimittimer',['stopAnalysisLimitTimer',['../namespaceSVF_1_1SVFUtil.html#a168f7f7a3a8c70dbf2b5b4269cd4c7c5',1,'SVF::SVFUtil']]],
-  ['store',['store',['../classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a',1,'SVF::ExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879',1,'SVF::ExeState::store(u32_t objId, const Z3Expr &z3Expr)'],['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()'],['../CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6',1,'Store(): CFLGrammar.txt']]],
+  ['store',['Store',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375a20d6a102ddc06257a822ffffcc5a3b47',1,'SVF::ConstraintEdge::Store()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df1bb8732d5402a6f40209ea8b803e8',1,'SVF::VFGNode::Store()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9aa0f700b514c431ec5329aec49df56dcc',1,'SVF::SVFStmt::Store()'],['../classSVF_1_1ExeState.html#a08db85e0e599d17b54743feb03a7717a',1,'SVF::ExeState::store(const Z3Expr &loc, const Z3Expr &value)'],['../classSVF_1_1ExeState.html#ade4fc12b40dd05bf840c313f2b723879',1,'SVF::ExeState::store(u32_t objId, const Z3Expr &z3Expr)'],['../CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6',1,'Store(): CFLGrammar.txt']]],
   ['store2chisetmap',['store2ChiSetMap',['../classSVF_1_1MemSSA.html#a73d7465cf166d9ffa9d234d15edb375a',1,'SVF::MemSSA']]],
   ['storebar',['Storebar',['../CFLGrammar_8txt.html#a324fa20755f4b8f2e50e2e148f6fadbd',1,'CFLGrammar.txt']]],
   ['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_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()']]],
+  ['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()']]],
   ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
   ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
   ['storeinedges',['storeInEdges',['../classSVF_1_1ConstraintNode.html#aa57ef34caf4e8c37baec9405f4457e57',1,'SVF::ConstraintNode']]],
@@ -306,7 +306,7 @@ var searchData=
   ['svfg',['SVFG',['../classSVF_1_1SVFG.html',1,'SVF::SVFG'],['../classSVF_1_1CFLVF.html#aed71ea423497a4f64c8b62ee4187210e',1,'SVF::CFLVF::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']]],
@@ -325,7 +325,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#aeda61b2786b128e8c45089de60dcafce',1,'SVF::ProgSlice::svfgNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice::SVFGNodeToCondMap()']]],
+  ['svfgnodetocondmap',['SVFGNodeToCondMap',['../classSVF_1_1ProgSlice.html#adaf0bb2e3104c9d86d997b2e7c93275e',1,'SVF::ProgSlice::SVFGNodeToCondMap()'],['../classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce',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']]],
@@ -338,13 +338,13 @@ var searchData=
   ['svfgreadwrite_2ecpp',['SVFGReadWrite.cpp',['../SVFGReadWrite_8cpp.html',1,'']]],
   ['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_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
+  ['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_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()'],['../classSVF_1_1CFLAlias.html#a0bf4ce7e4fb3d1d95608c06420cc65dc',1,'SVF::CFLAlias::svfir()'],['../classSVF_1_1CFLVF.html#a32b774f456dc6ca596cfe2fcd77efbc9',1,'SVF::CFLVF::svfir()']]],
+  ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html',1,'SVF::SVFIR'],['../classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0',1,'SVF::CFLBase::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()']]],
@@ -355,7 +355,7 @@ var searchData=
   ['svfloopvec',['SVFLoopVec',['../classSVF_1_1ICFG.html#ad15daca24c91c5abe4bbb962979efbde',1,'SVF::ICFG']]],
   ['svfmain',['SVFMain',['../classSVF_1_1Options.html#a868fa5069b01b7a7dfbc5fb99cb76385',1,'SVF::Options']]],
   ['svfmod',['svfMod',['../classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5',1,'SVF::CHGraph::svfMod()'],['../classSVF_1_1PointerAnalysis.html#a7e8b3f6843e5ea75fd189162d2cd60a5',1,'SVF::PointerAnalysis::svfMod()'],['../classSVF_1_1SVFIRBuilder.html#aa67bbd366b93fb1ec7a540c83566c977',1,'SVF::SVFIRBuilder::svfMod()']]],
-  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()']]],
+  ['svfmodule',['SVFModule',['../classSVF_1_1SVFModule.html',1,'SVF::SVFModule'],['../classSVF_1_1SVFModule.html#a22b214595dd7841eb974e7c633ed8bb1',1,'SVF::SVFModule::SVFModule()'],['../classSVF_1_1DCHGraph.html#a85a3c9a6a60a4379717773f8722ae42e',1,'SVF::DCHGraph::svfModule()'],['../classSVF_1_1LLVMModuleSet.html#a43832e93a42ae43d44b0cc160981678f',1,'SVF::LLVMModuleSet::svfModule()']]],
   ['svfmodule_2ecpp',['SVFModule.cpp',['../SVFModule_8cpp.html',1,'']]],
   ['svfmodule_2eh',['SVFModule.h',['../SVFModule_8h.html',1,'']]],
   ['svfstat',['SVFStat',['../classSVF_1_1SVFStat.html',1,'SVF::SVFStat'],['../classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26',1,'SVF::SVFStat::SVFStat()']]],

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

@@ -39,7 +39,7 @@ var searchData=
   ['td_5ftype',['TD_TYPE',['../classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3',1,'SVF::ThreadAPI']]],
   ['tdalive',['TDAlive',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631a2abecc56b7d5c644f7e14c98d33d0a0a',1,'SVF::ForkJoinAnalysis']]],
   ['tdapi',['tdAPI',['../classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f',1,'SVF::ThreadCallGraph::tdAPI()'],['../classSVF_1_1MTAResultValidator.html#aa0ca978e95529568edc4bdac1ffac110',1,'SVF::MTAResultValidator::tdAPI()'],['../classSVF_1_1PCG.html#a8215dc3643d1c4fb3d489e80cd3db336',1,'SVF::PCG::tdAPI()'],['../classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d',1,'SVF::ThreadAPI::tdAPI()']]],
-  ['tdapimap',['TDAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()']]],
+  ['tdapimap',['tdAPIMap',['../classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec',1,'SVF::SaberCheckerAPI::tdAPIMap()'],['../classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c',1,'SVF::ThreadAPI::tdAPIMap()'],['../classSVF_1_1SaberCheckerAPI.html#a7acbb76087b863393e0214c77bb934b2',1,'SVF::SaberCheckerAPI::TDAPIMap()'],['../classSVF_1_1ThreadAPI.html#abad7c113fd56c30537444ae4bdff2144',1,'SVF::ThreadAPI::TDAPIMap()']]],
   ['tddead',['TDDead',['../classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4',1,'SVF::ForkJoinAnalysis']]],
   ['tdforkedge',['TDForkEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7af32caf15ca19d512b5183bcf0d859cd7',1,'SVF::PTACallGraphEdge']]],
   ['tdforkpe',['TDForkPE',['../classSVF_1_1TDForkPE.html',1,'SVF::TDForkPE'],['../classSVF_1_1TDForkPE.html#a8d474c87f2f641336064270536fae8ae',1,'SVF::TDForkPE::TDForkPE()'],['../classSVF_1_1TDForkPE.html#ad55687afd603a027c4d7124061fce40b',1,'SVF::TDForkPE::TDForkPE(const TDForkPE &)'],['../classSVF_1_1TDForkPE.html#ae28fa8ad500a11208410adbfd0d19ea5',1,'SVF::TDForkPE::TDForkPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunEntryICFGNode *entry)']]],
@@ -83,20 +83,24 @@ var searchData=
   ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
   ['timeinterval',['TIMEINTERVAL',['../SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736',1,'SVFBasicTypes.h']]],
   ['timelimitreached',['timeLimitReached',['../namespaceSVF_1_1SVFUtil.html#add4cd21115988f9f5eec12e268ddf1d9',1,'SVF::SVFUtil']]],
+  ['timeofbuildcflgrammar',['timeOfBuildCFLGrammar',['../classSVF_1_1CFLBase.html#a0d3217f4c3796b58a98add5c92298ad2',1,'SVF::CFLBase']]],
+  ['timeofbuildcflgraph',['timeOfBuildCFLGraph',['../classSVF_1_1CFLBase.html#a9453bf479ccd00bacb3b371fa6383a9c',1,'SVF::CFLBase']]],
   ['timeofbuildingllvmmodule',['timeOfBuildingLLVMModule',['../classSVF_1_1SVFStat.html#aa4950ec26b66a085ad38ac154b789db5',1,'SVF::SVFStat']]],
   ['timeofbuildingsvfir',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
   ['timeofbuildingsymboltable',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
-  ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1CFLAlias.html#a1615a97f72dfa8f979c429b3d4f3463b',1,'SVF::CFLAlias::timeOfCollapse()'],['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase::timeOfCollapse()']]],
-  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['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()']]],
   ['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()']]],
-  ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1CFLAlias.html#a2339baef879400c3abceaa6cd710438f',1,'SVF::CFLAlias::timeOfProcessCopyGep()'],['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase::timeOfProcessCopyGep()']]],
-  ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1CFLAlias.html#ab8a98cf58afbc7fd00bd42b312073012',1,'SVF::CFLAlias::timeOfProcessLoadStore()'],['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase::timeOfProcessLoadStore()']]],
-  ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1CFLAlias.html#ad72796a2cdd2fbfad0ea79c4bf4e0fc9',1,'SVF::CFLAlias::timeOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase::timeOfSCCDetection()']]],
-  ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1CFLAlias.html#ad2528dbf000ff2c85722fd8c95df5d86',1,'SVF::CFLAlias::timeOfSCCMerges()'],['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase::timeOfSCCMerges()']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
-  ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1CFLAlias.html#ac94c14718ca0dbae6cddd8a0e093e111',1,'SVF::CFLAlias::timeOfUpdateCallGraph()'],['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase::timeOfUpdateCallGraph()']]],
-  ['timestatmap',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()'],['../classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat::TIMEStatMap()']]],
+  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofnormalizegrammar',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
+  ['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']]],
+  ['timeofsolving',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
+  ['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_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98',1,'SVF::SVFStat::TIMEStatMap()'],['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat::timeStatMap()']]],
   ['tinterphi',['TInterPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69',1,'SVF::VFGNode']]],
   ['tintraphi',['TIntraPhi',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a3d97c6d57d8d2e7387715f4eb719f727',1,'SVF::VFGNode']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],
@@ -138,7 +142,7 @@ var searchData=
   ['traverseonvfg',['traverseOnVFG',['../svf-ex_8cpp.html#a210d797e39e39071d420ba450727d6e4',1,'svf-ex.cpp']]],
   ['tripcount',['tripcount',['../classSVF_1_1PTASCEV.html#aa92f2da24c8b6d3548f8b4920a8d157f',1,'SVF::PTASCEV']]],
   ['true',['true',['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp'],['../cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2',1,'true(): cJSON.cpp']]],
-  ['type',['type',['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
+  ['type',['Type',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e',1,'SVF::PointsTo::Type()'],['../classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f',1,'SVF::PointsTo::type()'],['../classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d',1,'SVF::ObjTypeInfo::type()'],['../classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c',1,'SVF::MSSAMU::type()'],['../classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6',1,'SVF::MSSADEF::type()'],['../structcJSON.html#ab13084c574681593b12f6e0a3db0dcfc',1,'cJSON::type()'],['../namespaceSVF.html#a1d008c0666c145622b81d427be64c52d',1,'SVF::Type()'],['../cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc',1,'type(): cJSON.cpp']]],
   ['type2string',['type2String',['../namespaceSVF_1_1SVFUtil.html#a817a63e8330530cb18e077556f7ce518',1,'SVF::SVFUtil']]],
   ['type_5fpair',['type_pair',['../classSVF_1_1ExtAPI.html#a95ac45d2367b3d3124d5d98958e74cc5',1,'SVF::ExtAPI']]],
   ['typeanalysis',['TypeAnalysis',['../classSVF_1_1TypeAnalysis.html',1,'SVF::TypeAnalysis'],['../classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3',1,'SVF::TypeAnalysis::TypeAnalysis()']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['validatestmtinlock',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
   ['validatesuccesstests',['validateSuccessTests',['../classSVF_1_1PointerAnalysis.html#a7accf4e4db4001716e53d98ce5217ac8',1,'SVF::PointerAnalysis::validateSuccessTests()'],['../classSVF_1_1DoubleFreeChecker.html#a13fc5269cbd00cfd0eed5b1cee89e1c2',1,'SVF::DoubleFreeChecker::validateSuccessTests()'],['../classSVF_1_1LeakChecker.html#a0aa051a956b61cad9ec5419f33829e6a',1,'SVF::LeakChecker::validateSuccessTests()']]],
   ['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']]],
@@ -23,7 +23,7 @@ var searchData=
   ['valuedouble',['valuedouble',['../structcJSON.html#a4b21817d0fd2919901abadac73214e7f',1,'cJSON::valuedouble()'],['../cJSON_8cpp.html#a6ea693e884dae57fb36b03a8ba6cad27',1,'valuedouble(): cJSON.cpp']]],
   ['valueint',['valueint',['../structcJSON.html#a369cea49494eb5d4409d532a731a0fbf',1,'cJSON::valueint()'],['../cJSON_8cpp.html#a467a5974a6eae3b3059a89ba909c2a9c',1,'valueint(): cJSON.cpp']]],
   ['valuestring',['valuestring',['../structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1',1,'cJSON::valuestring()'],['../cJSON_8h.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.h'],['../cJSON_8cpp.html#a7dc61ad7586ca3231e691514bad7cbc4',1,'valuestring(): cJSON.cpp']]],
-  ['valuetoedgemap',['ValueToEdgeMap',['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()'],['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()']]],
+  ['valuetoedgemap',['valueToEdgeMap',['../classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704',1,'SVF::IRGraph::valueToEdgeMap()'],['../classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24',1,'SVF::IRGraph::ValueToEdgeMap()']]],
   ['valuetoidmapty',['ValueToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e',1,'SVF::SymbolTableInfo']]],
   ['valvar',['ValVar',['../classSVF_1_1ValVar.html',1,'SVF::ValVar'],['../classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb',1,'SVF::ValVar::ValVar()']]],
   ['var2labelmap',['Var2LabelMap',['../classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb',1,'SVF::SVFStmt::Var2LabelMap()'],['../classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007',1,'SVF::SVFStmt::var2LabelMap()']]],
@@ -36,7 +36,7 @@ var searchData=
   ['varargsyms',['varargSyms',['../classSVF_1_1SymbolTableInfo.html#ac449cd925dc05758c990179c0748e1d5',1,'SVF::SymbolTableInfo']]],
   ['varhasnewdfinpts',['varHasNewDFInPts',['../classSVF_1_1MutableIncDFPTData.html#ae7ed810cf4de695072ba5c4d0c882353',1,'SVF::MutableIncDFPTData::varHasNewDFInPts()'],['../classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952',1,'SVF::PersistentIncDFPTData::varHasNewDFInPts()']]],
   ['varhasnewdfoutpts',['varHasNewDFOutPts',['../classSVF_1_1MutableIncDFPTData.html#a55b19f617d11dfc6632b690694f264ab',1,'SVF::MutableIncDFPTData::varHasNewDFOutPts()'],['../classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53',1,'SVF::PersistentIncDFPTData::varHasNewDFOutPts()']]],
-  ['variableattribute',['variableAttribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()'],['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()']]],
+  ['variableattribute',['VariableAttribute',['../classSVF_1_1GrammarBase.html#a716ce662e6a3f2febf3ab378c4217759',1,'SVF::GrammarBase::VariableAttribute()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#af26cd32a0c3b88aec053bec17519f942',1,'SVF::GrammarBase::Symbol::variableAttribute()']]],
   ['variantfield',['variantField',['../classSVF_1_1GepStmt.html#af8eefbd002ec36f36612b8e9ccdbc757',1,'SVF::GepStmt']]],
   ['variantgep',['VariantGep',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375ae5df3ce07dd670b48916f7b8ab33ae5a',1,'SVF::ConstraintEdge']]],
   ['variantgepcgedge',['VariantGepCGEdge',['../classSVF_1_1VariantGepCGEdge.html',1,'SVF::VariantGepCGEdge'],['../classSVF_1_1VariantGepCGEdge.html#abfea1a5cc983b1773b307c8dcd42dd02',1,'SVF::VariantGepCGEdge::VariantGepCGEdge()'],['../classSVF_1_1VariantGepCGEdge.html#a72e674854fa023f9634fc6c1b9c1af6a',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(const VariantGepCGEdge &)'],['../classSVF_1_1VariantGepCGEdge.html#ac1aba938a28a9705625b4294c7d35bb6',1,'SVF::VariantGepCGEdge::VariantGepCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],

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

@@ -4,7 +4,7 @@ var searchData=
   ['weakupdateoutfromin',['weakUpdateOutFromIn',['../classSVF_1_1FlowSensitive.html#ab492c283e2264b4cbd4c192e805b7750',1,'SVF::FlowSensitive']]],
   ['which',['which',['../cJSON_8h.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.h'],['../cJSON_8cpp.html#aa2a4dae2a14de4093826005f9bdfd3bb',1,'which(): cJSON.cpp']]],
   ['while',['while',['../cJSON_8cpp.html#a209b15238c5803bc547b2d77e02f29b4',1,'cJSON.cpp']]],
-  ['word',['word',['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()'],['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()']]],
+  ['word',['Word',['../classSVF_1_1CoreBitVector.html#aaee26ffc13d05cd57f0fd7e4c2ea875c',1,'SVF::CoreBitVector::Word()'],['../structSVF_1_1SparseBitVectorElement.html#a5d43d980591d14d3a3d0782be034ed4f',1,'SVF::SparseBitVectorElement::word()']]],
   ['wordit',['wordIt',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a1afa1cb9e8377d3dab767aa4bfc713dc',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['wordnumber',['WordNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a6b139db78c9cba017df0fa468bee713a',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
   ['words',['words',['../classSVF_1_1CoreBitVector.html#a807283a917e845ef19c4962b1744e98b',1,'SVF::CoreBitVector']]],

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

@@ -9,14 +9,13 @@ 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']]],
+  ['_7ecflbase',['~CFLBase',['../classSVF_1_1CFLBase.html#a9bcd55546fc9ec1fbbac2b257ffa3243',1,'SVF::CFLBase']]],
   ['_7ecfledge',['~CFLEdge',['../classSVF_1_1CFLEdge.html#a8754c9d2a2a8b342d614383ee5829e70',1,'SVF::CFLEdge']]],
   ['_7ecflfifoworklist',['~CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html#a1dadae237fbfb576ddb60cad60530b9e',1,'SVF::CFLFIFOWorkList']]],
   ['_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']]],
   ['_7ecflstat',['~CFLStat',['../classSVF_1_1CFLStat.html#ac51498242513e203d0367b9d75f350f3',1,'SVF::CFLStat']]],
-  ['_7ecflvf',['~CFLVF',['../classSVF_1_1CFLVF.html#ac993bd9c186eef2447d6f50d6451f014',1,'SVF::CFLVF']]],
   ['_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']]],

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

@@ -97,6 +97,8 @@ var searchData=
   ['buildbipeggraph',['buildBiPEGgraph',['../classSVF_1_1AliasCFLGraphBuilder.html#ac74b55198d73acebb9843fd13c1fd880',1,'SVF::AliasCFLGraphBuilder::buildBiPEGgraph()'],['../classSVF_1_1VFCFLGraphBuilder.html#ac4a6620622ad6642ed8543e0f8c65c20',1,'SVF::VFCFLGraphBuilder::buildBiPEGgraph()']]],
   ['buildcallgraph',['buildCallGraph',['../classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc',1,'SVF::CallGraphBuilder']]],
   ['buildcandidatefuncsetforlock',['buildCandidateFuncSetforLock',['../classSVF_1_1LockAnalysis.html#a271506d5032033efae684b0d729f5b3e',1,'SVF::LockAnalysis']]],
+  ['buildcflgrammar',['buildCFLGrammar',['../classSVF_1_1CFLBase.html#a77bc3b0260fe02cdcf41fdb6b80caa09',1,'SVF::CFLBase']]],
+  ['buildcflgraph',['buildCFLGraph',['../classSVF_1_1CFLBase.html#a0daabb58bd7d5be40379ccc670c37a93',1,'SVF::CFLBase::buildCFLGraph()'],['../classSVF_1_1CFLVF.html#aa20f8d27da439c831f36b31312daf047',1,'SVF::CFLVF::buildCFLGraph()']]],
   ['buildcg',['buildCG',['../classSVF_1_1ConstraintGraph.html#a1973126243ff619033a78a3782944278',1,'SVF::ConstraintGraph']]],
   ['buildchg',['buildCHG',['../classSVF_1_1CHGBuilder.html#aa5c672ac426ad4085d64d97f8cb14ace',1,'SVF::CHGBuilder::buildCHG()'],['../classSVF_1_1DCHGraph.html#a710c6b87fd475552eddb425e38de8889',1,'SVF::DCHGraph::buildCHG()']]],
   ['buildchgedges',['buildCHGEdges',['../classSVF_1_1CHGBuilder.html#a7420a3a4858ebe861aaa47d76f49ab1f',1,'SVF::CHGBuilder']]],

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

@@ -49,14 +49,14 @@ var searchData=
   ['callpes',['callPEs',['../classSVF_1_1CallCFGEdge.html#a3f48f7f041c5e6d385757035c551d51c',1,'SVF::CallCFGEdge::callPEs()'],['../classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517',1,'SVF::FormalParmVFGNode::callPEs()']]],
   ['callpeset',['CallPESet',['../classSVF_1_1ICFGNode.html#ab1a4b4a8dc600ca375d9f5adbd2a5b59',1,'SVF::ICFGNode::CallPESet()'],['../classSVF_1_1VFG.html#ade3f735b3c7b1a53cab3d67cd9f7b874',1,'SVF::VFG::CallPESet()'],['../classSVF_1_1VFGNode.html#a43b6b3dc747d310f793ca1b3bfa9d05f',1,'SVF::VFGNode::CallPESet()']]],
   ['callretedge',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
-  ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)']]],
-  ['callsite2dummyvalpn',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1CFLVF.html#a2cb0e830ee529c6debd9c95a8f6299e6',1,'SVF::CFLVF::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05',1,'SVF::CFLAlias::callsite2DummyValPN()'],['../classSVF_1_1CFLVF.html#a8449ed8950c983cabe92c74139ebef70',1,'SVF::CFLVF::callsite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()']]],
+  ['callsite',['CallSite',['../classSVF_1_1CallSite.html',1,'SVF::CallSite'],['../classSVF_1_1CallSite.html#ac56325e360c7f6720a4c78a7b50f57df',1,'SVF::CallSite::CallSite(Instruction *I)'],['../classSVF_1_1CallSite.html#afb7abd481e9e7c88c203738514a02c98',1,'SVF::CallSite::CallSite(Value *I)'],['../classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374',1,'SVF::CallMU::callsite()'],['../classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb',1,'SVF::CallCHI::callsite()']]],
+  ['callsite2dummyvalpn',['CallSite2DummyValPN',['../classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a',1,'SVF::CFLAlias::CallSite2DummyValPN()'],['../classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51',1,'SVF::Andersen::CallSite2DummyValPN()'],['../classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05',1,'SVF::CFLAlias::callsite2DummyValPN()'],['../classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541',1,'SVF::Andersen::callsite2DummyValPN()']]],
   ['callsiteargslistmap',['callSiteArgsListMap',['../classSVF_1_1SVFIR.html#aa0920f5f967efdb89e23f12d31b112a2',1,'SVF::SVFIR']]],
   ['callsitehasret',['callsiteHasRet',['../classSVF_1_1SVFIR.html#aa79dba26cb34b40eee682713db299d5f',1,'SVF::SVFIR']]],
   ['callsiteid',['CallSiteID',['../namespaceSVF.html#a03d88a0302bcd253387690f13f693f64',1,'SVF']]],
   ['callsitepair',['CallSitePair',['../classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784',1,'SVF::PTACallGraph']]],
   ['callsiteretmap',['callSiteRetMap',['../classSVF_1_1SVFIR.html#a11ab07f48c934f45c239393332aa60e1',1,'SVF::SVFIR']]],
-  ['callsiteset',['callSiteSet',['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR::callSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e',1,'SVF::SymbolTableInfo::callSiteSet()'],['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864',1,'SVF::SymbolTableInfo::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()']]],
+  ['callsiteset',['CallSiteSet',['../classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef',1,'SVF::DDAVFSolver::CallSiteSet()'],['../classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4',1,'SVF::FlowDDA::CallSiteSet()'],['../classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155',1,'SVF::ThreadCallGraph::CallSiteSet()'],['../classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0',1,'SVF::PointerAnalysis::CallSiteSet()'],['../classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e',1,'SVF::SVFIR::CallSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864',1,'SVF::SymbolTableInfo::CallSiteSet()'],['../classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07',1,'SVF::SVFGBuilder::CallSiteSet()'],['../classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e',1,'SVF::MTASVFGBuilder::CallSiteSet()'],['../classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165',1,'SVF::SrcSnkDDA::CallSiteSet()'],['../classSVF_1_1SVFIR.html#ac6c537688366e73bb0ae5db49c0b2450',1,'SVF::SVFIR::callSiteSet()'],['../classSVF_1_1SymbolTableInfo.html#a05a05894819e9cad6ee0033a6695e35e',1,'SVF::SymbolTableInfo::callSiteSet()']]],
   ['callsitetoactualinmap',['callSiteToActualINMap',['../classSVF_1_1SVFG.html#af9313ebec4a52fd887169b7c6373a7d4',1,'SVF::SVFG']]],
   ['callsitetoactualinsmapty',['CallSiteToActualINsMapTy',['../classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb',1,'SVF::SVFG']]],
   ['callsitetoactualoutmap',['callSiteToActualOUTMap',['../classSVF_1_1SVFG.html#a39873b954b6e0eb0641f56ca4cd06ef9',1,'SVF::SVFG']]],
@@ -119,8 +119,11 @@ var searchData=
   ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF::CFLAlias'],['../classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48',1,'SVF::CFLAlias::CFLAlias()']]],
   ['cflalias_2ecpp',['CFLAlias.cpp',['../CFLAlias_8cpp.html',1,'']]],
   ['cflalias_2eh',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
+  ['cflbase',['CFLBase',['../classSVF_1_1CFLBase.html',1,'SVF::CFLBase'],['../classSVF_1_1CFLBase.html#a59c71b0eada5c763ce776f3618d08dd8',1,'SVF::CFLBase::CFLBase()']]],
+  ['cflbase_2ecpp',['CFLBase.cpp',['../CFLBase_8cpp.html',1,'']]],
+  ['cflbase_2eh',['CFLBase.h',['../CFLBase_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#a09ba3a0e3878f8ac55596838ea958f14',1,'SVF::CFLGraph::CFLEdgeSet()'],['../classSVF_1_1CFLGraph.html#afb41039ad53899fa64fedcef8b7aa7fe',1,'SVF::CFLGraph::cflEdgeSet()']]],
+  ['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']]],
   ['cflfifoworklist',['CFLFIFOWorkList',['../classSVF_1_1CFLFIFOWorkList.html',1,'SVF::CFLFIFOWorkList< Data >'],['../classSVF_1_1CFLFIFOWorkList.html#a1246a16c404664f0f17e8333eaae2511',1,'SVF::CFLFIFOWorkList::CFLFIFOWorkList()']]],
   ['cflfsci_5fwpa',['CFLFSCI_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85afbe666887476ce8620aca97a159921bc',1,'SVF::PointerAnalysis']]],
@@ -131,6 +134,7 @@ var searchData=
   ['cflgrammar_2ecpp',['CFLGrammar.cpp',['../CFLGrammar_8cpp.html',1,'']]],
   ['cflgrammar_2eh',['CFLGrammar.h',['../CFLGrammar_8h.html',1,'']]],
   ['cflgrammar_2etxt',['CFLGrammar.txt',['../CFLGrammar_8txt.html',1,'']]],
+  ['cflgrammarstat',['CFLGrammarStat',['../classSVF_1_1CFLStat.html#a1fbe39f511320df60f54235bd7842257',1,'SVF::CFLStat']]],
   ['cflgraph',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF::CFLGraph'],['../classSVF_1_1Options.html#a87b63f1f8f4f65cdf6647f9f056ffc53',1,'SVF::Options::CFLGraph()'],['../classSVF_1_1CFLGraph.html#a3dddc713969a95943d1f9b1e31ec71bc',1,'SVF::CFLGraph::CFLGraph()']]],
   ['cflgraph_2ecpp',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
   ['cflgraph_2eh',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
@@ -142,7 +146,7 @@ var searchData=
   ['cflsolver_2ecpp',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
   ['cflsolver_2eh',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
   ['cflsrcsnksolver',['CFLSrcSnkSolver',['../namespaceSVF.html#a6bdd04381cb268e6c957a5cc528ebf67',1,'SVF']]],
-  ['cflstat',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF::CFLStat'],['../classSVF_1_1CFLStat.html#abde1d6206fcde988c3959affc8afbbad',1,'SVF::CFLStat::CFLStat()']]],
+  ['cflstat',['CFLStat',['../classSVF_1_1CFLStat.html',1,'SVF::CFLStat'],['../classSVF_1_1CFLStat.html#ada5680cabe65962be3a574a8a740f59c',1,'SVF::CFLStat::CFLStat()']]],
   ['cflstat_2ecpp',['CFLStat.cpp',['../CFLStat_8cpp.html',1,'']]],
   ['cflstat_2eh',['CFLStat.h',['../CFLStat_8h.html',1,'']]],
   ['cflsvfg',['CFLSVFG',['../classSVF_1_1Options.html#a13ff50def26bcf8f79d3222c6948cbfe',1,'SVF::Options']]],
@@ -269,7 +273,7 @@ var searchData=
   ['collapsefields',['collapseFields',['../classSVF_1_1Andersen.html#ac22a6946de30bc5887b9e4ec9259764f',1,'SVF::Andersen::collapseFields()'],['../classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a',1,'SVF::WPASolver::collapseFields()']]],
   ['collapsenodepts',['collapseNodePts',['../classSVF_1_1Andersen.html#a3f0048155f0b3a6899dac6f30553aa9e',1,'SVF::Andersen']]],
   ['collapsepwcnode',['collapsePWCNode',['../classSVF_1_1Andersen.html#ae79bff0e9c49f15e7db00ed605824d98',1,'SVF::Andersen']]],
-  ['collapsetime',['CollapseTime',['../classSVF_1_1CFLStat.html#a1038d77be761d3033237724330631d3e',1,'SVF::CFLStat::CollapseTime()'],['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat::CollapseTime()']]],
+  ['collapsetime',['CollapseTime',['../classSVF_1_1AndersenStat.html#a3f5739454b1f4e03b4388a4ba5730e15',1,'SVF::AndersenStat']]],
   ['collectarrayinfo',['collectArrayInfo',['../classSVF_1_1SymbolTableInfo.html#aea1c4ec32c307feb5da455a41cc51b5e',1,'SVF::SymbolTableInfo']]],
   ['collectbbcallingprogexit',['collectBBCallingProgExit',['../classSVF_1_1SaberCondAllocator.html#adcb9b49512179e016765b50277fc058f',1,'SVF::SaberCondAllocator']]],
   ['collectcallsitepts',['collectCallSitePts',['../classSVF_1_1MRGenerator.html#a9de695122660c1d8b65e1f3dab8a7ece',1,'SVF::MRGenerator']]],
@@ -280,7 +284,7 @@ var searchData=
   ['collectcxtinsenedgeforvfcycle',['collectCxtInsenEdgeForVFCycle',['../classSVF_1_1DDAPass.html#af03661604ba924d1c3fd34a231ba87a6',1,'SVF::DDAPass']]],
   ['collectcxtlock',['collectCxtLock',['../classSVF_1_1LockAnalysis.html#ae03db88ef0ad0da2c31cf1623b32165f',1,'SVF::LockAnalysis']]],
   ['collectcxtthreadtargets',['collectCxtThreadTargets',['../classSVF_1_1MTAResultValidator.html#a430c03371b2b5b7300c5c3a68d633909',1,'SVF::MTAResultValidator']]],
-  ['collectcycleinfo',['collectCycleInfo',['../classSVF_1_1CFLStat.html#ae235e945a6856cfad961ba752b75d409',1,'SVF::CFLStat::collectCycleInfo()'],['../classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad',1,'SVF::AndersenStat::collectCycleInfo()']]],
+  ['collectcycleinfo',['collectCycleInfo',['../classSVF_1_1AndersenStat.html#ae35507bebe6a1a9a64ab379473c85cad',1,'SVF::AndersenStat']]],
   ['collectentryfunincallgraph',['collectEntryFunInCallGraph',['../classSVF_1_1TCT.html#a313962cab59c12057d4f780a918ed1e8',1,'SVF::TCT']]],
   ['collectfollowers',['collectFollowers',['../classSVF_1_1PCG.html#a075370a557f111219530e166df745c15',1,'SVF::PCG']]],
   ['collectglobals',['collectGlobals',['../classSVF_1_1MRGenerator.html#afdae3e11009966856736d9aa1e2ad5bd',1,'SVF::MRGenerator::collectGlobals()'],['../classSVF_1_1SaberSVFGBuilder.html#a2d0492c50159a5f97a587874c6877286',1,'SVF::SaberSVFGBuilder::collectGlobals()']]],
@@ -441,6 +445,7 @@ var searchData=
   ['countleadingzeros',['countLeadingZeros',['../namespaceSVF.html#af897f6692f1f6aa13d897f89b3370d0d',1,'SVF']]],
   ['countpopulation',['countPopulation',['../namespaceSVF.html#ae86e9ecca38512426d0bade3a95d0a51',1,'SVF']]],
   ['countstat',['countStat',['../classSVF_1_1ICFGStat.html#a632f57db1f1e17f49289b5dfec048ef6',1,'SVF::ICFGStat']]],
+  ['countsumedges',['countSumEdges',['../classSVF_1_1CFLBase.html#a824da17d03599090d4e3b4c50aeccff9',1,'SVF::CFLBase']]],
   ['counttrailingzeros',['countTrailingZeros',['../namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461',1,'SVF']]],
   ['cpp_5feft_5fa0r_5fa1',['CPP_EFT_A0R_A1',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caae3e90095a170aa15d9b6c305469e32af',1,'SVF::ExtAPI']]],
   ['cpp_5feft_5fa0r_5fa1r',['CPP_EFT_A0R_A1R',['../classSVF_1_1ExtAPI.html#a5df65081e82a05223ce781660ee199caa7f75d2265448acf50cd59151a1241054',1,'SVF::ExtAPI']]],

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

@@ -33,7 +33,7 @@ var searchData=
   ['filterfun',['filterFun',['../classSVF_1_1LockResultValidator.html#a70cdb993b3e90c70cc083fb8ed93fb91',1,'SVF::LockResultValidator']]],
   ['finalbit',['finalBit',['../classSVF_1_1CoreBitVector.html#a8825e54f584be8aa0ff627335064244e',1,'SVF::CoreBitVector']]],
   ['finalcond',['finalCond',['../classSVF_1_1ProgSlice.html#a011fcd4f081926e808e15630cb2d4b47',1,'SVF::ProgSlice']]],
-  ['finalize',['finalize',['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
+  ['finalize',['finalize',['../classSVF_1_1CFLAlias.html#a1b7e49b3f42d625f1f25258044f8b885',1,'SVF::CFLAlias::finalize()'],['../classSVF_1_1CFLVF.html#a6047084ea0cfe2827130facdd54e4806',1,'SVF::CFLVF::finalize()'],['../classSVF_1_1ContextDDA.html#ae34cd06ee3b7d763c81ec418af76d244',1,'SVF::ContextDDA::finalize()'],['../classSVF_1_1FlowDDA.html#a5abae08577ab24684653421dc712431a',1,'SVF::FlowDDA::finalize()'],['../classSVF_1_1PointerAnalysis.html#a118dabc50024b5cd91095814ade47166',1,'SVF::PointerAnalysis::finalize()'],['../classSVF_1_1BVDataPTAImpl.html#a57ff2bf45ede7a730a8adaba8e61179d',1,'SVF::BVDataPTAImpl::finalize()'],['../classSVF_1_1CondPTAImpl.html#a9bdc3a50c695029a28371116ddc3ef8d',1,'SVF::CondPTAImpl::finalize()'],['../classSVF_1_1SrcSnkDDA.html#af6ee1f79b67c736ceeb591d0cdba4b06',1,'SVF::SrcSnkDDA::finalize()'],['../classSVF_1_1AndersenBase.html#a28a1c3571cdee5e05004b29ace364e67',1,'SVF::AndersenBase::finalize()'],['../classSVF_1_1Andersen.html#ad90c8cf193bd81870ce8dd88c9580e2c',1,'SVF::Andersen::finalize()'],['../classSVF_1_1FlowSensitive.html#afed358369102f01f6fe88b1433e704c3',1,'SVF::FlowSensitive::finalize()'],['../classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6',1,'SVF::TypeAnalysis::finalize()'],['../classSVF_1_1VersionedFlowSensitive.html#ad955fda89f4f749151a1bd14562b03f6',1,'SVF::VersionedFlowSensitive::finalize()']]],
   ['find',['find',['../classSVF_1_1CFLFIFOWorkList.html#a34d1d61f300a3c9e3b445764f3a316a8',1,'SVF::CFLFIFOWorkList::find()'],['../classSVF_1_1SCCDetection.html#a123b5006a6da7053e5e357140da3c5a3',1,'SVF::SCCDetection::find(void)'],['../classSVF_1_1SCCDetection.html#a1d0d98fd1286e71cfae50180cd2b1313',1,'SVF::SCCDetection::find(NodeSet &candidates)'],['../classSVF_1_1List.html#a6db4368f5e5767d3e3f0e83f78707b31',1,'SVF::List::find()'],['../classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83',1,'SVF::FIFOWorkList::find()'],['../classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d',1,'SVF::FILOWorkList::find()'],['../classSVF_1_1CSC.html#a049dc6bd348b1108a8a9726d50a4f280',1,'SVF::CSC::find()']]],
   ['find_5ffirst',['find_first',['../classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836',1,'SVF::PointsTo::find_first()'],['../structSVF_1_1SparseBitVectorElement.html#a2281ff5a0a492064cff864d4c246cbc2',1,'SVF::SparseBitVectorElement::find_first()'],['../classSVF_1_1SparseBitVector.html#a06eeb5543eb160e08f9a41e30b52d963',1,'SVF::SparseBitVector::find_first()']]],
   ['find_5flast',['find_last',['../structSVF_1_1SparseBitVectorElement.html#a1d79c099887fcf01f5c0743b38caf39d',1,'SVF::SparseBitVectorElement::find_last()'],['../classSVF_1_1SparseBitVector.html#ac969500db9dbd1c63b6a47a1d9a5abba',1,'SVF::SparseBitVector::find_last()']]],
@@ -60,7 +60,7 @@ var searchData=
   ['flexsymmap',['FlexSymMap',['../classSVF_1_1Options.html#a79dff5235e82e1313fa4b053f866f357',1,'SVF::Options']]],
   ['flippedaddressmask',['FlippedAddressMask',['../ExeState_8h.html#aec682540f2c8aa9deb79f610e4399411',1,'ExeState.h']]],
   ['flowbudget',['FlowBudget',['../classSVF_1_1Options.html#a53b1a1ec4e5bbd9696ed9b680aa0c3c7',1,'SVF::Options']]],
-  ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()']]],
+  ['flowdda',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF::FlowDDA'],['../classSVF_1_1FlowDDA.html#aab22d2c14b46963887f623d84e75bd7a',1,'SVF::FlowDDA::FlowDDA()'],['../classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551',1,'SVF::ContextDDA::flowDDA()'],['../classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77',1,'SVF::DDAStat::flowDDA()']]],
   ['flowdda_2ecpp',['FlowDDA.cpp',['../FlowDDA_8cpp.html',1,'']]],
   ['flowdda_2eh',['FlowDDA.h',['../FlowDDA_8h.html',1,'']]],
   ['flows_5fdda',['FlowS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85aa43c83e2f0df003c158d4b1325b50b18',1,'SVF::PointerAnalysis']]],
@@ -154,7 +154,7 @@ var searchData=
   ['funexitnode',['funExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748',1,'SVF::FormalOUTSVFGNode']]],
   ['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
   ['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF::FunptrDDAClient'],['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient::FunptrDDAClient()']]],
-  ['funptrtocallsitesmap',['funPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()']]],
+  ['funptrtocallsitesmap',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR::FunPtrToCallSitesMap()'],['../classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5',1,'SVF::SVFIR::funPtrToCallSitesMap()']]],
   ['funret',['FunRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac8494021a71efb0f6df237ff12561c8d',1,'SVF::VFGNode']]],
   ['funretblock',['FunRetBlock',['../classSVF_1_1ICFGNode.html#a74f598c1c86b023680bb2685aa8ab376ac731cdb9d1269f6c25e1c80159154921',1,'SVF::ICFGNode']]],
   ['funretmap',['funRetMap',['../classSVF_1_1SVFIR.html#a4cef56f7fc77b47dc6e65c59c98551c5',1,'SVF::SVFIR']]],
@@ -174,7 +174,7 @@ var searchData=
   ['funtointermap',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
   ['funtoloopinfomap',['funToLoopInfoMap',['../classSVF_1_1PTACFInfoBuilder.html#a155db92ff5057abcb929c0ca8e8bee89',1,'SVF::PTACFInfoBuilder::funToLoopInfoMap()'],['../classSVF_1_1MTA.html#a2473be56f2861ad101f65a65e02dff8d',1,'SVF::MTA::FunToLoopInfoMap()'],['../classSVF_1_1PTACFInfoBuilder.html#ad76c187197c73fad8dd0c8bdb57b10f7',1,'SVF::PTACFInfoBuilder::FunToLoopInfoMap()']]],
   ['funtomodsmap',['funToModsMap',['../classSVF_1_1MRGenerator.html#a2c94bfa19ad8d1d6360b12693c8b891d',1,'SVF::MRGenerator']]],
-  ['funtomrsmap',['funToMRsMap',['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()'],['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()']]],
+  ['funtomrsmap',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator::FunToMRsMap()'],['../classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96',1,'SVF::MRGenerator::funToMRsMap()']]],
   ['funtonodebsmap',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
   ['funtopagedgesetmap',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
   ['funtopdtmap',['funToPDTMap',['../classSVF_1_1PTACFInfoBuilder.html#a11a1bb877406f45ea4c8f7c4678bfa15',1,'SVF::PTACFInfoBuilder']]],

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

@@ -186,7 +186,8 @@ var searchData=
   ['getcanonicaltype',['getCanonicalType',['../classSVF_1_1DCHGraph.html#a079feacdcc3783f4a9108a3b2d2aed2c',1,'SVF::DCHGraph']]],
   ['getcbn',['getCBN',['../classSVF_1_1LockResultValidator.html#a97eef42fa816256818b44382604b53c8',1,'SVF::LockResultValidator::getCBN()'],['../classSVF_1_1MHP.html#aca4903cf3e3ef5b2ed5959e5e6181d55',1,'SVF::MHP::getCBN()'],['../classSVF_1_1ForkJoinAnalysis.html#a94d65f9e22a13772042b2af652cf5538',1,'SVF::ForkJoinAnalysis::getCBN()']]],
   ['getcfcond',['getCFCond',['../classSVF_1_1SaberCondAllocator.html#a49a7146006e286c6ffb5668687a5a92f',1,'SVF::SaberCondAllocator']]],
-  ['getcflgraph',['getCFLGraph',['../classSVF_1_1CFLAlias.html#ade2773347ef08df69713e14cf1a24352',1,'SVF::CFLAlias']]],
+  ['getcfledges',['getCFLEdges',['../classSVF_1_1CFLGraph.html#afcf910a94a3b081067f5a55599475a16',1,'SVF::CFLGraph']]],
+  ['getcflgraph',['getCFLGraph',['../classSVF_1_1CFLBase.html#a22ab9bbaee16e06d04817db8c394cc0b',1,'SVF::CFLBase']]],
   ['getcflpts',['getCFLPts',['../classSVF_1_1CFLAlias.html#acbbacca91cb85f67523aa8f84f6fe629',1,'SVF::CFLAlias']]],
   ['getcheckerapi',['getCheckerAPI',['../classSVF_1_1SaberCheckerAPI.html#acf41a2b6de063da9ed492ef0da129036',1,'SVF::SaberCheckerAPI']]],
   ['getchgraph',['getCHGraph',['../classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5',1,'SVF::PointerAnalysis']]],
@@ -791,13 +792,13 @@ var searchData=
   ['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']]],
-  ['grammar',['grammar',['../classSVF_1_1CFLAlias.html#a31ffa49b8e0995b6ee9b8a1f5ecab7be',1,'SVF::CFLAlias::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1CFLVF.html#a7ba9ca8cbafa6f799278c33fe5edd4fb',1,'SVF::CFLVF::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
-  ['grammarbase',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF']]],
+  ['grammar',['grammar',['../classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503',1,'SVF::CFLBase::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::GrammarBase'],['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase::grammarBase()']]],
   ['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']]],
-  ['graph',['graph',['../classSVF_1_1CFLAlias.html#abd4d8eb59209a1f1cedebcf41117914b',1,'SVF::CFLAlias::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1CFLVF.html#a30732e01e523dc5e2fc4c9d1ea83d414',1,'SVF::CFLVF::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()']]],
+  ['graph',['graph',['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::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,'']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm::GraphPrinter'],['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637',1,'SVF::GraphPrinter()']]],

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

@@ -23,11 +23,11 @@ var searchData=
   ['icfgnodesbegin',['ICFGNodesBegin',['../classSVF_1_1SVFLoop.html#a39d7db54e8dd092fd5420c5332210ed1',1,'SVF::SVFLoop']]],
   ['icfgnodesend',['ICFGNodesEnd',['../classSVF_1_1SVFLoop.html#a4c96835d38a55423b70b2ce100d76dd2',1,'SVF::SVFLoop']]],
   ['icfgnodeset',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG::icfgNodeToSVFLoopVec()'],['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG::ICFGNodeToSVFLoopVec()']]],
+  ['icfgnodetosvfloopvec',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG::ICFGNodeToSVFLoopVec()'],['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG::icfgNodeToSVFLoopVec()']]],
   ['icfgprinter',['ICFGPrinter',['../classSVF_1_1ICFGPrinter.html',1,'SVF::ICFGPrinter'],['../classSVF_1_1ICFGPrinter.html#ab51ba2c92e69d3688b0a185b4b1d69cb',1,'SVF::ICFGPrinter::ICFGPrinter()']]],
   ['icfgstat',['ICFGStat',['../classSVF_1_1ICFGStat.html',1,'SVF::ICFGStat'],['../classSVF_1_1ICFGStat.html#a3bbad3d1c0ab0cad3cc4b7aa069d1f9f',1,'SVF::ICFGStat::ICFGStat()']]],
   ['icfgstat_2eh',['ICFGStat.h',['../ICFGStat_8h.html',1,'']]],
-  ['id',['id',['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()'],['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr::id()'],['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b',1,'SVF::MTA::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1IteratedDominanceFrontier.html#aaae6f876063759941ac236f17a80cea2',1,'SVF::IteratedDominanceFrontier::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()']]],
+  ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1MTA.html#a5ce0b3247bd412e5267a42be0646471b',1,'SVF::MTA::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1IteratedDominanceFrontier.html#aaae6f876063759941ac236f17a80cea2',1,'SVF::IteratedDominanceFrontier::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()'],['../classSVF_1_1Z3Expr.html#acdb4fbb53f19bac033e79cfe96ce82ca',1,'SVF::Z3Expr::id()']]],
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
   ['identifyfollowers',['identifyFollowers',['../classSVF_1_1PCG.html#ae5ee8cf8cfe42854407190f30f3b6c1b',1,'SVF::PCG']]],
   ['idtocallsitemap',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
@@ -90,7 +90,7 @@ var searchData=
   ['initialise',['initialise',['../classSVF_1_1DDAClient.html#a40f6d8769db41f4c907fe5b615e5df83',1,'SVF::DDAClient']]],
   ['initialisecandidatepointers',['initialiseCandidatePointers',['../classSVF_1_1SVFIR.html#af6a2c401d5c7582a4a958b1fe40838e5',1,'SVF::SVFIR']]],
   ['initialisenodes',['initialiseNodes',['../classSVF_1_1SVFIRBuilder.html#af4b18e8e1fdfb117cb5dd1a81cea4b71',1,'SVF::SVFIRBuilder']]],
-  ['initialize',['initialize',['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
+  ['initialize',['initialize',['../classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0',1,'SVF::CFLAlias::initialize()'],['../classSVF_1_1CFLVF.html#a852ed935576ca426287cf4afa6a585e3',1,'SVF::CFLVF::initialize()'],['../classSVF_1_1ContextDDA.html#adb9f21a86daeb2dd79537f3939c393cf',1,'SVF::ContextDDA::initialize()'],['../classSVF_1_1FlowDDA.html#af1fcf058a9feefeda63f07d4189513a1',1,'SVF::FlowDDA::initialize()'],['../classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32',1,'SVF::PointerAnalysis::initialize()'],['../classSVF_1_1FSMPTA.html#acbfb7d2a6d38b54966c98102c1ea6a38',1,'SVF::FSMPTA::initialize()'],['../classSVF_1_1MTAAnnotator.html#a108616cc98f15af3010ca45b91f32c04',1,'SVF::MTAAnnotator::initialize()'],['../classSVF_1_1SrcSnkDDA.html#a8883b9a42106ed8c55835d2ba9a579cd',1,'SVF::SrcSnkDDA::initialize()'],['../classSVF_1_1LLVMModuleSet.html#a9782bf6b7b015fd8fb48f75eb4508d22',1,'SVF::LLVMModuleSet::initialize()'],['../classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac',1,'SVF::AndersenBase::initialize()'],['../classSVF_1_1Andersen.html#a20617a69c112ad423b1b5021e48a8548',1,'SVF::Andersen::initialize()'],['../classSVF_1_1AndersenWaveDiff.html#a40514a439869d0c025afb4f6b6fb4071',1,'SVF::AndersenWaveDiff::initialize()'],['../classSVF_1_1AndersenSFR.html#a3b255068b3ea53041af94fd373a53bd4',1,'SVF::AndersenSFR::initialize()'],['../classSVF_1_1FlowSensitive.html#ad6243c1317503bed39411dab47c83da7',1,'SVF::FlowSensitive::initialize()'],['../classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985',1,'SVF::TypeAnalysis::initialize()'],['../classSVF_1_1VersionedFlowSensitive.html#a81d3528fd082018e4345f0b026bf3584',1,'SVF::VersionedFlowSensitive::initialize()']]],
   ['initialworklist',['initialWorkList',['../classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c',1,'SVF::SVFGOPT']]],
   ['initobjvar',['initObjVar',['../classSVF_1_1ExeState.html#af4018e9053baa373b590230bc53b7ccb',1,'SVF::ExeState']]],
   ['initsnks',['initSnks',['../classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c',1,'SVF::LeakChecker::initSnks()'],['../classSVF_1_1SrcSnkDDA.html#a0f6cfa30c346aab1fb03a44e47c32559',1,'SVF::SrcSnkDDA::initSnks()']]],
@@ -118,7 +118,7 @@ var searchData=
   ['inserttocflgrammar',['insertToCFLGrammar',['../classSVF_1_1CFGNormalizer.html#ad08f183a1b8ca69201f965f224e92950',1,'SVF::CFGNormalizer']]],
   ['insertvalueinst',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
   ['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()']]],
+  ['inst2labelmap',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt::Inst2LabelMap()'],['../classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c',1,'SVF::SVFStmt::inst2LabelMap()']]],
   ['inst_5fiterator',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
   ['instance',['INSTANCE',['../classSVF_1_1DCHEdge.html#a48f01c4a02c4e278a1ab70b16efdef4ba3e807b4caeb170c5cd1e855ac1a92d77',1,'SVF::DCHEdge']]],
   ['instantce',['INSTANTCE',['../classSVF_1_1CHEdge.html#a26280c3b724551036f7e3ba2b5922676a8721eaefd547d6ba5229463d644815f4',1,'SVF::CHEdge']]],

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

@@ -9,7 +9,7 @@ var searchData=
   ['keepnoneselfcycle',['KeepNoneSelfCycle',['../SVFGOPT_8cpp.html#a644ce2ce8b3224e9cd4cfc8480941c6f',1,'SVFGOPT.cpp']]],
   ['keytoidmap',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
   ['kgrn',['KGRN',['../SVFUtil_8cpp.html#ac081c83b067273757f7a2e54a5957d41',1,'SVFUtil.cpp']]],
-  ['kind',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()'],['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()']]],
+  ['kind',['kind',['../structSVF_1_1GrammarBase_1_1Symbol.html#aa60ddaabcb38b277d56b41bc9133ef71',1,'SVF::GrammarBase::Symbol::kind()'],['../classSVF_1_1CommonCHGraph.html#a4d3f2b9ed7ae8e87baf69525e9115071',1,'SVF::CommonCHGraph::kind()'],['../classSVF_1_1PTACallGraph.html#a6a5927a58cc777a0745bd0ca635f25b1',1,'SVF::PTACallGraph::kind()'],['../classSVF_1_1VFG.html#a3867c591a231bad0aa2e6ab7c095a42f',1,'SVF::VFG::kind()'],['../classSVF_1_1SVFValue.html#af9f71a3c0d055f5fed6831a6ecf40d67',1,'SVF::SVFValue::kind()'],['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()']]],
   ['kind2attrsmap',['kind2AttrsMap',['../classSVF_1_1GrammarBase.html#a9782f4baeece8095f8a55cadd049ffce',1,'SVF::GrammarBase::kind2AttrsMap()'],['../classSVF_1_1CFLGraphBuilder.html#a5159cea5bc8d69715782ac5f56965a90',1,'SVF::CFLGraphBuilder::kind2AttrsMap()']]],
   ['kind2labelmap',['kind2LabelMap',['../classSVF_1_1CFLGraphBuilder.html#a461ff21d73f60cf96a3e36672d4c6a6c',1,'SVF::CFLGraphBuilder']]],
   ['kind2str',['kind2Str',['../classSVF_1_1GrammarBase.html#ac8ecc4293c5a63d2d30d0ca0832217d3',1,'SVF::GrammarBase']]],