svf-tools 1.0.892 → 1.0.894

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

@@ -1,45 +1,45 @@
 var searchData=
 [
-  ['fenceinst_12745',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
-  ['fieldreps_12746',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
-  ['forkedgeset_12747',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
-  ['formalinsvfgnodeset_12748',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
-  ['formaloutsvfgnodeset_12749',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
-  ['formalparmnodevec_12750',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
-  ['formalparmsvfgnode_12751',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
-  ['formalretsvfgnode_12752',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
-  ['freezeinst_12753',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
-  ['fun2annomap_12754',['Fun2AnnoMap',['../classSVF_1_1LLVMModuleSet.html#af2f3ccc2d8dc06ff7d5304f1d3f545f6',1,'SVF::LLVMModuleSet']]],
-  ['funcpair_12755',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
-  ['funcpairtobool_12756',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
-  ['function_12757',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
-  ['functionset_12758',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()']]],
-  ['functionsettype_12759',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
-  ['functiontoformalinsmapty_12760',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
-  ['functiontoformaloutsmapty_12761',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
-  ['functiontype_12762',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
-  ['funcvector_12763',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
-  ['fundecltodefmapty_12764',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmapty_12765',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
-  ['funptrtocallsitesmap_12766',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
-  ['funset_12767',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
-  ['funtoargslistmap_12768',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_12769',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_12770',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_12771',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
-  ['funtofunentrynodemapty_12772',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
-  ['funtofunexitnodemapty_12773',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
-  ['funtoidmapty_12774',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
-  ['funtointermap_12775',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
-  ['funtomrsmap_12776',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
-  ['funtonodebsmap_12777',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
-  ['funtopagedgesetmap_12778',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
-  ['funtopointstomap_12779',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
-  ['funtopointstosmap_12780',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
-  ['funtoptsmap_12781',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtoretmap_12782',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
-  ['funtoreturnmusetmap_12783',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmapty_12784',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
-  ['funvec_12785',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
-  ['funworklist_12786',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
+  ['fenceinst_12735',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
+  ['fieldreps_12736',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
+  ['forkedgeset_12737',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
+  ['formalinsvfgnodeset_12738',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
+  ['formaloutsvfgnodeset_12739',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
+  ['formalparmnodevec_12740',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
+  ['formalparmsvfgnode_12741',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
+  ['formalretsvfgnode_12742',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
+  ['freezeinst_12743',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
+  ['fun2annomap_12744',['Fun2AnnoMap',['../classSVF_1_1LLVMModuleSet.html#af2f3ccc2d8dc06ff7d5304f1d3f545f6',1,'SVF::LLVMModuleSet']]],
+  ['funcpair_12745',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
+  ['funcpairtobool_12746',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
+  ['function_12747',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
+  ['functionset_12748',['FunctionSet',['../classSVF_1_1FlowDDA.html#ae1ec4e6e9b967a7fd36c32f21e05ba11',1,'SVF::FlowDDA::FunctionSet()'],['../classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a',1,'SVF::PTACallGraph::FunctionSet()'],['../classSVF_1_1PointerAnalysis.html#ac1422cd8b449fdb4a1f7c539364e4c41',1,'SVF::PointerAnalysis::FunctionSet()'],['../classSVF_1_1SVFGBuilder.html#a1f8e21823ddc9eb19e1fe18d9b2b8280',1,'SVF::SVFGBuilder::FunctionSet()'],['../classSVF_1_1MTASVFGBuilder.html#a287359e6d0a4613e1a149a7ec11522b7',1,'SVF::MTASVFGBuilder::FunctionSet()']]],
+  ['functionsettype_12749',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
+  ['functiontoformalinsmapty_12750',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
+  ['functiontoformaloutsmapty_12751',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
+  ['functiontype_12752',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
+  ['funcvector_12753',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
+  ['fundecltodefmapty_12754',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmapty_12755',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
+  ['funptrtocallsitesmap_12756',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
+  ['funset_12757',['FunSet',['../classSVF_1_1LockAnalysis.html#ab549cae7074a0c2cb82ac6a295fe212a',1,'SVF::LockAnalysis::FunSet()'],['../classSVF_1_1MHP.html#a905c05370011a2dc93f86973d409b4d9',1,'SVF::MHP::FunSet()'],['../classSVF_1_1PCG.html#aae8a28dfe4a586dbdeebb9889dae6499',1,'SVF::PCG::FunSet()'],['../classSVF_1_1TCT.html#a4f6d979f045d6a90412e9d154b576c60',1,'SVF::TCT::FunSet()']]],
+  ['funtoargslistmap_12758',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_12759',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_12760',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_12761',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
+  ['funtofunentrynodemapty_12762',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
+  ['funtofunexitnodemapty_12763',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
+  ['funtoidmapty_12764',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
+  ['funtointermap_12765',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
+  ['funtomrsmap_12766',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
+  ['funtonodebsmap_12767',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
+  ['funtopagedgesetmap_12768',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
+  ['funtopointstomap_12769',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
+  ['funtopointstosmap_12770',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
+  ['funtoptsmap_12771',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
+  ['funtoretmap_12772',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
+  ['funtoreturnmusetmap_12773',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmapty_12774',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
+  ['funvec_12775',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
+  ['funworklist_12776',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
 ];

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

@@ -1,57 +1,57 @@
 var searchData=
 [
-  ['gedge_12787',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
-  ['gedgeflag_12788',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
-  ['gedgekind_12789',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
-  ['gedgesetty_12790',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
-  ['genericcallgraphedgety_12791',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
-  ['genericcallgraphnodety_12792',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
-  ['genericcallgraphty_12793',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
-  ['genericcdgedgety_12794',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
-  ['genericcdgnodety_12795',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
-  ['genericcdgty_12796',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
-  ['genericcfledgety_12797',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
-  ['genericcflgraphty_12798',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
-  ['genericcflnodety_12799',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
-  ['genericchedgety_12800',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
-  ['genericchgraphty_12801',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
-  ['genericchnodety_12802',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
-  ['genericconsedgety_12803',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
-  ['genericconsnodety_12804',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
-  ['genericgraphty_12805',['GenericGraphTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad6b730cda5ec993c3d7fbb3fedeeefe5',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['genericicfgedgety_12806',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
-  ['genericicfgnodety_12807',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
-  ['genericicfgreader_12808',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
-  ['genericicfgty_12809',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
-  ['genericicfgwriter_12810',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
-  ['genericpagedgety_12811',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
-  ['genericpagnodety_12812',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
-  ['generictctedgety_12813',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
-  ['generictctnodety_12814',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
-  ['genericthreadcreatetreety_12815',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
-  ['genericvfgedgety_12816',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
-  ['genericvfgnodety_12817',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
-  ['genericvfgty_12818',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
-  ['gep_5ftype_5fiterator_12819',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
-  ['gepoperator_12820',['GEPOperator',['../namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5',1,'SVF']]],
-  ['gepsvfgnode_12821',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
-  ['gepvaluevarmap_12822',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
-  ['getelementptrinst_12823',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
-  ['global_5fiterator_12824',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
-  ['globalalias_12825',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
-  ['globaldeftorepmapty_12826',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
-  ['globalifunc_12827',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
-  ['globalobject_12828',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
-  ['globalsettype_12829',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
-  ['globalvalue_12830',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
-  ['globalvariable_12831',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
-  ['globalvfgnodeset_12832',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['gnode_12833',['GNODE',['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
-  ['gnodek_12834',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
-  ['gnodesccinfomap_12835',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
-  ['gnodestack_12836',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graphprinter_12837',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
-  ['graphtwtocycledepth_12838',['GraphTWTOCycleDepth',['../classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e',1,'SVF::WTO']]],
-  ['graphtype_12839',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
-  ['gtraits_12840',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
+  ['gedge_12777',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
+  ['gedgeflag_12778',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
+  ['gedgekind_12779',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
+  ['gedgesetty_12780',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
+  ['genericcallgraphedgety_12781',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
+  ['genericcallgraphnodety_12782',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
+  ['genericcallgraphty_12783',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
+  ['genericcdgedgety_12784',['GenericCDGEdgeTy',['../namespaceSVF.html#ac13168bad29c3ba7cbe680c6fb85d742',1,'SVF']]],
+  ['genericcdgnodety_12785',['GenericCDGNodeTy',['../namespaceSVF.html#ae41489de1152165bc440ec1068d3a48f',1,'SVF']]],
+  ['genericcdgty_12786',['GenericCDGTy',['../namespaceSVF.html#a241b612013239a0baaa049eac5165c7f',1,'SVF']]],
+  ['genericcfledgety_12787',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
+  ['genericcflgraphty_12788',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
+  ['genericcflnodety_12789',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
+  ['genericchedgety_12790',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
+  ['genericchgraphty_12791',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
+  ['genericchnodety_12792',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
+  ['genericconsedgety_12793',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
+  ['genericconsnodety_12794',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
+  ['genericgraphty_12795',['GenericGraphTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ad6b730cda5ec993c3d7fbb3fedeeefe5',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['genericicfgedgety_12796',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
+  ['genericicfgnodety_12797',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
+  ['genericicfgreader_12798',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
+  ['genericicfgty_12799',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
+  ['genericicfgwriter_12800',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
+  ['genericpagedgety_12801',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
+  ['genericpagnodety_12802',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
+  ['generictctedgety_12803',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
+  ['generictctnodety_12804',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
+  ['genericthreadcreatetreety_12805',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
+  ['genericvfgedgety_12806',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
+  ['genericvfgnodety_12807',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
+  ['genericvfgty_12808',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
+  ['gep_5ftype_5fiterator_12809',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
+  ['gepoperator_12810',['GEPOperator',['../namespaceSVF.html#a893c345ff98bb2808ae905cf9f3671c5',1,'SVF']]],
+  ['gepsvfgnode_12811',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
+  ['gepvaluevarmap_12812',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
+  ['getelementptrinst_12813',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
+  ['global_5fiterator_12814',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
+  ['globalalias_12815',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
+  ['globaldeftorepmapty_12816',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
+  ['globalifunc_12817',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
+  ['globalobject_12818',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
+  ['globalsettype_12819',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
+  ['globalvalue_12820',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
+  ['globalvariable_12821',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
+  ['globalvfgnodeset_12822',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
+  ['gnode_12823',['GNODE',['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::GNODE()'],['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1WPASCCSolver.html#aa40ff9a4090744e66034f9de38f7f45f',1,'SVF::WPASCCSolver::GNODE()'],['../classSVF_1_1WPAMinimumSolver.html#ab694f375b6b15991bc6a7c228db3242b',1,'SVF::WPAMinimumSolver::GNODE()'],['../classSVF_1_1WPASolver.html#a2b0c0c4d1f172e8eeae0230fa09f365e',1,'SVF::WPASolver::GNODE()']]],
+  ['gnodek_12824',['GNodeK',['../classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b',1,'SVF::GenericNode::GNodeK()'],['../classSVF_1_1SVFIRReader.html#a5057eb1d6b5f4d91556e6649e1d9e0fe',1,'SVF::SVFIRReader::GNodeK()'],['../classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0',1,'SVF::SVFType::GNodeK()'],['../classSVF_1_1SVFValue.html#a96b29b0f3f0048278b3ec9aa6b6540c4',1,'SVF::SVFValue::GNodeK()']]],
+  ['gnodesccinfomap_12825',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
+  ['gnodestack_12826',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
+  ['graphprinter_12827',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
+  ['graphtwtocycledepth_12828',['GraphTWTOCycleDepth',['../classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e',1,'SVF::WTO']]],
+  ['graphtype_12829',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
+  ['gtraits_12830',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
 ];

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

@@ -1,50 +1,50 @@
 var searchData=
 [
-  ['icfgedgeset_12841',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
-  ['icfgedgesetty_12842',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
-  ['icfgnode2svfstmtsmap_12843',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
-  ['icfgnodeidtonodemapty_12844',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
-  ['icfgnodepairvector_12845',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
-  ['icfgnodeset_12846',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec_12847',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
-  ['icfgnodevector_12848',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
-  ['icfgwtocomp_12849',['ICFGWTOComp',['../namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c',1,'SVF']]],
-  ['icfgwtocycle_12850',['ICFGWTOCycle',['../namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414',1,'SVF']]],
-  ['icfgwtonode_12851',['ICFGWTONode',['../classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c',1,'SVF::ICFGWTO::ICFGWTONode()'],['../namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a',1,'SVF::ICFGWTONode()']]],
-  ['idtocallsitemap_12852',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
-  ['idtoidmap_12853',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
-  ['idtomemmapty_12854',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
-  ['idtonodemapty_12855',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
-  ['idtopairmapty_12856',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
-  ['idxoperandpair_12857',['IdxOperandPair',['../classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae',1,'SVF::AccessPath']]],
-  ['idxoperandpairs_12858',['IdxOperandPairs',['../classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d',1,'SVF::AccessPath']]],
-  ['indextoterminstmap_12859',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
-  ['insertelementinst_12860',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
-  ['insertvalueinst_12861',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst2labelmap_12862',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
-  ['inst_5fiterator_12863',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
-  ['instruction_12864',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
-  ['instset_12865',['InstSet',['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#aae87004825b3f30356ca49b8a1dab7f3',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#a55fa17be80457f7bf8a251b494d77d13',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#a3e67209ca8f9372d1846e0ce71bbd47a',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a264fbfd3e5a69815e81ad01fc211f979',1,'SVF::TCT::InstSet()']]],
-  ['insttoblocknodemapty_12866',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
-  ['insttocxtstmt_12867',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
-  ['insttocxtstmtset_12868',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
-  ['insttoinstsetmap_12869',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
-  ['insttoloopmap_12870',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
-  ['insttothreadstmtsetmap_12871',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
-  ['instvec_12872',['InstVec',['../classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e',1,'SVF::ICFGBuilder::InstVec()'],['../classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb',1,'SVF::LockAnalysis::InstVec()'],['../classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8',1,'SVF::MHP::InstVec()'],['../classSVF_1_1ForkJoinAnalysis.html#a613d763731058899e6819acdb2d7315f',1,'SVF::ForkJoinAnalysis::InstVec()'],['../classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac',1,'SVF::TCT::InstVec()'],['../classSVF_1_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b',1,'SVF::SVFInstruction::InstVec()']]],
-  ['instvector_12873',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
-  ['integertype_12874',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
-  ['interlev_5fflag_12875',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
-  ['internal_5fhooks_12876',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
-  ['interphisvfgnode_12877',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
-  ['intraphisvfgnode_12878',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
-  ['inttoptrinst_12879',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
-  ['inv_5fchild_5fiterator_12880',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
-  ['invgtraits_12881',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
-  ['invokeinst_12882',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
-  ['irbuilder_12883',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
-  ['irgraphreader_12884',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
-  ['irgraphwriter_12885',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
-  ['iterator_12886',['iterator',['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::iterator()'],['../classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0',1,'SVF::CDGNode::iterator()'],['../classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8',1,'SVF::CDG::iterator()'],['../classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f',1,'SVF::ConstraintNode::iterator()'],['../classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153',1,'SVF::GenericNode::iterator()'],['../classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc',1,'SVF::GenericGraph::iterator()'],['../classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31',1,'SVF::ICFG::iterator()'],['../classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff',1,'SVF::ICFGNode::iterator()'],['../classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff',1,'SVF::PTACallGraphNode::iterator()'],['../classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c',1,'SVF::VFG::iterator()'],['../classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124',1,'SVF::VFGNode::iterator()'],['../classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce',1,'SVF::CondStdSet::iterator()'],['../classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83',1,'SVF::CondPointsToSet::iterator()'],['../classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9',1,'SVF::MutablePTData::iterator()'],['../classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f',1,'SVF::PointsTo::iterator()'],['../classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7',1,'SVF::SVFModule::iterator()'],['../classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6',1,'SVF::CoreBitVector::iterator()'],['../classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c',1,'SVF::SparseBitVector::iterator()'],['../classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2',1,'SVF::CSC::iterator()'],['../classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1WTOCycle.html#ad0a2a2bb4c2d6eafaedbf04ced31243d',1,'SVF::WTOCycle::Iterator()'],['../classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470',1,'SVF::WTO::Iterator()']]],
-  ['iterator_5fcategory_12887',['iterator_category',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac99c635e1057f19a495808be84221385',1,'SVF::PointsTo::PointsToIterator::iterator_category()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef',1,'SVF::CoreBitVector::CoreBitVectorIterator::iterator_category()'],['../classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6',1,'SVF::iter_facade_base::iterator_category()']]]
+  ['icfgedgeset_12831',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
+  ['icfgedgesetty_12832',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
+  ['icfgnode2svfstmtsmap_12833',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
+  ['icfgnodeidtonodemapty_12834',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
+  ['icfgnodepairvector_12835',['ICFGNodePairVector',['../classSVF_1_1CDG.html#a1d744dbb7bac5ed77a0066e555fdd620',1,'SVF::CDG']]],
+  ['icfgnodeset_12836',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
+  ['icfgnodetosvfloopvec_12837',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
+  ['icfgnodevector_12838',['ICFGNodeVector',['../classSVF_1_1CDG.html#ae886ef8618ac9b16490270f6eb83a210',1,'SVF::CDG']]],
+  ['icfgwtocomp_12839',['ICFGWTOComp',['../namespaceSVF.html#ae7e2a86baf7f3a20ee906030188dce7c',1,'SVF']]],
+  ['icfgwtocycle_12840',['ICFGWTOCycle',['../namespaceSVF.html#a9c6abc711b0dcf5831d2cf175afc2414',1,'SVF']]],
+  ['icfgwtonode_12841',['ICFGWTONode',['../classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c',1,'SVF::ICFGWTO::ICFGWTONode()'],['../namespaceSVF.html#a73ff30d5ebff75057b7805d297a23e1a',1,'SVF::ICFGWTONode()']]],
+  ['idtocallsitemap_12842',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
+  ['idtoidmap_12843',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
+  ['idtomemmapty_12844',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
+  ['idtonodemapty_12845',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
+  ['idtopairmapty_12846',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
+  ['idxoperandpair_12847',['IdxOperandPair',['../classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae',1,'SVF::AccessPath']]],
+  ['idxoperandpairs_12848',['IdxOperandPairs',['../classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d',1,'SVF::AccessPath']]],
+  ['indextoterminstmap_12849',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
+  ['insertelementinst_12850',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
+  ['insertvalueinst_12851',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
+  ['inst2labelmap_12852',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
+  ['inst_5fiterator_12853',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
+  ['instruction_12854',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
+  ['instset_12855',['InstSet',['../classSVF_1_1MTAAnnotator.html#a95f4607624dac40e9d62f37e6b16fcf0',1,'SVF::MTAAnnotator::InstSet()'],['../classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0',1,'SVF::ThreadCallGraph::InstSet()'],['../classSVF_1_1MTASVFGBuilder.html#aae87004825b3f30356ca49b8a1dab7f3',1,'SVF::MTASVFGBuilder::InstSet()'],['../classSVF_1_1LockAnalysis.html#a55fa17be80457f7bf8a251b494d77d13',1,'SVF::LockAnalysis::InstSet()'],['../classSVF_1_1MHP.html#a3e67209ca8f9372d1846e0ce71bbd47a',1,'SVF::MHP::InstSet()'],['../classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8',1,'SVF::MTAStat::InstSet()'],['../classSVF_1_1TCT.html#a264fbfd3e5a69815e81ad01fc211f979',1,'SVF::TCT::InstSet()']]],
+  ['insttoblocknodemapty_12856',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
+  ['insttocxtstmt_12857',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
+  ['insttocxtstmtset_12858',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
+  ['insttoinstsetmap_12859',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
+  ['insttoloopmap_12860',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
+  ['insttothreadstmtsetmap_12861',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
+  ['instvec_12862',['InstVec',['../classSVF_1_1ICFGBuilder.html#a57af1044422b3c3860aa6fb033f8111e',1,'SVF::ICFGBuilder::InstVec()'],['../classSVF_1_1LockAnalysis.html#aeb4b15ecc4ba1a0ca8794d304d1895cb',1,'SVF::LockAnalysis::InstVec()'],['../classSVF_1_1MHP.html#a8fecc443c4d92a36a9c50ec6a4f5dea8',1,'SVF::MHP::InstVec()'],['../classSVF_1_1ForkJoinAnalysis.html#a613d763731058899e6819acdb2d7315f',1,'SVF::ForkJoinAnalysis::InstVec()'],['../classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac',1,'SVF::TCT::InstVec()'],['../classSVF_1_1SVFInstruction.html#ab9e1aeffeddda2626cb9330d59631d5b',1,'SVF::SVFInstruction::InstVec()']]],
+  ['instvector_12863',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
+  ['integertype_12864',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
+  ['interlev_5fflag_12865',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
+  ['internal_5fhooks_12866',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
+  ['interphisvfgnode_12867',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
+  ['intraphisvfgnode_12868',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
+  ['inttoptrinst_12869',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
+  ['inv_5fchild_5fiterator_12870',['inv_child_iterator',['../classSVF_1_1SrcSnkSolver.html#acb3b73c60427a78ad8dd12d651202d78',1,'SVF::SrcSnkSolver::inv_child_iterator()'],['../classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91',1,'SVF::GraphReachSolver::inv_child_iterator()']]],
+  ['invgtraits_12871',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
+  ['invokeinst_12872',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
+  ['irbuilder_12873',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
+  ['irgraphreader_12874',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
+  ['irgraphwriter_12875',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
+  ['iterator_12876',['iterator',['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::iterator()'],['../classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0',1,'SVF::CDGNode::iterator()'],['../classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8',1,'SVF::CDG::iterator()'],['../classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f',1,'SVF::ConstraintNode::iterator()'],['../classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153',1,'SVF::GenericNode::iterator()'],['../classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc',1,'SVF::GenericGraph::iterator()'],['../classSVF_1_1ICFG.html#a498f84068ef643a94970aeb171607e31',1,'SVF::ICFG::iterator()'],['../classSVF_1_1ICFGNode.html#a5a148eccec266a67e4ff5364d7268fff',1,'SVF::ICFGNode::iterator()'],['../classSVF_1_1PTACallGraphNode.html#a796994541eec90f2b540e24816120aff',1,'SVF::PTACallGraphNode::iterator()'],['../classSVF_1_1VFG.html#a241d0489bf0315460e2b07db87e7847c',1,'SVF::VFG::iterator()'],['../classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124',1,'SVF::VFGNode::iterator()'],['../classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce',1,'SVF::CondStdSet::iterator()'],['../classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83',1,'SVF::CondPointsToSet::iterator()'],['../classSVF_1_1MutablePTData.html#ae856f07441da3988d6a31eea1e30a7d9',1,'SVF::MutablePTData::iterator()'],['../classSVF_1_1PointsTo.html#ab0493cc85f97abeea5b86dee488e5a7f',1,'SVF::PointsTo::iterator()'],['../classSVF_1_1SVFModule.html#a709371b13dcf500277f8bc275bdb23c7',1,'SVF::SVFModule::iterator()'],['../classSVF_1_1CoreBitVector.html#a624ebc80d138fbf2b015bf557d2891a6',1,'SVF::CoreBitVector::iterator()'],['../classSVF_1_1SparseBitVector.html#a0421e3336137b232edc442ece00a8a9c',1,'SVF::SparseBitVector::iterator()'],['../classSVF_1_1CSC.html#a8e740b5d0f02c66c09fec3f65a54d1c2',1,'SVF::CSC::iterator()'],['../classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1WTOCycle.html#ad0a2a2bb4c2d6eafaedbf04ced31243d',1,'SVF::WTOCycle::Iterator()'],['../classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470',1,'SVF::WTO::Iterator()']]],
+  ['iterator_5fcategory_12877',['iterator_category',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ac99c635e1057f19a495808be84221385',1,'SVF::PointsTo::PointsToIterator::iterator_category()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef',1,'SVF::CoreBitVector::CoreBitVectorIterator::iterator_category()'],['../classSVF_1_1iter__facade__base.html#a040de7bda3801ef9c8ba28de1209e0e6',1,'SVF::iter_facade_base::iterator_category()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['joinedgeset_12888',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]]
+  ['joinedgeset_12878',['JoinEdgeSet',['../classSVF_1_1ThreadJoinEdge.html#acf768ce9925ee75aea865cd9306afda9',1,'SVF::ThreadJoinEdge::JoinEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa9e07204488ec8f0f83f4e218b6ce6bd',1,'SVF::ThreadCallGraph::JoinEdgeSet()']]]
 ];

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['keynodes_12889',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_12890',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_12891',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
-  ['kind_12892',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
-  ['kindbaset_12893',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtosvfstmtmapty_12894',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
+  ['keynodes_12879',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_12880',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_12881',['KeyToIDMap',['../classSVF_1_1PersistentPTData.html#aa4660a55bee52fc51248d694d475811f',1,'SVF::PersistentPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDiffPTData.html#a4e706309fe4bb40b4424251888363215',1,'SVF::PersistentDiffPTData::KeyToIDMap()'],['../classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f',1,'SVF::PersistentDFPTData::KeyToIDMap()'],['../classSVF_1_1PersistentVersionedPTData.html#a1927ccf9bb74b698f540f683e7f0d0f2',1,'SVF::PersistentVersionedPTData::KeyToIDMap()']]],
+  ['kind_12882',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a41f8cc1264aa99c581e1d6f3150a2d48',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a59862d1df5b70861474915927c137c6b',1,'SVF::CFLGraph::Kind()']]],
+  ['kindbaset_12883',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtosvfstmtmapty_12884',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
 ];

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['label_12895',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['landingpadinst_12896',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['llvmargument2svfargumentmap_12897',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_12898',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_12899',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_12900',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_12901',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_12902',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_12903',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_12904',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['loadinst_12905',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmu_12906',['LOADMU',['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
-  ['loadset_12907',['LoadSet',['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA']]],
-  ['loadstomrsmap_12908',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap_12909',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator']]],
-  ['loadsvfgnode_12910',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtomusetmap_12911',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['locdpitem_12912',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_12913',['LocID',['../classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786',1,'SVF::DFPTData::LocID()'],['../classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34',1,'SVF::MutableDFPTData::LocID()'],['../classSVF_1_1MutableIncDFPTData.html#a74d9f271ea0fa69e56ddbe16f10f3241',1,'SVF::MutableIncDFPTData::LocID()'],['../classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b',1,'SVF::PersistentDFPTData::LocID()'],['../classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1',1,'SVF::PersistentIncDFPTData::LocID()']]],
-  ['lock_5fflag_12914',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lockset_12915',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_12916',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_12917',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
-  ['loctodpmvecmap_12918',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['loctovalmap_12919',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412',1,'SVF::IntervalESBase::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
-  ['locversionmap_12920',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['loop_12921',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
-  ['loopbbs_12922',['LoopBBs',['../classSVF_1_1MHP.html#a2c3dcb480ef332bd4aff991df39f3e34',1,'SVF::MHP::LoopBBs()'],['../classSVF_1_1ForkJoinAnalysis.html#a159bbd4352fcffa93c97281ab9d229b1',1,'SVF::ForkJoinAnalysis::LoopBBs()'],['../classSVF_1_1TCT.html#aeb61fffa4861cb1146676869d85d3773',1,'SVF::TCT::LoopBBs()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f',1,'SVF::SVFLoopAndDomInfo::LoopBBs()'],['../classSVF_1_1SVFFunction.html#a837e67c823d5323c5462e78f5bbe6e64',1,'SVF::SVFFunction::LoopBBs()']]],
-  ['loopinfo_12923',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]]
+  ['label_12885',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['landingpadinst_12886',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['llvmargument2svfargumentmap_12887',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_12888',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_12889',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_12890',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_12891',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_12892',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_12893',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_12894',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['loadinst_12895',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmu_12896',['LOADMU',['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadset_12897',['LoadSet',['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA']]],
+  ['loadstomrsmap_12898',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap_12899',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator']]],
+  ['loadsvfgnode_12900',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtomusetmap_12901',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['locdpitem_12902',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_12903',['LocID',['../classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786',1,'SVF::DFPTData::LocID()'],['../classSVF_1_1MutableDFPTData.html#ae847b982baec8115ede5d7d28cd91d34',1,'SVF::MutableDFPTData::LocID()'],['../classSVF_1_1MutableIncDFPTData.html#a74d9f271ea0fa69e56ddbe16f10f3241',1,'SVF::MutableIncDFPTData::LocID()'],['../classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b',1,'SVF::PersistentDFPTData::LocID()'],['../classSVF_1_1PersistentIncDFPTData.html#a77bdc80a999296bcfa8d9f1f92c933d1',1,'SVF::PersistentIncDFPTData::LocID()']]],
+  ['lock_5fflag_12904',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lockset_12905',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_12906',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_12907',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
+  ['loctodpmvecmap_12908',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctovalmap_12909',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalESBase.html#a2c8cf00ffaa36fed2e634adbaff7b412',1,'SVF::IntervalESBase::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
+  ['locversionmap_12910',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['loop_12911',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
+  ['loopbbs_12912',['LoopBBs',['../classSVF_1_1MHP.html#a2c3dcb480ef332bd4aff991df39f3e34',1,'SVF::MHP::LoopBBs()'],['../classSVF_1_1ForkJoinAnalysis.html#a159bbd4352fcffa93c97281ab9d229b1',1,'SVF::ForkJoinAnalysis::LoopBBs()'],['../classSVF_1_1TCT.html#aeb61fffa4861cb1146676869d85d3773',1,'SVF::TCT::LoopBBs()'],['../classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f',1,'SVF::SVFLoopAndDomInfo::LoopBBs()'],['../classSVF_1_1SVFFunction.html#a837e67c823d5323c5462e78f5bbe6e64',1,'SVF::SVFFunction::LoopBBs()']]],
+  ['loopinfo_12913',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]]
 ];

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['map_12924',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
-  ['mappingptr_12925',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
-  ['mdef_12926',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
-  ['mdnode_12927',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring_12928',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meldversion_12929',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['memobjtofieldsmap_12930',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memorylocation_12931',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
-  ['memregtobbsmap_12932',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
-  ['memregtocountermap_12933',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
-  ['memregtoverstackmap_12934',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['metadataasvalue_12935',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
-  ['module_12936',['Module',['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF']]],
-  ['modulepass_12937',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
-  ['mrid_12938',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
-  ['mrset_12939',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
-  ['mrvector_12940',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
-  ['mrverid_12941',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
-  ['mrverset_12942',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
-  ['mrversion_12943',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssadef_12944',['MSSADef',['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer']]],
-  ['mssavartodefmapty_12945',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
-  ['mu_12946',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
-  ['muset_12947',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
-  ['mutdfptdataty_12948',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
-  ['mutdiffptdataty_12949',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
-  ['mutincdfptdataty_12950',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
-  ['mutptdataty_12951',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
-  ['mutversionedptdataty_12952',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]]
+  ['map_12914',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
+  ['mappingptr_12915',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
+  ['mdef_12916',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
+  ['mdnode_12917',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
+  ['mdstring_12918',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
+  ['meldversion_12919',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['memobjtofieldsmap_12920',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
+  ['memorylocation_12921',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
+  ['memregtobbsmap_12922',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
+  ['memregtocountermap_12923',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
+  ['memregtoverstackmap_12924',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['metadataasvalue_12925',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['module_12926',['Module',['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF']]],
+  ['modulepass_12927',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
+  ['mrid_12928',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
+  ['mrset_12929',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
+  ['mrvector_12930',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
+  ['mrverid_12931',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
+  ['mrverset_12932',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
+  ['mrversion_12933',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
+  ['mssadef_12934',['MSSADef',['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer']]],
+  ['mssavartodefmapty_12935',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
+  ['mu_12936',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
+  ['muset_12937',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
+  ['mutdfptdataty_12938',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
+  ['mutdiffptdataty_12939',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
+  ['mutincdfptdataty_12940',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
+  ['mutptdataty_12941',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
+  ['mutversionedptdataty_12942',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]]
 ];