svf-tools 1.0.773 → 1.0.775

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

@@ -1,100 +1,100 @@
 var searchData=
 [
-  ['p_11520',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
-  ['pag_11521',['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()']]],
-  ['pagdotgraph_11522',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
-  ['pagedge_11523',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
-  ['pagedges_11524',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
-  ['pagedgetofunmap_11525',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
-  ['pagedgetostmtvfgnodemap_11526',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmap_11527',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualretmap_11528',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemap_11529',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemap_11530',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemap_11531',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
-  ['pagnodetodefmap_11532',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
-  ['pagnodetoformalparmmap_11533',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
-  ['pagnodetoformalretmap_11534',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
-  ['pagnodetointraphivfgnodemap_11535',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemap_11536',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
-  ['pagprint_11537',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
-  ['pagreadfromtxt_11538',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
-  ['pairheadmap_11539',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
-  ['pairtailmap_11540',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
-  ['param_11541',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
-  ['parforsites_11542',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
-  ['partialjoin_11543',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
-  ['partialreachable_11544',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
-  ['paselected_11545',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
-  ['pathallocator_11546',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
-  ['pdtbbsmap_11547',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
-  ['pegtransfer_11548',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
-  ['persptdata_11549',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
-  ['phinodemap_11550',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
-  ['phitime_11551',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
-  ['plainmappingfs_11552',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
-  ['pocralias_11553',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
-  ['pocrhybrid_11554',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
-  ['position_11555',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
-  ['possibilities_11556',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
-  ['possibilitydescriptions_11557',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
-  ['prebuffer_11558',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
-  ['predbbs_11559',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
-  ['predicate_11560',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
-  ['predictptocc_11561',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
-  ['predinsts_11562',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
-  ['predmap_11563',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
-  ['preemptivecomplements_11564',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveintersections_11565',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveunions_11566',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
-  ['prelabeledobjects_11567',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabelingtime_11568',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
-  ['preprocessed_11569',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
-  ['prev_11570',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
-  ['prevset_11571',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
-  ['primaryvtable_11572',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
-  ['print_5fstat_11573',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
-  ['printaliases_11574',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
-  ['printcfl_11575',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
-  ['printcggraph_11576',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
-  ['printcpts_11577',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
-  ['printdchg_11578',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
-  ['printinterlev_11579',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
-  ['printlockspan_11580',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
-  ['printpathcond_11581',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
-  ['printquerypts_11582',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
-  ['printvalidres_11583',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
-  ['processtime_11584',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
-  ['propagationtime_11585',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propaptsmap_11586',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propertycomplements_11587',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
-  ['propertyintersections_11588',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
-  ['propertyunions_11589',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
-  ['pstat_11590',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
-  ['pt_11591',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta_11592',['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_11593',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
-  ['ptaimplty_11594',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
-  ['ptaty_11595',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
-  ['ptavector_11596',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
-  ['ptcache_11597',['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_11598',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
-  ['ptdatabacking_11599',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
-  ['ptdty_11600',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
-  ['ptnumstatmap_11601',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr_11602',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
-  ['ptrelementtype_11603',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
-  ['ptrinuncalledfun_11604',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
-  ['ptronlymssa_11605',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
-  ['ptrpool_11606',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
-  ['ptrtobvptsmap_11607',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
-  ['ptrtocptsmap_11608',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
-  ['ptrtoid_11609',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
-  ['ptsallprint_11610',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
-  ['ptsmap_11611',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
-  ['ptsprint_11612',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
-  ['ptstoid_11613',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
-  ['pttype_11614',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
-  ['purevirtualfunname_11615',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
-  ['pwcreps_11616',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
+  ['p_11536',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
+  ['pag_11537',['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()']]],
+  ['pagdotgraph_11538',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
+  ['pagedge_11539',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
+  ['pagedges_11540',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
+  ['pagedgetofunmap_11541',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
+  ['pagedgetostmtvfgnodemap_11542',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
+  ['pagnodetoactualparmmap_11543',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
+  ['pagnodetoactualretmap_11544',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
+  ['pagnodetobinaryopvfgnodemap_11545',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap_11546',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
+  ['pagnodetocmpvfgnodemap_11547',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
+  ['pagnodetodefmap_11548',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
+  ['pagnodetoformalparmmap_11549',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
+  ['pagnodetoformalretmap_11550',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
+  ['pagnodetointraphivfgnodemap_11551',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
+  ['pagnodetounaryopvfgnodemap_11552',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
+  ['pagprint_11553',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
+  ['pagreadfromtxt_11554',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
+  ['pairheadmap_11555',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
+  ['pairtailmap_11556',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
+  ['param_11557',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
+  ['parforsites_11558',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
+  ['partialjoin_11559',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
+  ['partialreachable_11560',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
+  ['paselected_11561',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
+  ['pathallocator_11562',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
+  ['pdtbbsmap_11563',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
+  ['pegtransfer_11564',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
+  ['persptdata_11565',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
+  ['phinodemap_11566',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
+  ['phitime_11567',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
+  ['plainmappingfs_11568',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
+  ['pocralias_11569',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
+  ['pocrhybrid_11570',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
+  ['position_11571',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
+  ['possibilities_11572',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
+  ['possibilitydescriptions_11573',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
+  ['prebuffer_11574',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
+  ['predbbs_11575',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
+  ['predicate_11576',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
+  ['predictptocc_11577',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
+  ['predinsts_11578',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
+  ['predmap_11579',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
+  ['preemptivecomplements_11580',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveintersections_11581',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveunions_11582',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
+  ['prelabeledobjects_11583',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabelingtime_11584',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
+  ['preprocessed_11585',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
+  ['prev_11586',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
+  ['prevset_11587',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
+  ['primaryvtable_11588',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
+  ['print_5fstat_11589',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
+  ['printaliases_11590',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
+  ['printcfl_11591',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
+  ['printcggraph_11592',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
+  ['printcpts_11593',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
+  ['printdchg_11594',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
+  ['printinterlev_11595',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
+  ['printlockspan_11596',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
+  ['printpathcond_11597',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
+  ['printquerypts_11598',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
+  ['printvalidres_11599',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
+  ['processtime_11600',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
+  ['propagationtime_11601',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
+  ['propaptsmap_11602',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
+  ['propertycomplements_11603',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
+  ['propertyintersections_11604',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
+  ['propertyunions_11605',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
+  ['pstat_11606',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
+  ['pt_11607',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
+  ['pta_11608',['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_11609',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptaimplty_11610',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
+  ['ptaty_11611',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
+  ['ptavector_11612',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
+  ['ptcache_11613',['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_11614',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
+  ['ptdatabacking_11615',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
+  ['ptdty_11616',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
+  ['ptnumstatmap_11617',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
+  ['ptr_11618',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
+  ['ptrelementtype_11619',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
+  ['ptrinuncalledfun_11620',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
+  ['ptronlymssa_11621',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
+  ['ptrpool_11622',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
+  ['ptrtobvptsmap_11623',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
+  ['ptrtocptsmap_11624',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
+  ['ptrtoid_11625',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
+  ['ptsallprint_11626',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
+  ['ptsmap_11627',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsprint_11628',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
+  ['ptstoid_11629',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
+  ['pttype_11630',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
+  ['purevirtualfunname_11631',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
+  ['pwcreps_11632',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
 ];

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['raw_11617',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['rawproductions_11618',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_11619',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_11620',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fmhp_11621',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_11622',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_11623',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['reachablebbs_11624',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_11625',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['readander_11626',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readjson_11627',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
-  ['readprecisiontdedge_11628',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readsvfg_11629',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['realdeffun_11630',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_11631',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reanalyze_11632',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recordedges_11633',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_11634',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['redundantgepnodes_11635',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['refval_11636',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_11637',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_11638',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_11639',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_11640',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regpt_11641',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
-  ['replacement_11642',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnodes_11643',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_11644',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['repr_11645',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_11646',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['res_11647',['res',['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
-  ['resver_11648',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_11649',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
-  ['retpe_11650',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
-  ['retpes_11651',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retty_11652',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['return_5fparse_5fend_11653',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returnsymmap_11654',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_11655',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reversenodemapping_11656',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_11657',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
-  ['rfinept_11658',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
-  ['rid_11659',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['root_11660',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rthdtochildren_11661',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthd_11662',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
+  ['raw_11633',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['rawproductions_11634',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_11635',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_11636',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fmhp_11637',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_11638',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_11639',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['reachablebbs_11640',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_11641',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['readander_11642',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readjson_11643',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
+  ['readprecisiontdedge_11644',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readsvfg_11645',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['realdeffun_11646',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_11647',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reanalyze_11648',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recordedges_11649',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_11650',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['redundantgepnodes_11651',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['refval_11652',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_11653',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_11654',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_11655',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_11656',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regpt_11657',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
+  ['replacement_11658',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnodes_11659',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_11660',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['repr_11661',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_11662',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['res_11663',['res',['../classSVF_1_1CmpVFGNode.html#a9a358028cf15ba49b410e0c2a1fafe7c',1,'SVF::CmpVFGNode::res()'],['../classSVF_1_1BinaryOPVFGNode.html#a01ca492acb9b769eb6e1fe2137dff47d',1,'SVF::BinaryOPVFGNode::res()'],['../classSVF_1_1UnaryOPVFGNode.html#a4403fd618b01a26c7c1e8c5da2319db6',1,'SVF::UnaryOPVFGNode::res()'],['../classSVF_1_1PHIVFGNode.html#a513b2636967a86902f4243dc0d2e0e3f',1,'SVF::PHIVFGNode::res()']]],
+  ['resver_11664',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_11665',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
+  ['retpe_11666',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
+  ['retpes_11667',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retty_11668',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['return_5fparse_5fend_11669',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returnsymmap_11670',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_11671',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reversenodemapping_11672',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_11673',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
+  ['rfinept_11674',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
+  ['rid_11675',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['root_11676',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rthdtochildren_11677',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthd_11678',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
 ];