svf-tools 1.0.779 → 1.0.780

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

@@ -1,41 +1,41 @@
 var searchData=
 [
-  ['dchedge_6505',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
-  ['dchgraph_6506',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
-  ['dchnode_6507',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
-  ['ddaclient_6508',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
-  ['ddapass_6509',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
-  ['ddastat_6510',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
-  ['ddavfsolver_6511',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6512',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6513',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
-  ['defaultdotgraphtraits_6514',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
-  ['demangledname_6515',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
-  ['dfptdata_6516',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
-  ['diffptdata_6517',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
-  ['directsvfgedge_6518',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
-  ['distinctmrg_6519',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
-  ['dotgraphtraits_6520',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6521',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6522',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6523',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20graphtype_20_3e_6524',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6525',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6526',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6527',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6528',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6529',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3aicfgwrapper_20_2a_20_3e_6530',['DOTGraphTraits< SVF::ICFGWrapper * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6531',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_6532',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6533',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6534',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6535',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
-  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6536',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
-  ['doublefreebug_6537',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
-  ['doublefreechecker_6538',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
-  ['dpitem_6539',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
-  ['dummyobjvar_6540',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
-  ['dummyvalvar_6541',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
-  ['dummyversionpropsvfgnode_6542',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
+  ['dchedge_6504',['DCHEdge',['../classSVF_1_1DCHEdge.html',1,'SVF']]],
+  ['dchgraph_6505',['DCHGraph',['../classSVF_1_1DCHGraph.html',1,'SVF']]],
+  ['dchnode_6506',['DCHNode',['../classSVF_1_1DCHNode.html',1,'SVF']]],
+  ['ddaclient_6507',['DDAClient',['../classSVF_1_1DDAClient.html',1,'SVF']]],
+  ['ddapass_6508',['DDAPass',['../classSVF_1_1DDAPass.html',1,'SVF']]],
+  ['ddastat_6509',['DDAStat',['../classSVF_1_1DDAStat.html',1,'SVF']]],
+  ['ddavfsolver_6510',['DDAVFSolver',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20cxtvar_2c_20cxtptset_2c_20cxtlocdpitem_20_3e_6511',['DDAVFSolver< CxtVar, CxtPtSet, CxtLocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['ddavfsolver_3c_20nodeid_2c_20pointsto_2c_20locdpitem_20_3e_6512',['DDAVFSolver< NodeID, PointsTo, LocDPItem >',['../classSVF_1_1DDAVFSolver.html',1,'SVF']]],
+  ['defaultdotgraphtraits_6513',['DefaultDOTGraphTraits',['../structSVF_1_1DefaultDOTGraphTraits.html',1,'SVF']]],
+  ['demangledname_6514',['DemangledName',['../structSVF_1_1cppUtil_1_1DemangledName.html',1,'SVF::cppUtil']]],
+  ['dfptdata_6515',['DFPTData',['../classSVF_1_1DFPTData.html',1,'SVF']]],
+  ['diffptdata_6516',['DiffPTData',['../classSVF_1_1DiffPTData.html',1,'SVF']]],
+  ['directsvfgedge_6517',['DirectSVFGEdge',['../classSVF_1_1DirectSVFGEdge.html',1,'SVF']]],
+  ['distinctmrg_6518',['DistinctMRG',['../classSVF_1_1DistinctMRG.html',1,'SVF']]],
+  ['dotgraphtraits_6519',['DOTGraphTraits',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20cflgraph_20_2a_20_3e_6520',['DOTGraphTraits< CFLGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20chgraph_20_2a_20_3e_6521',['DOTGraphTraits< CHGraph * >',['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20constraintgraph_20_2a_20_3e_6522',['DOTGraphTraits< ConstraintGraph * >',['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20graphtype_20_3e_6523',['DOTGraphTraits< GraphType >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20icfg_20_2a_20_3e_6524',['DOTGraphTraits< ICFG * >',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20irgraph_20_2a_20_3e_6525',['DOTGraphTraits< IRGraph * >',['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20ptacallgraph_20_2a_20_3e_6526',['DOTGraphTraits< PTACallGraph * >',['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6527',['DOTGraphTraits< SVF::CDG * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6528',['DOTGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3aicfgwrapper_20_2a_20_3e_6529',['DOTGraphTraits< SVF::ICFGWrapper * >',['../structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3apag_20_2a_20_3e_6530',['DOTGraphTraits< SVF::PAG * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svf_3a_3asvfir_20_2a_20_3e_6531',['DOTGraphTraits< SVF::SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfg_20_2a_20_3e_6532',['DOTGraphTraits< SVFG * >',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20svfir_20_2a_20_3e_6533',['DOTGraphTraits< SVFIR * >',['../structSVF_1_1DOTGraphTraits.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20tct_20_2a_20_3e_6534',['DOTGraphTraits< TCT * >',['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html',1,'SVF']]],
+  ['dotgraphtraits_3c_20vfg_20_2a_20_3e_6535',['DOTGraphTraits< VFG * >',['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html',1,'SVF']]],
+  ['doublefreebug_6536',['DoubleFreeBug',['../classSVF_1_1DoubleFreeBug.html',1,'SVF']]],
+  ['doublefreechecker_6537',['DoubleFreeChecker',['../classSVF_1_1DoubleFreeChecker.html',1,'SVF']]],
+  ['dpitem_6538',['DPItem',['../classSVF_1_1DPItem.html',1,'SVF']]],
+  ['dummyobjvar_6539',['DummyObjVar',['../classSVF_1_1DummyObjVar.html',1,'SVF']]],
+  ['dummyvalvar_6540',['DummyValVar',['../classSVF_1_1DummyValVar.html',1,'SVF']]],
+  ['dummyversionpropsvfgnode_6541',['DummyVersionPropSVFGNode',['../classSVF_1_1DummyVersionPropSVFGNode.html',1,'SVF']]]
 ];

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

@@ -1,12 +1,12 @@
 var searchData=
 [
-  ['entrychi_6543',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
-  ['equalgedge_6544',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
-  ['equalicfgedgewrapper_6545',['equalICFGEdgeWrapper',['../structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html',1,'SVF::ICFGEdgeWrapper']]],
-  ['equalmemregion_6546',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
-  ['equalnodebs_6547',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
-  ['equalpointsto_6548',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
-  ['error_6549',['error',['../structerror.html',1,'']]],
-  ['exestate_6550',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
-  ['extapi_6551',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
+  ['entrychi_6542',['EntryCHI',['../classSVF_1_1EntryCHI.html',1,'SVF']]],
+  ['equalgedge_6543',['equalGEdge',['../structSVF_1_1GenericEdge_1_1equalGEdge.html',1,'SVF::GenericEdge']]],
+  ['equalicfgedgewrapper_6544',['equalICFGEdgeWrapper',['../structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html',1,'SVF::ICFGEdgeWrapper']]],
+  ['equalmemregion_6545',['equalMemRegion',['../structSVF_1_1MemRegion_1_1equalMemRegion.html',1,'SVF::MemRegion']]],
+  ['equalnodebs_6546',['equalNodeBS',['../structSVF_1_1SVFUtil_1_1equalNodeBS.html',1,'SVF::SVFUtil']]],
+  ['equalpointsto_6547',['equalPointsTo',['../structSVF_1_1SVFUtil_1_1equalPointsTo.html',1,'SVF::SVFUtil']]],
+  ['error_6548',['error',['../structerror.html',1,'']]],
+  ['exestate_6549',['ExeState',['../classSVF_1_1ExeState.html',1,'SVF']]],
+  ['extapi_6550',['ExtAPI',['../classSVF_1_1ExtAPI.html',1,'SVF']]]
 ];

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

@@ -1,31 +1,31 @@
 var searchData=
 [
-  ['fifoworklist_6552',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_6553',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_6554',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtlockproc_20_3e_6555',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtstmt_20_3e_6556',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadproc_20_3e_6557',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20cxtthreadstmt_20_3e_6558',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20dpitem_20_3e_6559',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['fifoworklist_3c_20nodeid_20_3e_6560',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
-  ['filechecker_6561',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
-  ['fileneverclosebug_6562',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF']]],
-  ['filepartialclosebug_6563',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF']]],
-  ['filoworklist_6564',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
-  ['fiobjvar_6565',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
-  ['flowdda_6566',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
-  ['flowsensitive_6567',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
-  ['flowsensitivestat_6568',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],
-  ['forkjoinanalysis_6569',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF']]],
-  ['formalinsvfgnode_6570',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF']]],
-  ['formaloutsvfgnode_6571',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF']]],
-  ['formalparmvfgnode_6572',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF']]],
-  ['formalretvfgnode_6573',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF']]],
-  ['fsmpta_6574',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF']]],
-  ['fullbufferoverflowbug_6575',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF']]],
-  ['fullnullptrdereferencebug_6576',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF']]],
-  ['funentryicfgnode_6577',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF']]],
-  ['funexiticfgnode_6578',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF']]],
-  ['funptrddaclient_6579',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF']]]
+  ['fifoworklist_6551',['FIFOWorkList',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20const_20cfledge_20_2a_20_3e_6552',['FIFOWorkList< const CFLEdge * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20const_20mssaphisvfgnode_20_2a_20_3e_6553',['FIFOWorkList< const MSSAPHISVFGNode * >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtlockproc_20_3e_6554',['FIFOWorkList< CxtLockProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtstmt_20_3e_6555',['FIFOWorkList< CxtStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtthreadproc_20_3e_6556',['FIFOWorkList< CxtThreadProc >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20cxtthreadstmt_20_3e_6557',['FIFOWorkList< CxtThreadStmt >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20dpitem_20_3e_6558',['FIFOWorkList< DPItem >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['fifoworklist_3c_20nodeid_20_3e_6559',['FIFOWorkList< NodeID >',['../classSVF_1_1FIFOWorkList.html',1,'SVF']]],
+  ['filechecker_6560',['FileChecker',['../classSVF_1_1FileChecker.html',1,'SVF']]],
+  ['fileneverclosebug_6561',['FileNeverCloseBug',['../classSVF_1_1FileNeverCloseBug.html',1,'SVF']]],
+  ['filepartialclosebug_6562',['FilePartialCloseBug',['../classSVF_1_1FilePartialCloseBug.html',1,'SVF']]],
+  ['filoworklist_6563',['FILOWorkList',['../classSVF_1_1FILOWorkList.html',1,'SVF']]],
+  ['fiobjvar_6564',['FIObjVar',['../classSVF_1_1FIObjVar.html',1,'SVF']]],
+  ['flowdda_6565',['FlowDDA',['../classSVF_1_1FlowDDA.html',1,'SVF']]],
+  ['flowsensitive_6566',['FlowSensitive',['../classSVF_1_1FlowSensitive.html',1,'SVF']]],
+  ['flowsensitivestat_6567',['FlowSensitiveStat',['../classSVF_1_1FlowSensitiveStat.html',1,'SVF']]],
+  ['forkjoinanalysis_6568',['ForkJoinAnalysis',['../classSVF_1_1ForkJoinAnalysis.html',1,'SVF']]],
+  ['formalinsvfgnode_6569',['FormalINSVFGNode',['../classSVF_1_1FormalINSVFGNode.html',1,'SVF']]],
+  ['formaloutsvfgnode_6570',['FormalOUTSVFGNode',['../classSVF_1_1FormalOUTSVFGNode.html',1,'SVF']]],
+  ['formalparmvfgnode_6571',['FormalParmVFGNode',['../classSVF_1_1FormalParmVFGNode.html',1,'SVF']]],
+  ['formalretvfgnode_6572',['FormalRetVFGNode',['../classSVF_1_1FormalRetVFGNode.html',1,'SVF']]],
+  ['fsmpta_6573',['FSMPTA',['../classSVF_1_1FSMPTA.html',1,'SVF']]],
+  ['fullbufferoverflowbug_6574',['FullBufferOverflowBug',['../classSVF_1_1FullBufferOverflowBug.html',1,'SVF']]],
+  ['fullnullptrdereferencebug_6575',['FullNullPtrDereferenceBug',['../classSVF_1_1FullNullPtrDereferenceBug.html',1,'SVF']]],
+  ['funentryicfgnode_6576',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html',1,'SVF']]],
+  ['funexiticfgnode_6577',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html',1,'SVF']]],
+  ['funptrddaclient_6578',['FunptrDDAClient',['../classSVF_1_1FunptrDDAClient.html',1,'SVF']]]
 ];

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

@@ -1,113 +1,113 @@
 var searchData=
 [
-  ['generic_5fbridge_5fgep_5ftype_5fiterator_6580',['generic_bridge_gep_type_iterator',['../classllvm_1_1generic__bridge__gep__type__iterator.html',1,'llvm']]],
-  ['genericbug_6581',['GenericBug',['../classSVF_1_1GenericBug.html',1,'SVF']]],
-  ['genericedge_6582',['GenericEdge',['../classSVF_1_1GenericEdge.html',1,'SVF']]],
-  ['genericedge_3c_20dchnode_20_3e_6583',['GenericEdge< DCHNode >',['../classSVF_1_1GenericEdge.html',1,'SVF']]],
-  ['genericgraph_6584',['GenericGraph',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
-  ['genericgraph_3c_20constraintnode_2c_20constraintedge_20_3e_6585',['GenericGraph< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
-  ['genericgraph_3c_20dchnode_2c_20dchedge_20_3e_6586',['GenericGraph< DCHNode, DCHEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
-  ['genericgraph_3c_20svfvar_2c_20svfstmt_20_3e_6587',['GenericGraph< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
-  ['genericgraphreader_6588',['GenericGraphReader',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
-  ['genericgraphreader_3c_20chnode_2c_20chedge_20_3e_6589',['GenericGraphReader< CHNode, CHEdge >',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
-  ['genericgraphreader_3c_20svfvar_2c_20svfstmt_20_3e_6590',['GenericGraphReader< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
-  ['genericgraphtraits_6591',['GenericGraphTraits',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20inverse_3c_20t_20_3e_20_3e_20_3e_6592',['GenericGraphTraits< Inverse< Inverse< T > > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acdgnode_20_2a_20_3e_20_3e_6593',['GenericGraphTraits< Inverse< SVF::CDGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acfbasicblocknode_20_2a_20_3e_20_3e_6594',['GenericGraphTraits< Inverse< SVF::CFBasicBlockNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e_6595',['GenericGraphTraits< Inverse< SVF::CFLNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e_6596',['GenericGraphTraits< Inverse< SVF::CHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e_6597',['GenericGraphTraits< Inverse< SVF::ConstraintNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e_6598',['GenericGraphTraits< Inverse< SVF::DCHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_20_3e_6599',['GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_20_3e_6600',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_20_3e_6601',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_20_3e_6602',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_20_3e_6603',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_20_3e_6604',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_20_3e_6605',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_20_3e_6606',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_20_3e_6607',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_20_3e_6608',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_20_3e_6609',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_20_3e_6610',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_20_3e_6611',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aicfgnode_20_2a_20_3e_20_3e_6612',['GenericGraphTraits< Inverse< SVF::ICFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aicfgnodewrapper_20_2a_20_3e_20_3e_6613',['GenericGraphTraits< Inverse< SVF::ICFGNodeWrapper * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_20_3e_6614',['GenericGraphTraits< Inverse< SVF::PTACallGraphNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e_6615',['GenericGraphTraits< Inverse< SVF::SVFVar * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e_6616',['GenericGraphTraits< Inverse< SVF::TCTNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e_6617',['GenericGraphTraits< Inverse< SVF::VFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6618',['GenericGraphTraits< SVF::CDG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acdgnode_20_2a_20_3e_6619',['GenericGraphTraits< SVF::CDGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6620',['GenericGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acfbasicblocknode_20_2a_20_3e_6621',['GenericGraphTraits< SVF::CFBasicBlockNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e_6622',['GenericGraphTraits< SVF::CFLGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e_6623',['GenericGraphTraits< SVF::CFLNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e_6624',['GenericGraphTraits< SVF::CHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3achnode_20_2a_20_3e_6625',['GenericGraphTraits< SVF::CHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e_6626',['GenericGraphTraits< SVF::ConstraintGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_6627',['GenericGraphTraits< SVF::ConstraintNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3adchgraph_20_2a_20_3e_6628',['GenericGraphTraits< SVF::DCHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3adchnode_20_2a_20_3e_6629',['GenericGraphTraits< SVF::DCHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_6630',['GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_6631',['GenericGraphTraits< SVF::GenericGraph< SVF::CDGNode, SVF::CDGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_6632',['GenericGraphTraits< SVF::GenericGraph< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_6633',['GenericGraphTraits< SVF::GenericGraph< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_6634',['GenericGraphTraits< SVF::GenericGraph< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_6635',['GenericGraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_6636',['GenericGraphTraits< SVF::GenericGraph< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_6637',['GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_6638',['GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_6639',['GenericGraphTraits< SVF::GenericGraph< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfgnode_2c_20svf_3a_3asvfgedge_20_3e_20_2a_20_3e_6640',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_6641',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_6642',['GenericGraphTraits< SVF::GenericGraph< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_6643',['GenericGraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_6644',['GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_6645',['GenericGraphTraits< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_6646',['GenericGraphTraits< SVF::GenericNode< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_6647',['GenericGraphTraits< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_6648',['GenericGraphTraits< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_6649',['GenericGraphTraits< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_6650',['GenericGraphTraits< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_6651',['GenericGraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_6652',['GenericGraphTraits< SVF::GenericNode< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_6653',['GenericGraphTraits< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_6654',['GenericGraphTraits< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_6655',['GenericGraphTraits< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_6656',['GenericGraphTraits< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aicfg_20_2a_20_3e_6657',['GenericGraphTraits< SVF::ICFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aicfgnode_20_2a_20_3e_6658',['GenericGraphTraits< SVF::ICFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aicfgnodewrapper_20_2a_20_3e_6659',['GenericGraphTraits< SVF::ICFGNodeWrapper * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aicfgwrapper_20_2a_20_3e_6660',['GenericGraphTraits< SVF::ICFGWrapper * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3airgraph_20_2a_20_3e_6661',['GenericGraphTraits< SVF::IRGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aptacallgraph_20_2a_20_3e_6662',['GenericGraphTraits< SVF::PTACallGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_6663',['GenericGraphTraits< SVF::PTACallGraphNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3asvfg_20_2a_20_3e_6664',['GenericGraphTraits< SVF::SVFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3asvfvar_20_2a_20_3e_6665',['GenericGraphTraits< SVF::SVFVar * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3atct_20_2a_20_3e_6666',['GenericGraphTraits< SVF::TCT * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3atctnode_20_2a_20_3e_6667',['GenericGraphTraits< SVF::TCTNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3avfg_20_2a_20_3e_6668',['GenericGraphTraits< SVF::VFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20svf_3a_3avfgnode_20_2a_20_3e_6669',['GenericGraphTraits< SVF::VFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html',1,'SVF']]],
-  ['genericgraphtraits_3c_20t_20_3e_6670',['GenericGraphTraits< T >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
-  ['genericgraphwriter_6671',['GenericGraphWriter',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
-  ['genericgraphwriter_3c_20chnode_2c_20chedge_20_3e_6672',['GenericGraphWriter< CHNode, CHEdge >',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
-  ['genericgraphwriter_3c_20svfvar_2c_20svfstmt_20_3e_6673',['GenericGraphWriter< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
-  ['genericnode_6674',['GenericNode',['../classSVF_1_1GenericNode.html',1,'SVF']]],
-  ['genericnode_3c_20cflnode_2c_20cfledge_20_3e_6675',['GenericNode< CFLNode, CFLEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
-  ['genericnode_3c_20constraintnode_2c_20constraintedge_20_3e_6676',['GenericNode< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
-  ['genericnode_3c_20dchnode_2c_20dchedge_20_3e_6677',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
-  ['gepcgedge_6678',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF']]],
-  ['gepobjvar_6679',['GepObjVar',['../classSVF_1_1GepObjVar.html',1,'SVF']]],
-  ['gepstmt_6680',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF']]],
-  ['gepvalvar_6681',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF']]],
-  ['gepvfgnode_6682',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],
-  ['globalicfgnode_6683',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF']]],
-  ['gnodesccinfo_6684',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection']]],
-  ['grammarbase_6685',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF']]],
-  ['grammarbuilder_6686',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF']]],
-  ['graphprinter_6687',['GraphPrinter',['../classSVF_1_1GraphPrinter.html',1,'SVF']]],
-  ['graphreachsolver_6688',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF']]],
-  ['graphwriter_6689',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF']]]
+  ['generic_5fbridge_5fgep_5ftype_5fiterator_6579',['generic_bridge_gep_type_iterator',['../classllvm_1_1generic__bridge__gep__type__iterator.html',1,'llvm']]],
+  ['genericbug_6580',['GenericBug',['../classSVF_1_1GenericBug.html',1,'SVF']]],
+  ['genericedge_6581',['GenericEdge',['../classSVF_1_1GenericEdge.html',1,'SVF']]],
+  ['genericedge_3c_20dchnode_20_3e_6582',['GenericEdge< DCHNode >',['../classSVF_1_1GenericEdge.html',1,'SVF']]],
+  ['genericgraph_6583',['GenericGraph',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
+  ['genericgraph_3c_20constraintnode_2c_20constraintedge_20_3e_6584',['GenericGraph< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
+  ['genericgraph_3c_20dchnode_2c_20dchedge_20_3e_6585',['GenericGraph< DCHNode, DCHEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
+  ['genericgraph_3c_20svfvar_2c_20svfstmt_20_3e_6586',['GenericGraph< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
+  ['genericgraphreader_6587',['GenericGraphReader',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
+  ['genericgraphreader_3c_20chnode_2c_20chedge_20_3e_6588',['GenericGraphReader< CHNode, CHEdge >',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
+  ['genericgraphreader_3c_20svfvar_2c_20svfstmt_20_3e_6589',['GenericGraphReader< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraphReader.html',1,'SVF']]],
+  ['genericgraphtraits_6590',['GenericGraphTraits',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20inverse_3c_20t_20_3e_20_3e_20_3e_6591',['GenericGraphTraits< Inverse< Inverse< T > > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acdgnode_20_2a_20_3e_20_3e_6592',['GenericGraphTraits< Inverse< SVF::CDGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acfbasicblocknode_20_2a_20_3e_20_3e_6593',['GenericGraphTraits< Inverse< SVF::CFBasicBlockNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e_6594',['GenericGraphTraits< Inverse< SVF::CFLNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e_6595',['GenericGraphTraits< Inverse< SVF::CHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e_6596',['GenericGraphTraits< Inverse< SVF::ConstraintNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e_6597',['GenericGraphTraits< Inverse< SVF::DCHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_20_3e_6598',['GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_20_3e_6599',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_20_3e_6600',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_20_3e_6601',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_20_3e_6602',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_20_3e_6603',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_20_3e_6604',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_20_3e_6605',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_20_3e_6606',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_20_3e_6607',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_20_3e_6608',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_20_3e_6609',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_20_3e_6610',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aicfgnode_20_2a_20_3e_20_3e_6611',['GenericGraphTraits< Inverse< SVF::ICFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aicfgnodewrapper_20_2a_20_3e_20_3e_6612',['GenericGraphTraits< Inverse< SVF::ICFGNodeWrapper * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_20_3e_6613',['GenericGraphTraits< Inverse< SVF::PTACallGraphNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e_6614',['GenericGraphTraits< Inverse< SVF::SVFVar * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e_6615',['GenericGraphTraits< Inverse< SVF::TCTNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e_6616',['GenericGraphTraits< Inverse< SVF::VFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acdg_20_2a_20_3e_6617',['GenericGraphTraits< SVF::CDG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acdgnode_20_2a_20_3e_6618',['GenericGraphTraits< SVF::CDGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acfbasicblockgraph_20_2a_20_3e_6619',['GenericGraphTraits< SVF::CFBasicBlockGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acfbasicblocknode_20_2a_20_3e_6620',['GenericGraphTraits< SVF::CFBasicBlockNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e_6621',['GenericGraphTraits< SVF::CFLGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e_6622',['GenericGraphTraits< SVF::CFLNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e_6623',['GenericGraphTraits< SVF::CHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3achnode_20_2a_20_3e_6624',['GenericGraphTraits< SVF::CHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e_6625',['GenericGraphTraits< SVF::ConstraintGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_6626',['GenericGraphTraits< SVF::ConstraintNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3adchgraph_20_2a_20_3e_6627',['GenericGraphTraits< SVF::DCHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3adchnode_20_2a_20_3e_6628',['GenericGraphTraits< SVF::DCHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_6629',['GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_6630',['GenericGraphTraits< SVF::GenericGraph< SVF::CDGNode, SVF::CDGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_6631',['GenericGraphTraits< SVF::GenericGraph< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_6632',['GenericGraphTraits< SVF::GenericGraph< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_6633',['GenericGraphTraits< SVF::GenericGraph< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_6634',['GenericGraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_6635',['GenericGraphTraits< SVF::GenericGraph< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_6636',['GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_6637',['GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_6638',['GenericGraphTraits< SVF::GenericGraph< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfgnode_2c_20svf_3a_3asvfgedge_20_3e_20_2a_20_3e_6639',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_6640',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_6641',['GenericGraphTraits< SVF::GenericGraph< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_6642',['GenericGraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e_6643',['GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acdgnode_2c_20svf_3a_3acdgedge_20_3e_20_2a_20_3e_6644',['GenericGraphTraits< SVF::GenericNode< SVF::CDGNode, SVF::CDGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acfbasicblocknode_2c_20svf_3a_3acfbasicblockedge_20_3e_20_2a_20_3e_6645',['GenericGraphTraits< SVF::GenericNode< SVF::CFBasicBlockNode, SVF::CFBasicBlockEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_6646',['GenericGraphTraits< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_6647',['GenericGraphTraits< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_6648',['GenericGraphTraits< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_6649',['GenericGraphTraits< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_6650',['GenericGraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnodewrapper_2c_20svf_3a_3aicfgedgewrapper_20_3e_20_2a_20_3e_6651',['GenericGraphTraits< SVF::GenericNode< SVF::ICFGNodeWrapper, SVF::ICFGEdgeWrapper > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_6652',['GenericGraphTraits< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_6653',['GenericGraphTraits< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_6654',['GenericGraphTraits< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_6655',['GenericGraphTraits< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfg_20_2a_20_3e_6656',['GenericGraphTraits< SVF::ICFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfgnode_20_2a_20_3e_6657',['GenericGraphTraits< SVF::ICFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfgnodewrapper_20_2a_20_3e_6658',['GenericGraphTraits< SVF::ICFGNodeWrapper * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfgwrapper_20_2a_20_3e_6659',['GenericGraphTraits< SVF::ICFGWrapper * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3airgraph_20_2a_20_3e_6660',['GenericGraphTraits< SVF::IRGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aptacallgraph_20_2a_20_3e_6661',['GenericGraphTraits< SVF::PTACallGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_6662',['GenericGraphTraits< SVF::PTACallGraphNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3asvfg_20_2a_20_3e_6663',['GenericGraphTraits< SVF::SVFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3asvfvar_20_2a_20_3e_6664',['GenericGraphTraits< SVF::SVFVar * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3atct_20_2a_20_3e_6665',['GenericGraphTraits< SVF::TCT * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3atctnode_20_2a_20_3e_6666',['GenericGraphTraits< SVF::TCTNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3avfg_20_2a_20_3e_6667',['GenericGraphTraits< SVF::VFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3avfgnode_20_2a_20_3e_6668',['GenericGraphTraits< SVF::VFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20t_20_3e_6669',['GenericGraphTraits< T >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphwriter_6670',['GenericGraphWriter',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
+  ['genericgraphwriter_3c_20chnode_2c_20chedge_20_3e_6671',['GenericGraphWriter< CHNode, CHEdge >',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
+  ['genericgraphwriter_3c_20svfvar_2c_20svfstmt_20_3e_6672',['GenericGraphWriter< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraphWriter.html',1,'SVF']]],
+  ['genericnode_6673',['GenericNode',['../classSVF_1_1GenericNode.html',1,'SVF']]],
+  ['genericnode_3c_20cflnode_2c_20cfledge_20_3e_6674',['GenericNode< CFLNode, CFLEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
+  ['genericnode_3c_20constraintnode_2c_20constraintedge_20_3e_6675',['GenericNode< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
+  ['genericnode_3c_20dchnode_2c_20dchedge_20_3e_6676',['GenericNode< DCHNode, DCHEdge >',['../classSVF_1_1GenericNode.html',1,'SVF']]],
+  ['gepcgedge_6677',['GepCGEdge',['../classSVF_1_1GepCGEdge.html',1,'SVF']]],
+  ['gepobjvar_6678',['GepObjVar',['../classSVF_1_1GepObjVar.html',1,'SVF']]],
+  ['gepstmt_6679',['GepStmt',['../classSVF_1_1GepStmt.html',1,'SVF']]],
+  ['gepvalvar_6680',['GepValVar',['../classSVF_1_1GepValVar.html',1,'SVF']]],
+  ['gepvfgnode_6681',['GepVFGNode',['../classSVF_1_1GepVFGNode.html',1,'SVF']]],
+  ['globalicfgnode_6682',['GlobalICFGNode',['../classSVF_1_1GlobalICFGNode.html',1,'SVF']]],
+  ['gnodesccinfo_6683',['GNodeSCCInfo',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html',1,'SVF::SCCDetection']]],
+  ['grammarbase_6684',['GrammarBase',['../classSVF_1_1GrammarBase.html',1,'SVF']]],
+  ['grammarbuilder_6685',['GrammarBuilder',['../classSVF_1_1GrammarBuilder.html',1,'SVF']]],
+  ['graphprinter_6686',['GraphPrinter',['../classSVF_1_1GraphPrinter.html',1,'SVF']]],
+  ['graphreachsolver_6687',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF']]],
+  ['graphwriter_6688',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF']]]
 ];