svf-tools 1.0.799 → 1.0.800

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

@@ -1,78 +1,78 @@
 var searchData=
 [
-  ['a_10897',['a',['../cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b',1,'cJSON.cpp']]],
-  ['accesslowerbound_10898',['accessLowerBound',['../classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c',1,'SVF::BufferOverflowBug']]],
-  ['accesspairs_10899',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a90f7d527816acf808e3e54c2a4ed0532',1,'SVF::RaceResultValidator']]],
-  ['accessupperbound_10900',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
-  ['actualintodefmap_10901',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
-  ['actualret_10902',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
-  ['addaddrtakennodetimeend_10903',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
-  ['addaddrtakennodetimestart_10904',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
-  ['addedge_5fallopt_10905',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoalias_10906',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoedge_10907',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnolock_10908',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnomhp_10909',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnonsparse_10910',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnorp_10911',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
-  ['addmodelflag_10912',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
-  ['addrbar_10913',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
-  ['addrcgedgeset_10914',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
-  ['addressinedges_10915',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
-  ['addressoutedges_10916',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
-  ['addrspace_10917',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['addrtaken_10918',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
-  ['addrtime_10919',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
-  ['addtoplevelnodetimeend_10920',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
-  ['addtoplevelnodetimestart_10921',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
-  ['after_5finserted_10922',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
-  ['alias_5fvalidation_10923',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
-  ['aliasrule_10924',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
-  ['aliasset_10925',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
-  ['aliastestfailmayalias_10926',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailmayaliasmangled_10927',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoalias_10928',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoaliasmangled_10929',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayalias_10930',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayaliasmangled_10931',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustalias_10932',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustaliasmangled_10933',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoalias_10934',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoaliasmangled_10935',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialalias_10936',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialaliasmangled_10937',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
-  ['allargs_10938',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
-  ['allbbs_10939',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
-  ['allglobals_10940',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
-  ['allinsts_10941',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
-  ['allocator_10942',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
-  ['alloclowerbound_10943',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
-  ['allocupperbound_10944',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
-  ['allpairmhp_10945',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
-  ['ander_10946',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
-  ['andersenanno_10947',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
-  ['andersvfg_10948',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
-  ['andertimelimit_10949',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
-  ['anno_5falias_10950',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
-  ['anno_5flocal_10951',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
-  ['anno_5fmhp_10952',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
-  ['annoflag_10953',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
-  ['annotations_10954',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
-  ['annotationtime_10955',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
-  ['ap_10956',['ap',['../classSVF_1_1NormalGepCGEdge.html#a4a7dd4b85b834e38525b1f48f840525e',1,'SVF::NormalGepCGEdge::ap()'],['../classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44',1,'SVF::GepStmt::ap()'],['../classSVF_1_1GepValVar.html#a07b41362e4699c930af7bbe178e0b252',1,'SVF::GepValVar::ap()']]],
-  ['apnodes_10957',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
-  ['apoffset_10958',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar']]],
-  ['argno_10959',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
-  ['args_10960',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
-  ['atend_10961',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()']]],
-  ['atptdata_10962',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
-  ['attribute_10963',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol']]],
-  ['attributedkindmaskbits_10964',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
-  ['attributekinds_10965',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
-  ['averagepointstosetsize_10966',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
-  ['avgindegree_10967',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
-  ['avgindindegree_10968',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
-  ['avgindoutdegree_10969',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
-  ['avgoutdegree_10970',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
-  ['avgweight_10971',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
+  ['a_10899',['a',['../cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b',1,'cJSON.cpp']]],
+  ['accesslowerbound_10900',['accessLowerBound',['../classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c',1,'SVF::BufferOverflowBug']]],
+  ['accesspairs_10901',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a90f7d527816acf808e3e54c2a4ed0532',1,'SVF::RaceResultValidator']]],
+  ['accessupperbound_10902',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
+  ['actualintodefmap_10903',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
+  ['actualret_10904',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
+  ['addaddrtakennodetimeend_10905',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
+  ['addaddrtakennodetimestart_10906',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
+  ['addedge_5fallopt_10907',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoalias_10908',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoedge_10909',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnolock_10910',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnomhp_10911',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnonsparse_10912',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnorp_10913',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
+  ['addmodelflag_10914',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
+  ['addrbar_10915',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
+  ['addrcgedgeset_10916',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
+  ['addressinedges_10917',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
+  ['addressoutedges_10918',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
+  ['addrspace_10919',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['addrtaken_10920',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
+  ['addrtime_10921',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
+  ['addtoplevelnodetimeend_10922',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
+  ['addtoplevelnodetimestart_10923',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
+  ['after_5finserted_10924',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
+  ['alias_5fvalidation_10925',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
+  ['aliasrule_10926',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
+  ['aliasset_10927',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
+  ['aliastestfailmayalias_10928',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailmayaliasmangled_10929',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoalias_10930',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoaliasmangled_10931',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayalias_10932',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayaliasmangled_10933',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustalias_10934',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustaliasmangled_10935',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoalias_10936',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoaliasmangled_10937',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialalias_10938',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialaliasmangled_10939',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
+  ['allargs_10940',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
+  ['allbbs_10941',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
+  ['allglobals_10942',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
+  ['allinsts_10943',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
+  ['allocator_10944',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
+  ['alloclowerbound_10945',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
+  ['allocupperbound_10946',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
+  ['allpairmhp_10947',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
+  ['ander_10948',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
+  ['andersenanno_10949',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
+  ['andersvfg_10950',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
+  ['andertimelimit_10951',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
+  ['anno_5falias_10952',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
+  ['anno_5flocal_10953',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
+  ['anno_5fmhp_10954',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
+  ['annoflag_10955',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
+  ['annotations_10956',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
+  ['annotationtime_10957',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
+  ['ap_10958',['ap',['../classSVF_1_1NormalGepCGEdge.html#a4a7dd4b85b834e38525b1f48f840525e',1,'SVF::NormalGepCGEdge::ap()'],['../classSVF_1_1GepStmt.html#ad7cfa816936d38d1d022e2cfdb1c7c44',1,'SVF::GepStmt::ap()'],['../classSVF_1_1GepValVar.html#a07b41362e4699c930af7bbe178e0b252',1,'SVF::GepValVar::ap()']]],
+  ['apnodes_10959',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
+  ['apoffset_10960',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar']]],
+  ['argno_10961',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
+  ['args_10962',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
+  ['atend_10963',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()']]],
+  ['atptdata_10964',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
+  ['attribute_10965',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol']]],
+  ['attributedkindmaskbits_10966',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
+  ['attributekinds_10967',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
+  ['averagepointstosetsize_10968',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
+  ['avgindegree_10969',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
+  ['avgindindegree_10970',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
+  ['avgindoutdegree_10971',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
+  ['avgoutdegree_10972',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
+  ['avgweight_10973',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
 ];

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

@@ -1,100 +1,100 @@
 var searchData=
 [
-  ['p_11696',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
-  ['pag_11697',['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_11698',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
-  ['pagedge_11699',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
-  ['pagedges_11700',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
-  ['pagedgetofunmap_11701',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
-  ['pagedgetostmtvfgnodemap_11702',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmap_11703',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualretmap_11704',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemap_11705',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemap_11706',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemap_11707',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
-  ['pagnodetodefmap_11708',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
-  ['pagnodetoformalparmmap_11709',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
-  ['pagnodetoformalretmap_11710',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
-  ['pagnodetointraphivfgnodemap_11711',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemap_11712',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
-  ['pagprint_11713',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
-  ['pagreadfromtxt_11714',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
-  ['pairheadmap_11715',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
-  ['pairtailmap_11716',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
-  ['param_11717',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
-  ['parforsites_11718',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
-  ['partialjoin_11719',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
-  ['partialreachable_11720',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
-  ['paselected_11721',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
-  ['pathallocator_11722',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
-  ['pdtbbsmap_11723',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
-  ['pegtransfer_11724',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
-  ['persptdata_11725',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
-  ['phinodemap_11726',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
-  ['phitime_11727',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
-  ['plainmappingfs_11728',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
-  ['pocralias_11729',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
-  ['pocrhybrid_11730',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
-  ['position_11731',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
-  ['possibilities_11732',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
-  ['possibilitydescriptions_11733',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
-  ['prebuffer_11734',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
-  ['predbbs_11735',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
-  ['predicate_11736',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
-  ['predictptocc_11737',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
-  ['predinsts_11738',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
-  ['predmap_11739',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
-  ['preemptivecomplements_11740',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveintersections_11741',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveunions_11742',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
-  ['prelabeledobjects_11743',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabelingtime_11744',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
-  ['preprocessed_11745',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
-  ['prev_11746',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
-  ['prevset_11747',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
-  ['primaryvtable_11748',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
-  ['print_5fstat_11749',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
-  ['printaliases_11750',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
-  ['printcfl_11751',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
-  ['printcggraph_11752',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
-  ['printcpts_11753',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
-  ['printdchg_11754',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
-  ['printinterlev_11755',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
-  ['printlockspan_11756',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
-  ['printpathcond_11757',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
-  ['printquerypts_11758',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
-  ['printvalidres_11759',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
-  ['processtime_11760',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
-  ['propagationtime_11761',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propaptsmap_11762',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propertycomplements_11763',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
-  ['propertyintersections_11764',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
-  ['propertyunions_11765',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
-  ['pstat_11766',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
-  ['pt_11767',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta_11768',['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_11769',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
-  ['ptaimplty_11770',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
-  ['ptaty_11771',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
-  ['ptavector_11772',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
-  ['ptcache_11773',['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_11774',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
-  ['ptdatabacking_11775',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
-  ['ptdty_11776',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
-  ['ptnumstatmap_11777',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr_11778',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
-  ['ptrelementtype_11779',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
-  ['ptrinuncalledfun_11780',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
-  ['ptronlymssa_11781',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
-  ['ptrpool_11782',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
-  ['ptrtobvptsmap_11783',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
-  ['ptrtocptsmap_11784',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
-  ['ptrtoid_11785',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
-  ['ptsallprint_11786',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
-  ['ptsmap_11787',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
-  ['ptsprint_11788',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
-  ['ptstoid_11789',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
-  ['pttype_11790',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
-  ['purevirtualfunname_11791',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
-  ['pwcreps_11792',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
+  ['p_11698',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
+  ['pag_11699',['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_11700',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
+  ['pagedge_11701',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
+  ['pagedges_11702',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
+  ['pagedgetofunmap_11703',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
+  ['pagedgetostmtvfgnodemap_11704',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
+  ['pagnodetoactualparmmap_11705',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
+  ['pagnodetoactualretmap_11706',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
+  ['pagnodetobinaryopvfgnodemap_11707',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap_11708',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
+  ['pagnodetocmpvfgnodemap_11709',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
+  ['pagnodetodefmap_11710',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
+  ['pagnodetoformalparmmap_11711',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
+  ['pagnodetoformalretmap_11712',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
+  ['pagnodetointraphivfgnodemap_11713',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
+  ['pagnodetounaryopvfgnodemap_11714',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
+  ['pagprint_11715',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
+  ['pagreadfromtxt_11716',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
+  ['pairheadmap_11717',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
+  ['pairtailmap_11718',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
+  ['param_11719',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
+  ['parforsites_11720',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
+  ['partialjoin_11721',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
+  ['partialreachable_11722',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
+  ['paselected_11723',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
+  ['pathallocator_11724',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
+  ['pdtbbsmap_11725',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
+  ['pegtransfer_11726',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
+  ['persptdata_11727',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
+  ['phinodemap_11728',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
+  ['phitime_11729',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
+  ['plainmappingfs_11730',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
+  ['pocralias_11731',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
+  ['pocrhybrid_11732',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
+  ['position_11733',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
+  ['possibilities_11734',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
+  ['possibilitydescriptions_11735',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
+  ['prebuffer_11736',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
+  ['predbbs_11737',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
+  ['predicate_11738',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
+  ['predictptocc_11739',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
+  ['predinsts_11740',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
+  ['predmap_11741',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
+  ['preemptivecomplements_11742',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveintersections_11743',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveunions_11744',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
+  ['prelabeledobjects_11745',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabelingtime_11746',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
+  ['preprocessed_11747',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
+  ['prev_11748',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
+  ['prevset_11749',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
+  ['primaryvtable_11750',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
+  ['print_5fstat_11751',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
+  ['printaliases_11752',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
+  ['printcfl_11753',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
+  ['printcggraph_11754',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
+  ['printcpts_11755',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
+  ['printdchg_11756',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
+  ['printinterlev_11757',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
+  ['printlockspan_11758',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
+  ['printpathcond_11759',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
+  ['printquerypts_11760',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
+  ['printvalidres_11761',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
+  ['processtime_11762',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
+  ['propagationtime_11763',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
+  ['propaptsmap_11764',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
+  ['propertycomplements_11765',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
+  ['propertyintersections_11766',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
+  ['propertyunions_11767',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
+  ['pstat_11768',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
+  ['pt_11769',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
+  ['pta_11770',['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_11771',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptaimplty_11772',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
+  ['ptaty_11773',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
+  ['ptavector_11774',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
+  ['ptcache_11775',['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_11776',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
+  ['ptdatabacking_11777',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
+  ['ptdty_11778',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
+  ['ptnumstatmap_11779',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
+  ['ptr_11780',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
+  ['ptrelementtype_11781',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
+  ['ptrinuncalledfun_11782',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
+  ['ptronlymssa_11783',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
+  ['ptrpool_11784',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
+  ['ptrtobvptsmap_11785',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
+  ['ptrtocptsmap_11786',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
+  ['ptrtoid_11787',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
+  ['ptsallprint_11788',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
+  ['ptsmap_11789',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsprint_11790',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
+  ['ptstoid_11791',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
+  ['pttype_11792',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
+  ['purevirtualfunname_11793',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
+  ['pwcreps_11794',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
 ];

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

@@ -1,49 +1,49 @@
 var searchData=
 [
-  ['raw_11793',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['rawproductions_11794',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_11795',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_11796',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fmhp_11797',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_11798',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_11799',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['reachablebbs_11800',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_11801',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['readander_11802',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readjson_11803',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
-  ['readprecisiontdedge_11804',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readsvfg_11805',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['realdeffun_11806',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_11807',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reanalyze_11808',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recordedges_11809',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_11810',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['redundantgepnodes_11811',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['refval_11812',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_11813',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_11814',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_11815',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_11816',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['regpt_11817',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
-  ['replacement_11818',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnodes_11819',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_11820',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['repr_11821',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_11822',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['res_11823',['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_11824',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_11825',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
-  ['retpe_11826',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
-  ['retpes_11827',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retty_11828',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['return_5fparse_5fend_11829',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returnsymmap_11830',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_11831',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reversenodemapping_11832',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_11833',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
-  ['rfinept_11834',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
-  ['rid_11835',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['root_11836',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rthdtochildren_11837',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthd_11838',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
+  ['raw_11795',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['rawproductions_11796',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_11797',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_11798',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fmhp_11799',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_11800',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_11801',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['reachablebbs_11802',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_11803',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['readander_11804',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readjson_11805',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
+  ['readprecisiontdedge_11806',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readsvfg_11807',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['realdeffun_11808',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_11809',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reanalyze_11810',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recordedges_11811',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_11812',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['redundantgepnodes_11813',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['refval_11814',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_11815',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_11816',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_11817',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_11818',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['regpt_11819',['REGPT',['../dda_8cpp.html#aa4d54caa95b7971baaaa499dc52a83f0',1,'dda.cpp']]],
+  ['replacement_11820',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnodes_11821',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_11822',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['repr_11823',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_11824',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['res_11825',['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_11826',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_11827',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
+  ['retpe_11828',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
+  ['retpes_11829',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retty_11830',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['return_5fparse_5fend_11831',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returnsymmap_11832',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_11833',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reversenodemapping_11834',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_11835',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
+  ['rfinept_11836',['RFINEPT',['../dda_8cpp.html#a67ee98e0a1d06555ea82c26cf1fa2b35',1,'dda.cpp']]],
+  ['rid_11837',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['root_11838',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rthdtochildren_11839',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthd_11840',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
 ];