svf-tools 1.0.752 → 1.0.754

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

@@ -1,328 +1,330 @@
 var searchData=
 [
-  ['p_4535',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
-  ['pag_4536',['pag',['../classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb',1,'SVF::SVFIRBuilder::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_1PAGBuilderFromFile.html#a79f00ac0ee4a67beec6e7ef45c504e4d',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1SVFIR.html#a98fa25e2b185365e8f1162610c96db4e',1,'SVF::SVFIR::pag()'],['../namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d',1,'SVF::PAG()']]],
-  ['pagbuilderfromfile_4537',['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_4538',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
-  ['pagbuilderfromfile_2eh_4539',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
-  ['pagdotgraph_4540',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
-  ['pagedge_4541',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
-  ['pagedges_4542',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
-  ['pagedgesetty_4543',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
-  ['pagedgetofunmap_4544',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
-  ['pagedgetosetmapty_4545',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
-  ['pagedgetostmtvfgnodemap_4546',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
-  ['pagedgetostmtvfgnodemapty_4547',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
-  ['pagfilename_4548',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
-  ['pagnode_4549',['PAGNode',['../namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea',1,'SVF']]],
-  ['pagnodeset_4550',['PAGNodeSet',['../classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488',1,'SVF::AliasDDAClient::PAGNodeSet()'],['../classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b',1,'SVF::VFG::PAGNodeSet()']]],
-  ['pagnodetoactualparmmap_4551',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmapty_4552',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4',1,'SVF::VFG']]],
-  ['pagnodetoactualretmap_4553',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
-  ['pagnodetoactualretmapty_4554',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemap_4555',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemapty_4556',['PAGNodeToBinaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemap_4557',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemapty_4558',['PAGNodeToBranchVFGNodeMapTy',['../classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemap_4559',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemapty_4560',['PAGNodeToCmpVFGNodeMapTy',['../classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0',1,'SVF::VFG']]],
-  ['pagnodetodefmap_4561',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
-  ['pagnodetodefmapty_4562',['PAGNodeToDefMapTy',['../classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c',1,'SVF::SVFG::PAGNodeToDefMapTy()'],['../classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f',1,'SVF::VFG::PAGNodeToDefMapTy()']]],
-  ['pagnodetoformalparmmap_4563',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
-  ['pagnodetoformalparmmapty_4564',['PAGNodeToFormalParmMapTy',['../classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf',1,'SVF::VFG']]],
-  ['pagnodetoformalretmap_4565',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
-  ['pagnodetoformalretmapty_4566',['PAGNodeToFormalRetMapTy',['../classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241',1,'SVF::VFG']]],
-  ['pagnodetointraphivfgnodemap_4567',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
-  ['pagnodetophivfgnodemapty_4568',['PAGNodeToPHIVFGNodeMapTy',['../classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemap_4569',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemapty_4570',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
-  ['pagprint_4571',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
-  ['pagreadfromtxt_4572',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
-  ['pairheadmap_4573',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
-  ['pairtailmap_4574',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
-  ['pairtoboolmap_4575',['PairToBoolMap',['../classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99',1,'SVF::MTASVFGBuilder']]],
-  ['pairty_4576',['PairTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aa03b48c12ea1a17469ba00651d1e22a8',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
-  ['param_4577',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
-  ['parforedgeset_4578',['ParForEdgeSet',['../classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2',1,'SVF::HareParForEdge::ParForEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#abc4cdc5b401932bf410d26ab4d58ca33',1,'SVF::ThreadCallGraph::ParForEdgeSet()']]],
-  ['parforsites_4579',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
-  ['parforsitesbegin_4580',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
-  ['parforsitesend_4581',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
-  ['parse_5farray_4582',['parse_array',['../cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069',1,'cJSON.cpp']]],
-  ['parse_5fbuffer_4583',['parse_buffer',['../structparse__buffer.html',1,'']]],
-  ['parse_5fhex4_4584',['parse_hex4',['../cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916',1,'cJSON.cpp']]],
-  ['parse_5fnumber_4585',['parse_number',['../cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407',1,'cJSON.cpp']]],
-  ['parse_5fobject_4586',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
-  ['parse_5fstring_4587',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
-  ['parse_5fvalue_4588',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
-  ['parseandsetvalue_4589',['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()']]],
-  ['parseatomaticop_4590',['parseAtomaticOp',['../classSVF_1_1SVFIRBuilder.html#a1865c0300cfa064c5455683e05100bd2',1,'SVF::SVFIRBuilder']]],
-  ['parseextfunctionops_4591',['parseExtFunctionOps',['../classSVF_1_1SVFIRBuilder.html#a082057b80e897227996b616c5fcb4b3e',1,'SVF::SVFIRBuilder']]],
-  ['parsejson_4592',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
-  ['parseoptions_4593',['parseOptions',['../classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5',1,'OptionBase']]],
-  ['parseproductionsstring_4594',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
-  ['parseselfcyclehandleoption_4595',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
-  ['partialalias_4596',['PartialAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6',1,'SVF']]],
-  ['partialbufferoverflowbug_4597',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html',1,'SVF::PartialBufferOverflowBug'],['../classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919',1,'SVF::PartialBufferOverflowBug::PartialBufferOverflowBug()']]],
-  ['partialbufoverflow_4598',['PARTIALBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2',1,'SVF::GenericBug']]],
-  ['partialjoin_4599',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
-  ['partialleak_4600',['PARTIALLEAK',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402',1,'SVF::GenericBug']]],
-  ['partialleakbug_4601',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html',1,'SVF::PartialLeakBug'],['../classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89',1,'SVF::PartialLeakBug::PartialLeakBug()']]],
-  ['partialnullptrdereference_4602',['PARTIALNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64',1,'SVF::GenericBug']]],
-  ['partialnullptrdereferencebug_4603',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html',1,'SVF::PartialNullPtrDereferenceBug'],['../classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db',1,'SVF::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug()']]],
-  ['partialreachable_4604',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
-  ['partitionmrs_4605',['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_4606',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
-  ['pasmsg_4607',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064',1,'SVF::SVFUtil']]],
-  ['path_5fleak_4608',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
-  ['pathallocator_4609',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
-  ['paths_5fdda_4610',['PathS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58',1,'SVF::PointerAnalysis']]],
-  ['pcg_4611',['PCG',['../classSVF_1_1PCG.html',1,'SVF::PCG'],['../classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081',1,'SVF::PCG::PCG()']]],
-  ['pcg_2ecpp_4612',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
-  ['pcg_2eh_4613',['PCG.h',['../PCG_8h.html',1,'']]],
-  ['pctostring_4614',['pcToString',['../classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593',1,'SVF::ConsExeState']]],
-  ['pdtbbsmap_4615',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
-  ['pedgek_4616',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
-  ['peggrammar_2etxt_4617',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
-  ['pegtransfer_4618',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
-  ['performaddingmhpedges_4619',['performAddingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3',1,'SVF::MTASVFGBuilder']]],
-  ['performannotate_4620',['performAnnotate',['../classSVF_1_1MTAAnnotator.html#a4e25b3ef3e4e91f14c35841d0138d888',1,'SVF::MTAAnnotator']]],
-  ['performapistat_4621',['performAPIStat',['../classSVF_1_1ThreadAPI.html#a60fba05298bc3bf43ec786255daba4ba',1,'SVF::ThreadAPI']]],
-  ['performmhppairstat_4622',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
-  ['performremovingmhpedges_4623',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
-  ['performsccstat_4624',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
-  ['performstat_4625',['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_4626',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
-  ['performstatperquery_4627',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
-  ['performtctstat_4628',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
-  ['performthreadcallgraphstat_4629',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
-  ['persbase_4630',['PersBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a7873d1da786c9ec286266e58504f13b5',1,'SVF::PTData']]],
-  ['persdataflow_4631',['PersDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f',1,'SVF::PTData']]],
-  ['persdfptdataty_4632',['PersDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163',1,'SVF::BVDataPTAImpl']]],
-  ['persdiff_4633',['PersDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03',1,'SVF::PTData']]],
-  ['persdiffptdataty_4634',['PersDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e',1,'SVF::BVDataPTAImpl']]],
-  ['persincdataflow_4635',['PersIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a',1,'SVF::PTData']]],
-  ['persincdfptdataty_4636',['PersIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a29172b3e8b3891a5d946a493cfcde2e7',1,'SVF::BVDataPTAImpl']]],
-  ['persistent_4637',['Persistent',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640',1,'SVF::BVDataPTAImpl']]],
-  ['persistentdfptdata_4638',['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_4639',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
-  ['persistentdiffptdata_4640',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData::PersistentDiffPTData()']]],
-  ['persistentincdfptdata_4641',['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_4642',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
-  ['persistentpointstocache_4643',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF::PersistentPointsToCache< Data >'],['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache::PersistentPointsToCache()']]],
-  ['persistentpointstocache_2eh_4644',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
-  ['persistentpointstocache_3c_20dataset_20_3e_4645',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstocache_3c_20svf_3a_3apointsto_20_3e_4646',['PersistentPointsToCache< SVF::PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
-  ['persistentpointstods_2eh_4647',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
-  ['persistentptdata_4648',['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_4649',['PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
-  ['persistentversionedptdata_4650',['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_4651',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
-  ['persptdataty_4652',['PersPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1',1,'SVF::BVDataPTAImpl']]],
-  ['persversioned_4653',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
-  ['persversionedptdataty_4654',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
-  ['phi_4655',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
-  ['phinode_4656',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap_4657',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()']]],
-  ['phiset_4658',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
-  ['phistmt_4659',['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_4660',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
-  ['phitime_4661',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
-  ['phivfgnode_4662',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF::PHIVFGNode'],['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode::PHIVFGNode()']]],
-  ['plainmap_4663',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
-  ['plainmappingfs_4664',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
-  ['plus_5finfinity_4665',['plus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c',1,'SVF::BoundedZ3Expr::plus_infinity()'],['../classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f',1,'SVF::IntervalValue::plus_infinity()'],['../classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d',1,'SVF::NumericLiteral::plus_infinity()']]],
-  ['pnodek_4666',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
-  ['pocralias_4667',['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()']]],
-  ['pocrhybrid_4668',['POCRHybrid',['../classSVF_1_1POCRHybrid.html',1,'SVF::POCRHybrid'],['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options::POCRHybrid()'],['../classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115',1,'SVF::POCRHybrid::POCRHybrid()']]],
-  ['pocrhybridsolver_4669',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html',1,'SVF::POCRHybridSolver'],['../classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac',1,'SVF::POCRHybridSolver::POCRHybridSolver()']]],
-  ['pocrsolver_4670',['POCRSolver',['../classSVF_1_1POCRSolver.html',1,'SVF::POCRSolver'],['../classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6',1,'SVF::POCRSolver::POCRSolver()']]],
-  ['pointee_5fiter_4671',['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_4672',['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_4673',['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_4674',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html',1,'SVF::PointerAnalysis'],['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis::PointerAnalysis()']]],
-  ['pointeranalysis_2ecpp_4675',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
-  ['pointeranalysis_2eh_4676',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
-  ['pointeranalysisimpl_2ecpp_4677',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
-  ['pointeranalysisimpl_2eh_4678',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
-  ['pointertype_4679',['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_4680',['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_4681',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
-  ['pointsto_2eh_4682',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
-  ['pointstoid_4683',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
-  ['pointstoiterator_4684',['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_4685',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
-  ['pop_4686',['pop',['../classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35',1,'SVF::CFBasicBlockGWTO::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_4687',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
-  ['popfromctsworklist_4688',['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_4689',['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_4690',['popRecursiveCallSites',['../classSVF_1_1ContextDDA.html#a2754d0fd4b168786c990bbf36538b151',1,'SVF::ContextDDA']]],
-  ['populationcounter_4691',['PopulationCounter',['../structSVF_1_1PopulationCounter.html',1,'SVF']]],
-  ['populationcounter_3c_20t_2c_208_20_3e_4692',['PopulationCounter< T, 8 >',['../structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html',1,'SVF']]],
-  ['position_4693',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
-  ['possibilities_4694',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
-  ['possibilitydescription_4695',['PossibilityDescription',['../classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e',1,'OptionBase']]],
-  ['possibilitydescriptions_4696',['PossibilityDescriptions',['../classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c',1,'OptionBase::PossibilityDescriptions()'],['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase::possibilityDescriptions()']]],
-  ['postdominate_4697',['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_4698',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
-  ['postprocessnode_4699',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
-  ['prebuffer_4700',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
-  ['precise_4701',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
-  ['predbbs_4702',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
-  ['predicate_4703',['Predicate',['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt::Predicate()'],['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt::predicate()']]],
-  ['predictptocc_4704',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
-  ['predinsts_4705',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
-  ['predmap_4706',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
-  ['preemptivecomplements_4707',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveintersections_4708',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveunions_4709',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
-  ['prelabel_4710',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabeledobjects_4711',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabelingtime_4712',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
-  ['prepassschedule_4713',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
-  ['preprocessbcs_4714',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
-  ['preprocessed_4715',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
-  ['preprocessextcall_4716',['preProcessExtCall',['../classSVF_1_1SVFIRBuilder.html#a1d168cf5e868a53ddaefc7d01531197a',1,'SVF::SVFIRBuilder']]],
-  ['prev_4717',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
-  ['prevset_4718',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
-  ['primaryvtable_4719',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
-  ['print_4720',['print',['../classSVF_1_1DCHGraph.html#a5f08ed4cbba3e4b7a348d5ad77664726',1,'SVF::DCHGraph::print()'],['../classSVF_1_1ConstraintGraph.html#aa87bf07fc538c2cf425138727e7acbce',1,'SVF::ConstraintGraph::print()'],['../classSVF_1_1TCT.html#abf2a992a66de9832915b1f959b8988e4',1,'SVF::TCT::print()'],['../classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841',1,'SVF::SVFIR::print()'],['../classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615',1,'SVF::SVFType::print()'],['../classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f',1,'SVF::SVFPointerType::print()'],['../classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0',1,'SVF::SVFIntegerType::print()'],['../classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc',1,'SVF::SVFFunctionType::print()'],['../classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b',1,'SVF::SVFStructType::print()'],['../classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349',1,'SVF::SVFArrayType::print()'],['../classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97',1,'SVF::SVFOtherType::print()'],['../cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5',1,'print(): cJSON.cpp']]],
-  ['print_5farray_4721',['print_array',['../cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16',1,'cJSON.cpp']]],
-  ['print_5fnumber_4722',['print_number',['../cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68',1,'cJSON.cpp']]],
-  ['print_5fobject_4723',['print_object',['../cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd',1,'cJSON.cpp']]],
-  ['print_5fstat_4724',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
-  ['print_5fstring_4725',['print_string',['../cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6',1,'cJSON.cpp']]],
-  ['print_5fstring_5fptr_4726',['print_string_ptr',['../cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb',1,'cJSON.cpp']]],
-  ['print_5fvalue_4727',['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_4728',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
-  ['printaliaspairs_4729',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
-  ['printbuffer_4730',['printbuffer',['../structprintbuffer.html',1,'']]],
-  ['printbugtoterminal_4731',['printBugToTerminal',['../classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948',1,'SVF::GenericBug::printBugToTerminal()'],['../classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212',1,'SVF::BufferOverflowBug::printBugToTerminal()'],['../classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791',1,'SVF::NeverFreeBug::printBugToTerminal()'],['../classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4',1,'SVF::PartialLeakBug::printBugToTerminal()'],['../classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9',1,'SVF::DoubleFreeBug::printBugToTerminal()'],['../classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388',1,'SVF::FileNeverCloseBug::printBugToTerminal()'],['../classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99',1,'SVF::FilePartialCloseBug::printBugToTerminal()'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723',1,'SVF::FullNullPtrDereferenceBug::printBugToTerminal()'],['../classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456',1,'SVF::PartialNullPtrDereferenceBug::printBugToTerminal()']]],
-  ['printcfl_4732',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
-  ['printcggraph_4733',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
-  ['printch_4734',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
-  ['printcpts_4735',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
-  ['printdchg_4736',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
-  ['printexprvalues_4737',['printExprValues',['../classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa',1,'SVF::ConsExeState::printExprValues() const'],['../classSVF_1_1ConsExeState.html#ab172f00fe38fbef532d97da5e7285535',1,'SVF::ConsExeState::printExprValues(std::ostream &oss) const override'],['../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_4738',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9',1,'SVF::SymbolTableInfo']]],
-  ['printgraph_4739',['PrintGraph',['../classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da',1,'SVF::GraphPrinter']]],
-  ['printindcstargets_4740',['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_4741',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
-  ['printinterlev_4742',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
-  ['printlocks_4743',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
-  ['printlockspan_4744',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
-  ['printpathcond_4745',['printPathCond',['../classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03',1,'SVF::SaberCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options::PrintPathCond()']]],
-  ['printpts_4746',['printPts',['../svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829',1,'svf-ex.cpp']]],
-  ['printquerypts_4747',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options::PrintQueryPts()']]],
-  ['printresults_4748',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
-  ['printstat_4749',['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_4750',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
-  ['printstats_4751',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
-  ['printtable_4752',['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_4753',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
-  ['printvalidres_4754',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
-  ['printz3stat_4755',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],
-  ['processaddr_4756',['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_4757',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
-  ['processarguments_4758',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
-  ['processce_4759',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
-  ['processcfledge_4760',['processCFLEdge',['../classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102',1,'SVF::CFLSolver::processCFLEdge()'],['../classSVF_1_1POCRSolver.html#a7222e42a006c25df112f66b346e813f1',1,'SVF::POCRSolver::processCFLEdge()'],['../classSVF_1_1POCRHybridSolver.html#afd7645f877ba1bfecccd194bbca094d7',1,'SVF::POCRHybridSolver::processCFLEdge()']]],
-  ['processcopy_4761',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
-  ['processfunbody_4762',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
-  ['processfunentry_4763',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b',1,'SVF::ICFGBuilder']]],
-  ['processfunexit_4764',['processFunExit',['../classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3',1,'SVF::ICFGBuilder']]],
-  ['processgep_4765',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
-  ['processgeppts_4766',['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_4767',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
-  ['processload_4768',['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_4769',['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_4770',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
-  ['processpwc_4771',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
-  ['processstore_4772',['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_4773',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
-  ['processtime_4774',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
-  ['production_4775',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288',1,'SVF::CFLSolver::Production()']]],
-  ['productions_4776',['Productions',['../classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d',1,'SVF::GrammarBase']]],
-  ['progslice_4777',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF::ProgSlice'],['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice::ProgSlice()']]],
-  ['progslice_2ecpp_4778',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
-  ['progslice_2eh_4779',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
-  ['propagate_4780',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
-  ['propagatefromaptofp_4781',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
-  ['propagatefromfrtoar_4782',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
-  ['propagateversion_4783',['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_4784',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
-  ['propagationtime_4785',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propalongdirectedge_4786',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
-  ['propalongindirectedge_4787',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
-  ['propaptsmap_4788',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propdfintoin_4789',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
-  ['propdfouttoin_4790',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
-  ['propertycomplements_4791',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
-  ['propertyintersections_4792',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
-  ['propertyunions_4793',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
-  ['propfromsrctodst_4794',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
-  ['propvarptsaftercgupdated_4795',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
-  ['propvarptsfromsrctodst_4796',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
-  ['protectedbycommonlocks_4797',['protectedByCommonLocks',['../classSVF_1_1RaceValidator.html#ab95520388bafe1efae63196400350690',1,'SVF::RaceValidator::protectedByCommonLocks()'],['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks(const Instruction *I1, const Instruction *I2)']]],
-  ['prunealiasmhp_4798',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
-  ['prunethreadlocal_4799',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
-  ['pstat_4800',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
-  ['pt_4801',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta_4802',['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_4803',['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_4804',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
-  ['ptacallgraph_2eh_4805',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
-  ['ptacallgraphedge_4806',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
-  ['ptacallgraphnode_4807',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html',1,'SVF::PTACallGraphNode'],['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode::PTACallGraphNode()']]],
-  ['ptacgnodeset_4808',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty_4809',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
-  ['ptaname_4810',['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_4811',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
-  ['ptastat_2ecpp_4812',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
-  ['ptastat_2eh_4813',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
-  ['ptaty_4814',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
-  ['ptavector_4815',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
-  ['ptbackingtype_4816',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
-  ['ptcache_4817',['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_4818',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
-  ['ptdata_4819',['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_4820',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]],
-  ['ptdatabacking_4821',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
-  ['ptdataty_4822',['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_4823',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
-  ['ptnumstatmap_4824',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr_4825',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
-  ['ptrelementtype_4826',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
-  ['ptrinuncalledfun_4827',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
-  ['ptrinuncalledfunction_4828',['ptrInUncalledFunction',['../classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6',1,'SVF::SVFValue']]],
-  ['ptronlymssa_4829',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
-  ['ptronlysvfg_4830',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
-  ['ptronlysvfg_5fopt_4831',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrpool_4832',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
-  ['ptrtobvptsmap_4833',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
-  ['ptrtocptsmap_4834',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
-  ['ptrtoid_4835',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
-  ['ptrtonsmap_4836',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
-  ['ptsallprint_4837',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
-  ['ptsmap_4838',['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_4839',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
-  ['ptsmapiter_4840',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
-  ['ptsprint_4841',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
-  ['ptssizestat_4842',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['ptstoid_4843',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
-  ['ptstoidmap_4844',['PTSToIDMap',['../classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943',1,'SVF::PersistentPointsToCache']]],
-  ['ptstonodebs_4845',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
-  ['ptstorepptssetmap_4846',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae',1,'SVF::MRGenerator']]],
-  ['ptstosubptsmap_4847',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]],
-  ['pttype_4848',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
-  ['pure_5fabstract_4849',['PURE_ABSTRACT',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()']]],
-  ['purevirtualfunname_4850',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
-  ['push_4851',['push',['../classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923',1,'SVF::CFBasicBlockGWTO::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()']]],
-  ['push_5fback_4852',['push_back',['../classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca',1,'SVF::WTOCycleDepth']]],
-  ['pushcontext_4853',['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_4854',['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_4855',['pushIntoWorklist',['../classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34',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_4856',['pushToCTPWorkList',['../classSVF_1_1LockAnalysis.html#a8a6559c998c0b6f8e851d10ae2ab4171',1,'SVF::LockAnalysis::pushToCTPWorkList()'],['../classSVF_1_1TCT.html#a002bac3dc928bc78b94de0ca97b1ec1d',1,'SVF::TCT::pushToCTPWorkList()']]],
-  ['pushtoctsworklist_4857',['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_4858',['PWCDetect',['../classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a',1,'SVF::AndersenSCD::PWCDetect()'],['../classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75',1,'SVF::AndersenSFR::PWCDetect()']]],
-  ['pwcreps_4859',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
+  ['p_4538',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
+  ['pag_4539',['pag',['../classSVF_1_1SVFIRBuilder.html#a4ea94b0a8d6da904ff9a6c1b0341b9cb',1,'SVF::SVFIRBuilder::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_1PAGBuilderFromFile.html#a79f00ac0ee4a67beec6e7ef45c504e4d',1,'SVF::PAGBuilderFromFile::pag()'],['../classSVF_1_1SVFIR.html#a98fa25e2b185365e8f1162610c96db4e',1,'SVF::SVFIR::pag()'],['../namespaceSVF.html#ac47d39fb505e8ed8d2c6b6b318be5f4d',1,'SVF::PAG()']]],
+  ['pagbuilderfromfile_4540',['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_4541',['PAGBuilderFromFile.cpp',['../PAGBuilderFromFile_8cpp.html',1,'']]],
+  ['pagbuilderfromfile_2eh_4542',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
+  ['pagdotgraph_4543',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
+  ['pagedge_4544',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../namespaceSVF.html#ae6ead95a66f69e1e4cfa1159f868a152',1,'SVF::PAGEdge()']]],
+  ['pagedges_4545',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
+  ['pagedgesetty_4546',['PAGEdgeSetTy',['../classSVF_1_1SVFStmt.html#a2bdfa37167b5496629e5cae62705d5f2',1,'SVF::SVFStmt']]],
+  ['pagedgetofunmap_4547',['PAGEdgeToFunMap',['../classSVF_1_1MRGenerator.html#a82be01b460a498c07fb6a8aba853ed31',1,'SVF::MRGenerator::PAGEdgeToFunMap()'],['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator::pagEdgeToFunMap()']]],
+  ['pagedgetosetmapty_4548',['PAGEdgeToSetMapTy',['../classSVF_1_1SVFStmt.html#a229c78147511f2a581c761552179b6fa',1,'SVF::SVFStmt']]],
+  ['pagedgetostmtvfgnodemap_4549',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
+  ['pagedgetostmtvfgnodemapty_4550',['PAGEdgeToStmtVFGNodeMapTy',['../classSVF_1_1VFG.html#ab37b067a59b52c472a284eabbeba43ff',1,'SVF::VFG']]],
+  ['pagfilename_4551',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
+  ['paggrammar_2etxt_4552',['PAGGrammar.txt',['../PAGGrammar_8txt.html',1,'']]],
+  ['pagnode_4553',['PAGNode',['../namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea',1,'SVF']]],
+  ['pagnodeset_4554',['PAGNodeSet',['../classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488',1,'SVF::AliasDDAClient::PAGNodeSet()'],['../classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b',1,'SVF::VFG::PAGNodeSet()']]],
+  ['pagnodetoactualparmmap_4555',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
+  ['pagnodetoactualparmmapty_4556',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4',1,'SVF::VFG']]],
+  ['pagnodetoactualretmap_4557',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
+  ['pagnodetoactualretmapty_4558',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
+  ['pagnodetobinaryopvfgnodemap_4559',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
+  ['pagnodetobinaryopvfgnodemapty_4560',['PAGNodeToBinaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap_4561',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemapty_4562',['PAGNodeToBranchVFGNodeMapTy',['../classSVF_1_1VFG.html#a6ec1a8b02ece25aa165699e10fac7991',1,'SVF::VFG']]],
+  ['pagnodetocmpvfgnodemap_4563',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
+  ['pagnodetocmpvfgnodemapty_4564',['PAGNodeToCmpVFGNodeMapTy',['../classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0',1,'SVF::VFG']]],
+  ['pagnodetodefmap_4565',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
+  ['pagnodetodefmapty_4566',['PAGNodeToDefMapTy',['../classSVF_1_1SVFG.html#a2590182f3b28c7fc8b2b53c09ec4305c',1,'SVF::SVFG::PAGNodeToDefMapTy()'],['../classSVF_1_1VFG.html#ab9381c54f2339b3738348ae8b0d6659f',1,'SVF::VFG::PAGNodeToDefMapTy()']]],
+  ['pagnodetoformalparmmap_4567',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
+  ['pagnodetoformalparmmapty_4568',['PAGNodeToFormalParmMapTy',['../classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf',1,'SVF::VFG']]],
+  ['pagnodetoformalretmap_4569',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
+  ['pagnodetoformalretmapty_4570',['PAGNodeToFormalRetMapTy',['../classSVF_1_1VFG.html#a52dac90d700a2377b657ec34d3ad2241',1,'SVF::VFG']]],
+  ['pagnodetointraphivfgnodemap_4571',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
+  ['pagnodetophivfgnodemapty_4572',['PAGNodeToPHIVFGNodeMapTy',['../classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4',1,'SVF::VFG']]],
+  ['pagnodetounaryopvfgnodemap_4573',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
+  ['pagnodetounaryopvfgnodemapty_4574',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
+  ['pagprint_4575',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
+  ['pagreadfromtxt_4576',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pairheadmap_4577',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
+  ['pairtailmap_4578',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
+  ['pairtoboolmap_4579',['PairToBoolMap',['../classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99',1,'SVF::MTASVFGBuilder']]],
+  ['pairty_4580',['PairTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#aa03b48c12ea1a17469ba00651d1e22a8',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * >']]],
+  ['param_4581',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
+  ['parforedgeset_4582',['ParForEdgeSet',['../classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2',1,'SVF::HareParForEdge::ParForEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#abc4cdc5b401932bf410d26ab4d58ca33',1,'SVF::ThreadCallGraph::ParForEdgeSet()']]],
+  ['parforsites_4583',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
+  ['parforsitesbegin_4584',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
+  ['parforsitesend_4585',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
+  ['parse_5farray_4586',['parse_array',['../cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069',1,'cJSON.cpp']]],
+  ['parse_5fbuffer_4587',['parse_buffer',['../structparse__buffer.html',1,'']]],
+  ['parse_5fhex4_4588',['parse_hex4',['../cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916',1,'cJSON.cpp']]],
+  ['parse_5fnumber_4589',['parse_number',['../cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407',1,'cJSON.cpp']]],
+  ['parse_5fobject_4590',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
+  ['parse_5fstring_4591',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
+  ['parse_5fvalue_4592',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
+  ['parseandsetvalue_4593',['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()']]],
+  ['parseatomaticop_4594',['parseAtomaticOp',['../classSVF_1_1SVFIRBuilder.html#a1865c0300cfa064c5455683e05100bd2',1,'SVF::SVFIRBuilder']]],
+  ['parseextfunctionops_4595',['parseExtFunctionOps',['../classSVF_1_1SVFIRBuilder.html#a082057b80e897227996b616c5fcb4b3e',1,'SVF::SVFIRBuilder']]],
+  ['parsejson_4596',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
+  ['parseoptions_4597',['parseOptions',['../classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5',1,'OptionBase']]],
+  ['parseproductionsstring_4598',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
+  ['parseselfcyclehandleoption_4599',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
+  ['partialalias_4600',['PartialAlias',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6',1,'SVF']]],
+  ['partialbufferoverflowbug_4601',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html',1,'SVF::PartialBufferOverflowBug'],['../classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919',1,'SVF::PartialBufferOverflowBug::PartialBufferOverflowBug()']]],
+  ['partialbufoverflow_4602',['PARTIALBUFOVERFLOW',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacadb1a72cee4debc5821c1e209b5c85cf2',1,'SVF::GenericBug']]],
+  ['partialjoin_4603',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
+  ['partialleak_4604',['PARTIALLEAK',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecaca1e3de2fab4338b61ce2ebdb9456f5402',1,'SVF::GenericBug']]],
+  ['partialleakbug_4605',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html',1,'SVF::PartialLeakBug'],['../classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89',1,'SVF::PartialLeakBug::PartialLeakBug()']]],
+  ['partialnullptrdereference_4606',['PARTIALNULLPTRDEREFERENCE',['../classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecacade2b0d0e5144ded25391bcfa8fa10c64',1,'SVF::GenericBug']]],
+  ['partialnullptrdereferencebug_4607',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html',1,'SVF::PartialNullPtrDereferenceBug'],['../classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db',1,'SVF::PartialNullPtrDereferenceBug::PartialNullPtrDereferenceBug()']]],
+  ['partialreachable_4608',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
+  ['partitionmrs_4609',['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_4610',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
+  ['pasmsg_4611',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064',1,'SVF::SVFUtil']]],
+  ['path_5fleak_4612',['PATH_LEAK',['../classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda',1,'SVF::LeakChecker']]],
+  ['pathallocator_4613',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
+  ['paths_5fdda_4614',['PathS_DDA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58',1,'SVF::PointerAnalysis']]],
+  ['pcg_4615',['PCG',['../classSVF_1_1PCG.html',1,'SVF::PCG'],['../classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081',1,'SVF::PCG::PCG()']]],
+  ['pcg_2ecpp_4616',['PCG.cpp',['../PCG_8cpp.html',1,'']]],
+  ['pcg_2eh_4617',['PCG.h',['../PCG_8h.html',1,'']]],
+  ['pctostring_4618',['pcToString',['../classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593',1,'SVF::ConsExeState']]],
+  ['pdtbbsmap_4619',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
+  ['pedgek_4620',['PEDGEK',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9',1,'SVF::SVFStmt']]],
+  ['peggrammar_2etxt_4621',['PEGGrammar.txt',['../PEGGrammar_8txt.html',1,'']]],
+  ['pegtransfer_4622',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
+  ['performaddingmhpedges_4623',['performAddingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3',1,'SVF::MTASVFGBuilder']]],
+  ['performannotate_4624',['performAnnotate',['../classSVF_1_1MTAAnnotator.html#a4e25b3ef3e4e91f14c35841d0138d888',1,'SVF::MTAAnnotator']]],
+  ['performapistat_4625',['performAPIStat',['../classSVF_1_1ThreadAPI.html#a60fba05298bc3bf43ec786255daba4ba',1,'SVF::ThreadAPI']]],
+  ['performmhppairstat_4626',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
+  ['performremovingmhpedges_4627',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
+  ['performsccstat_4628',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
+  ['performstat_4629',['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_4630',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
+  ['performstatperquery_4631',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
+  ['performtctstat_4632',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
+  ['performthreadcallgraphstat_4633',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
+  ['persbase_4634',['PersBase',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a7873d1da786c9ec286266e58504f13b5',1,'SVF::PTData']]],
+  ['persdataflow_4635',['PersDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f',1,'SVF::PTData']]],
+  ['persdfptdataty_4636',['PersDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163',1,'SVF::BVDataPTAImpl']]],
+  ['persdiff_4637',['PersDiff',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03',1,'SVF::PTData']]],
+  ['persdiffptdataty_4638',['PersDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e',1,'SVF::BVDataPTAImpl']]],
+  ['persincdataflow_4639',['PersIncDataFlow',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a',1,'SVF::PTData']]],
+  ['persincdfptdataty_4640',['PersIncDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a29172b3e8b3891a5d946a493cfcde2e7',1,'SVF::BVDataPTAImpl']]],
+  ['persistent_4641',['Persistent',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8aaeda0ee502cc42a07c64c6f09296b6640',1,'SVF::BVDataPTAImpl']]],
+  ['persistentdfptdata_4642',['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_4643',['PersistentDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#aea8bb6da9d6d5a4ed65168aceee2f85a',1,'SVF::PersistentPTData']]],
+  ['persistentdiffptdata_4644',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html',1,'SVF::PersistentDiffPTData< Key, KeySet, Data, DataSet >'],['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData::PersistentDiffPTData()']]],
+  ['persistentincdfptdata_4645',['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_4646',['PersistentIncDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html#a8386ddd5a45bd490860685ca18543287',1,'SVF::PersistentPTData']]],
+  ['persistentpointstocache_4647',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF::PersistentPointsToCache< Data >'],['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache::PersistentPointsToCache()']]],
+  ['persistentpointstocache_2eh_4648',['PersistentPointsToCache.h',['../PersistentPointsToCache_8h.html',1,'']]],
+  ['persistentpointstocache_3c_20dataset_20_3e_4649',['PersistentPointsToCache< DataSet >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
+  ['persistentpointstocache_3c_20svf_3a_3apointsto_20_3e_4650',['PersistentPointsToCache< SVF::PointsTo >',['../classSVF_1_1PersistentPointsToCache.html',1,'SVF']]],
+  ['persistentpointstods_2eh_4651',['PersistentPointsToDS.h',['../PersistentPointsToDS_8h.html',1,'']]],
+  ['persistentptdata_4652',['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_4653',['PersistentPTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PersistentPTData.html',1,'SVF']]],
+  ['persistentversionedptdata_4654',['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_4655',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
+  ['persptdataty_4656',['PersPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae3ba6392560e5c0978335151c3373fd1',1,'SVF::BVDataPTAImpl']]],
+  ['persversioned_4657',['PersVersioned',['../classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03',1,'SVF::PTData']]],
+  ['persversionedptdataty_4658',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
+  ['phi_4659',['PHI',['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()']]],
+  ['phinode_4660',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
+  ['phinodemap_4661',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()']]],
+  ['phiset_4662',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
+  ['phistmt_4663',['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_4664',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
+  ['phitime_4665',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
+  ['phivfgnode_4666',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html',1,'SVF::PHIVFGNode'],['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode::PHIVFGNode()']]],
+  ['plain_4667',['plain',['../namespaceSVF.html#a165cd8904ba9f1ae6e0fa1752ba78caaaac7938d40cfc2307e2bf325d28e7884e',1,'SVF']]],
+  ['plainmap_4668',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
+  ['plainmappingfs_4669',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
+  ['plus_5finfinity_4670',['plus_infinity',['../classSVF_1_1BoundedZ3Expr.html#a9ab647fded972e0d0ed346bc94d0a73c',1,'SVF::BoundedZ3Expr::plus_infinity()'],['../classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f',1,'SVF::IntervalValue::plus_infinity()'],['../classSVF_1_1NumericLiteral.html#a42f5bdc956614b4c431f7045f744ac7d',1,'SVF::NumericLiteral::plus_infinity()']]],
+  ['pnodek_4671',['PNODEK',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeff',1,'SVF::SVFVar']]],
+  ['pocralias_4672',['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()']]],
+  ['pocrhybrid_4673',['POCRHybrid',['../classSVF_1_1POCRHybrid.html',1,'SVF::POCRHybrid'],['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options::POCRHybrid()'],['../classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115',1,'SVF::POCRHybrid::POCRHybrid()']]],
+  ['pocrhybridsolver_4674',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html',1,'SVF::POCRHybridSolver'],['../classSVF_1_1POCRHybridSolver.html#a3b4c9694d1489abd8b2b57418670715f',1,'SVF::POCRHybridSolver::POCRHybridSolver()']]],
+  ['pocrsolver_4675',['POCRSolver',['../classSVF_1_1POCRSolver.html',1,'SVF::POCRSolver'],['../classSVF_1_1POCRSolver.html#ac9a41a439655caa32c5ce15e2b9c1607',1,'SVF::POCRSolver::POCRSolver()']]],
+  ['pointee_5fiter_4676',['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_4677',['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_4678',['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_4679',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html',1,'SVF::PointerAnalysis'],['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis::PointerAnalysis()']]],
+  ['pointeranalysis_2ecpp_4680',['PointerAnalysis.cpp',['../PointerAnalysis_8cpp.html',1,'']]],
+  ['pointeranalysis_2eh_4681',['PointerAnalysis.h',['../PointerAnalysis_8h.html',1,'']]],
+  ['pointeranalysisimpl_2ecpp_4682',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
+  ['pointeranalysisimpl_2eh_4683',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
+  ['pointertype_4684',['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_4685',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../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)'],['../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']]],
+  ['pointsto_2ecpp_4686',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
+  ['pointsto_2eh_4687',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
+  ['pointstoid_4688',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
+  ['pointstoiterator_4689',['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_4690',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],
+  ['pop_4691',['pop',['../classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35',1,'SVF::CFBasicBlockGWTO::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_4692',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
+  ['popfromctsworklist_4693',['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_4694',['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_4695',['popRecursiveCallSites',['../classSVF_1_1ContextDDA.html#a2754d0fd4b168786c990bbf36538b151',1,'SVF::ContextDDA']]],
+  ['populationcounter_4696',['PopulationCounter',['../structSVF_1_1PopulationCounter.html',1,'SVF']]],
+  ['populationcounter_3c_20t_2c_208_20_3e_4697',['PopulationCounter< T, 8 >',['../structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html',1,'SVF']]],
+  ['position_4698',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
+  ['possibilities_4699',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
+  ['possibilitydescription_4700',['PossibilityDescription',['../classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e',1,'OptionBase']]],
+  ['possibilitydescriptions_4701',['PossibilityDescriptions',['../classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c',1,'OptionBase::PossibilityDescriptions()'],['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase::possibilityDescriptions()']]],
+  ['postdominate_4702',['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_4703',['PostDominatorTree',['../namespaceSVF.html#ab34383ee87cd45eb485fa29db482ffef',1,'SVF']]],
+  ['postprocessnode_4704',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
+  ['prebuffer_4705',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
+  ['precise_4706',['Precise',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394daa6dd95cbf907a36a9ec001af338ec54c',1,'SVF::WPAPass']]],
+  ['predbbs_4707',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
+  ['predicate_4708',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt::predicate()'],['../classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338ac',1,'SVF::CmpStmt::Predicate()']]],
+  ['predictptocc_4709',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
+  ['predinsts_4710',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
+  ['predmap_4711',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
+  ['preemptivecomplements_4712',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveintersections_4713',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveunions_4714',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
+  ['prelabel_4715',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabeledobjects_4716',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabelingtime_4717',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
+  ['prepassschedule_4718',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
+  ['preprocessbcs_4719',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
+  ['preprocessed_4720',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
+  ['preprocessextcall_4721',['preProcessExtCall',['../classSVF_1_1SVFIRBuilder.html#a1d168cf5e868a53ddaefc7d01531197a',1,'SVF::SVFIRBuilder']]],
+  ['prev_4722',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
+  ['prevset_4723',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
+  ['primaryvtable_4724',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
+  ['print_4725',['print',['../classSVF_1_1DCHGraph.html#a5f08ed4cbba3e4b7a348d5ad77664726',1,'SVF::DCHGraph::print()'],['../classSVF_1_1ConstraintGraph.html#aa87bf07fc538c2cf425138727e7acbce',1,'SVF::ConstraintGraph::print()'],['../classSVF_1_1TCT.html#abf2a992a66de9832915b1f959b8988e4',1,'SVF::TCT::print()'],['../classSVF_1_1SVFIR.html#a236b4fefd16e9c793c5bd6d576290841',1,'SVF::SVFIR::print()'],['../classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615',1,'SVF::SVFType::print()'],['../classSVF_1_1SVFPointerType.html#aedbdf4fca0ff69c5eed5b9d87c8dd85f',1,'SVF::SVFPointerType::print()'],['../classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0',1,'SVF::SVFIntegerType::print()'],['../classSVF_1_1SVFFunctionType.html#afed021c0d3027c21807330f5038403cc',1,'SVF::SVFFunctionType::print()'],['../classSVF_1_1SVFStructType.html#ab801eeb012f9c462bca9745afdb2c43b',1,'SVF::SVFStructType::print()'],['../classSVF_1_1SVFArrayType.html#abdee8157ebfbbf181fbd088bdb8a7349',1,'SVF::SVFArrayType::print()'],['../classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97',1,'SVF::SVFOtherType::print()'],['../cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5',1,'print(): cJSON.cpp']]],
+  ['print_5farray_4726',['print_array',['../cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16',1,'cJSON.cpp']]],
+  ['print_5fnumber_4727',['print_number',['../cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68',1,'cJSON.cpp']]],
+  ['print_5fobject_4728',['print_object',['../cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd',1,'cJSON.cpp']]],
+  ['print_5fstat_4729',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
+  ['print_5fstring_4730',['print_string',['../cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6',1,'cJSON.cpp']]],
+  ['print_5fstring_5fptr_4731',['print_string_ptr',['../cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb',1,'cJSON.cpp']]],
+  ['print_5fvalue_4732',['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_4733',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
+  ['printaliaspairs_4734',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
+  ['printbuffer_4735',['printbuffer',['../structprintbuffer.html',1,'']]],
+  ['printbugtoterminal_4736',['printBugToTerminal',['../classSVF_1_1GenericBug.html#aabf06cd1094ddbf7ee419c635f29a948',1,'SVF::GenericBug::printBugToTerminal()'],['../classSVF_1_1BufferOverflowBug.html#ac985d855e598175618b517259b6d3212',1,'SVF::BufferOverflowBug::printBugToTerminal()'],['../classSVF_1_1NeverFreeBug.html#ac20c926cb9a72c5913afcf6877d04791',1,'SVF::NeverFreeBug::printBugToTerminal()'],['../classSVF_1_1PartialLeakBug.html#aa3acf06e90939896a86c449260c2e4b4',1,'SVF::PartialLeakBug::printBugToTerminal()'],['../classSVF_1_1DoubleFreeBug.html#af67320d8ebd56aec6ecddc3f44ec09b9',1,'SVF::DoubleFreeBug::printBugToTerminal()'],['../classSVF_1_1FileNeverCloseBug.html#ae3d9bb5952fa858780ec50148e474388',1,'SVF::FileNeverCloseBug::printBugToTerminal()'],['../classSVF_1_1FilePartialCloseBug.html#a32576eee4de3b4c094c3f8a5501c7b99',1,'SVF::FilePartialCloseBug::printBugToTerminal()'],['../classSVF_1_1FullNullPtrDereferenceBug.html#ae269f1b62e89f8fcca783865d6ce8723',1,'SVF::FullNullPtrDereferenceBug::printBugToTerminal()'],['../classSVF_1_1PartialNullPtrDereferenceBug.html#acc860880d548ea2cf5b63f0f7ad11456',1,'SVF::PartialNullPtrDereferenceBug::printBugToTerminal()']]],
+  ['printcfl_4737',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
+  ['printcggraph_4738',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
+  ['printch_4739',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
+  ['printcpts_4740',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
+  ['printdchg_4741',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
+  ['printexprvalues_4742',['printExprValues',['../classSVF_1_1ConsExeState.html#aa9892fc61571c173598cd73598c589fa',1,'SVF::ConsExeState::printExprValues() const'],['../classSVF_1_1ConsExeState.html#ab172f00fe38fbef532d97da5e7285535',1,'SVF::ConsExeState::printExprValues(std::ostream &oss) const override'],['../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_4743',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9',1,'SVF::SymbolTableInfo']]],
+  ['printgraph_4744',['PrintGraph',['../classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da',1,'SVF::GraphPrinter']]],
+  ['printindcstargets_4745',['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_4746',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
+  ['printinterlev_4747',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
+  ['printlocks_4748',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
+  ['printlockspan_4749',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
+  ['printpathcond_4750',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options::PrintPathCond()'],['../classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03',1,'SVF::SaberCondAllocator::printPathCond()']]],
+  ['printpts_4751',['printPts',['../svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829',1,'svf-ex.cpp']]],
+  ['printquerypts_4752',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options::PrintQueryPts()']]],
+  ['printresults_4753',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
+  ['printstat_4754',['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_4755',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
+  ['printstats_4756',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
+  ['printtable_4757',['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_4758',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
+  ['printvalidres_4759',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
+  ['printz3stat_4760',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],
+  ['processaddr_4761',['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_4762',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
+  ['processarguments_4763',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
+  ['processce_4764',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
+  ['processcfledge_4765',['processCFLEdge',['../classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102',1,'SVF::CFLSolver::processCFLEdge()'],['../classSVF_1_1POCRSolver.html#a7222e42a006c25df112f66b346e813f1',1,'SVF::POCRSolver::processCFLEdge()'],['../classSVF_1_1POCRHybridSolver.html#afd7645f877ba1bfecccd194bbca094d7',1,'SVF::POCRHybridSolver::processCFLEdge()']]],
+  ['processcopy_4766',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
+  ['processfunbody_4767',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
+  ['processfunentry_4768',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b',1,'SVF::ICFGBuilder']]],
+  ['processfunexit_4769',['processFunExit',['../classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3',1,'SVF::ICFGBuilder']]],
+  ['processgep_4770',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
+  ['processgeppts_4771',['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_4772',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
+  ['processload_4773',['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_4774',['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_4775',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
+  ['processpwc_4776',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
+  ['processstore_4777',['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_4778',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
+  ['processtime_4779',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
+  ['production_4780',['Production',['../classSVF_1_1GrammarBase.html#af384c960a5edc576cbfb60a869e346ec',1,'SVF::GrammarBase::Production()'],['../classSVF_1_1CFLSolver.html#a6a0d61a71c25ed2e87c4c15c5175a77e',1,'SVF::CFLSolver::Production()']]],
+  ['productions_4781',['Productions',['../classSVF_1_1GrammarBase.html#a755024745a77509d2f07867be8245a4d',1,'SVF::GrammarBase']]],
+  ['progslice_4782',['ProgSlice',['../classSVF_1_1ProgSlice.html',1,'SVF::ProgSlice'],['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice::ProgSlice()']]],
+  ['progslice_2ecpp_4783',['ProgSlice.cpp',['../ProgSlice_8cpp.html',1,'']]],
+  ['progslice_2eh_4784',['ProgSlice.h',['../ProgSlice_8h.html',1,'']]],
+  ['propagate_4785',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
+  ['propagatefromaptofp_4786',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
+  ['propagatefromfrtoar_4787',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
+  ['propagateversion_4788',['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_4789',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
+  ['propagationtime_4790',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
+  ['propalongdirectedge_4791',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
+  ['propalongindirectedge_4792',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
+  ['propaptsmap_4793',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
+  ['propdfintoin_4794',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
+  ['propdfouttoin_4795',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
+  ['propertycomplements_4796',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
+  ['propertyintersections_4797',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
+  ['propertyunions_4798',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
+  ['propfromsrctodst_4799',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
+  ['propvarptsaftercgupdated_4800',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
+  ['propvarptsfromsrctodst_4801',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
+  ['protectedbycommonlocks_4802',['protectedByCommonLocks',['../classSVF_1_1RaceValidator.html#ab95520388bafe1efae63196400350690',1,'SVF::RaceValidator::protectedByCommonLocks()'],['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks(const Instruction *I1, const Instruction *I2)'],['../classSVF_1_1RaceResultValidator.html#aeb24aa510c7073ef71062e89a11fe00a',1,'SVF::RaceResultValidator::protectedByCommonLocks(const Instruction *I1, const Instruction *I2)']]],
+  ['prunealiasmhp_4803',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
+  ['prunethreadlocal_4804',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
+  ['pstat_4805',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
+  ['pt_4806',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
+  ['pta_4807',['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_4808',['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_4809',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
+  ['ptacallgraph_2eh_4810',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
+  ['ptacallgraphedge_4811',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
+  ['ptacallgraphnode_4812',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html',1,'SVF::PTACallGraphNode'],['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode::PTACallGraphNode()']]],
+  ['ptacgnodeset_4813',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
+  ['ptaimplty_4814',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
+  ['ptaname_4815',['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_4816',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
+  ['ptastat_2ecpp_4817',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
+  ['ptastat_2eh_4818',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
+  ['ptaty_4819',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
+  ['ptavector_4820',['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_4821',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
+  ['ptcache_4822',['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_4823',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
+  ['ptdata_4824',['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_4825',['PTData< VersionedKey, VersionedKeySet, Data, DataSet >',['../classSVF_1_1PTData.html',1,'SVF']]],
+  ['ptdatabacking_4826',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
+  ['ptdataty_4827',['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_4828',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
+  ['ptnumstatmap_4829',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
+  ['ptr_4830',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
+  ['ptrelementtype_4831',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
+  ['ptrinuncalledfun_4832',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
+  ['ptrinuncalledfunction_4833',['ptrInUncalledFunction',['../classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6',1,'SVF::SVFValue']]],
+  ['ptronlymssa_4834',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
+  ['ptronlysvfg_4835',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
+  ['ptronlysvfg_5fopt_4836',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
+  ['ptrpool_4837',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
+  ['ptrtobvptsmap_4838',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
+  ['ptrtocptsmap_4839',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
+  ['ptrtoid_4840',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
+  ['ptrtonsmap_4841',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],
+  ['ptsallprint_4842',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
+  ['ptsmap_4843',['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_4844',['PtsMapConstIter',['../classSVF_1_1MutablePTData.html#ae9c96f369fbe955a841badcf3fcfcc03',1,'SVF::MutablePTData::PtsMapConstIter()'],['../classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24',1,'SVF::MutableDFPTData::PtsMapConstIter()']]],
+  ['ptsmapiter_4845',['PtsMapIter',['../classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed',1,'SVF::MutablePTData']]],
+  ['ptsprint_4846',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
+  ['ptssizestat_4847',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['ptstoid_4848',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
+  ['ptstoidmap_4849',['PTSToIDMap',['../classSVF_1_1PersistentPointsToCache.html#a9a1b0d0d215c048c7200da0e8f816943',1,'SVF::PersistentPointsToCache']]],
+  ['ptstonodebs_4850',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
+  ['ptstorepptssetmap_4851',['PtsToRepPtsSetMap',['../classSVF_1_1MRGenerator.html#a665836fd866c6393fc4a251eb4929dae',1,'SVF::MRGenerator']]],
+  ['ptstosubptsmap_4852',['PtsToSubPtsMap',['../classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1',1,'SVF::IntraDisjointMRG']]],
+  ['pttype_4853',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
+  ['pure_5fabstract_4854',['PURE_ABSTRACT',['../classSVF_1_1DCHNode.html#a029988e54846db9aca2584e1c10283e3a06075ea779ab7777fd25e0e45c462a73',1,'SVF::DCHNode::PURE_ABSTRACT()'],['../classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81',1,'SVF::CHNode::PURE_ABSTRACT()']]],
+  ['purevirtualfunname_4855',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
+  ['push_4856',['push',['../classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923',1,'SVF::CFBasicBlockGWTO::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()']]],
+  ['push_5fback_4857',['push_back',['../classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca',1,'SVF::WTOCycleDepth']]],
+  ['pushcontext_4858',['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_4859',['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_4860',['pushIntoWorklist',['../classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34',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_4861',['pushToCTPWorkList',['../classSVF_1_1LockAnalysis.html#a8a6559c998c0b6f8e851d10ae2ab4171',1,'SVF::LockAnalysis::pushToCTPWorkList()'],['../classSVF_1_1TCT.html#a002bac3dc928bc78b94de0ca97b1ec1d',1,'SVF::TCT::pushToCTPWorkList()']]],
+  ['pushtoctsworklist_4862',['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_4863',['PWCDetect',['../classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a',1,'SVF::AndersenSCD::PWCDetect()'],['../classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75',1,'SVF::AndersenSFR::PWCDetect()']]],
+  ['pwcreps_4864',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
 ];