svf-tools 1.0.633 → 1.0.635

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

@@ -1,313 +1,12 @@
 var searchData=
 [
-  ['p',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
-  ['pag',['pag',['../classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff',1,'SVF::DDAClient::pag()'],['../classSVF_1_1ConstraintGraph.html#aa8b09f64c6e4bbd081c6062a1a0e8948',1,'SVF::ConstraintGraph::pag()'],['../classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a',1,'SVF::VFG::pag()'],['../classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3',1,'SVF::PointerAnalysis::pag()'],['../classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb',1,'SVF::SVFIRBuilder::pag()'],['../classSVF_1_1PAGBuilderFromFile.html#a79f00ac0ee4a67beec6e7ef45c504e4d',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1SVFIR.html#a98fa25e2b185365e8f1162610c96db4e',1,'SVF::SVFIR::pag()'],['../namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d',1,'SVF::PAG()']]],
-  ['pagbuilderfromfile',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html',1,'SVF::PAGBuilderFromFile'],['../classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827',1,'SVF::SVFIR::PAGBuilderFromFile()'],['../classSVF_1_1PAGBuilderFromFile.html#ac328e86f1081de231fc485a579997507',1,'SVF::PAGBuilderFromFile::PAGBuilderFromFile()']]],
-  ['pagbuilderfromfile_2ecpp',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
-  ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
-  ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
-  ['pagedge',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
-  ['pagedges',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
-  ['pagedgesetty',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
-  ['pagedgetofunmap',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
-  ['pagedgetosetmapty',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
-  ['pagedgetostmtvfgnodemap',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
-  ['pagedgetostmtvfgnodemapty',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
-  ['pagfilename',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
-  ['pagnode',['PAGNode',['../namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea',1,'SVF']]],
-  ['pagnodeset',['PAGNodeSet',['../classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488',1,'SVF::AliasDDAClient::PAGNodeSet()'],['../classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b',1,'SVF::VFG::PAGNodeSet()']]],
-  ['pagnodetoactualparmmap',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmapty',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4',1,'SVF::VFG']]],
-  ['pagnodetoactualretmap',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
-  ['pagnodetoactualretmapty',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemap',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemapty',['PAGNodeToBinaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemap',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemapty',['PAGNodeToBranchVFGNodeMapTy',['../classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemap',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemapty',['PAGNodeToCmpVFGNodeMapTy',['../classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0',1,'SVF::VFG']]],
-  ['pagnodetodefmap',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
-  ['pagnodetodefmapty',['PAGNodeToDefMapTy',['../classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c',1,'SVF::SVFG::PAGNodeToDefMapTy()'],['../classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f',1,'SVF::VFG::PAGNodeToDefMapTy()']]],
-  ['pagnodetoformalparmmap',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
-  ['pagnodetoformalparmmapty',['PAGNodeToFormalParmMapTy',['../classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf',1,'SVF::VFG']]],
-  ['pagnodetoformalretmap',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
-  ['pagnodetoformalretmapty',['PAGNodeToFormalRetMapTy',['../classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241',1,'SVF::VFG']]],
-  ['pagnodetointraphivfgnodemap',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
-  ['pagnodetophivfgnodemapty',['PAGNodeToPHIVFGNodeMapTy',['../classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
-  ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
-  ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
-  ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
-  ['pairtoboolmap',['PairToBoolMap',['../classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99',1,'SVF::MTASVFGBuilder']]],
-  ['pairty',['PairTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ab7f54c3e72c0ffe42d58823a497d4dbd',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
-  ['param',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
-  ['parforedgeset',['ParForEdgeSet',['../classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2',1,'SVF::HareParForEdge::ParForEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#abc4cdc5b401932bf410d26ab4d58ca33',1,'SVF::ThreadCallGraph::ParForEdgeSet()']]],
-  ['parforsites',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
-  ['parforsitesbegin',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
-  ['parforsitesend',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
-  ['parse_5farray',['parse_array',['../cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069',1,'cJSON.cpp']]],
-  ['parse_5fbuffer',['parse_buffer',['../structparse__buffer.html',1,'']]],
-  ['parse_5fhex4',['parse_hex4',['../cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916',1,'cJSON.cpp']]],
-  ['parse_5fnumber',['parse_number',['../cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407',1,'cJSON.cpp']]],
-  ['parse_5fobject',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
-  ['parse_5fstring',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
-  ['parse_5fvalue',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
-  ['parseandsetvalue',['parseAndSetValue',['../classOptionBase.html#af20460d3ee3bcfbb036120339996efd8',1,'OptionBase::parseAndSetValue()'],['../classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50',1,'Option::parseAndSetValue()'],['../classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5',1,'OptionMap::parseAndSetValue()'],['../classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e',1,'OptionMultiple::parseAndSetValue()']]],
-  ['parsejson',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
-  ['parseoperations',['parseOperations',['../classSVF_1_1SVFIRBuilder.html#ad8a2b261ce86d6aa45f90095db2b2a94',1,'SVF::SVFIRBuilder']]],
-  ['parseoptions',['parseOptions',['../classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5',1,'OptionBase']]],
-  ['parseproductionsstring',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
-  ['parseselfcyclehandleoption',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
-  ['partialalias',['PartialAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6',1,'SVF']]],
-  ['partialjoin',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
-  ['partialreachable',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
-  ['partitionmrs',['partitionMRs',['../classSVF_1_1DistinctMRG.html#a4512ef21fa83988ad4d588831bfba482',1,'SVF::DistinctMRG::partitionMRs()'],['../classSVF_1_1IntraDisjointMRG.html#a6d2434f0e3a318b89b7b9fa4f5613b64',1,'SVF::IntraDisjointMRG::partitionMRs()'],['../classSVF_1_1InterDisjointMRG.html#a807cf159e53c2fb2903296207185dda0',1,'SVF::InterDisjointMRG::partitionMRs()'],['../classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9',1,'SVF::MRGenerator::partitionMRs()']]],
-  ['paselected',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
-  ['pasmsg',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738',1,'SVF::SVFUtil']]],
-  ['path_5fleak',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
-  ['pathallocator',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
-  ['paths_5fdda',['PathS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58',1,'SVF::PointerAnalysis']]],
-  ['pcg',['PCG',['../classSVF_1_1PCG.html',1,'SVF::PCG'],['../classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081',1,'SVF::PCG::PCG()']]],
-  ['pcg_2ecpp',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
-  ['pcg_2eh',['PCG.h',['../PCG_8h.html',1,'']]],
-  ['pdtbbsmap',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
-  ['pedgek',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['peggrammar_2etxt',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
-  ['pegtransfer',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
-  ['performaddingmhpedges',['performAddingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3',1,'SVF::MTASVFGBuilder']]],
-  ['performannotate',['performAnnotate',['../classSVF_1_1MTAAnnotator.html#a4e25b3ef3e4e91f14c35841d0138d888',1,'SVF::MTAAnnotator']]],
-  ['performapistat',['performAPIStat',['../classSVF_1_1ThreadAPI.html#a60fba05298bc3bf43ec786255daba4ba',1,'SVF::ThreadAPI']]],
-  ['performmhppairstat',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
-  ['performremovingmhpedges',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
-  ['performsccstat',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
-  ['performstat',['performStat',['../classSVF_1_1CFLStat.html#a1d85a7c4b2c22d3d8e0115212362d83b',1,'SVF::CFLStat::performStat()'],['../classSVF_1_1DDAClient.html#aedd25e487775d37d4f6dcc8a5565c2a3',1,'SVF::DDAClient::performStat()'],['../classSVF_1_1FunptrDDAClient.html#acb63480cc42ceec325d3380aa617670d',1,'SVF::FunptrDDAClient::performStat()'],['../classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916',1,'SVF::AliasDDAClient::performStat()'],['../classSVF_1_1DDAStat.html#a6055573ae1844cfc559ff81b3b9c325c',1,'SVF::DDAStat::performStat()'],['../classSVF_1_1ICFGStat.html#aabe0779dc44ddc4e06300ea912cca39f',1,'SVF::ICFGStat::performStat()'],['../classSVF_1_1SVFG.html#adc9fbb4553472b238d6c3bb5062279cb',1,'SVF::SVFG::performStat()'],['../classSVF_1_1MemSSAStat.html#a8b4b9466a676d2391c71d38e8be16bc9',1,'SVF::MemSSAStat::performStat()'],['../classSVF_1_1SVFGStat.html#a037600bfff11659542f8595d8700dec4',1,'SVF::SVFGStat::performStat()'],['../classSVF_1_1MemSSA.html#a89c40c8fad70f3aead6531261e5a3cc3',1,'SVF::MemSSA::performStat()'],['../classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6',1,'SVF::PTAStat::performStat()'],['../classSVF_1_1SVFStat.html#a77c24aa3409dcbf56f57302f237b1eeb',1,'SVF::SVFStat::performStat()'],['../classSVF_1_1AndersenStat.html#a66fee1c0ee5781152a2d489f8857ad43',1,'SVF::AndersenStat::performStat()'],['../classSVF_1_1FlowSensitiveStat.html#a059047d05e9873a624e333162a460571',1,'SVF::FlowSensitiveStat::performStat()'],['../classSVF_1_1VersionedFlowSensitiveStat.html#af202623692135ad746aed1be995c55fb',1,'SVF::VersionedFlowSensitiveStat::performStat()']]],
-  ['performstatforifds',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
-  ['performstatperquery',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
-  ['performtctstat',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
-  ['performthreadcallgraphstat',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
-  ['persbase',['PersBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a7873d1da786c9ec286266e58504f13b5',1,'SVF::PTData']]],
-  ['persdataflow',['PersDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f',1,'SVF::PTData']]],
-  ['persdfptdataty',['PersDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163',1,'SVF::BVDataPTAImpl']]],
-  ['persdiff',['PersDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03',1,'SVF::PTData']]],
-  ['persdiffptdataty',['PersDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e',1,'SVF::BVDataPTAImpl']]],
-  ['persincdataflow',['PersIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a',1,'SVF::PTData']]],
-  ['persincdfptdataty',['PersIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a29172b3e8b3891a5d946a493cfcde2e7',1,'SVF::BVDataPTAImpl']]],
-  ['persistent',['Persistent',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640',1,'SVF::BVDataPTAImpl']]],
-  ['persistentdfptdata',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html',1,'SVF::PersistentDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4',1,'SVF::PersistentDFPTData::PersistentDFPTData()']]],
-  ['persistentdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
-  ['persistentdiffptdata',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData::PersistentDiffPTData()']]],
-  ['persistentincdfptdata',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html',1,'SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940',1,'SVF::PersistentIncDFPTData::PersistentIncDFPTData()']]],
-  ['persistentincdfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentpointstocache',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF::PersistentPointsToCache< Data >'],['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache::PersistentPointsToCache()']]],
-  ['persistentpointstocache_2eh',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
-  ['persistentpointstocache_3c_20dataset_20_3e',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstocache_3c_20svf_3a_3apointsto_20_3e',['PersistentPointsToCache< SVF::PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstods_2eh',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
-  ['persistentptdata',['PersistentPTData',['../classSVF_1_1PersistentPTData.html',1,'SVF::PersistentPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e',1,'SVF::PersistentPTData::PersistentPTData()']]],
-  ['persistentptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e',['PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
-  ['persistentversionedptdata',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html',1,'SVF::PersistentVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet >'],['../classSVF_1_1PersistentPTData.html#a5a0dfa2e5e989bcb30b913f37e561c35',1,'SVF::PersistentPTData::PersistentVersionedPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61',1,'SVF::PersistentVersionedPTData::PersistentVersionedPTData()']]],
-  ['persptdata',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
-  ['persptdataty',['PersPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1',1,'SVF::BVDataPTAImpl']]],
-  ['persversioned',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
-  ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
-  ['phi',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
-  ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()'],['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()']]],
-  ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
-  ['phistmt',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF::PhiStmt'],['../classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f',1,'SVF::PhiStmt::PhiStmt()'],['../classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b',1,'SVF::PhiStmt::PhiStmt(const PhiStmt &)'],['../classSVF_1_1PhiStmt.html#ac2374acf4477a4bc5d188797ea9baaf3',1,'SVF::PhiStmt::PhiStmt(SVFVar *s, const OPVars &opnds, const OpICFGNodeVec &icfgNodes)']]],
-  ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
-  ['phitime',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
-  ['phivfgnode',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF::PHIVFGNode'],['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode::PHIVFGNode()']]],
-  ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
-  ['plainmappingfs',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
-  ['plus_5finfinity',['plus_infinity',['../classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f',1,'SVF::IntervalValue::plus_infinity()'],['../classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d',1,'SVF::NumericLiteral::plus_infinity()']]],
-  ['pnodek',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['pocralias',['POCRAlias',['../classSVF_1_1POCRAlias.html',1,'SVF::POCRAlias'],['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options::POCRAlias()'],['../classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9',1,'SVF::POCRAlias::POCRAlias()']]],
-  ['pocrsolver',['POCRSolver',['../classSVF_1_1POCRSolver.html',1,'SVF']]],
-  ['pointee_5fiter',['pointee_iter',['../structSVF_1_1pointee__iter.html',1,'SVF::pointee_iter< WrappedIteratorT, T >'],['../structSVF_1_1pointee__iter.html#a99d911b02890643ba8680b140999b59e',1,'SVF::pointee_iter::pointee_iter()=default'],['../structSVF_1_1pointee__iter.html#a77dce78a5bd0330658dc75a38c3fc329',1,'SVF::pointee_iter::pointee_iter(U &&u)']]],
-  ['pointer',['pointer',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aff5a4ee71f88ab9b0e1851d6e41e294f',1,'SVF::PointsTo::PointsToIterator::pointer()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5',1,'SVF::CoreBitVector::CoreBitVectorIterator::pointer()'],['../classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b',1,'SVF::iter_facade_base::pointer()']]],
-  ['pointer_5fiterator',['pointer_iterator',['../classSVF_1_1pointer__iterator.html',1,'SVF::pointer_iterator< WrappedIteratorT, T >'],['../classSVF_1_1pointer__iterator.html#aad755d2a1529f02fa405434df1329236',1,'SVF::pointer_iterator::pointer_iterator()=default'],['../classSVF_1_1pointer__iterator.html#a90b49a39706f22db66f33c5e527235e9',1,'SVF::pointer_iterator::pointer_iterator(WrappedIteratorT u)']]],
-  ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html',1,'SVF::PointerAnalysis'],['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis::PointerAnalysis()']]],
-  ['pointeranalysis_2ecpp',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
-  ['pointeranalysis_2eh',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
-  ['pointeranalysisimpl_2ecpp',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
-  ['pointeranalysisimpl_2eh',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
-  ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../classSVF_1_1PointsTo.html#aca4e7e88f2e1ec87a9576cc6c866adde',1,'SVF::PointsTo::PointsTo()'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a57e22bb2a181ccb56908130204d801a2',1,'SVF::PointsTo::PointsTo(PointsTo &&pt) noexcept'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
-  ['pointsto_2ecpp',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
-  ['pointsto_2eh',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
-  ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
-  ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html',1,'SVF::PointsTo::PointsToIterator'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abd2c3366cbb4f24b2e0bc30ea282b752',1,'SVF::PointsTo::PointsToIterator::PointsToIterator()=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a1a0dac39cfd8321d8b24502e6a6068f7',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt) noexcept'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
-  ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
-  ['pop',['pop',['../classSVF_1_1Wto.html#a746dcb4c1310080d6b3368157b3a2cc4',1,'SVF::Wto::pop()'],['../classSVF_1_1CFLFIFOWorkList.html#a8ccf884ed6bc0d172f3c2999717f9cff',1,'SVF::CFLFIFOWorkList::pop()'],['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
-  ['popfromctpworklist',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
-  ['popfromctsworklist',['popFromCTSWorkList',['../classSVF_1_1LockAnalysis.html#a469bf90e852061a7cd8551066d6be0d1',1,'SVF::LockAnalysis::popFromCTSWorkList()'],['../classSVF_1_1MHP.html#ad8d3aa1a12fb1e8668eb4138fbe23b7d',1,'SVF::MHP::popFromCTSWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a4d893583db922444c6a29923bf3d05d3',1,'SVF::ForkJoinAnalysis::popFromCTSWorkList()']]],
-  ['popfromworklist',['popFromWorklist',['../classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e',1,'SVF::CFLSolver::popFromWorklist()'],['../classSVF_1_1SrcSnkSolver.html#aa9e62efa4443fc8a9dfb79d002c5e1ef',1,'SVF::SrcSnkSolver::popFromWorklist()'],['../classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b',1,'SVF::GraphReachSolver::popFromWorklist()'],['../classSVF_1_1WPASolver.html#a20a14ac31fe23d4fe67da15f5cc498df',1,'SVF::WPASolver::popFromWorklist()']]],
-  ['poprecursivecallsites',['popRecursiveCallSites',['../classSVF_1_1ContextDDA.html#a2754d0fd4b168786c990bbf36538b151',1,'SVF::ContextDDA']]],
-  ['populationcounter',['PopulationCounter',['../structSVF_1_1PopulationCounter.html',1,'SVF']]],
-  ['populationcounter_3c_20t_2c_208_20_3e',['PopulationCounter< T, 8 >',['../structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html',1,'SVF']]],
-  ['position',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
-  ['possibilities',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
-  ['possibilitydescription',['PossibilityDescription',['../classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e',1,'OptionBase']]],
-  ['possibilitydescriptions',['PossibilityDescriptions',['../classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c',1,'OptionBase::PossibilityDescriptions()'],['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase::possibilityDescriptions()']]],
-  ['postdominate',['postDominate',['../classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313',1,'SVF::SaberCondAllocator::postDominate()'],['../classSVF_1_1SVFLoopAndDomInfo.html#af66c5a824f9fc2813e2d97e17f9a2e96',1,'SVF::SVFLoopAndDomInfo::postDominate()'],['../classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929',1,'SVF::SVFFunction::postDominate()']]],
-  ['postdominatortree',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
-  ['postprocessnode',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
-  ['prebuffer',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
-  ['precise',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
-  ['predbbs',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
-  ['predicate',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt::Predicate()'],['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt::predicate()']]],
-  ['predictptocc',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
-  ['predinsts',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
-  ['predmap',['predMap',['../classSVF_1_1CFLData.html#a2b4400347283831800ccd3db50230e2c',1,'SVF::CFLData']]],
-  ['preemptivecomplements',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveintersections',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveunions',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
-  ['prelabel',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabeledobjects',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabelingtime',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
-  ['prepassschedule',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
-  ['preprocessbcs',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
-  ['preprocessed',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a14b0b55d397d6f8a5dfe3b574021f801',1,'SVF::LLVMModuleSet']]],
-  ['prev',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
-  ['prevset',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
-  ['primaryvtable',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
-  ['print',['print',['../classSVF_1_1ConstraintGraph.html#aa87bf07fc538c2cf425138727e7acbce',1,'SVF::ConstraintGraph::print()'],['../classSVF_1_1TCT.html#abf2a992a66de9832915b1f959b8988e4',1,'SVF::TCT::print()'],['../classSVF_1_1DCHGraph.html#a5f08ed4cbba3e4b7a348d5ad77664726',1,'SVF::DCHGraph::print()'],['../classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841',1,'SVF::SVFIR::print()'],['../cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5',1,'print(): cJSON.cpp']]],
-  ['print_5farray',['print_array',['../cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16',1,'cJSON.cpp']]],
-  ['print_5fnumber',['print_number',['../cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68',1,'cJSON.cpp']]],
-  ['print_5fobject',['print_object',['../cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd',1,'cJSON.cpp']]],
-  ['print_5fstat',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
-  ['print_5fstring',['print_string',['../cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6',1,'cJSON.cpp']]],
-  ['print_5fstring_5fptr',['print_string_ptr',['../cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb',1,'cJSON.cpp']]],
-  ['print_5fvalue',['print_value',['../cJSON_8cpp.html#a5ba141f183b9abb4b49e38a211299c7e',1,'print_value(const cJSON *const item, printbuffer *const output_buffer): cJSON.cpp'],['../cJSON_8cpp.html#a0cbec0eca3676bc4510138c52e734813',1,'print_value(item, &p): cJSON.cpp']]],
-  ['printaliases',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
-  ['printaliaspairs',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
-  ['printbuffer',['printbuffer',['../structprintbuffer.html',1,'']]],
-  ['printcfl',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
-  ['printcggraph',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
-  ['printch',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
-  ['printcpts',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
-  ['printdchg',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
-  ['printexprvalues',['printExprValues',['../classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0',1,'SVF::ExeState::printExprValues()'],['../classSVF_1_1IntervalExeState.html#aa6adb9becbc2541198708823e3e35c9d',1,'SVF::IntervalExeState::printExprValues()'],['../classSVF_1_1RelExeState.html#a3537b1534a643af880ad6e474e00dc7b',1,'SVF::RelExeState::printExprValues()']]],
-  ['printflattenfields',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9',1,'SVF::SymbolTableInfo']]],
-  ['printgraph',['PrintGraph',['../classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da',1,'SVF::GraphPrinter']]],
-  ['printindcstargets',['printIndCSTargets',['../classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30',1,'SVF::PointerAnalysis::printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets)'],['../classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3',1,'SVF::PointerAnalysis::printIndCSTargets()']]],
-  ['printinterleaving',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
-  ['printinterlev',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
-  ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
-  ['printlockspan',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
-  ['printpathcond',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03',1,'SVF::SaberCondAllocator::printPathCond()']]],
-  ['printpts',['printPts',['../svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829',1,'svf-ex.cpp']]],
-  ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options::PrintQueryPts()']]],
-  ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
-  ['printstat',['printStat',['../classSVF_1_1DDAStat.html#ae6fd32471e0b9bf51233a36676658b49',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#af9c004e3532968ae806a3d344ef885ea',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#ad5fbe23c3374e5b3a45ac5fa4900441a',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a2e0adcfbe233523212e1ffbf5b01ba88',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1SVFStat.html#a178fcefed6ffffc78bbe9b23e0e1babe',1,'SVF::SVFStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
-  ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
-  ['printstats',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
-  ['printtable',['printTable',['../classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b',1,'SVF::IntervalExeState::printTable(const VarToValMap &table, std::ostream &oss) const'],['../classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa',1,'SVF::IntervalExeState::printTable(const VarToVAddrs &table, std::ostream &oss) const']]],
-  ['printtdfuns',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
-  ['printvalidres',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
-  ['printz3stat',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],
-  ['processaddr',['processAddr',['../classSVF_1_1Andersen.html#aca095e135edb5d27efe76bb7ee71184c',1,'SVF::Andersen::processAddr()'],['../classSVF_1_1AndersenSCD.html#a52704e25a1e3b30ddf8676811f4e1584',1,'SVF::AndersenSCD::processAddr()'],['../classSVF_1_1FlowSensitive.html#abb37c5e4e6fa4742e8dbcf397aea086e',1,'SVF::FlowSensitive::processAddr()']]],
-  ['processalladdr',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
-  ['processarguments',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
-  ['processce',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
-  ['processcfledge',['processCFLEdge',['../classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102',1,'SVF::CFLSolver']]],
-  ['processcopy',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
-  ['processfunbody',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
-  ['processfunentry',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b',1,'SVF::ICFGBuilder']]],
-  ['processfunexit',['processFunExit',['../classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3',1,'SVF::ICFGBuilder']]],
-  ['processgep',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
-  ['processgeppts',['processGepPts',['../classSVF_1_1ContextDDA.html#aefd2b50015aa98fa88a508e3ed1d402a',1,'SVF::ContextDDA::processGepPts()'],['../classSVF_1_1DDAVFSolver.html#ab10a34efa1acb6125ea32cf7a8cf919f',1,'SVF::DDAVFSolver::processGepPts()'],['../classSVF_1_1FlowDDA.html#ac48be374351dad54ee2418dde841cf24',1,'SVF::FlowDDA::processGepPts()'],['../classSVF_1_1Andersen.html#ac6b1efcaadfed48c226701ecf6bac55e',1,'SVF::Andersen::processGepPts()'],['../classSVF_1_1AndersenSFR.html#a654abe596f1f6f33e2373503af1f5038',1,'SVF::AndersenSFR::processGepPts()']]],
-  ['processgraph',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
-  ['processload',['processLoad',['../classSVF_1_1Andersen.html#abc20264231658b99998bc4af1f03a4de',1,'SVF::Andersen::processLoad()'],['../classSVF_1_1FlowSensitive.html#a9968530b3dee876f55e6659530decf27',1,'SVF::FlowSensitive::processLoad()'],['../classSVF_1_1VersionedFlowSensitive.html#a1d1f71c41cc3e81e636b58f4436e6d9b',1,'SVF::VersionedFlowSensitive::processLoad()']]],
-  ['processnode',['processNode',['../classSVF_1_1Andersen.html#a1caa6fa0740f4fa789d960a5a6fcb9c1',1,'SVF::Andersen::processNode()'],['../classSVF_1_1AndersenWaveDiff.html#afa1055cda6c910b24480505efd205895',1,'SVF::AndersenWaveDiff::processNode()'],['../classSVF_1_1FlowSensitive.html#a0b9eedcac68088f924100406d006bc56',1,'SVF::FlowSensitive::processNode()'],['../classSVF_1_1VersionedFlowSensitive.html#a8cad0df2ae7df81dc2a966e694a0f7a2',1,'SVF::VersionedFlowSensitive::processNode()'],['../classSVF_1_1WPASolver.html#abd7fd785e70f66d394088101d78598ca',1,'SVF::WPASolver::processNode()']]],
-  ['processphi',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
-  ['processpwc',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
-  ['processstore',['processStore',['../classSVF_1_1Andersen.html#ac262d42d45dc6130cb031d5b0ed1f024',1,'SVF::Andersen::processStore()'],['../classSVF_1_1FlowSensitive.html#aa37d591d2d4f65957e840bef4d142a6a',1,'SVF::FlowSensitive::processStore()'],['../classSVF_1_1VersionedFlowSensitive.html#aa96f517740420665168e9b0c7d2347f1',1,'SVF::VersionedFlowSensitive::processStore()']]],
-  ['processsvfgnode',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
-  ['processtime',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
-  ['production',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288',1,'SVF::CFLSolver::Production()']]],
-  ['productions',['Productions',['../classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d',1,'SVF::GrammarBase']]],
-  ['progslice',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF::ProgSlice'],['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice::ProgSlice()']]],
-  ['progslice_2ecpp',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
-  ['progslice_2eh',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
-  ['propagate',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
-  ['propagatefromaptofp',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
-  ['propagatefromfrtoar',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
-  ['propagateversion',['propagateVersion',['../classSVF_1_1VersionedFlowSensitive.html#a7a98162b69de90f80ce853a6ff43af56',1,'SVF::VersionedFlowSensitive::propagateVersion(NodeID o, Version v)'],['../classSVF_1_1VersionedFlowSensitive.html#ad1aa83a71379164d3b7ccf6b61639cb1',1,'SVF::VersionedFlowSensitive::propagateVersion(const NodeID o, const Version v, const Version vp, bool time=true)']]],
-  ['propagateviaobj',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
-  ['propagationtime',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propalongdirectedge',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
-  ['propalongindirectedge',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
-  ['propaptsmap',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propdfintoin',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
-  ['propdfouttoin',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
-  ['propertycomplements',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
-  ['propertyintersections',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
-  ['propertyunions',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
-  ['propfromsrctodst',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
-  ['propvarptsaftercgupdated',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
-  ['propvarptsfromsrctodst',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
-  ['protectedbycommonlocks',['protectedByCommonLocks',['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks()'],['../classSVF_1_1RaceValidator.html#ab95520388bafe1efae63196400350690',1,'SVF::RaceValidator::protectedByCommonLocks()'],['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks()']]],
-  ['prunealiasmhp',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
-  ['prunethreadlocal',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
-  ['pstat',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
-  ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta',['pta',['../classSVF_1_1CFLStat.html#a6fc506f947be6c9309cc8914c6a8c3e0',1,'SVF::CFLStat::pta()'],['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
-  ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
-  ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
-  ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
-  ['ptacallgraphnode',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html',1,'SVF::PTACallGraphNode'],['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode::PTACallGraphNode()']]],
-  ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
-  ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#ac71ae72012a8d2a2d3a4183f6681ad61',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
-  ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
-  ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
-  ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
-  ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
-  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
-  ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
-  ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
-  ['ptdata',['PTData',['../classSVF_1_1PTData.html',1,'SVF::PTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData::PTData()']]],
-  ['ptdata_3c_20versionedkey_2c_20versionedkeyset_2c_20data_2c_20dataset_20_3e',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]],
-  ['ptdatabacking',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
-  ['ptdataty',['PTDataTy',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848',1,'SVF::PTData::PTDataTy()'],['../classSVF_1_1DiffPTData.html#a76b2abf95bf425044e8a6c4141bd470b',1,'SVF::DiffPTData::PTDataTy()'],['../classSVF_1_1DFPTData.html#aabbe54f196e27d70a3b0348e87b9990f',1,'SVF::DFPTData::PTDataTy()'],['../classSVF_1_1VersionedPTData.html#af22e10c7406708cd7e40018b0c935111',1,'SVF::VersionedPTData::PTDataTy()'],['../classSVF_1_1MutablePTData.html#a9e69cb846a8d2da102981d1f48cb16dd',1,'SVF::MutablePTData::PTDataTy()'],['../classSVF_1_1MutableDiffPTData.html#a9d829f0eab7f5ecf1a1d7eaf5f47daf6',1,'SVF::MutableDiffPTData::PTDataTy()'],['../classSVF_1_1MutableDFPTData.html#af3074a07345844ecd97e420218b39255',1,'SVF::MutableDFPTData::PTDataTy()'],['../classSVF_1_1MutableIncDFPTData.html#a5f1715813082c1f02d6888b9ec32a75e',1,'SVF::MutableIncDFPTData::PTDataTy()'],['../classSVF_1_1MutableVersionedPTData.html#af7bf99aeb752c4216a60d1fa5187b49e',1,'SVF::MutableVersionedPTData::PTDataTy()'],['../classSVF_1_1PersistentPTData.html#a64864dcc7ec8a26244cdfbe8c25886a2',1,'SVF::PersistentPTData::PTDataTy()'],['../classSVF_1_1PersistentDiffPTData.html#a778e8374e15bba331f1be99594970812',1,'SVF::PersistentDiffPTData::PTDataTy()'],['../classSVF_1_1PersistentDFPTData.html#abb11d9bd24cb587bba6f762ab49b07c8',1,'SVF::PersistentDFPTData::PTDataTy()'],['../classSVF_1_1PersistentIncDFPTData.html#a440e0e1e1e449d5514dbc3f8a0da90d7',1,'SVF::PersistentIncDFPTData::PTDataTy()'],['../classSVF_1_1PersistentVersionedPTData.html#a6051aa255081543388a8f9077012834c',1,'SVF::PersistentVersionedPTData::PTDataTy()'],['../classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483',1,'SVF::BVDataPTAImpl::PTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a761f8a7c6ab4a160e279e9a831f037b1',1,'SVF::CondPTAImpl::PTDataTy()']]],
-  ['ptdty',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
-  ['ptnumstatmap',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
-  ['ptrelementtype',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
-  ['ptrinuncalledfun',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
-  ['ptrinuncalledfunction',['ptrInUncalledFunction',['../classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6',1,'SVF::SVFValue']]],
-  ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
-  ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
-  ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
-  ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
-  ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
-  ['ptsallprint',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
-  ['ptsmap',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()'],['../classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e',1,'SVF::MutablePTData::PtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf',1,'SVF::MutableDiffPTData::PtsMap()'],['../classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205',1,'SVF::MutableDFPTData::PtsMap()'],['../classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291',1,'SVF::FlowSensitive::PtsMap()'],['../classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e',1,'SVF::FlowSensitiveStat::PtsMap()']]],
-  ['ptsmapconstiter',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
-  ['ptsmapiter',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
-  ['ptsprint',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
-  ['ptssizestat',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['ptstoid',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
-  ['ptstoidmap',['PTSToIDMap',['../classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943',1,'SVF::PersistentPointsToCache']]],
-  ['ptstonodebs',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
-  ['ptstorepptssetmap',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae',1,'SVF::MRGenerator']]],
-  ['ptstosubptsmap',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]],
-  ['pttype',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
-  ['pure_5fabstract',['PURE_ABSTRACT',['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()'],['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()']]],
-  ['purevirtualfunname',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
-  ['push',['push',['../classSVF_1_1Wto.html#ad23015d9c2273b041b5df7d7d10cd7fa',1,'SVF::Wto::push()'],['../classSVF_1_1CFLFIFOWorkList.html#af043947e65b5a900df799825f140f75a',1,'SVF::CFLFIFOWorkList::push()'],['../classSVF_1_1List.html#ae6357e876e0a1fa2f925cc63dacc529c',1,'SVF::List::push()'],['../classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474',1,'SVF::FIFOWorkList::push()'],['../classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1',1,'SVF::FILOWorkList::push()']]],
-  ['pushcontext',['pushContext',['../classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884',1,'SVF::ContextCond::pushContext()'],['../classSVF_1_1CxtStmtDPItem.html#a3bb07147466d6ccb397616e1c09fc60b',1,'SVF::CxtStmtDPItem::pushContext()'],['../classSVF_1_1CxtDPItem.html#a31a33a291b4bb688f54572c986c0b845',1,'SVF::CxtDPItem::pushContext()']]],
-  ['pushcxt',['pushCxt',['../classSVF_1_1LockAnalysis.html#ac5993b55304d38e077d19c4ac2d680f0',1,'SVF::LockAnalysis::pushCxt()'],['../classSVF_1_1MHP.html#a68a2ad4480af7d40bd604d81afbc3d0b',1,'SVF::MHP::pushCxt()'],['../classSVF_1_1ForkJoinAnalysis.html#a028734f4520172aa5abed48628b44dc3',1,'SVF::ForkJoinAnalysis::pushCxt()'],['../classSVF_1_1TCT.html#a625cd9d7ca85c0581af13e9e0c16960e',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, const SVFInstruction *call, const SVFFunction *callee)'],['../classSVF_1_1TCT.html#aa98a5b427a92eca1e043efcdf7945169',1,'SVF::TCT::pushCxt(CallStrCxt &cxt, CallSiteID csId)']]],
-  ['pushintoworklist',['pushIntoWorklist',['../classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c',1,'SVF::CFLSolver::pushIntoWorklist()'],['../classSVF_1_1SrcSnkSolver.html#a4451d97a06bb74223e2dad0ea04265d7',1,'SVF::SrcSnkSolver::pushIntoWorklist()'],['../classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9',1,'SVF::GraphReachSolver::pushIntoWorklist()'],['../classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58',1,'SVF::WPASolver::pushIntoWorklist()']]],
-  ['pushtoctpworklist',['pushToCTPWorkList',['../classSVF_1_1LockAnalysis.html#a8a6559c998c0b6f8e851d10ae2ab4171',1,'SVF::LockAnalysis::pushToCTPWorkList()'],['../classSVF_1_1TCT.html#a002bac3dc928bc78b94de0ca97b1ec1d',1,'SVF::TCT::pushToCTPWorkList()']]],
-  ['pushtoctsworklist',['pushToCTSWorkList',['../classSVF_1_1LockAnalysis.html#aa5b3666fbaef262981626952f1658736',1,'SVF::LockAnalysis::pushToCTSWorkList()'],['../classSVF_1_1MHP.html#aed7f65ea3f046774eef36602cb41f178',1,'SVF::MHP::pushToCTSWorkList()'],['../classSVF_1_1ForkJoinAnalysis.html#a7ac37e3399aa6e303a6babe8f455aa87',1,'SVF::ForkJoinAnalysis::pushToCTSWorkList()']]],
-  ['pwcdetect',['PWCDetect',['../classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a',1,'SVF::AndersenSCD::PWCDetect()'],['../classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75',1,'SVF::AndersenSFR::PWCDetect()']]],
-  ['pwcreps',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
+  ['validateall',['validateAll',['../classSVF_1_1RaceResultValidator.html#a58e07fcd0d9a611dfd31ab62802c5990',1,'SVF::RaceResultValidator']]],
+  ['validatecxtthread',['validateCxtThread',['../classSVF_1_1MTAResultValidator.html#afa01b108b67ec2ac05a6444b55dbfe01',1,'SVF::MTAResultValidator']]],
+  ['validateinterleaving',['validateInterleaving',['../classSVF_1_1MTAResultValidator.html#a373b5227fbfa82ac070f55db999afb28',1,'SVF::MTAResultValidator']]],
+  ['validatestmtinlock',['validateStmtInLock',['../classSVF_1_1LockResultValidator.html#acddd2f9d118cbf448d92626d281fdaf9',1,'SVF::LockResultValidator']]],
+  ['validatetct',['validateTCT',['../classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be',1,'SVF::MTAResultValidator']]],
+  ['vthdtocxt',['vthdToCxt',['../classSVF_1_1MTAResultValidator.html#a245c967245e5a693eaf7f60782143d7a',1,'SVF::MTAResultValidator']]],
+  ['vthdtocxtmap',['vthdToCxtMap',['../classSVF_1_1MTAResultValidator.html#a1392757f98b54057d33adb125fd48efa',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthd',['vthdTorthd',['../classSVF_1_1MTAResultValidator.html#a7382b2759b01b8382c5e59b21e7e262a',1,'SVF::MTAResultValidator']]],
+  ['vthdtorthdmap',['vthdTorthdMap',['../classSVF_1_1MTAResultValidator.html#a7fc576e83fa259d0ab06d54c3537c4ac',1,'SVF::MTAResultValidator']]]
 ];