svf-tools 1.0.747 → 1.0.749

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

@@ -1,44 +1,44 @@
 var searchData=
 [
-  ['fenceinst_12118',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
-  ['fieldreps_12119',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
-  ['forkedgeset_12120',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
-  ['formalinsvfgnodeset_12121',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
-  ['formaloutsvfgnodeset_12122',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
-  ['formalparmnodevec_12123',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
-  ['formalparmsvfgnode_12124',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
-  ['formalretsvfgnode_12125',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
-  ['freezeinst_12126',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
-  ['funcpair_12127',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
-  ['funcpairtobool_12128',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
-  ['function_12129',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
-  ['functionset_12130',['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_12131',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
-  ['functiontoformalinsmapty_12132',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
-  ['functiontoformaloutsmapty_12133',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
-  ['functiontype_12134',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
-  ['funcvector_12135',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
-  ['fundecltodefmapty_12136',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
-  ['fundeftodeclsmapty_12137',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
-  ['funptrtocallsitesmap_12138',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
-  ['funset_12139',['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_12140',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
-  ['funtocallgraphnodemap_12141',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
-  ['funtoentrychisetmap_12142',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
-  ['funtoexitbbsmap_12143',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
-  ['funtofunentrynodemapty_12144',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
-  ['funtofunexitnodemapty_12145',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
-  ['funtoidmapty_12146',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
-  ['funtointermap_12147',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
-  ['funtomrsmap_12148',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
-  ['funtonodebsmap_12149',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
-  ['funtopagedgesetmap_12150',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
-  ['funtopointstomap_12151',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
-  ['funtopointstosmap_12152',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
-  ['funtoptsmap_12153',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
-  ['funtoretmap_12154',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
-  ['funtoreturnmusetmap_12155',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
-  ['funtovfgnodesmapty_12156',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
-  ['funvec_12157',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
-  ['funworklist_12158',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
+  ['fenceinst_12126',['FenceInst',['../namespaceSVF.html#a61f0d928e58d4f7e21616f770ae1080b',1,'SVF']]],
+  ['fieldreps_12127',['FieldReps',['../classSVF_1_1AndersenSFR.html#a52aa0c2a02a0db6700c4a7a8819d0a5d',1,'SVF::AndersenSFR']]],
+  ['forkedgeset_12128',['ForkEdgeSet',['../classSVF_1_1ThreadForkEdge.html#ad36696915ee802989b679dd058aaab68',1,'SVF::ThreadForkEdge::ForkEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8',1,'SVF::ThreadCallGraph::ForkEdgeSet()']]],
+  ['formalinsvfgnodeset_12129',['FormalINSVFGNodeSet',['../classSVF_1_1SVFG.html#a8859409373454b6b3d1252776e169cf5',1,'SVF::SVFG']]],
+  ['formaloutsvfgnodeset_12130',['FormalOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0',1,'SVF::SVFG']]],
+  ['formalparmnodevec_12131',['FormalParmNodeVec',['../classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5',1,'SVF::FunEntryICFGNode']]],
+  ['formalparmsvfgnode_12132',['FormalParmSVFGNode',['../namespaceSVF.html#ad466edced10faeafd48e96daf193b8a9',1,'SVF']]],
+  ['formalretsvfgnode_12133',['FormalRetSVFGNode',['../namespaceSVF.html#ae5987da3ffd5681e8ec4ef14ba54588e',1,'SVF']]],
+  ['freezeinst_12134',['FreezeInst',['../namespaceSVF.html#a9868a60a9cc7b78965a23b5034100f88',1,'SVF']]],
+  ['funcpair_12135',['FuncPair',['../classSVF_1_1MHP.html#ad8930750fd4316003686b215ace46525',1,'SVF::MHP']]],
+  ['funcpairtobool_12136',['FuncPairToBool',['../classSVF_1_1MHP.html#adff2785f9d46eb110ce5b429592b2a38',1,'SVF::MHP']]],
+  ['function_12137',['Function',['../namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1',1,'SVF']]],
+  ['functionset_12138',['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_12139',['FunctionSetType',['../classSVF_1_1LLVMModuleSet.html#a16d14e6712866d1d710c386c72d67181',1,'SVF::LLVMModuleSet::FunctionSetType()'],['../classSVF_1_1SVFModule.html#acfd1ffb4696136de493843786c799e6b',1,'SVF::SVFModule::FunctionSetType()']]],
+  ['functiontoformalinsmapty_12140',['FunctionToFormalINsMapTy',['../classSVF_1_1SVFG.html#a2b4850c833564916c7fce46d55672038',1,'SVF::SVFG']]],
+  ['functiontoformaloutsmapty_12141',['FunctionToFormalOUTsMapTy',['../classSVF_1_1SVFG.html#ac4c65501e9beba5495a57dd469f78e5b',1,'SVF::SVFG']]],
+  ['functiontype_12142',['FunctionType',['../namespaceSVF.html#a6ec0236303089a01fd9da36a8bb84e0a',1,'SVF']]],
+  ['funcvector_12143',['FuncVector',['../classSVF_1_1DCHNode.html#aebd4fb544e8a97164901ab602e0fe7fc',1,'SVF::DCHNode::FuncVector()'],['../classSVF_1_1CHNode.html#aa4af6538c9994ec54a7b82691f846a31',1,'SVF::CHNode::FuncVector()']]],
+  ['fundecltodefmapty_12144',['FunDeclToDefMapTy',['../classSVF_1_1LLVMModuleSet.html#ad18bccd560f137dee580fa2272b3361a',1,'SVF::LLVMModuleSet']]],
+  ['fundeftodeclsmapty_12145',['FunDefToDeclsMapTy',['../classSVF_1_1LLVMModuleSet.html#af30db1a8124b99761b13a7ae4b68f3ed',1,'SVF::LLVMModuleSet']]],
+  ['funptrtocallsitesmap_12146',['FunPtrToCallSitesMap',['../classSVF_1_1SVFIR.html#ae0aab46dbf1e02d7ec6f754970f485f9',1,'SVF::SVFIR']]],
+  ['funset_12147',['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_12148',['FunToArgsListMap',['../classSVF_1_1SVFIR.html#a4541aa617c79f7922fe8e21c0f2b6b63',1,'SVF::SVFIR']]],
+  ['funtocallgraphnodemap_12149',['FunToCallGraphNodeMap',['../classSVF_1_1PTACallGraph.html#a049bc978a93f0db1fe91efb6feb22b14',1,'SVF::PTACallGraph']]],
+  ['funtoentrychisetmap_12150',['FunToEntryChiSetMap',['../classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca',1,'SVF::MemSSA']]],
+  ['funtoexitbbsmap_12151',['FunToExitBBsMap',['../classSVF_1_1SaberCondAllocator.html#a1f13ef0f88ef09e0ee13c61ebc6ae678',1,'SVF::SaberCondAllocator']]],
+  ['funtofunentrynodemapty_12152',['FunToFunEntryNodeMapTy',['../classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1',1,'SVF::ICFG']]],
+  ['funtofunexitnodemapty_12153',['FunToFunExitNodeMapTy',['../classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f',1,'SVF::ICFG']]],
+  ['funtoidmapty_12154',['FunToIDMapTy',['../classSVF_1_1SymbolTableInfo.html#acd5c1096bb8e93a2a708cd7eef66e7d8',1,'SVF::SymbolTableInfo']]],
+  ['funtointermap_12155',['FunToInterMap',['../classSVF_1_1IntraDisjointMRG.html#ad59c11753db0b310246418df4c62f639',1,'SVF::IntraDisjointMRG']]],
+  ['funtomrsmap_12156',['FunToMRsMap',['../classSVF_1_1MRGenerator.html#a090070379a09460aef0c07270d32d27b',1,'SVF::MRGenerator']]],
+  ['funtonodebsmap_12157',['FunToNodeBSMap',['../classSVF_1_1MRGenerator.html#ab01e492f002c73e2c89eb0b4c8f9647d',1,'SVF::MRGenerator']]],
+  ['funtopagedgesetmap_12158',['FunToPAGEdgeSetMap',['../classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005',1,'SVF::SVFIR']]],
+  ['funtopointstomap_12159',['FunToPointsToMap',['../classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a',1,'SVF::MRGenerator']]],
+  ['funtopointstosmap_12160',['FunToPointsTosMap',['../classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd',1,'SVF::MRGenerator']]],
+  ['funtoptsmap_12161',['FunToPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a824dec1bb1df5052252e7fe0dd55a894',1,'SVF::IntraDisjointMRG']]],
+  ['funtoretmap_12162',['FunToRetMap',['../classSVF_1_1SVFIR.html#ae34e5ff2f065ad752c248337d625b2e3',1,'SVF::SVFIR']]],
+  ['funtoreturnmusetmap_12163',['FunToReturnMuSetMap',['../classSVF_1_1MemSSA.html#a3cfc6d7134f98e5876c16c6c043a3d92',1,'SVF::MemSSA']]],
+  ['funtovfgnodesmapty_12164',['FunToVFGNodesMapTy',['../classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716',1,'SVF::VFG']]],
+  ['funvec_12165',['FunVec',['../classSVF_1_1PCG.html#a1baeae98fd911d67acf644b49e48af8c',1,'SVF::PCG']]],
+  ['funworklist_12166',['FunWorkList',['../classSVF_1_1PCG.html#aa5b05322809d72ee8d1fc5fb3b85696d',1,'SVF::PCG']]]
 ];

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

@@ -1,55 +1,55 @@
 var searchData=
 [
-  ['gedge_12159',['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_12160',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
-  ['gedgekind_12161',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
-  ['gedgesetty_12162',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
-  ['genericcallgraphedgety_12163',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
-  ['genericcallgraphnodety_12164',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
-  ['genericcallgraphty_12165',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
-  ['genericcfbasicblockedgety_12166',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
-  ['genericcfbasicblockgty_12167',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
-  ['genericcfbasicblocknodety_12168',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
-  ['genericcfledgety_12169',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
-  ['genericcflgraphty_12170',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
-  ['genericcflnodety_12171',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
-  ['genericchedgety_12172',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
-  ['genericchgraphty_12173',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
-  ['genericchnodety_12174',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
-  ['genericconsedgety_12175',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
-  ['genericconsnodety_12176',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
-  ['genericgraphty_12177',['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_12178',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
-  ['genericicfgnodety_12179',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
-  ['genericicfgreader_12180',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
-  ['genericicfgty_12181',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
-  ['genericicfgwriter_12182',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
-  ['genericpagedgety_12183',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
-  ['genericpagnodety_12184',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
-  ['generictctedgety_12185',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
-  ['generictctnodety_12186',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
-  ['genericthreadcreatetreety_12187',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
-  ['genericvfgedgety_12188',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
-  ['genericvfgnodety_12189',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
-  ['genericvfgty_12190',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
-  ['gep_5ftype_5fiterator_12191',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
-  ['gepsvfgnode_12192',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
-  ['gepvaluevarmap_12193',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
-  ['getelementptrinst_12194',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
-  ['global_5fiterator_12195',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
-  ['globalalias_12196',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
-  ['globaldeftorepmapty_12197',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
-  ['globalifunc_12198',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
-  ['globalobject_12199',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
-  ['globalsettype_12200',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
-  ['globalvalue_12201',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
-  ['globalvariable_12202',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
-  ['globalvfgnodeset_12203',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
-  ['gnode_12204',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::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_12205',['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_12206',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
-  ['gnodestack_12207',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
-  ['graphprinter_12208',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
-  ['graphtype_12209',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
-  ['gtraits_12210',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::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_12167',['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_12168',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge::GEdgeFlag()'],['../classSVF_1_1SVFIRReader.html#a83f1038208acd0f7f5ac90a51fd494e5',1,'SVF::SVFIRReader::GEdgeFlag()']]],
+  ['gedgekind_12169',['GEdgeKind',['../classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a',1,'SVF::GenericEdge::GEdgeKind()'],['../classSVF_1_1SVFIRReader.html#a4992064f6c5e41662c939eaa769d0811',1,'SVF::SVFIRReader::GEdgeKind()']]],
+  ['gedgesetty_12170',['GEdgeSetTy',['../classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a',1,'SVF::GenericNode']]],
+  ['genericcallgraphedgety_12171',['GenericCallGraphEdgeTy',['../namespaceSVF.html#acd909bf6784bb6e2178aa0f5d27da0ca',1,'SVF']]],
+  ['genericcallgraphnodety_12172',['GenericCallGraphNodeTy',['../namespaceSVF.html#a673ed8bf673a4c426a9d91aa8987e31c',1,'SVF']]],
+  ['genericcallgraphty_12173',['GenericCallGraphTy',['../namespaceSVF.html#ab6fe492db79077a60254f8a03cfce180',1,'SVF']]],
+  ['genericcfbasicblockedgety_12174',['GenericCFBasicBlockEdgeTy',['../namespaceSVF.html#add130ff635b1364201548469c28c0572',1,'SVF']]],
+  ['genericcfbasicblockgty_12175',['GenericCFBasicBlockGTy',['../namespaceSVF.html#a6184b09dcc733e3f35945076aa2781fe',1,'SVF']]],
+  ['genericcfbasicblocknodety_12176',['GenericCFBasicBlockNodeTy',['../namespaceSVF.html#a81d6a1e9cc52fde4f828cead0ca40bab',1,'SVF']]],
+  ['genericcfledgety_12177',['GenericCFLEdgeTy',['../namespaceSVF.html#a19ab125d26c5d9c533bc1c3904ac92d9',1,'SVF']]],
+  ['genericcflgraphty_12178',['GenericCFLGraphTy',['../namespaceSVF.html#a6b1d99f1ec47347364981e23a9d21e0a',1,'SVF']]],
+  ['genericcflnodety_12179',['GenericCFLNodeTy',['../namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889',1,'SVF']]],
+  ['genericchedgety_12180',['GenericCHEdgeTy',['../namespaceSVF.html#a7cb629496a70d2dd22634405652e573a',1,'SVF']]],
+  ['genericchgraphty_12181',['GenericCHGraphTy',['../namespaceSVF.html#a6b09b7d17c48b1eba08c256cdd8159bd',1,'SVF']]],
+  ['genericchnodety_12182',['GenericCHNodeTy',['../namespaceSVF.html#ac6b93cb94834bc363dc9a0724daf23b2',1,'SVF']]],
+  ['genericconsedgety_12183',['GenericConsEdgeTy',['../namespaceSVF.html#a1d2b00b4b0ab475899488fc89b2bfe66',1,'SVF']]],
+  ['genericconsnodety_12184',['GenericConsNodeTy',['../namespaceSVF.html#a825a8805e4a16072031a18b8d553c5a2',1,'SVF']]],
+  ['genericgraphty_12185',['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_12186',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
+  ['genericicfgnodety_12187',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
+  ['genericicfgreader_12188',['GenericICFGReader',['../namespaceSVF.html#a2da7f6b2964615b82a9143e885c2c092',1,'SVF']]],
+  ['genericicfgty_12189',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
+  ['genericicfgwriter_12190',['GenericICFGWriter',['../namespaceSVF.html#a904e4f5b87620327bfda87b3930b7c7b',1,'SVF']]],
+  ['genericpagedgety_12191',['GenericPAGEdgeTy',['../namespaceSVF.html#ab502ff5e204678640c1081d104f60971',1,'SVF']]],
+  ['genericpagnodety_12192',['GenericPAGNodeTy',['../namespaceSVF.html#a3a6d9f46c74be099070cf858ded43796',1,'SVF']]],
+  ['generictctedgety_12193',['GenericTCTEdgeTy',['../namespaceSVF.html#a07db688cc13384ddfddb1372612db205',1,'SVF']]],
+  ['generictctnodety_12194',['GenericTCTNodeTy',['../namespaceSVF.html#a115fc72b31d2ae72e60ebd9af1351e83',1,'SVF']]],
+  ['genericthreadcreatetreety_12195',['GenericThreadCreateTreeTy',['../namespaceSVF.html#a8e1221553658c8b506c348534135ceaa',1,'SVF']]],
+  ['genericvfgedgety_12196',['GenericVFGEdgeTy',['../namespaceSVF.html#a30dcaf83718f2652012f98b192dcf437',1,'SVF']]],
+  ['genericvfgnodety_12197',['GenericVFGNodeTy',['../namespaceSVF.html#a3b4bbc4b72e982a79c23fd3ec26410b6',1,'SVF']]],
+  ['genericvfgty_12198',['GenericVFGTy',['../namespaceSVF.html#ab4f1d8a6715e791c94970e6f87b18f8f',1,'SVF']]],
+  ['gep_5ftype_5fiterator_12199',['gep_type_iterator',['../namespaceSVF.html#aa508c087703240dad69a9827e85ebd0b',1,'SVF']]],
+  ['gepsvfgnode_12200',['GepSVFGNode',['../namespaceSVF.html#a65a3be463427d1112a8b87f072f3d22f',1,'SVF']]],
+  ['gepvaluevarmap_12201',['GepValueVarMap',['../classSVF_1_1SVFIR.html#af7cc6d471b5ab6db0bdc69cffa19fbf5',1,'SVF::SVFIR']]],
+  ['getelementptrinst_12202',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
+  ['global_5fiterator_12203',['global_iterator',['../classSVF_1_1SVFModule.html#a4cf1ca2e9f045a0520b0a8a6cd5993f2',1,'SVF::SVFModule']]],
+  ['globalalias_12204',['GlobalAlias',['../namespaceSVF.html#a0fd33072b099f61eaa642e94ed0c03fc',1,'SVF']]],
+  ['globaldeftorepmapty_12205',['GlobalDefToRepMapTy',['../classSVF_1_1LLVMModuleSet.html#a4dc808f3f69a87c74933d1f6183d1459',1,'SVF::LLVMModuleSet']]],
+  ['globalifunc_12206',['GlobalIFunc',['../namespaceSVF.html#aacffd97ab4cb45aeae2e67ec479889aa',1,'SVF']]],
+  ['globalobject_12207',['GlobalObject',['../namespaceSVF.html#af157dc77830b6cc804338df7430cbbb3',1,'SVF']]],
+  ['globalsettype_12208',['GlobalSetType',['../classSVF_1_1SVFModule.html#aae827124684e6c0d6a72acece0e9d33f',1,'SVF::SVFModule']]],
+  ['globalvalue_12209',['GlobalValue',['../namespaceSVF.html#a67f3f86344f028cacfbeb08caaf7bb0f',1,'SVF']]],
+  ['globalvariable_12210',['GlobalVariable',['../namespaceSVF.html#a09f5fa3bc44bf53612a085e3a611cc4e',1,'SVF']]],
+  ['globalvfgnodeset_12211',['GlobalVFGNodeSet',['../classSVF_1_1VFG.html#a113185086912213257b04daa4590bf13',1,'SVF::VFG']]],
+  ['gnode_12212',['GNODE',['../classSVF_1_1SrcSnkSolver.html#aad6cad7d89663ac4466f97dac63ee385',1,'SVF::SrcSnkSolver::GNODE()'],['../classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de',1,'SVF::GraphReachSolver::GNODE()'],['../classSVF_1_1SCCDetection.html#a7d7b354d8a7ce69b27dc775ccd192a62',1,'SVF::SCCDetection::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_12213',['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_12214',['GNODESCCInfoMap',['../classSVF_1_1SCCDetection.html#a56c28264d14062354e3272a4a993a1ec',1,'SVF::SCCDetection']]],
+  ['gnodestack_12215',['GNodeStack',['../classSVF_1_1SCCDetection.html#a84fc3aef6f950471a539b7d9fa3c1289',1,'SVF::SCCDetection']]],
+  ['graphprinter_12216',['GraphPrinter',['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF']]],
+  ['graphtype_12217',['GraphType',['../classSVF_1_1GenericGraphWriter.html#a2c6d4c492b073f1b11440f606ed3cc92',1,'SVF::GenericGraphWriter']]],
+  ['gtraits_12218',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#aa786e629a4f1f64291a1de168e597ff6',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::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/html/search/typedefs_7.js

@@ -1,43 +1,43 @@
 var searchData=
 [
-  ['icfgedgeset_12211',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
-  ['icfgedgesetty_12212',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
-  ['icfgnode2svfstmtsmap_12213',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
-  ['icfgnodeidtonodemapty_12214',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
-  ['icfgnodeset_12215',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
-  ['icfgnodetosvfloopvec_12216',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
-  ['idtocallsitemap_12217',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
-  ['idtoidmap_12218',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
-  ['idtomemmapty_12219',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
-  ['idtonodemapty_12220',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
-  ['idtopairmapty_12221',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
-  ['indextoterminstmap_12222',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
-  ['insertelementinst_12223',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
-  ['insertvalueinst_12224',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
-  ['inst2labelmap_12225',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
-  ['inst_5fiterator_12226',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
-  ['instruction_12227',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
-  ['instset_12228',['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_12229',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
-  ['insttocxtstmt_12230',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
-  ['insttocxtstmtset_12231',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
-  ['insttoinstsetmap_12232',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
-  ['insttoloopmap_12233',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
-  ['insttothreadstmtsetmap_12234',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
-  ['instvec_12235',['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_12236',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
-  ['integertype_12237',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
-  ['interlev_5fflag_12238',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
-  ['internal_5fhooks_12239',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
-  ['interphisvfgnode_12240',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
-  ['intraphisvfgnode_12241',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
-  ['inttoptrinst_12242',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
-  ['inv_5fchild_5fiterator_12243',['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_12244',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a19a5395fbfdb95d9328337925496d5eb',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
-  ['invokeinst_12245',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
-  ['irbuilder_12246',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
-  ['irgraphreader_12247',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
-  ['irgraphwriter_12248',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
-  ['iterator_12249',['Iterator',['../classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b',1,'SVF::CFBasicBlockGWTOCycle::Iterator()'],['../classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745',1,'SVF::CFBasicBlockGWTO::Iterator()'],['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::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()']]],
-  ['iterator_5fcategory_12250',['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_12219',['ICFGEdgeSet',['../classSVF_1_1SVFLoop.html#af1951774580ee80d20ca5a139e8f913f',1,'SVF::SVFLoop']]],
+  ['icfgedgesetty_12220',['ICFGEdgeSetTy',['../classSVF_1_1ICFG.html#a20ea3e37e9c3c7d3138ff593041a8e47',1,'SVF::ICFG::ICFGEdgeSetTy()'],['../classSVF_1_1ICFGEdge.html#a85a07d5b3c293e684a12fafbd4e579a3',1,'SVF::ICFGEdge::ICFGEdgeSetTy()']]],
+  ['icfgnode2svfstmtsmap_12221',['ICFGNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a4666dabcbeb3f40f96a0694ce2f07eb0',1,'SVF::SVFIR']]],
+  ['icfgnodeidtonodemapty_12222',['ICFGNodeIDToNodeMapTy',['../classSVF_1_1ICFG.html#abd1b5ed3f7d29f846d5714f40106781b',1,'SVF::ICFG']]],
+  ['icfgnodeset_12223',['ICFGNodeSet',['../classSVF_1_1ICFGStat.html#a69670ae14f5ec47728e2ddc7dd4dec84',1,'SVF::ICFGStat::ICFGNodeSet()'],['../classSVF_1_1SVFLoop.html#a4519b374ff32534797ad2afe1c1f672f',1,'SVF::SVFLoop::ICFGNodeSet()']]],
+  ['icfgnodetosvfloopvec_12224',['ICFGNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a4288dd1d729524b8e8a92954852a2317',1,'SVF::ICFG']]],
+  ['idtocallsitemap_12225',['IdToCallSiteMap',['../classSVF_1_1PTACallGraph.html#a5f626f5c9254b9e643d943e59068efba',1,'SVF::PTACallGraph']]],
+  ['idtoidmap_12226',['IdToIdMap',['../classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c',1,'SVF::CSC']]],
+  ['idtomemmapty_12227',['IDToMemMapTy',['../classSVF_1_1SymbolTableInfo.html#a877c95770a5552b34433b4e0034a6341',1,'SVF::SymbolTableInfo']]],
+  ['idtonodemapty_12228',['IDToNodeMapTy',['../classSVF_1_1GenericGraph.html#afe017704d73445211fecaf7f3853010e',1,'SVF::GenericGraph']]],
+  ['idtopairmapty_12229',['IDToPairMapTy',['../classSVF_1_1ReaderIDToObjMap.html#aacc90f507b22088c54b78013683bf6c8',1,'SVF::ReaderIDToObjMap']]],
+  ['indextoterminstmap_12230',['IndexToTermInstMap',['../classSVF_1_1SaberCondAllocator.html#a5335280b02e1fab5a0404ba902eb0937',1,'SVF::SaberCondAllocator']]],
+  ['insertelementinst_12231',['InsertElementInst',['../namespaceSVF.html#a6b857824fb3c39ff6de953651260a326',1,'SVF']]],
+  ['insertvalueinst_12232',['InsertValueInst',['../namespaceSVF.html#a485b10fc29e76fdb6f31a56ebbde8f24',1,'SVF']]],
+  ['inst2labelmap_12233',['Inst2LabelMap',['../classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228',1,'SVF::SVFStmt']]],
+  ['inst_5fiterator_12234',['inst_iterator',['../namespaceSVF.html#a255af6ff30782cb9a548feadb0fe7d6b',1,'SVF']]],
+  ['instruction_12235',['Instruction',['../namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e',1,'SVF']]],
+  ['instset_12236',['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_12237',['InstToBlockNodeMapTy',['../classSVF_1_1ICFG.html#ad28a6b36831c70e7e96db5ba52ffead9',1,'SVF::ICFG']]],
+  ['insttocxtstmt_12238',['InstToCxtStmt',['../classSVF_1_1LockAnalysis.html#a5f573ae9b14b8a8aa8489867e48640a7',1,'SVF::LockAnalysis']]],
+  ['insttocxtstmtset_12239',['InstToCxtStmtSet',['../classSVF_1_1LockAnalysis.html#a159943d09e0498b4569b2245adc91a15',1,'SVF::LockAnalysis']]],
+  ['insttoinstsetmap_12240',['InstToInstSetMap',['../classSVF_1_1LockAnalysis.html#a0062c7bbfff6d16db6334d9ecda4209c',1,'SVF::LockAnalysis']]],
+  ['insttoloopmap_12241',['InstToLoopMap',['../classSVF_1_1TCT.html#a3324a6dc10ca16665ffcc80fd72922c9',1,'SVF::TCT']]],
+  ['insttothreadstmtsetmap_12242',['InstToThreadStmtSetMap',['../classSVF_1_1MHP.html#aaea1d121f1623e1af7e717cbbb8a0146',1,'SVF::MHP']]],
+  ['instvec_12243',['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_12244',['InstVector',['../classSVF_1_1ThreadCallGraph.html#ab7159178fb88be17c0d522c9f2fc9e8f',1,'SVF::ThreadCallGraph']]],
+  ['integertype_12245',['IntegerType',['../namespaceSVF.html#a3d9e7f32dc17fe8d40f8d6a011403b91',1,'SVF']]],
+  ['interlev_5fflag_12246',['INTERLEV_FLAG',['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()'],['../classSVF_1_1MTAResultValidator.html#a8e26b7fe85478eef7b3d0551ab59d9c7',1,'SVF::MTAResultValidator::INTERLEV_FLAG()']]],
+  ['internal_5fhooks_12247',['internal_hooks',['../cJSON_8cpp.html#a584019da8f9922a232f41f6f6ffa4ede',1,'cJSON.cpp']]],
+  ['interphisvfgnode_12248',['InterPHISVFGNode',['../namespaceSVF.html#a0f7ff1d9a479df87241b45bb9c81d3ca',1,'SVF']]],
+  ['intraphisvfgnode_12249',['IntraPHISVFGNode',['../namespaceSVF.html#ad772e1586e369943f37c22641e93e941',1,'SVF']]],
+  ['inttoptrinst_12250',['IntToPtrInst',['../namespaceSVF.html#a07578c424e9d3c07a54e65404a0a6abb',1,'SVF']]],
+  ['inv_5fchild_5fiterator_12251',['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_12252',['InvGTraits',['../classSVF_1_1SrcSnkSolver.html#a7920becf918d7b7a0e67063b19c147a6',1,'SVF::SrcSnkSolver::InvGTraits()'],['../classSVF_1_1GraphReachSolver.html#af790a24d4448911584a6a49b9342a8d5',1,'SVF::GraphReachSolver::InvGTraits()']]],
+  ['invokeinst_12253',['InvokeInst',['../namespaceSVF.html#a56cb9d6d1e05f6c31bfe1a4045bc8b5f',1,'SVF']]],
+  ['irbuilder_12254',['IRBuilder',['../namespaceSVF.html#a94824519e439aeef1568d415b6f7331c',1,'SVF']]],
+  ['irgraphreader_12255',['IRGraphReader',['../namespaceSVF.html#a6244a8e4925ec6b34a7d0958dbf5a8f3',1,'SVF']]],
+  ['irgraphwriter_12256',['IRGraphWriter',['../namespaceSVF.html#ae2e8e1887346ed604b2ee66478049f4c',1,'SVF']]],
+  ['iterator_12257',['Iterator',['../classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788',1,'SVF::WTOCycleDepth::Iterator()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b',1,'SVF::CFBasicBlockGWTOCycle::Iterator()'],['../classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745',1,'SVF::CFBasicBlockGWTO::Iterator()'],['../classSVF_1_1POCRSolver.html#a5541b15444355d6c2e1012ef8bbd34e3',1,'SVF::POCRSolver::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()']]],
+  ['iterator_5fcategory_12258',['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/html/search/typedefs_8.js

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

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

@@ -1,9 +1,9 @@
 var searchData=
 [
-  ['keynodes_12252',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
-  ['keynodesset_12253',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
-  ['keytoidmap_12254',['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_12255',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()']]],
-  ['kindbaset_12256',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
-  ['kindtosvfstmtmapty_12257',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
+  ['keynodes_12260',['KeyNodes',['../classSVF_1_1SymState.html#a5673a4c91533436a993164aa477ff3d8',1,'SVF::SymState']]],
+  ['keynodesset_12261',['KeyNodesSet',['../classSVF_1_1SymState.html#adb33bdc2c5b70a0f35d29d213ebf7957',1,'SVF::SymState']]],
+  ['keytoidmap_12262',['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_12263',['Kind',['../classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187',1,'SVF::GrammarBase::Kind()'],['../classSVF_1_1CFLGraphBuilder.html#a20299631d2b85507af6d81861736db5e',1,'SVF::CFLGraphBuilder::Kind()'],['../classSVF_1_1CFLGraph.html#a27444bf84135748d32291cf0aa78ff81',1,'SVF::CFLGraph::Kind()']]],
+  ['kindbaset_12264',['KindBaseT',['../namespaceSVF.html#aeb9b5aab2ab7ad316c0dabc36175f856',1,'SVF']]],
+  ['kindtosvfstmtmapty_12265',['KindToSVFStmtMapTy',['../classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66',1,'SVF::SVFStmt']]]
 ];

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['label_12258',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
-  ['landingpadinst_12259',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
-  ['llvmargument2svfargumentmap_12260',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
-  ['llvmbb2svfbbmap_12261',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
-  ['llvmconst2svfconstmap_12262',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
-  ['llvmcontext_12263',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
-  ['llvmfun2svffunmap_12264',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
-  ['llvminst2svfinstmap_12265',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
-  ['llvmtype2svftypemap_12266',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
-  ['llvmvalue2svfothervaluemap_12267',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
-  ['loadinst_12268',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
-  ['loadmu_12269',['LOADMU',['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
-  ['loadset_12270',['LoadSet',['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA']]],
-  ['loadstomrsmap_12271',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator']]],
-  ['loadstopointstomap_12272',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator']]],
-  ['loadsvfgnode_12273',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
-  ['loadtomusetmap_12274',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
-  ['locdpitem_12275',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
-  ['locid_12276',['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_12277',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
-  ['lockset_12278',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
-  ['locksitetolockset_12279',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
-  ['lockspan_12280',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
-  ['loctodpmvecmap_12281',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
-  ['loctovalmap_12282',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946',1,'SVF::IntervalExeState::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
-  ['locversionmap_12283',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
-  ['loop_12284',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
-  ['loopbbs_12285',['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_12286',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]]
+  ['label_12266',['Label',['../namespaceSVF.html#a3e0f8e5e6b3c433f557a1ca8e17599c9',1,'SVF']]],
+  ['landingpadinst_12267',['LandingPadInst',['../namespaceSVF.html#afa513a3c76371907221ee2b1ef289c71',1,'SVF']]],
+  ['llvmargument2svfargumentmap_12268',['LLVMArgument2SVFArgumentMap',['../classSVF_1_1LLVMModuleSet.html#abb3020435f266e5925a59da2935cd1a0',1,'SVF::LLVMModuleSet']]],
+  ['llvmbb2svfbbmap_12269',['LLVMBB2SVFBBMap',['../classSVF_1_1LLVMModuleSet.html#a3ed83c67fd6ad5967e4d401c32e46911',1,'SVF::LLVMModuleSet']]],
+  ['llvmconst2svfconstmap_12270',['LLVMConst2SVFConstMap',['../classSVF_1_1LLVMModuleSet.html#ac02ba420628fc4b990e54570f8234ede',1,'SVF::LLVMModuleSet']]],
+  ['llvmcontext_12271',['LLVMContext',['../namespaceSVF.html#affba423b674a0aba723e33101826e297',1,'SVF']]],
+  ['llvmfun2svffunmap_12272',['LLVMFun2SVFFunMap',['../classSVF_1_1LLVMModuleSet.html#ad3d42930cbe97d871443e3bce4874242',1,'SVF::LLVMModuleSet']]],
+  ['llvminst2svfinstmap_12273',['LLVMInst2SVFInstMap',['../classSVF_1_1LLVMModuleSet.html#a05945e0122ce56bb13710bbed34fea3f',1,'SVF::LLVMModuleSet']]],
+  ['llvmtype2svftypemap_12274',['LLVMType2SVFTypeMap',['../classSVF_1_1LLVMModuleSet.html#af070cf782594a939c4a0a6de9a724a69',1,'SVF::LLVMModuleSet']]],
+  ['llvmvalue2svfothervaluemap_12275',['LLVMValue2SVFOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a20d9bddbd56a38fd2159a020039dab0f',1,'SVF::LLVMModuleSet']]],
+  ['loadinst_12276',['LoadInst',['../namespaceSVF.html#a5a6e8ab900d5cd17ef72661006a7fbe0',1,'SVF']]],
+  ['loadmu_12277',['LOADMU',['../classSVF_1_1SVFG.html#a86d4a41a881a3d2e5def103d7ba8bb2f',1,'SVF::SVFG::LOADMU()'],['../classSVF_1_1MemSSA.html#a4717016109fd3bc80f3095d11afff5b1',1,'SVF::MemSSA::LOADMU()']]],
+  ['loadset_12278',['LoadSet',['../classSVF_1_1MTA.html#a61ad028aa33e2fc5c9d05b9f735bd62e',1,'SVF::MTA']]],
+  ['loadstomrsmap_12279',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator']]],
+  ['loadstopointstomap_12280',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator']]],
+  ['loadsvfgnode_12281',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
+  ['loadtomusetmap_12282',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
+  ['locdpitem_12283',['LocDPItem',['../namespaceSVF.html#aa50ee8563f99ba1eb897301f55e9d855',1,'SVF']]],
+  ['locid_12284',['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_12285',['LOCK_FLAG',['../classSVF_1_1LockResultValidator.html#a3b7d25dfe5251f49afbb733c25eee70f',1,'SVF::LockResultValidator']]],
+  ['lockset_12286',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
+  ['locksitetolockset_12287',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#aaf04c86a10b341a17d035868cd8d1ca7',1,'SVF::LockAnalysis']]],
+  ['lockspan_12288',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
+  ['loctodpmvecmap_12289',['LocToDPMVecMap',['../classSVF_1_1DDAVFSolver.html#aab76f98ae4f0c1f62f101ac5c5fdbf83',1,'SVF::DDAVFSolver']]],
+  ['loctovalmap_12290',['LocToValMap',['../classSVF_1_1ConsExeState.html#a559fb9ebd9c5ca18bb0b9ea062cd27db',1,'SVF::ConsExeState::LocToValMap()'],['../classSVF_1_1IntervalExeState.html#a3b95a08fa7b123549e732819d9371946',1,'SVF::IntervalExeState::LocToValMap()'],['../classSVF_1_1RelExeState.html#aae7d4cc75071ce34d68bd4e1709bd2c8',1,'SVF::RelExeState::LocToValMap()']]],
+  ['locversionmap_12291',['LocVersionMap',['../classSVF_1_1VersionedFlowSensitive.html#aa689d29ead80303b1ef1e1a91f31c296',1,'SVF::VersionedFlowSensitive']]],
+  ['loop_12292',['Loop',['../namespaceSVF.html#abf85e29310b2e4df8925d00a5c081314',1,'SVF']]],
+  ['loopbbs_12293',['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_12294',['LoopInfo',['../namespaceSVF.html#a77e088bfe47c0b0ddcbbe0693dec6fe5',1,'SVF']]]
 ];

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

@@ -1,32 +1,32 @@
 var searchData=
 [
-  ['map_12287',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
-  ['mappingptr_12288',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
-  ['mdef_12289',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
-  ['mdnode_12290',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
-  ['mdstring_12291',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
-  ['meldversion_12292',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
-  ['memobjtofieldsmap_12293',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
-  ['memorylocation_12294',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
-  ['memregtobbsmap_12295',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
-  ['memregtocountermap_12296',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
-  ['memregtoverstackmap_12297',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
-  ['metadataasvalue_12298',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
-  ['module_12299',['Module',['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF']]],
-  ['modulepass_12300',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
-  ['mrid_12301',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
-  ['mrset_12302',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
-  ['mrvector_12303',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
-  ['mrverid_12304',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
-  ['mrverset_12305',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
-  ['mrversion_12306',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
-  ['mssadef_12307',['MSSADef',['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer']]],
-  ['mssavartodefmapty_12308',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
-  ['mu_12309',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
-  ['muset_12310',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
-  ['mutdfptdataty_12311',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
-  ['mutdiffptdataty_12312',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
-  ['mutincdfptdataty_12313',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
-  ['mutptdataty_12314',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
-  ['mutversionedptdataty_12315',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]]
+  ['map_12295',['Map',['../namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1',1,'SVF']]],
+  ['mappingptr_12296',['MappingPtr',['../classSVF_1_1PointsTo.html#a849f670b38cb6f65fc23707a212591c7',1,'SVF::PointsTo']]],
+  ['mdef_12297',['MDEF',['../classSVF_1_1MemSSA.html#a57e68097212e88568eea829fb998fe0c',1,'SVF::MemSSA']]],
+  ['mdnode_12298',['MDNode',['../namespaceSVF.html#ad3d3cec1813411f039211c86236f7adb',1,'SVF']]],
+  ['mdstring_12299',['MDString',['../namespaceSVF.html#a28eec26ec8edaa5e96aecfeb01f6c0d4',1,'SVF']]],
+  ['meldversion_12300',['MeldVersion',['../classSVF_1_1VersionedFlowSensitive.html#a630eeca9c3344d24fa196f7de45bce18',1,'SVF::VersionedFlowSensitive']]],
+  ['memobjtofieldsmap_12301',['MemObjToFieldsMap',['../classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940',1,'SVF::SVFIR']]],
+  ['memorylocation_12302',['MemoryLocation',['../namespaceSVF.html#a339bbddac9d9dffd5ef602200d34c403',1,'SVF']]],
+  ['memregtobbsmap_12303',['MemRegToBBsMap',['../classSVF_1_1MemSSA.html#a8d0c1a00d7db194da66c685d79e73de5',1,'SVF::MemSSA']]],
+  ['memregtocountermap_12304',['MemRegToCounterMap',['../classSVF_1_1MemSSA.html#ae1aca020147c270deca2a1241e3847d0',1,'SVF::MemSSA']]],
+  ['memregtoverstackmap_12305',['MemRegToVerStackMap',['../classSVF_1_1MemSSA.html#aa9dbaf51f0498f3bd878827744208899',1,'SVF::MemSSA']]],
+  ['metadataasvalue_12306',['MetadataAsValue',['../namespaceSVF.html#a773900ea3c75022657aac1abf59fa51b',1,'SVF']]],
+  ['module_12307',['Module',['../namespaceSVF.html#aa7a770b5dd5cd0e37d06a1088f252906',1,'SVF']]],
+  ['modulepass_12308',['ModulePass',['../namespaceSVF.html#ac226d84f86637126d17f6814632c8a90',1,'SVF']]],
+  ['mrid_12309',['MRID',['../namespaceSVF.html#a1ed5cfc8a00b2d3b90e74debabaa62a5',1,'SVF']]],
+  ['mrset_12310',['MRSet',['../classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f',1,'SVF::MRGenerator::MRSet()'],['../classSVF_1_1MemSSA.html#a37b84780f57cbee50cf957cfbab195c1',1,'SVF::MemSSA::MRSet()']]],
+  ['mrvector_12311',['MRVector',['../classSVF_1_1MemSSA.html#a7c3fda6f082231350524c2d7c16f067e',1,'SVF::MemSSA']]],
+  ['mrverid_12312',['MRVERID',['../namespaceSVF.html#a0039280e908258b8e73779de51e9f63b',1,'SVF']]],
+  ['mrverset_12313',['MRVerSet',['../classSVF_1_1IndirectSVFGEdge.html#a0df62e44e394d4b4cc30b5012308eb11',1,'SVF::IndirectSVFGEdge']]],
+  ['mrversion_12314',['MRVERSION',['../namespaceSVF.html#a39df0130e37e97db2ff7620bbb2a72f5',1,'SVF']]],
+  ['mssadef_12315',['MSSADef',['../classSVF_1_1MRVer.html#a1f51f0c2ae814b2170e549ea1122a99f',1,'SVF::MRVer']]],
+  ['mssavartodefmapty_12316',['MSSAVarToDefMapTy',['../classSVF_1_1SVFG.html#ac84d3749671f177b14749a825e36efe3',1,'SVF::SVFG']]],
+  ['mu_12317',['MU',['../classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc',1,'SVF::SVFG::MU()'],['../classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b',1,'SVF::MemSSA::MU()']]],
+  ['muset_12318',['MUSet',['../classSVF_1_1SVFG.html#acdbe1c510273107b708935061b6c4127',1,'SVF::SVFG::MUSet()'],['../classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112',1,'SVF::MemSSA::MUSet()']]],
+  ['mutdfptdataty_12319',['MutDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac130bf326911b8e5396f57daa78566e7',1,'SVF::BVDataPTAImpl::MutDFPTDataTy()'],['../classSVF_1_1FlowSensitive.html#a03a3178d88db4efc0593fedb22938e7d',1,'SVF::FlowSensitive::MutDFPTDataTy()']]],
+  ['mutdiffptdataty_12320',['MutDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ac4e74e6dfee9d08198e0f7e3d76a0646',1,'SVF::BVDataPTAImpl']]],
+  ['mutincdfptdataty_12321',['MutIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a639446e6bf9712afa439d089b94aefae',1,'SVF::BVDataPTAImpl']]],
+  ['mutptdataty_12322',['MutPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a533384bd2eb8a1589ba8b7695c759073',1,'SVF::BVDataPTAImpl::MutPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#af3ae2748edfdefaa08a73930bd012d6c',1,'SVF::CondPTAImpl::MutPTDataTy()']]],
+  ['mutversionedptdataty_12323',['MutVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7fde3e9b189e988cd0a24d567b136e13',1,'SVF::BVDataPTAImpl']]]
 ];