svf-tools 1.0.442 → 1.0.445

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

@@ -58,7 +58,7 @@ var searchData=
   ['operator_7c_7c',['operator||',['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr']]],
   ['opicfgnodes',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
   ['opicfgnodevec',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4',1,'SVF::PhiStmt']]],
-  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
+  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -66,7 +66,7 @@ var searchData=
   ['options_2eh',['Options.h',['../Options_8h.html',1,'']]],
   ['optsvfg',['OPTSVFG',['../classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a',1,'SVF::Options']]],
   ['opvarbegin',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opvars',['OPVars',['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()'],['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()']]],
+  ['opvars',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()'],['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()']]],
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
@@ -79,7 +79,7 @@ var searchData=
   ['originalsbvnumwords',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['originalsize',['originalSize',['../cuddInt_8c.html#afcdd597b50055b996a49d9e265965d01',1,'cuddInt.c']]],
   ['oscc',['OSCC',['../classSVF_1_1OfflineConsG.html#ab7ce6d127d85cedfdeb6501195b8818f',1,'SVF::OfflineConsG::OSCC()'],['../classSVF_1_1AndersenHCD.html#a33cb18543abbcd434861c5da7e588356',1,'SVF::AndersenHCD::OSCC()']]],
-  ['out',['out',['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()'],['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()']]],
+  ['out',['OUT',['../classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ac018f116c78ed5e314b52e5d743f3fa5',1,'SVF::FlowSensitiveStat::OUT()'],['../structDdManager.html#af318bea3248f8e99d7889f028be4ec8f',1,'DdManager::out()']]],
   ['outedgebegin',['OutEdgeBegin',['../classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb',1,'SVF::GenericNode::OutEdgeBegin()'],['../classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7',1,'SVF::GenericNode::OutEdgeBegin() const']]],
   ['outedgeend',['OutEdgeEnd',['../classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d',1,'SVF::GenericNode::OutEdgeEnd()'],['../classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc',1,'SVF::GenericNode::OutEdgeEnd() const']]],
   ['outedgekindtosetmap',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
@@ -96,6 +96,6 @@ var searchData=
   ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
   ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
+  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

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

@@ -20,6 +20,13 @@ var searchData=
   ['cast_5fretty_5fimpl_3c_20to_2c_20std_3a_3aunique_5fptr_3c_20from_20_3e_20_3e',['cast_retty_impl< To, std::unique_ptr< From > >',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html',1,'SVF::SVFUtil']]],
   ['cast_5fretty_5fwrap',['cast_retty_wrap',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html',1,'SVF::SVFUtil']]],
   ['cast_5fretty_5fwrap_3c_20to_2c_20fromty_2c_20fromty_20_3e',['cast_retty_wrap< To, FromTy, FromTy >',['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html',1,'SVF::SVFUtil']]],
+  ['cfgnormalizer',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html',1,'SVF']]],
+  ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html',1,'SVF']]],
+  ['cfledge',['CFLEdge',['../classSVF_1_1CFLEdge.html',1,'SVF']]],
+  ['cflgrammar',['CFLGrammar',['../classSVF_1_1CFLGrammar.html',1,'SVF']]],
+  ['cflgraph',['CFLGraph',['../classSVF_1_1CFLGraph.html',1,'SVF']]],
+  ['cflnode',['CFLNode',['../classSVF_1_1CFLNode.html',1,'SVF']]],
+  ['cflsolver',['CFLSolver',['../classSVF_1_1CFLSolver.html',1,'SVF']]],
   ['chedge',['CHEdge',['../classSVF_1_1CHEdge.html',1,'SVF']]],
   ['chgbuilder',['CHGBuilder',['../classSVF_1_1CHGBuilder.html',1,'SVF']]],
   ['chgraph',['CHGraph',['../classSVF_1_1CHGraph.html',1,'SVF']]],

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

@@ -27,6 +27,7 @@ var searchData=
   ['diffptdata',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
   ['directsvfgedge',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
   ['distinctmrg',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
+  ['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']]],

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

@@ -1,6 +1,7 @@
 var searchData=
 [
   ['fifoworklist',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['fifoworklist_3c_20cxtlockproc_20_3e',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
   ['fifoworklist_3c_20cxtstmt_20_3e',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],

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

@@ -8,6 +8,7 @@ var searchData=
   ['genericgraph_3c_20dchnode_2c_20dchedge_20_3e',['GenericGraph< DCHNode, DCHEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
   ['genericgraph_3c_20svfvar_2c_20svfstmt_20_3e',['GenericGraph< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
   ['genericnode',['GenericNode',['../classSVF_1_1GenericNode.html',1,'SVF']]],
+  ['genericnode_3c_20cflnode_2c_20cfledge_20_3e',['GenericNode< CFLNode, CFLEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericnode_3c_20constraintnode_2c_20constraintedge_20_3e',['GenericNode< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['genericnode_3c_20dchnode_2c_20dchedge_20_3e',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
   ['gepcgedge',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF']]],
@@ -17,7 +18,11 @@ var searchData=
   ['gepvfgnode',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],
   ['globalicfgnode',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF']]],
   ['gnodesccinfo',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection']]],
+  ['grammarbase',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF']]],
+  ['grammarbuilder',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF']]],
   ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm']]],
+  ['graphreachsolver',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF']]],
+  ['graphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CFLNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::ConstraintNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::DCHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'llvm']]],
@@ -27,6 +32,8 @@ var searchData=
   ['graphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::SVFVar * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::TCTNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::VFGNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'llvm']]],
+  ['graphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e',['GraphTraits< SVF::CFLGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'llvm']]],
+  ['graphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e',['GraphTraits< SVF::CFLNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e',['GraphTraits< SVF::CHGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3achnode_20_2a_20_3e',['GraphTraits< SVF::CHNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'llvm']]],
   ['graphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e',['GraphTraits< SVF::ConstraintGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'llvm']]],

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

@@ -1,7 +1,5 @@
 var searchData=
 [
-  ['adaptfscs_5fwpa',['ADAPTFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a859290ec941a06029f84ef249a5d2fda',1,'SVF::PointerAnalysis']]],
-  ['adaptfscsps_5fwpa',['ADAPTFSCSPS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a42d52c9444028e72ea8e6dc0c8c08ada',1,'SVF::PointerAnalysis']]],
   ['addr',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()']]],
   ['andersen_5fbase',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
   ['andersen_5fwpa',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],

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

@@ -8,6 +8,9 @@ var searchData=
   ['callmssamu',['CallMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba5e02921dfd30772024d77915d9f15f18',1,'SVF::MSSAMU']]],
   ['callretedge',['CallRetEdge',['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7aa968b68fb87a0135833105f4e6413c69',1,'SVF::PTACallGraphEdge']]],
   ['cbv',['CBV',['../classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923ea0397c2678894d1792fcd3432a7aa64fb',1,'SVF::PointsTo']]],
+  ['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']]],
   ['ck_5falloc',['CK_ALLOC',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056acd7e3bca6e36e08205576482b1b0221e',1,'SVF::SaberCheckerAPI']]],
   ['ck_5fdummy',['CK_DUMMY',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a7e06261f283161194d11f4d27c417c45',1,'SVF::SaberCheckerAPI']]],
   ['ck_5ffclose',['CK_FCLOSE',['../classSVF_1_1SaberCheckerAPI.html#a32f3c37a5957dc7533f7e82617d5d056a731dcaf32786abf31c43be180dd366cb',1,'SVF::SaberCheckerAPI']]],

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

@@ -9,7 +9,6 @@ var searchData=
   ['fpout',['FPOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09',1,'SVF::VFGNode']]],
   ['fret',['FRet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ae1d2cab9f6995b89064c2405f8eaf053',1,'SVF::VFGNode']]],
   ['fscs_5fwpa',['FSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a43837619e78e03dc95ec6e88959faf82',1,'SVF::PointerAnalysis']]],
-  ['fscsps_5fwpa',['FSCSPS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a30826fb1ddb602fd4439ca84eb73e8f4',1,'SVF::PointerAnalysis']]],
   ['fsdataflow_5fwpa',['FSDATAFLOW_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a62281bc39fea50a88e55edf605620322',1,'SVF::PointerAnalysis']]],
   ['fssparse_5fwpa',['FSSPARSE_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ad6ccf1ce66083278349c5c3111172d78',1,'SVF::PointerAnalysis']]],
   ['fstbhc_5fwpa',['FSTBHC_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a088dda60195ab259693977af8414f203',1,'SVF::PointerAnalysis']]],

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

@@ -3,11 +3,21 @@ var searchData=
   ['callgraphbuilder_2ecpp',['CallGraphBuilder.cpp',['../CallGraphBuilder_8cpp.html',1,'']]],
   ['callgraphbuilder_2eh',['CallGraphBuilder.h',['../CallGraphBuilder_8h.html',1,'']]],
   ['casting_2eh',['Casting.h',['../Casting_8h.html',1,'']]],
+  ['cfgnormalizer_2ecpp',['CFGNormalizer.cpp',['../CFGNormalizer_8cpp.html',1,'']]],
+  ['cfgnormalizer_2eh',['CFGNormalizer.h',['../CFGNormalizer_8h.html',1,'']]],
+  ['cfl_2ecpp',['cfl.cpp',['../cfl_8cpp.html',1,'']]],
+  ['cflalias_2eh',['CFLAlias.h',['../CFLAlias_8h.html',1,'']]],
+  ['cflgrammar_2ecpp',['CFLGrammar.cpp',['../CFLGrammar_8cpp.html',1,'']]],
+  ['cflgrammar_2eh',['CFLGrammar.h',['../CFLGrammar_8h.html',1,'']]],
+  ['cflgraph_2ecpp',['CFLGraph.cpp',['../CFLGraph_8cpp.html',1,'']]],
+  ['cflgraph_2eh',['CFLGraph.h',['../CFLGraph_8h.html',1,'']]],
+  ['cflsolver_2ecpp',['CFLSolver.cpp',['../CFLSolver_8cpp.html',1,'']]],
+  ['cflsolver_2eh',['CFLSolver.h',['../CFLSolver_8h.html',1,'']]],
   ['chg_2ecpp',['CHG.cpp',['../CHG_8cpp.html',1,'']]],
   ['chg_2eh',['CHG.h',['../CHG_8h.html',1,'']]],
   ['chgbuilder_2ecpp',['CHGBuilder.cpp',['../CHGBuilder_8cpp.html',1,'']]],
   ['chgbuilder_2eh',['CHGBuilder.h',['../CHGBuilder_8h.html',1,'']]],
-  ['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)']]],
   ['conditionalpt_2eh',['ConditionalPT.h',['../ConditionalPT_8h.html',1,'']]],
   ['consg_2ecpp',['ConsG.cpp',['../ConsG_8cpp.html',1,'']]],
   ['consg_2eh',['ConsG.h',['../ConsG_8h.html',1,'']]],

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

@@ -2,7 +2,10 @@ var searchData=
 [
   ['genericgraph_2eh',['GenericGraph.h',['../GenericGraph_8h.html',1,'']]],
   ['geptypebridgeiterator_2eh',['GEPTypeBridgeIterator.h',['../GEPTypeBridgeIterator_8h.html',1,'']]],
+  ['grammarbuilder_2ecpp',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
+  ['grammarbuilder_2eh',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
   ['graph2json_2ecpp',['Graph2Json.cpp',['../Graph2Json_8cpp.html',1,'']]],
   ['graph2json_2eh',['Graph2Json.h',['../Graph2Json_8h.html',1,'']]],
-  ['graphprinter_2eh',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]]
+  ['graphprinter_2eh',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
+  ['graphreachsolver_2eh',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]]
 ];

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

@@ -47,6 +47,8 @@ var searchData=
   ['addcallsitemu',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
   ['addcallsiterets',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
   ['addcandidate',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
+  ['addcfledge',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
+  ['addcflnode',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
   ['addclone',['addClone',['../classSVF_1_1TypeBasedHeapCloning.html#ae83ef821386b3fd4b86f29477cdda3e1',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonedummyobjnode',['addCloneDummyObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonefiobjnode',['addCloneFIObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#a83fb1e2a7b66d5f33fa34698a52250af',1,'SVF::TypeBasedHeapCloning']]],
@@ -264,7 +266,7 @@ var searchData=
   ['addvfgnode',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
   ['addvfgnodes',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
   ['addvirtualfunctionvector',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['alias',['alias',['../classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0',1,'SVF::DDAPass::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8',1,'SVF::PointerAnalysis::alias(const Value *V1, const Value *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df',1,'SVF::BVDataPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6',1,'SVF::CondPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f',1,'SVF::WPAPass::alias()']]],
+  ['alias',['alias',['../classSVF_1_1CFLAlias.html#a0575c3badff6a158a6043e3e940af507',1,'SVF::CFLAlias::alias(const Value *v1, const Value *v2)'],['../classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a',1,'SVF::CFLAlias::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1DDAPass.html#a242575c5bd8a8f17fdc802e5ba80e7b0',1,'SVF::DDAPass::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#a6c01f259ad2379a422d7106ce0255eb8',1,'SVF::PointerAnalysis::alias(const Value *V1, const Value *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df',1,'SVF::BVDataPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1BVDataPTAImpl.html#a949533e5c99698c7f9862aae5de23687',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a171918ada9b679b0114b27476caa5ee6',1,'SVF::CondPTAImpl::alias(const Value *V1, const Value *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a5a71ab4d4bd993ff52da60c730d7b57f',1,'SVF::WPAPass::alias()']]],
   ['alias_5fbegin',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
   ['alias_5fend',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
   ['aliasddaclient',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
@@ -277,7 +279,7 @@ var searchData=
   ['allocateobjectid',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
   ['allocatevalueid',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
   ['allpathreachablesolve',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['analyze',['analyze',['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c',1,'SVF::FlowSensitiveTBHC::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
+  ['analyze',['analyze',['../classSVF_1_1CFLAlias.html#acc3a9c19cc140aef48712b5c68240454',1,'SVF::CFLAlias::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a267f7198600dde3054feb40def7a6681',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1FlowSensitiveTBHC.html#abcab6281cced08d90c92d67d43a37c2c',1,'SVF::FlowSensitiveTBHC::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
   ['analyzeforkjoinpair',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
   ['analyzeheapobjtype',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
   ['analyzeinterleaving',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],

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

@@ -7,7 +7,7 @@ var searchData=
   ['backwardpropdpm',['backwardPropDpm',['../classSVF_1_1DDAVFSolver.html#af6a6243b497df5fdab9f658b9add9c8a',1,'SVF::DDAVFSolver']]],
   ['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_1SrcSnkDDA.html#a32cc8a131b2448b5e8e1fe65d99fd286',1,'SVF::SrcSnkDDA']]],
   ['bddcheckpositivecube',['bddCheckPositiveCube',['../cuddInt_8c.html#aa907c629e5e87f8c38a43b77ed2e482b',1,'cuddInt.c']]],
   ['bddexprmanager',['BDDExprManager',['../classSVF_1_1BDDExprManager.html#a632e4559983a49e1d05bb51e46aeba78',1,'SVF::BDDExprManager']]],
@@ -35,8 +35,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']]],
@@ -46,6 +47,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']]],
@@ -64,7 +66,7 @@ var searchData=
   ['buildvirtualfunctiontoidmap',['buildVirtualFunctionToIDMap',['../classSVF_1_1CHGBuilder.html#aa677ac2c640ee7fc0dab1d4fe508ead8',1,'SVF::CHGBuilder']]],
   ['buildvtables',['buildVTables',['../classSVF_1_1DCHGraph.html#a0c873ab28d5967991e636696fae8c67f',1,'SVF::DCHGraph']]],
   ['bvdataptaimpl',['BVDataPTAImpl',['../classSVF_1_1BVDataPTAImpl.html#ab0e1242aadfe1e16a2bd1445658a5476',1,'SVF::BVDataPTAImpl']]],
-  ['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/functions_10.js

@@ -46,13 +46,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']]],
@@ -112,7 +113,7 @@ var searchData=
   ['sinksbegin',['sinksBegin',['../classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2',1,'SVF::ProgSlice::sinksBegin()'],['../classSVF_1_1SrcSnkDDA.html#a79833c0cf1916d63e1dd32c2220056dd',1,'SVF::SrcSnkDDA::sinksBegin()']]],
   ['sinksend',['sinksEnd',['../classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31',1,'SVF::ProgSlice::sinksEnd()'],['../classSVF_1_1SrcSnkDDA.html#aaabc8d3aed17c8a35ef37d878f141412',1,'SVF::SrcSnkDDA::sinksEnd()']]],
   ['size',['size',['../classSVF_1_1CondStdSet.html#afa190562e8b85630845617c23fc5a16b',1,'SVF::CondStdSet']]],
-  ['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()']]],
   ['solveofflinescc',['solveOfflineSCC',['../classSVF_1_1OfflineConsG.html#ab7d06ed7e5e186b97452391c1162b181',1,'SVF::OfflineConsG']]],
   ['solverep',['solveRep',['../classSVF_1_1OfflineConsG.html#aeb069df3700dafcf365f11d697501c8f',1,'SVF::OfflineConsG']]],
   ['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()']]],
@@ -147,7 +148,7 @@ var searchData=
   ['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_5fptrcmp',['st_ptrcmp',['../st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf',1,'st_ptrcmp(const char *, const char *): st.c'],['../st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075',1,'st_ptrcmp(const char *x, const char *y): st.c']]],
   ['st_5fptrhash',['st_ptrhash',['../st_8h.html#a144fc385b211526daab6da9ad5a854cc',1,'st_ptrhash(char *, int): st.c'],['../st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06',1,'st_ptrhash(char *x, int size): st.c']]],
-  ['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']]],
   ['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']]],
@@ -169,6 +170,7 @@ var searchData=
   ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI']]],
   ['storestmt',['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)']]],
   ['storevfgnode',['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']]],
   ['strcat',['strcat',['../util_8h.html#ae726f8c6b65e180aacfb570a35dc8375',1,'util.h']]],
   ['strchr',['strchr',['../util_8h.html#ad015a6d0966888e16a0ea0eb360a2be2',1,'util.h']]],
   ['strcmp',['strcmp',['../util_8h.html#a7e3fe9a43bbdc5abae963874b6a63e6b',1,'util.h']]],
@@ -190,6 +192,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']]],
   ['strxfrm',['strxfrm',['../util_8h.html#a7fe8ca5c873ff8cee3918a70f94c1a5d',1,'util.h']]],
   ['subnodes',['subNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes()'],['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395',1,'SVF::SCCDetection::GNodeSCCInfo::subNodes() const'],['../classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d',1,'SVF::SCCDetection::subNodes()']]],
   ['sucmsg',['sucMsg',['../namespaceSVF_1_1SVFUtil.html#a6a55f1f8598998a3ffbbc67d32eaf8c4',1,'SVF::SVFUtil']]],
@@ -208,6 +211,7 @@ var searchData=
   ['svfstmt',['SVFStmt',['../classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47',1,'SVF::SVFStmt']]],
   ['svfvalue',['SVFValue',['../classSVF_1_1SVFValue.html#a2a85562586efde20be8ac1ccbd1a5ee6',1,'SVF::SVFValue']]],
   ['svfvar',['SVFVar',['../classSVF_1_1SVFVar.html#a24daf5faa4b1d159c193e61951d17414',1,'SVF::SVFVar']]],
+  ['sym2str',['sym2Str',['../classSVF_1_1GrammarBase.html#a3638a17caf8596a826b419ec5bc4df2e',1,'SVF::GrammarBase']]],
   ['symbolinfo',['SymbolInfo',['../classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11',1,'SVF::SymbolTableInfo']]],
   ['symboltablebuilder',['SymbolTableBuilder',['../classSVF_1_1SymbolTableBuilder.html#ad39b982a2a91a10b4f22ee6150e9cebf',1,'SVF::SymbolTableBuilder']]],
   ['symboltableinfo',['SymbolTableInfo',['../classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237',1,'SVF::SymbolTableInfo']]],

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

@@ -28,7 +28,7 @@ var searchData=
   ['vfgedge',['VFGEdge',['../classSVF_1_1VFGEdge.html#a9a29abd99da3465e07bd62470bd9bb56',1,'SVF::VFGEdge']]],
   ['vfgnode',['VFGNode',['../classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c',1,'SVF::VFGNode']]],
   ['vfgnodes',['VFGNodes',['../classSVF_1_1VFG.html#a43f4002b0beb00ed2026f7edd9ebbb1c',1,'SVF::VFG']]],
-  ['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']]],
   ['visit',['visit',['../classSVF_1_1SCCDetection.html#af799d7043e501e43e04e51fd4d6c6571',1,'SVF::SCCDetection::visit()'],['../classSVF_1_1CSC.html#a2863ae212693f9ca6341e23f9d9634bf',1,'SVF::CSC::visit()'],['../classSVF_1_1VersionedFlowSensitive_1_1SCC.html#af7ba77d72962b930a8107752e259008b',1,'SVF::VersionedFlowSensitive::SCC::visit()']]],

package/SVF-doxygen/html/html/search/functions_16.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/functions_2.js

@@ -21,7 +21,15 @@ var searchData=
   ['canberemoved',['canBeRemoved',['../classSVF_1_1SVFGOPT.html#ab72ce28409a440bbf5b84a68e5f82b85',1,'SVF::SVFGOPT']]],
   ['canhold',['canHold',['../classSVF_1_1CoreBitVector.html#a3c85fd2084e52df869cb8fcf2dab6486',1,'SVF::CoreBitVector']]],
   ['cast',['cast',['../namespaceSVF_1_1SVFUtil.html#a0d100868bf63b968d387eb50e9603f7c',1,'SVF::SVFUtil::cast(const Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#a406dd9baf2ce66235d482fd6c6121b2c',1,'SVF::SVFUtil::cast(Y &Val)'],['../namespaceSVF_1_1SVFUtil.html#acc2419a55c0427571f11ad14db2fe481',1,'SVF::SVFUtil::cast(Y *Val)'],['../namespaceSVF_1_1SVFUtil.html#af3ca049b4ce83c874e231f5e13bf36a8',1,'SVF::SVFUtil::cast(std::unique_ptr< Y > &&Val)']]],
+  ['cfgnormalizer',['CFGNormalizer',['../classSVF_1_1CFGNormalizer.html#ab1c19d6347ed694f52ded7defafeffe3',1,'SVF::CFGNormalizer']]],
+  ['cflalias',['CFLAlias',['../classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48',1,'SVF::CFLAlias']]],
+  ['cfledge',['CFLEdge',['../classSVF_1_1CFLEdge.html#a808f0a3b6df73df41dcc2f0bfe944116',1,'SVF::CFLEdge']]],
+  ['cflgrammar',['CFLGrammar',['../classSVF_1_1CFLGrammar.html#ad124b5e229216515b34b8d9b5d04e067',1,'SVF::CFLGrammar']]],
+  ['cflgraph',['CFLGraph',['../classSVF_1_1CFLGraph.html#accff96922713a51fd2d9cb124d74b036',1,'SVF::CFLGraph']]],
+  ['cflnode',['CFLNode',['../classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6',1,'SVF::CFLNode']]],
+  ['cflsolver',['CFLSolver',['../classSVF_1_1CFLSolver.html#a394ecf58da040648dda4adb8d0e7d75b',1,'SVF::CFLSolver']]],
   ['cha',['cha',['../classSVF_1_1DCHGraph.html#a0a3dfe1f2757eabd75082e2c4caec47a',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']]],
   ['checkintraedgeparents',['checkIntraEdgeParents',['../classSVF_1_1ICFG.html#a70421a19a494eb6131a9ae72ef1a64d6',1,'SVF::ICFG::checkIntraEdgeParents()'],['../classSVF_1_1VFG.html#a43b0c126c2e32cb3d286a78b14e09a96',1,'SVF::VFG::checkIntraEdgeParents()']]],

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

@@ -124,14 +124,14 @@ var searchData=
   ['distinctmrg',['DistinctMRG',['../classSVF_1_1DistinctMRG.html#ad7e4959327aa45932fd788bacca0de01',1,'SVF::DistinctMRG']]],
   ['ditypetostr',['diTypeToStr',['../classSVF_1_1DCHGraph.html#a2dc488345cc3a5f37079952f638d8c2b',1,'SVF::DCHGraph']]],
   ['doit',['doit',['../structSVF_1_1SVFUtil_1_1isa__impl.html#a150c6a99c45befa44a4cd2bcc8d06eee',1,'SVF::SVFUtil::isa_impl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html#a0da9525f6f39a3eb9ce9275731c2ad64',1,'SVF::SVFUtil::isa_impl< To, From, typename std::enable_if< std::is_base_of< To, From >::value >::type >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl.html#afbe68352d888c0b15e9f46d4e378bacb',1,'SVF::SVFUtil::isa_impl_cl::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html#af9a6a9c7660d5daedf8cd907788ac78d',1,'SVF::SVFUtil::isa_impl_cl< To, const From >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html#aff368847551a69d07b06237908594852',1,'SVF::SVFUtil::isa_impl_cl< To, const std::unique_ptr< From > >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html#a8add67bd107583b7c34fce53a748bcb0',1,'SVF::SVFUtil::isa_impl_cl< To, From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html#ac95b00b5d96e6b8457ecade4dbda3de3',1,'SVF::SVFUtil::isa_impl_cl< To, From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html#a761b612c6ee476a28aabfbbc6b2da7ab',1,'SVF::SVFUtil::isa_impl_cl< To, const From * >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html#af73d1d0d7eb6f51090b4df47b497483a',1,'SVF::SVFUtil::isa_impl_cl< To, const From *const >::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap.html#aa0f166d8bdcd1e7b954cc29c19a40b04',1,'SVF::SVFUtil::isa_impl_wrap::doit()'],['../structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#a414dc089b04305b8580dede7a6337404',1,'SVF::SVFUtil::isa_impl_wrap< To, FromTy, FromTy >::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val.html#a42987ff69d76fef88044fe0b19743239',1,'SVF::SVFUtil::cast_convert_val::doit()'],['../structSVF_1_1SVFUtil_1_1cast__convert__val_3_01To_00_01FromTy_00_01FromTy_01_4.html#a2dd56ef15d86f61c7fef34dc15173e4a',1,'SVF::SVFUtil::cast_convert_val< To, FromTy, FromTy >::doit()']]],
-  ['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()']]],
   ['doublefreechecker',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html#ac9d147b16442bb4746f66cffe46a070a',1,'SVF::DoubleFreeChecker']]],
   ['dp2',['dp2',['../cuddInt_8c.html#a080be670e3403d8e4ab391fcb3a6adae',1,'cuddInt.c']]],
   ['dpitem',['DPItem',['../classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8',1,'SVF::DPItem::DPItem(NodeID c)'],['../classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184',1,'SVF::DPItem::DPItem(const DPItem &dps)']]],
   ['dummyobjvar',['DummyObjVar',['../classSVF_1_1DummyObjVar.html#a3dff74bbf50b6a901239d3fd31e0f36c',1,'SVF::DummyObjVar']]],
   ['dummyvalvar',['DummyValVar',['../classSVF_1_1DummyValVar.html#a39fb5acde002694e91599a67ff3ae99a',1,'SVF::DummyValVar']]],
   ['dummyversionpropsvfgnode',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html#a8661f8c8e31101b5afc37ebe3bac5fe2',1,'SVF::DummyVersionPropSVFGNode']]],
-  ['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']]],

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

@@ -1,5 +1,8 @@
 var searchData=
 [
+  ['ebnf_5fbin',['ebnf_bin',['../classSVF_1_1CFGNormalizer.html#a36b54b0f4c8c7af810df384ace76cbb2',1,'SVF::CFGNormalizer']]],
+  ['ebnf_5fbracket_5fmatch',['ebnf_bracket_match',['../classSVF_1_1CFGNormalizer.html#ab4560966c58d22d1d1c4a40499c41fca',1,'SVF::CFGNormalizer']]],
+  ['ebnf_5fsign_5freplace',['ebnf_sign_replace',['../classSVF_1_1CFGNormalizer.html#a4881d0ba187a0a9ddce61acaea33af0e',1,'SVF::CFGNormalizer']]],
   ['ecunion',['ecUnion',['../classSVF_1_1Steensgaard.html#a191e77e62916d868b2af730264e26dd8',1,'SVF::Steensgaard']]],
   ['edge_5fdest',['edge_dest',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a84cc3da79c2c9c5bcdf50da4b919b7da',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::edge_dest()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a1b463e94c43d2966b8d6cf096b3d04cd',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::edge_dest()']]],
   ['edgeincallgraphscc',['edgeInCallGraphSCC',['../classSVF_1_1ContextDDA.html#ad54f523bf5f2504c1924b4f94c5abbba',1,'SVF::ContextDDA::edgeInCallGraphSCC()'],['../classSVF_1_1DDAPass.html#aab60429398a89ec1c8663a305130376f',1,'SVF::DDAPass::edgeInCallGraphSCC()']]],

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

@@ -32,7 +32,7 @@ var searchData=
   ['formalretvfgnode',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html#a0155a71f08dfb1fb43f054084b2380c6',1,'SVF::FormalRetVFGNode::FormalRetVFGNode()'],['../classSVF_1_1FormalRetVFGNode.html#a527e3cac2e32f29d57b58db61c801cf3',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(const FormalRetVFGNode &)'],['../classSVF_1_1FormalRetVFGNode.html#a732fe0036d307a1dace2631219de38ef',1,'SVF::FormalRetVFGNode::FormalRetVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)']]],
   ['forwardslicebegin',['forwardSliceBegin',['../classSVF_1_1ProgSlice.html#ae482fcb138aaf345586a39daa34ff895',1,'SVF::ProgSlice']]],
   ['forwardsliceend',['forwardSliceEnd',['../classSVF_1_1ProgSlice.html#add10d8fd041ac7e6eb611df8a6b1384b',1,'SVF::ProgSlice']]],
-  ['forwardtraverse',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver']]],
+  ['forwardtraverse',['forwardTraverse',['../classSVF_1_1SrcSnkSolver.html#ab0a1ee24b5899d54b65f0c7a92b7b52d',1,'SVF::SrcSnkSolver::forwardTraverse()'],['../classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5',1,'SVF::GraphReachSolver::forwardTraverse()']]],
   ['forwardvisited',['forwardVisited',['../classSVF_1_1SrcSnkDDA.html#a8c86d30498e86745883fbaea4f530eae',1,'SVF::SrcSnkDDA']]],
   ['free',['free',['../util_8h.html#a3110dcad20c2a6616d360901b94e06a1',1,'util.h']]],
   ['freematrix',['freeMatrix',['../cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7',1,'cuddInt.c']]],
@@ -44,6 +44,6 @@ var searchData=
   ['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode']]],
   ['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],
   ['funptrddaclient',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html#a5aae3bed289371605ad831ae5a6ad6b5',1,'SVF::FunptrDDAClient']]],
-  ['fwprocesscurnode',['FWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40',1,'SVF::SrcSnkDDA::FWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5',1,'SVF::SrcSnkSolver::FWProcessCurNode()']]],
-  ['fwprocessoutgoingedge',['FWProcessOutgoingEdge',['../classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb',1,'SVF::SrcSnkDDA::FWProcessOutgoingEdge()'],['../classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484',1,'SVF::SrcSnkSolver::FWProcessOutgoingEdge()']]]
+  ['fwprocesscurnode',['FWProcessCurNode',['../classSVF_1_1SrcSnkDDA.html#abf20d02932b7ca983b9bd790812b1f40',1,'SVF::SrcSnkDDA::FWProcessCurNode()'],['../classSVF_1_1SrcSnkSolver.html#ab35190da65a3157a654a90afc7d793b5',1,'SVF::SrcSnkSolver::FWProcessCurNode()'],['../classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087',1,'SVF::GraphReachSolver::FWProcessCurNode()']]],
+  ['fwprocessoutgoingedge',['FWProcessOutgoingEdge',['../classSVF_1_1SrcSnkDDA.html#ad2203ca5bd08c6fbebd31a8a010edebb',1,'SVF::SrcSnkDDA::FWProcessOutgoingEdge()'],['../classSVF_1_1SrcSnkSolver.html#aa43dbc79bfde3199a73ce0257613f484',1,'SVF::SrcSnkSolver::FWProcessOutgoingEdge()'],['../classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92',1,'SVF::GraphReachSolver::FWProcessOutgoingEdge()']]]
 ];