svf-tools 1.0.749 → 1.0.751

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

@@ -1,146 +1,146 @@
 var searchData=
 [
-  ['pagbuilderfromfile_9651',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html#ac328e86f1081de231fc485a579997507',1,'SVF::PAGBuilderFromFile']]],
-  ['pagfilename_9652',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
-  ['pagreadfromtxt_9653',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule']]],
-  ['parforsitesbegin_9654',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
-  ['parforsitesend_9655',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
-  ['parse_5farray_9656',['parse_array',['../cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069',1,'cJSON.cpp']]],
-  ['parse_5fhex4_9657',['parse_hex4',['../cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916',1,'cJSON.cpp']]],
-  ['parse_5fnumber_9658',['parse_number',['../cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407',1,'cJSON.cpp']]],
-  ['parse_5fobject_9659',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
-  ['parse_5fstring_9660',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
-  ['parse_5fvalue_9661',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
-  ['parseandsetvalue_9662',['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_9663',['parseAtomaticOp',['../classSVF_1_1SVFIRBuilder.html#a1865c0300cfa064c5455683e05100bd2',1,'SVF::SVFIRBuilder']]],
-  ['parseextfunctionops_9664',['parseExtFunctionOps',['../classSVF_1_1SVFIRBuilder.html#a082057b80e897227996b616c5fcb4b3e',1,'SVF::SVFIRBuilder']]],
-  ['parsejson_9665',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
-  ['parseoptions_9666',['parseOptions',['../classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5',1,'OptionBase']]],
-  ['parseproductionsstring_9667',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
-  ['parseselfcyclehandleoption_9668',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
-  ['partialbufferoverflowbug_9669',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919',1,'SVF::PartialBufferOverflowBug']]],
-  ['partialleakbug_9670',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89',1,'SVF::PartialLeakBug']]],
-  ['partialnullptrdereferencebug_9671',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db',1,'SVF::PartialNullPtrDereferenceBug']]],
-  ['partitionmrs_9672',['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()']]],
-  ['pasmsg_9673',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064',1,'SVF::SVFUtil']]],
-  ['pcg_9674',['PCG',['../classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081',1,'SVF::PCG']]],
-  ['pctostring_9675',['pcToString',['../classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593',1,'SVF::ConsExeState']]],
-  ['performaddingmhpedges_9676',['performAddingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3',1,'SVF::MTASVFGBuilder']]],
-  ['performannotate_9677',['performAnnotate',['../classSVF_1_1MTAAnnotator.html#a4e25b3ef3e4e91f14c35841d0138d888',1,'SVF::MTAAnnotator']]],
-  ['performapistat_9678',['performAPIStat',['../classSVF_1_1ThreadAPI.html#a60fba05298bc3bf43ec786255daba4ba',1,'SVF::ThreadAPI']]],
-  ['performmhppairstat_9679',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
-  ['performremovingmhpedges_9680',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
-  ['performsccstat_9681',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
-  ['performstat_9682',['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_9683',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
-  ['performstatperquery_9684',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
-  ['performtctstat_9685',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
-  ['performthreadcallgraphstat_9686',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
-  ['persistentdfptdata_9687',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4',1,'SVF::PersistentDFPTData']]],
-  ['persistentdiffptdata_9688',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData']]],
-  ['persistentincdfptdata_9689',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940',1,'SVF::PersistentIncDFPTData']]],
-  ['persistentpointstocache_9690',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache']]],
-  ['persistentptdata_9691',['PersistentPTData',['../classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e',1,'SVF::PersistentPTData']]],
-  ['persistentversionedptdata_9692',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61',1,'SVF::PersistentVersionedPTData']]],
-  ['phistmt_9693',['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)']]],
-  ['phivfgnode_9694',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode']]],
-  ['plainmap_9695',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
-  ['plus_5finfinity_9696',['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()']]],
-  ['pocralias_9697',['POCRAlias',['../classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9',1,'SVF::POCRAlias']]],
-  ['pocrhybrid_9698',['POCRHybrid',['../classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115',1,'SVF::POCRHybrid']]],
-  ['pocrhybridsolver_9699',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac',1,'SVF::POCRHybridSolver']]],
-  ['pocrsolver_9700',['POCRSolver',['../classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6',1,'SVF::POCRSolver']]],
-  ['pointee_5fiter_9701',['pointee_iter',['../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_5fiterator_9702',['pointer_iterator',['../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_9703',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto_9704',['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)']]],
-  ['pointstoiterator_9705',['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)']]],
-  ['pop_9706',['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_9707',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
-  ['popfromctsworklist_9708',['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_9709',['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_9710',['popRecursiveCallSites',['../classSVF_1_1ContextDDA.html#a2754d0fd4b168786c990bbf36538b151',1,'SVF::ContextDDA']]],
-  ['postdominate_9711',['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()']]],
-  ['postprocessnode_9712',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
-  ['prelabel_9713',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
-  ['prepassschedule_9714',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
-  ['preprocessbcs_9715',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
-  ['preprocessextcall_9716',['preProcessExtCall',['../classSVF_1_1SVFIRBuilder.html#a1d168cf5e868a53ddaefc7d01531197a',1,'SVF::SVFIRBuilder']]],
-  ['print_9717',['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()'],['../classSVF_1_1SVFValue.html#a7d8c21d29b2883765fea565ec12fed78',1,'SVF::SVFValue::print()'],['../classSVF_1_1SVFFunction.html#a200007869f6137b379157dd1383de8e0',1,'SVF::SVFFunction::print()'],['../classSVF_1_1SVFBasicBlock.html#a38dd04c0450e13c3825cbbd9ed708e86',1,'SVF::SVFBasicBlock::print()'],['../classSVF_1_1SVFInstruction.html#a1c957a51460975ffe0834e782d12c8aa',1,'SVF::SVFInstruction::print()'],['../classSVF_1_1SVFConstant.html#af0a0450734cd29e46d56a16b369d8e01',1,'SVF::SVFConstant::print()'],['../classSVF_1_1SVFGlobalValue.html#a77dacce02ff4424dcd4fdf057a50b7a1',1,'SVF::SVFGlobalValue::print()'],['../classSVF_1_1SVFArgument.html#a0aec4adc3b582945b25b0fd16c5e0bb9',1,'SVF::SVFArgument::print()'],['../classSVF_1_1SVFConstantData.html#a3a2a656f333bd91e0f595efd42f99ce0',1,'SVF::SVFConstantData::print()'],['../classSVF_1_1SVFConstantInt.html#af1f12b1a6f7c1c8c9ac356870ea2a6d7',1,'SVF::SVFConstantInt::print()'],['../classSVF_1_1SVFConstantFP.html#ac5e886b6804a5a798511c0ddeef05bb9',1,'SVF::SVFConstantFP::print()'],['../classSVF_1_1SVFConstantNullPtr.html#a64dcebad79e83de2d3f46e16b9c76f1b',1,'SVF::SVFConstantNullPtr::print()'],['../classSVF_1_1SVFBlackHoleValue.html#a17ac0f5d75363f526eb680f6adf23e0a',1,'SVF::SVFBlackHoleValue::print()'],['../classSVF_1_1SVFOtherValue.html#a3b17e4740fe82ea02d91bf1f55f130ec',1,'SVF::SVFOtherValue::print()'],['../classSVF_1_1SVFMetadataAsValue.html#a92c7e01f14f5dfda7ebfad9295733989',1,'SVF::SVFMetadataAsValue::print()'],['../cJSON_8cpp.html#ae71e2aec89bf140e6430cb7d5ca417c5',1,'print(): cJSON.cpp']]],
-  ['print_5farray_9718',['print_array',['../cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16',1,'cJSON.cpp']]],
-  ['print_5fnumber_9719',['print_number',['../cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68',1,'cJSON.cpp']]],
-  ['print_5fobject_9720',['print_object',['../cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd',1,'cJSON.cpp']]],
-  ['print_5fstring_9721',['print_string',['../cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6',1,'cJSON.cpp']]],
-  ['print_5fstring_5fptr_9722',['print_string_ptr',['../cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb',1,'cJSON.cpp']]],
-  ['print_5fvalue_9723',['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']]],
-  ['printaliaspairs_9724',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
-  ['printbugtoterminal_9725',['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()']]],
-  ['printch_9726',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
-  ['printexprvalues_9727',['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_9728',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9',1,'SVF::SymbolTableInfo']]],
-  ['printgraph_9729',['PrintGraph',['../classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da',1,'SVF::GraphPrinter']]],
-  ['printindcstargets_9730',['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_9731',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
-  ['printlocks_9732',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
-  ['printpathcond_9733',['printPathCond',['../classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03',1,'SVF::SaberCondAllocator']]],
-  ['printpts_9734',['printPts',['../svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829',1,'svf-ex.cpp']]],
-  ['printquerypts_9735',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass']]],
-  ['printresults_9736',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
-  ['printstat_9737',['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_9738',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
-  ['printstats_9739',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
-  ['printtable_9740',['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_9741',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
-  ['printz3stat_9742',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],
-  ['processaddr_9743',['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_9744',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
-  ['processarguments_9745',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
-  ['processce_9746',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
-  ['processcfledge_9747',['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_9748',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
-  ['processfunbody_9749',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
-  ['processfunentry_9750',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b',1,'SVF::ICFGBuilder']]],
-  ['processfunexit_9751',['processFunExit',['../classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3',1,'SVF::ICFGBuilder']]],
-  ['processgep_9752',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
-  ['processgeppts_9753',['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_9754',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
-  ['processload_9755',['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_9756',['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_9757',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
-  ['processpwc_9758',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
-  ['processstore_9759',['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_9760',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
-  ['progslice_9761',['ProgSlice',['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice']]],
-  ['propagate_9762',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
-  ['propagatefromaptofp_9763',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
-  ['propagatefromfrtoar_9764',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
-  ['propagateversion_9765',['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_9766',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
-  ['propalongdirectedge_9767',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
-  ['propalongindirectedge_9768',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
-  ['propdfintoin_9769',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
-  ['propdfouttoin_9770',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
-  ['propfromsrctodst_9771',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
-  ['propvarptsaftercgupdated_9772',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
-  ['propvarptsfromsrctodst_9773',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
-  ['protectedbycommonlocks_9774',['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_9775',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
-  ['prunethreadlocal_9776',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
-  ['ptacallgraph_9777',['PTACallGraph',['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph']]],
-  ['ptacallgraphedge_9778',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge']]],
-  ['ptacallgraphnode_9779',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode']]],
-  ['ptaname_9780',['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_9781',['PTAStat',['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat']]],
-  ['ptdata_9782',['PTData',['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData']]],
-  ['ptrinuncalledfunction_9783',['ptrInUncalledFunction',['../classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6',1,'SVF::SVFValue']]],
-  ['ptssizestat_9784',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
-  ['ptstonodebs_9785',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
-  ['push_9786',['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_9787',['push_back',['../classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca',1,'SVF::WTOCycleDepth']]],
-  ['pushcontext_9788',['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_9789',['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_9790',['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_9791',['pushToCTPWorkList',['../classSVF_1_1LockAnalysis.html#a8a6559c998c0b6f8e851d10ae2ab4171',1,'SVF::LockAnalysis::pushToCTPWorkList()'],['../classSVF_1_1TCT.html#a002bac3dc928bc78b94de0ca97b1ec1d',1,'SVF::TCT::pushToCTPWorkList()']]],
-  ['pushtoctsworklist_9792',['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_9793',['PWCDetect',['../classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a',1,'SVF::AndersenSCD::PWCDetect()'],['../classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75',1,'SVF::AndersenSFR::PWCDetect()']]]
+  ['pagbuilderfromfile_9648',['PAGBuilderFromFile',['../classSVF_1_1PAGBuilderFromFile.html#ac328e86f1081de231fc485a579997507',1,'SVF::PAGBuilderFromFile']]],
+  ['pagfilename_9649',['pagFileName',['../classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60',1,'SVF::SVFModule']]],
+  ['pagreadfromtxt_9650',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule']]],
+  ['parforsitesbegin_9651',['parForSitesBegin',['../classSVF_1_1ThreadCallGraph.html#a29c74634b17007e5bef6fb48e1f3839f',1,'SVF::ThreadCallGraph']]],
+  ['parforsitesend_9652',['parForSitesEnd',['../classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728',1,'SVF::ThreadCallGraph']]],
+  ['parse_5farray_9653',['parse_array',['../cJSON_8cpp.html#a367cc7ac5a592211d9f18dc02dd23069',1,'cJSON.cpp']]],
+  ['parse_5fhex4_9654',['parse_hex4',['../cJSON_8cpp.html#a1aa736fdc6ba20c7d46622d20766e916',1,'cJSON.cpp']]],
+  ['parse_5fnumber_9655',['parse_number',['../cJSON_8cpp.html#a699e1cebda71c2846a9a10b29b4dc407',1,'cJSON.cpp']]],
+  ['parse_5fobject_9656',['parse_object',['../cJSON_8cpp.html#a1472ac5d1becd7d9a5e558b4c053b06a',1,'cJSON.cpp']]],
+  ['parse_5fstring_9657',['parse_string',['../cJSON_8cpp.html#adf47b520af96d1bbefa2390016fbdb51',1,'cJSON.cpp']]],
+  ['parse_5fvalue_9658',['parse_value',['../cJSON_8cpp.html#afd5c0b7089e4de2fc9b2af599d4b596f',1,'cJSON.cpp']]],
+  ['parseandsetvalue_9659',['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_9660',['parseAtomaticOp',['../classSVF_1_1SVFIRBuilder.html#a1865c0300cfa064c5455683e05100bd2',1,'SVF::SVFIRBuilder']]],
+  ['parseextfunctionops_9661',['parseExtFunctionOps',['../classSVF_1_1SVFIRBuilder.html#a082057b80e897227996b616c5fcb4b3e',1,'SVF::SVFIRBuilder']]],
+  ['parsejson_9662',['parseJson',['../ExtAPI_8cpp.html#a3957468a4d85cef02d8be1f82bcdfc69',1,'ExtAPI.cpp']]],
+  ['parseoptions_9663',['parseOptions',['../classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5',1,'OptionBase']]],
+  ['parseproductionsstring_9664',['parseProductionsString',['../classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc',1,'SVF::GrammarBuilder']]],
+  ['parseselfcyclehandleoption_9665',['parseSelfCycleHandleOption',['../classSVF_1_1SVFGOPT.html#ac3b14bf191cadb832e3a34affd7e569d',1,'SVF::SVFGOPT']]],
+  ['partialbufferoverflowbug_9666',['PartialBufferOverflowBug',['../classSVF_1_1PartialBufferOverflowBug.html#a3cc46863f2968a12943e5a08979e0919',1,'SVF::PartialBufferOverflowBug']]],
+  ['partialleakbug_9667',['PartialLeakBug',['../classSVF_1_1PartialLeakBug.html#acefb231e5905fa6deb4a8c242ac62c89',1,'SVF::PartialLeakBug']]],
+  ['partialnullptrdereferencebug_9668',['PartialNullPtrDereferenceBug',['../classSVF_1_1PartialNullPtrDereferenceBug.html#ad3f9af5c317048ada0a8d6a25402a9db',1,'SVF::PartialNullPtrDereferenceBug']]],
+  ['partitionmrs_9669',['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()']]],
+  ['pasmsg_9670',['pasMsg',['../namespaceSVF_1_1SVFUtil.html#a4550f2fb815882edfb666ac818792064',1,'SVF::SVFUtil']]],
+  ['pcg_9671',['PCG',['../classSVF_1_1PCG.html#a482925e80c66f258e0fb863ee6948081',1,'SVF::PCG']]],
+  ['pctostring_9672',['pcToString',['../classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593',1,'SVF::ConsExeState']]],
+  ['performaddingmhpedges_9673',['performAddingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3',1,'SVF::MTASVFGBuilder']]],
+  ['performannotate_9674',['performAnnotate',['../classSVF_1_1MTAAnnotator.html#a4e25b3ef3e4e91f14c35841d0138d888',1,'SVF::MTAAnnotator']]],
+  ['performapistat_9675',['performAPIStat',['../classSVF_1_1ThreadAPI.html#a60fba05298bc3bf43ec786255daba4ba',1,'SVF::ThreadAPI']]],
+  ['performmhppairstat_9676',['performMHPPairStat',['../classSVF_1_1MTAStat.html#a6464eb27715b598bab0217258860a04b',1,'SVF::MTAStat']]],
+  ['performremovingmhpedges_9677',['performRemovingMHPEdges',['../classSVF_1_1MTASVFGBuilder.html#a26b6750de23395a89767288b2eabb1ef',1,'SVF::MTASVFGBuilder']]],
+  ['performsccstat_9678',['performSCCStat',['../classSVF_1_1SVFGStat.html#a87d5e8ec0e13416cff36a18644a5b94f',1,'SVF::SVFGStat']]],
+  ['performstat_9679',['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_9680',['performStatforIFDS',['../classSVF_1_1ICFGStat.html#a17d9638aa5f4b9aac194862400a209da',1,'SVF::ICFGStat']]],
+  ['performstatperquery_9681',['performStatPerQuery',['../classSVF_1_1DDAStat.html#a11dd60d124a8d3433312589ede4e7b11',1,'SVF::DDAStat::performStatPerQuery()'],['../classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3',1,'SVF::SVFStat::performStatPerQuery()']]],
+  ['performtctstat_9682',['performTCTStat',['../classSVF_1_1MTAStat.html#a12f6bd291b206c18001f5d4775251481',1,'SVF::MTAStat']]],
+  ['performthreadcallgraphstat_9683',['performThreadCallGraphStat',['../classSVF_1_1MTAStat.html#a19c9c1cba3a2cf665f7a05570e316e2e',1,'SVF::MTAStat']]],
+  ['persistentdfptdata_9684',['PersistentDFPTData',['../classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4',1,'SVF::PersistentDFPTData']]],
+  ['persistentdiffptdata_9685',['PersistentDiffPTData',['../classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411',1,'SVF::PersistentDiffPTData']]],
+  ['persistentincdfptdata_9686',['PersistentIncDFPTData',['../classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940',1,'SVF::PersistentIncDFPTData']]],
+  ['persistentpointstocache_9687',['PersistentPointsToCache',['../classSVF_1_1PersistentPointsToCache.html#acbfc07bb91fb08658a911abe0a8113c5',1,'SVF::PersistentPointsToCache']]],
+  ['persistentptdata_9688',['PersistentPTData',['../classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e',1,'SVF::PersistentPTData']]],
+  ['persistentversionedptdata_9689',['PersistentVersionedPTData',['../classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61',1,'SVF::PersistentVersionedPTData']]],
+  ['phistmt_9690',['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)']]],
+  ['phivfgnode_9691',['PHIVFGNode',['../classSVF_1_1PHIVFGNode.html#add1ed5dfc7fbb095e2bdb7ff1e2658ef',1,'SVF::PHIVFGNode']]],
+  ['plainmap_9692',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
+  ['plus_5finfinity_9693',['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()']]],
+  ['pocralias_9694',['POCRAlias',['../classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9',1,'SVF::POCRAlias']]],
+  ['pocrhybrid_9695',['POCRHybrid',['../classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115',1,'SVF::POCRHybrid']]],
+  ['pocrhybridsolver_9696',['POCRHybridSolver',['../classSVF_1_1POCRHybridSolver.html#a28c7595714e0f36e08c27a3e12c03eac',1,'SVF::POCRHybridSolver']]],
+  ['pocrsolver_9697',['POCRSolver',['../classSVF_1_1POCRSolver.html#aacca7b776e4ff992623d28e89b3b68e6',1,'SVF::POCRSolver']]],
+  ['pointee_5fiter_9698',['pointee_iter',['../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_5fiterator_9699',['pointer_iterator',['../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_9700',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
+  ['pointsto_9701',['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)']]],
+  ['pointstoiterator_9702',['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)']]],
+  ['pop_9703',['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_9704',['popFromCTPWorkList',['../classSVF_1_1LockAnalysis.html#ac3de5acfb887c17ebf1213a1c2c38b58',1,'SVF::LockAnalysis::popFromCTPWorkList()'],['../classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3',1,'SVF::TCT::popFromCTPWorkList()']]],
+  ['popfromctsworklist_9705',['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_9706',['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_9707',['popRecursiveCallSites',['../classSVF_1_1ContextDDA.html#a2754d0fd4b168786c990bbf36538b151',1,'SVF::ContextDDA']]],
+  ['postdominate_9708',['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()']]],
+  ['postprocessnode_9709',['postProcessNode',['../classSVF_1_1AndersenWaveDiff.html#aa0659a2787c1f9b1b6ec62900313475e',1,'SVF::AndersenWaveDiff']]],
+  ['prelabel_9710',['prelabel',['../classSVF_1_1VersionedFlowSensitive.html#a7d86bc18060c0114a783aa1c3a7e9dda',1,'SVF::VersionedFlowSensitive']]],
+  ['prepassschedule_9711',['prePassSchedule',['../classSVF_1_1LLVMModuleSet.html#a8b5f24c873db1f6a0614d1dac48bb4bb',1,'SVF::LLVMModuleSet']]],
+  ['preprocessbcs_9712',['preProcessBCs',['../classSVF_1_1LLVMModuleSet.html#a2fdc1bd61b8f6cdf6c07a5059b641b04',1,'SVF::LLVMModuleSet']]],
+  ['preprocessextcall_9713',['preProcessExtCall',['../classSVF_1_1SVFIRBuilder.html#a1d168cf5e868a53ddaefc7d01531197a',1,'SVF::SVFIRBuilder']]],
+  ['print_9714',['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_9715',['print_array',['../cJSON_8cpp.html#ae84642817f3965a85c7c617663250c16',1,'cJSON.cpp']]],
+  ['print_5fnumber_9716',['print_number',['../cJSON_8cpp.html#ad93d84de08872da0eaa6624be0e74a68',1,'cJSON.cpp']]],
+  ['print_5fobject_9717',['print_object',['../cJSON_8cpp.html#a3d742f5c68799bca291432a9cd72f8dd',1,'cJSON.cpp']]],
+  ['print_5fstring_9718',['print_string',['../cJSON_8cpp.html#ad087dd738e49b4258f0a3d378a121df6',1,'cJSON.cpp']]],
+  ['print_5fstring_5fptr_9719',['print_string_ptr',['../cJSON_8cpp.html#af5b4e769356f10d99a7f66697c42c1bb',1,'cJSON.cpp']]],
+  ['print_5fvalue_9720',['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']]],
+  ['printaliaspairs_9721',['PrintAliasPairs',['../classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752',1,'SVF::WPAPass']]],
+  ['printbugtoterminal_9722',['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()']]],
+  ['printch_9723',['printCH',['../classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140',1,'SVF::CHGraph']]],
+  ['printexprvalues_9724',['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_9725',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#a1e24131ab0a212df00889e32e6ee04f9',1,'SVF::SymbolTableInfo']]],
+  ['printgraph_9726',['PrintGraph',['../classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da',1,'SVF::GraphPrinter']]],
+  ['printindcstargets_9727',['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_9728',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
+  ['printlocks_9729',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
+  ['printpathcond_9730',['printPathCond',['../classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03',1,'SVF::SaberCondAllocator']]],
+  ['printpts_9731',['printPts',['../svf-ex_8cpp.html#a985b6c880c7922538046c6a1fa987829',1,'svf-ex.cpp']]],
+  ['printquerypts_9732',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass']]],
+  ['printresults_9733',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
+  ['printstat_9734',['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_9735',['printStatPerQuery',['../classSVF_1_1DDAStat.html#ae695696e5cd06eb27635887f0de30eff',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1SVFStat.html#a2dd8ce8bb1970344533babb9fc8ddd02',1,'SVF::SVFStat::printStatPerQuery()']]],
+  ['printstats_9736',['printStats',['../classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5',1,'SVF::PersistentPointsToCache::printStats()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac10cbda6a84ce890c9946a5ff35800b7',1,'SVF::NodeIDAllocator::Clusterer::printStats()']]],
+  ['printtable_9737',['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_9738',['printTDFuns',['../classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e',1,'SVF::PCG']]],
+  ['printz3stat_9739',['printZ3Stat',['../classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2',1,'SVF::SrcSnkDDA']]],
+  ['processaddr_9740',['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_9741',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
+  ['processarguments_9742',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
+  ['processce_9743',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],
+  ['processcfledge_9744',['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_9745',['processCopy',['../classSVF_1_1Andersen.html#ac4afe532655c3f311143ebbe15175ca2',1,'SVF::Andersen::processCopy()'],['../classSVF_1_1FlowSensitive.html#aa401cc90de4e1c6842f08a43a28c5aa1',1,'SVF::FlowSensitive::processCopy()']]],
+  ['processfunbody_9746',['processFunBody',['../classSVF_1_1ICFGBuilder.html#ab1cc5de5c2ee7acf83e9ae51c7b38cb5',1,'SVF::ICFGBuilder']]],
+  ['processfunentry_9747',['processFunEntry',['../classSVF_1_1ICFGBuilder.html#acb5253395384d36767173aa4aa39576b',1,'SVF::ICFGBuilder']]],
+  ['processfunexit_9748',['processFunExit',['../classSVF_1_1ICFGBuilder.html#af46638008b796fdb491624f32b31d8a3',1,'SVF::ICFGBuilder']]],
+  ['processgep_9749',['processGep',['../classSVF_1_1Andersen.html#aa697d4a6fe09dd6e50abb09228b3567f',1,'SVF::Andersen::processGep()'],['../classSVF_1_1FlowSensitive.html#ae017c39ac471727d06868e0eacafd791',1,'SVF::FlowSensitive::processGep()']]],
+  ['processgeppts_9750',['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_9751',['processGraph',['../classSVF_1_1SVFGStat.html#a3c016e166b8e84eb3b98bc3717cba5d8',1,'SVF::SVFGStat']]],
+  ['processload_9752',['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_9753',['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_9754',['processPhi',['../classSVF_1_1FlowSensitive.html#aa36fd1387e948e83107431179d819067',1,'SVF::FlowSensitive']]],
+  ['processpwc_9755',['processPWC',['../classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b',1,'SVF::AndersenSCD']]],
+  ['processstore_9756',['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_9757',['processSVFGNode',['../classSVF_1_1FlowSensitive.html#a979f89495966d71f9b470d832384ebd6',1,'SVF::FlowSensitive']]],
+  ['progslice_9758',['ProgSlice',['../classSVF_1_1ProgSlice.html#afbf864cc47d6d06286529dbcc01c03c0',1,'SVF::ProgSlice']]],
+  ['propagate_9759',['propagate',['../classSVF_1_1WPASCCSolver.html#aebc289ed32678fb7f93738927f0887d1',1,'SVF::WPASCCSolver::propagate()'],['../classSVF_1_1WPASolver.html#a541ef7fda44ce79086c30b07a5f6126c',1,'SVF::WPASolver::propagate()']]],
+  ['propagatefromaptofp_9760',['propagateFromAPToFP',['../classSVF_1_1FlowSensitive.html#a3574977acd161925cadcb05de6d3247d',1,'SVF::FlowSensitive']]],
+  ['propagatefromfrtoar_9761',['propagateFromFRToAR',['../classSVF_1_1FlowSensitive.html#a3abffe1434386b1ce349fbed0cfe0967',1,'SVF::FlowSensitive']]],
+  ['propagateversion_9762',['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_9763',['propagateViaObj',['../classSVF_1_1ContextDDA.html#a45d7a381fec0692b4d2f7d0eec47ccf1',1,'SVF::ContextDDA::propagateViaObj()'],['../classSVF_1_1DDAVFSolver.html#ace35b8247204d9806ca1a4f01bff2364',1,'SVF::DDAVFSolver::propagateViaObj()']]],
+  ['propalongdirectedge_9764',['propAlongDirectEdge',['../classSVF_1_1FlowSensitive.html#ad3518931d3b8a0671cbeb975f853b956',1,'SVF::FlowSensitive']]],
+  ['propalongindirectedge_9765',['propAlongIndirectEdge',['../classSVF_1_1FlowSensitive.html#aeb1e002519123a67f8d18f78cda04bac',1,'SVF::FlowSensitive::propAlongIndirectEdge()'],['../classSVF_1_1VersionedFlowSensitive.html#ad44c735b25158d2c934bdd44eb404686',1,'SVF::VersionedFlowSensitive::propAlongIndirectEdge()']]],
+  ['propdfintoin_9766',['propDFInToIn',['../classSVF_1_1FlowSensitive.html#a3be364754863bbbee6dfd0b5490dec47',1,'SVF::FlowSensitive']]],
+  ['propdfouttoin_9767',['propDFOutToIn',['../classSVF_1_1FlowSensitive.html#a5e97c3fe32f60b0e8e96323ceb9a10cf',1,'SVF::FlowSensitive']]],
+  ['propfromsrctodst_9768',['propFromSrcToDst',['../classSVF_1_1FlowSensitive.html#a8892e6f56f32675f9bf6884bd0d29843',1,'SVF::FlowSensitive::propFromSrcToDst()'],['../classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420',1,'SVF::WPASolver::propFromSrcToDst()']]],
+  ['propvarptsaftercgupdated_9769',['propVarPtsAfterCGUpdated',['../classSVF_1_1FlowSensitive.html#a9e7fbc4c1d056fbef07498de8cbb1cd9',1,'SVF::FlowSensitive']]],
+  ['propvarptsfromsrctodst_9770',['propVarPtsFromSrcToDst',['../classSVF_1_1FlowSensitive.html#ae571767cc5936cf631a44976d8277e91',1,'SVF::FlowSensitive']]],
+  ['protectedbycommonlocks_9771',['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_9772',['pruneAliasMHP',['../classSVF_1_1MTAAnnotator.html#a0ed08b6a94483a750c95eef6c2523dc6',1,'SVF::MTAAnnotator']]],
+  ['prunethreadlocal_9773',['pruneThreadLocal',['../classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e',1,'SVF::MTAAnnotator']]],
+  ['ptacallgraph_9774',['PTACallGraph',['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph']]],
+  ['ptacallgraphedge_9775',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge']]],
+  ['ptacallgraphnode_9776',['PTACallGraphNode',['../classSVF_1_1PTACallGraphNode.html#aed9cda1f8347b0078d8cd26691421876',1,'SVF::PTACallGraphNode']]],
+  ['ptaname_9777',['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_9778',['PTAStat',['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat']]],
+  ['ptdata_9779',['PTData',['../classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1',1,'SVF::PTData']]],
+  ['ptrinuncalledfunction_9780',['ptrInUncalledFunction',['../classSVF_1_1SVFValue.html#a3a4b04027aa67278e7b1bb1ef88cf2e6',1,'SVF::SVFValue']]],
+  ['ptssizestat_9781',['ptsSizeStat',['../classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5',1,'SVF::VersionedFlowSensitiveStat']]],
+  ['ptstonodebs_9782',['ptsToNodeBS',['../namespaceSVF_1_1SVFUtil.html#a86ebab122895189be57637b84adc7642',1,'SVF::SVFUtil']]],
+  ['push_9783',['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_9784',['push_back',['../classSVF_1_1WTOCycleDepth.html#a44e36899d26981ff69557501ff8ff2ca',1,'SVF::WTOCycleDepth']]],
+  ['pushcontext_9785',['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_9786',['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_9787',['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_9788',['pushToCTPWorkList',['../classSVF_1_1LockAnalysis.html#a8a6559c998c0b6f8e851d10ae2ab4171',1,'SVF::LockAnalysis::pushToCTPWorkList()'],['../classSVF_1_1TCT.html#a002bac3dc928bc78b94de0ca97b1ec1d',1,'SVF::TCT::pushToCTPWorkList()']]],
+  ['pushtoctsworklist_9789',['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_9790',['PWCDetect',['../classSVF_1_1AndersenSCD.html#af155524f6f78424a846fe2eb575bb40a',1,'SVF::AndersenSCD::PWCDetect()'],['../classSVF_1_1AndersenSFR.html#a7bb1bd307c5db4d732e51af810c5ad75',1,'SVF::AndersenSFR::PWCDetect()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['llvm_6895',['llvm',['../namespacellvm.html',1,'']]]
+  ['llvm_6893',['llvm',['../namespacellvm.html',1,'']]]
 ];

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

@@ -1,10 +1,10 @@
 var searchData=
 [
-  ['cpputil_6896',['cppUtil',['../namespaceSVF_1_1cppUtil.html',1,'SVF']]],
-  ['ctir_6897',['ctir',['../namespaceSVF_1_1cppUtil_1_1ctir.html',1,'SVF::cppUtil']]],
-  ['dot_6898',['DOT',['../namespaceSVF_1_1DOT.html',1,'SVF']]],
-  ['graphprogram_6899',['GraphProgram',['../namespaceSVF_1_1GraphProgram.html',1,'SVF']]],
-  ['llvmutil_6900',['LLVMUtil',['../namespaceSVF_1_1LLVMUtil.html',1,'SVF']]],
-  ['svf_6901',['SVF',['../namespaceSVF.html',1,'']]],
-  ['svfutil_6902',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]]
+  ['cpputil_6894',['cppUtil',['../namespaceSVF_1_1cppUtil.html',1,'SVF']]],
+  ['ctir_6895',['ctir',['../namespaceSVF_1_1cppUtil_1_1ctir.html',1,'SVF::cppUtil']]],
+  ['dot_6896',['DOT',['../namespaceSVF_1_1DOT.html',1,'SVF']]],
+  ['graphprogram_6897',['GraphProgram',['../namespaceSVF_1_1GraphProgram.html',1,'SVF']]],
+  ['llvmutil_6898',['LLVMUtil',['../namespaceSVF_1_1LLVMUtil.html',1,'SVF']]],
+  ['svf_6899',['SVF',['../namespaceSVF.html',1,'']]],
+  ['svfutil_6900',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['abs_12987',['abs',['../classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c',1,'SVF::NumericLiteral']]],
-  ['ashr_12988',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()']]]
+  ['abs_12983',['abs',['../classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c',1,'SVF::NumericLiteral']]],
+  ['ashr_12984',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['bv2int_12989',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]]
+  ['bv2int_12985',['bv2int',['../classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1',1,'SVF::BoundedZ3Expr::bv2int()'],['../classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7',1,'SVF::SingleAbsValue::bv2int()'],['../classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a',1,'SVF::Z3Expr::bv2int()']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['cfbasicblockgbuilder_12990',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f',1,'SVF::CFBasicBlockGraph']]],
-  ['chgbuilder_12991',['CHGBuilder',['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph']]]
+  ['cfbasicblockgbuilder_12986',['CFBasicBlockGBuilder',['../classSVF_1_1CFBasicBlockGraph.html#a7ce096ffa0d05b095e3dbb649917265f',1,'SVF::CFBasicBlockGraph']]],
+  ['chgbuilder_12987',['CHGBuilder',['../classSVF_1_1CHGraph.html#af776f260ae050aa392e32f2a03f23733',1,'SVF::CHGraph']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['ddastat_12992',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
-  ['ddasvfgbuilder_12993',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
+  ['ddastat_12988',['DDAStat',['../classSVF_1_1DDAVFSolver.html#af83f88f2ae2456f2691e8822d56b1598',1,'SVF::DDAVFSolver']]],
+  ['ddasvfgbuilder_12989',['DDASVFGBuilder',['../classSVF_1_1SVFG.html#a9ccd530dc4c49b0df372a2ce95b66921',1,'SVF::SVFG']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['eq_12994',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
-  ['externalpag_12995',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
+  ['eq_12990',['eq',['../classSVF_1_1BoundedZ3Expr.html#a28383f3eb45a8525f3aaf41969752b0d',1,'SVF::BoundedZ3Expr::eq()'],['../classSVF_1_1NumericLiteral.html#ab3e76e79e2113319688aad96db30b5ed',1,'SVF::NumericLiteral::eq()'],['../classSVF_1_1SingleAbsValue.html#a3e67fddad6aaec53320da2f8fb8d0f6b',1,'SVF::SingleAbsValue::eq()'],['../classSVF_1_1Z3Expr.html#ac50b99fca5e04e9c0d134e6371797402',1,'SVF::Z3Expr::eq()']]],
+  ['externalpag_12991',['ExternalPAG',['../classSVF_1_1SVFIR.html#a294bb5e174030882a385c790ab835bb3',1,'SVF::SVFIR']]]
 ];

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

@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['flowsensitivestat_12996',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
+  ['flowsensitivestat_12992',['FlowSensitiveStat',['../classSVF_1_1FlowSensitive.html#a88f9752372eabb71f47f13a89e4d6d9c',1,'SVF::FlowSensitive']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['genericgraphreader_3c_20nodety_2c_20edgety_20_3e_12997',['GenericGraphReader< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a219761d5d96b0bc27cce9210f2cf5572',1,'SVF::GenericGraph']]],
-  ['genericgraphwriter_3c_20nodety_2c_20edgety_20_3e_12998',['GenericGraphWriter< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a9772e25a4f4ff7baa0937e48c4ac7c52',1,'SVF::GenericGraph']]]
+  ['genericgraphreader_3c_20nodety_2c_20edgety_20_3e_12993',['GenericGraphReader< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a219761d5d96b0bc27cce9210f2cf5572',1,'SVF::GenericGraph']]],
+  ['genericgraphwriter_3c_20nodety_2c_20edgety_20_3e_12994',['GenericGraphWriter< NodeTy, EdgeTy >',['../classSVF_1_1GenericGraph.html#a9772e25a4f4ff7baa0937e48c4ac7c52',1,'SVF::GenericGraph']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['icfgbuilder_12999',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
-  ['int2bv_13000',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
-  ['irgraph_13001',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
-  ['ite_13002',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
+  ['icfgbuilder_12995',['ICFGBuilder',['../classSVF_1_1ICFG.html#a0d2b8819e1a1375c3543b1cf202193fa',1,'SVF::ICFG']]],
+  ['int2bv_12996',['int2bv',['../classSVF_1_1BoundedZ3Expr.html#a002c3eb0160f7f4f4821d4e964b43b1a',1,'SVF::BoundedZ3Expr::int2bv()'],['../classSVF_1_1SingleAbsValue.html#a85b292d471c58f37360e0d03b3e4744f',1,'SVF::SingleAbsValue::int2bv()'],['../classSVF_1_1Z3Expr.html#acd9b5e77162c26753085386661b40517',1,'SVF::Z3Expr::int2bv()']]],
+  ['irgraph_12997',['IRGraph',['../classSVF_1_1SVFVar.html#a6755ed387e15f44ffb637f64a0af60bc',1,'SVF::SVFVar']]],
+  ['ite_12998',['ite',['../classSVF_1_1BoundedZ3Expr.html#a68a7ca754cc6653b6576d57da7aeb5f1',1,'SVF::BoundedZ3Expr::ite()'],['../classSVF_1_1NumericLiteral.html#af3544c0025b1796bce75891cf9c4e28a',1,'SVF::NumericLiteral::ite()'],['../classSVF_1_1SingleAbsValue.html#a47aea8b38603cc7cd1dee9eac7e28d4e',1,'SVF::SingleAbsValue::ite()'],['../classSVF_1_1Z3Expr.html#a93492128e2c619ef9e5b15a7d022bc45',1,'SVF::Z3Expr::ite()']]]
 ];

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

@@ -1,5 +1,5 @@
 var searchData=
 [
-  ['llvmmoduleset_13003',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
-  ['lshr_13004',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
+  ['llvmmoduleset_12999',['LLVMModuleSet',['../classSVF_1_1SVFValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFValue::LLVMModuleSet()'],['../classSVF_1_1SVFFunction.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFFunction::LLVMModuleSet()'],['../classSVF_1_1SVFBasicBlock.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFBasicBlock::LLVMModuleSet()'],['../classSVF_1_1SVFCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFVirtualCallInst.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFVirtualCallInst::LLVMModuleSet()'],['../classSVF_1_1SVFGlobalValue.html#a67579a8b316129e389ed0f5e3f0ee509',1,'SVF::SVFGlobalValue::LLVMModuleSet()']]],
+  ['lshr_13000',['lshr',['../classSVF_1_1BoundedZ3Expr.html#adc4486fb78e2efbd67be311903917117',1,'SVF::BoundedZ3Expr::lshr()'],['../classSVF_1_1SingleAbsValue.html#afd0286acbccb8b7630ca2e086ea303b2',1,'SVF::SingleAbsValue::lshr()']]]
 ];

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

@@ -1,7 +1,7 @@
 var searchData=
 [
-  ['max_13005',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
-  ['min_13006',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
-  ['mtasvfgbuilder_13007',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
-  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13008',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
+  ['max_13001',['max',['../classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec',1,'SVF::NumericLiteral']]],
+  ['min_13002',['min',['../classSVF_1_1NumericLiteral.html#ab4f45675a9fecb201d0fe05d107fcb97',1,'SVF::NumericLiteral']]],
+  ['mtasvfgbuilder_13003',['MTASVFGBuilder',['../classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725',1,'SVF::SVFG']]],
+  ['mutabledfptdata_3c_20key_2c_20keyset_2c_20data_2c_20dataset_20_3e_13004',['MutableDFPTData< Key, KeySet, Data, DataSet >',['../classSVF_1_1MutablePTData.html#ad92cfe345043b1bc8d6c7a03df43310f',1,'SVF::MutablePTData']]]
 ];