svf-tools 1.0.837 → 1.0.839

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

@@ -1,78 +1,78 @@
 var searchData=
 [
-  ['a_10956',['a',['../cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b',1,'cJSON.cpp']]],
-  ['accesslowerbound_10957',['accessLowerBound',['../classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c',1,'SVF::BufferOverflowBug']]],
-  ['accesspairs_10958',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a90f7d527816acf808e3e54c2a4ed0532',1,'SVF::RaceResultValidator']]],
-  ['accessupperbound_10959',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
-  ['actualintodefmap_10960',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
-  ['actualret_10961',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
-  ['addaddrtakennodetimeend_10962',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
-  ['addaddrtakennodetimestart_10963',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
-  ['addedge_5fallopt_10964',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoalias_10965',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoedge_10966',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnolock_10967',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnomhp_10968',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnonsparse_10969',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnorp_10970',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
-  ['addmodelflag_10971',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
-  ['addrbar_10972',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
-  ['addrcgedgeset_10973',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
-  ['addressinedges_10974',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
-  ['addressoutedges_10975',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
-  ['addrspace_10976',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['addrtaken_10977',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
-  ['addrtime_10978',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
-  ['addtoplevelnodetimeend_10979',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
-  ['addtoplevelnodetimestart_10980',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
-  ['after_5finserted_10981',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
-  ['alias_5fvalidation_10982',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
-  ['aliasrule_10983',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
-  ['aliasset_10984',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
-  ['aliastestfailmayalias_10985',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailmayaliasmangled_10986',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoalias_10987',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoaliasmangled_10988',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayalias_10989',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayaliasmangled_10990',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustalias_10991',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustaliasmangled_10992',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoalias_10993',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoaliasmangled_10994',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialalias_10995',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialaliasmangled_10996',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
-  ['allargs_10997',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
-  ['allbbs_10998',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
-  ['allglobals_10999',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
-  ['allinsts_11000',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
-  ['allocator_11001',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
-  ['alloclowerbound_11002',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
-  ['allocupperbound_11003',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
-  ['allpairmhp_11004',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
-  ['ander_11005',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
-  ['andersenanno_11006',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
-  ['andersvfg_11007',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
-  ['andertimelimit_11008',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
-  ['anno_5falias_11009',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
-  ['anno_5flocal_11010',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
-  ['anno_5fmhp_11011',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
-  ['annoflag_11012',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
-  ['annotations_11013',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
-  ['annotationtime_11014',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
-  ['ap_11015',['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_11016',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
-  ['apoffset_11017',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar']]],
-  ['argno_11018',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
-  ['args_11019',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
-  ['atend_11020',['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_11021',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
-  ['attribute_11022',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol']]],
-  ['attributedkindmaskbits_11023',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
-  ['attributekinds_11024',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
-  ['averagepointstosetsize_11025',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
-  ['avgindegree_11026',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
-  ['avgindindegree_11027',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
-  ['avgindoutdegree_11028',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
-  ['avgoutdegree_11029',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
-  ['avgweight_11030',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
+  ['a_10964',['a',['../cJSON_8cpp.html#a8a1a0a26c50cc4becfc754bb68d1dc6b',1,'cJSON.cpp']]],
+  ['accesslowerbound_10965',['accessLowerBound',['../classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c',1,'SVF::BufferOverflowBug']]],
+  ['accesspairs_10966',['accessPairs',['../classSVF_1_1RaceResultValidator.html#a90f7d527816acf808e3e54c2a4ed0532',1,'SVF::RaceResultValidator']]],
+  ['accessupperbound_10967',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
+  ['actualintodefmap_10968',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
+  ['actualret_10969',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
+  ['addaddrtakennodetimeend_10970',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
+  ['addaddrtakennodetimestart_10971',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
+  ['addedge_5fallopt_10972',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoalias_10973',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoedge_10974',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnolock_10975',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnomhp_10976',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnonsparse_10977',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnorp_10978',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
+  ['addmodelflag_10979',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
+  ['addrbar_10980',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
+  ['addrcgedgeset_10981',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
+  ['addressinedges_10982',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
+  ['addressoutedges_10983',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
+  ['addrspace_10984',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['addrtaken_10985',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
+  ['addrtime_10986',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
+  ['addtoplevelnodetimeend_10987',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
+  ['addtoplevelnodetimestart_10988',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
+  ['after_5finserted_10989',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
+  ['alias_5fvalidation_10990',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
+  ['aliasrule_10991',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
+  ['aliasset_10992',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
+  ['aliastestfailmayalias_10993',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailmayaliasmangled_10994',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoalias_10995',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoaliasmangled_10996',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayalias_10997',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayaliasmangled_10998',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustalias_10999',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustaliasmangled_11000',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoalias_11001',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoaliasmangled_11002',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialalias_11003',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialaliasmangled_11004',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
+  ['allargs_11005',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
+  ['allbbs_11006',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
+  ['allglobals_11007',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
+  ['allinsts_11008',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
+  ['allocator_11009',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
+  ['alloclowerbound_11010',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
+  ['allocupperbound_11011',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
+  ['allpairmhp_11012',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
+  ['ander_11013',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
+  ['andersenanno_11014',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
+  ['andersvfg_11015',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
+  ['andertimelimit_11016',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
+  ['anno_5falias_11017',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
+  ['anno_5flocal_11018',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
+  ['anno_5fmhp_11019',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
+  ['annoflag_11020',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
+  ['annotations_11021',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
+  ['annotationtime_11022',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
+  ['ap_11023',['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_11024',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
+  ['apoffset_11025',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar']]],
+  ['argno_11026',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
+  ['args_11027',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
+  ['atend_11028',['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_11029',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
+  ['attribute_11030',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol']]],
+  ['attributedkindmaskbits_11031',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
+  ['attributekinds_11032',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
+  ['averagepointstosetsize_11033',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
+  ['avgindegree_11034',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
+  ['avgindindegree_11035',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
+  ['avgindoutdegree_11036',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
+  ['avgoutdegree_11037',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
+  ['avgweight_11038',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
 ];

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

@@ -1,100 +1,101 @@
 var searchData=
 [
-  ['p_11756',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
-  ['pag_11757',['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_11758',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
-  ['pagedge_11759',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
-  ['pagedges_11760',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
-  ['pagedgetofunmap_11761',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
-  ['pagedgetostmtvfgnodemap_11762',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmap_11763',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualretmap_11764',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
-  ['pagnodetobinaryopvfgnodemap_11765',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
-  ['pagnodetobranchvfgnodemap_11766',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
-  ['pagnodetocmpvfgnodemap_11767',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
-  ['pagnodetodefmap_11768',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
-  ['pagnodetoformalparmmap_11769',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
-  ['pagnodetoformalretmap_11770',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
-  ['pagnodetointraphivfgnodemap_11771',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
-  ['pagnodetounaryopvfgnodemap_11772',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
-  ['pagprint_11773',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
-  ['pagreadfromtxt_11774',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
-  ['pairheadmap_11775',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
-  ['pairtailmap_11776',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
-  ['param_11777',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
-  ['parforsites_11778',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
-  ['partialjoin_11779',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
-  ['partialreachable_11780',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
-  ['paselected_11781',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
-  ['pathallocator_11782',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
-  ['pdtbbsmap_11783',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
-  ['pegtransfer_11784',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
-  ['persptdata_11785',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
-  ['phinodemap_11786',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
-  ['phitime_11787',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
-  ['plainmappingfs_11788',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
-  ['pocralias_11789',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
-  ['pocrhybrid_11790',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
-  ['position_11791',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
-  ['possibilities_11792',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
-  ['possibilitydescriptions_11793',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
-  ['prebuffer_11794',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
-  ['predbbs_11795',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
-  ['predicate_11796',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
-  ['predictptocc_11797',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
-  ['predinsts_11798',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
-  ['predmap_11799',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
-  ['preemptivecomplements_11800',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveintersections_11801',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
-  ['preemptiveunions_11802',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
-  ['prelabeledobjects_11803',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
-  ['prelabelingtime_11804',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
-  ['preprocessed_11805',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
-  ['prev_11806',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
-  ['prevset_11807',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
-  ['primaryvtable_11808',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
-  ['print_5fstat_11809',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
-  ['printaliases_11810',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
-  ['printcfl_11811',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
-  ['printcggraph_11812',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
-  ['printcpts_11813',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
-  ['printdchg_11814',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
-  ['printinterlev_11815',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
-  ['printlockspan_11816',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
-  ['printpathcond_11817',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
-  ['printquerypts_11818',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
-  ['printvalidres_11819',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
-  ['processtime_11820',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
-  ['propagationtime_11821',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
-  ['propaptsmap_11822',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
-  ['propertycomplements_11823',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
-  ['propertyintersections_11824',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
-  ['propertyunions_11825',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
-  ['pstat_11826',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
-  ['pt_11827',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
-  ['pta_11828',['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_11829',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
-  ['ptaimplty_11830',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
-  ['ptaty_11831',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
-  ['ptavector_11832',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
-  ['ptcache_11833',['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_11834',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
-  ['ptdatabacking_11835',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
-  ['ptdty_11836',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
-  ['ptnumstatmap_11837',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr_11838',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
-  ['ptrelementtype_11839',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
-  ['ptrinuncalledfun_11840',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
-  ['ptronlymssa_11841',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
-  ['ptrpool_11842',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
-  ['ptrtobvptsmap_11843',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
-  ['ptrtocptsmap_11844',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
-  ['ptrtoid_11845',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
-  ['ptsallprint_11846',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
-  ['ptsmap_11847',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
-  ['ptsprint_11848',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
-  ['ptstoid_11849',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
-  ['pttype_11850',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
-  ['purevirtualfunname_11851',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
-  ['pwcreps_11852',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
+  ['p_11758',['p',['../cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae',1,'cJSON.cpp']]],
+  ['pag_11759',['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_11760',['PAGDotGraph',['../classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8',1,'SVF::Options']]],
+  ['pagedge_11761',['pagEdge',['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode']]],
+  ['pagedges_11762',['pagEdges',['../classSVF_1_1ICFGNode.html#a12ce3aabc1bd3bae7caa9be9ec0a6a71',1,'SVF::ICFGNode']]],
+  ['pagedgetofunmap_11763',['pagEdgeToFunMap',['../classSVF_1_1MRGenerator.html#ab250a4950269f57027d8e8ef10089f58',1,'SVF::MRGenerator']]],
+  ['pagedgetostmtvfgnodemap_11764',['PAGEdgeToStmtVFGNodeMap',['../classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f',1,'SVF::VFG']]],
+  ['pagnodetoactualparmmap_11765',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
+  ['pagnodetoactualretmap_11766',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
+  ['pagnodetobinaryopvfgnodemap_11767',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
+  ['pagnodetobranchvfgnodemap_11768',['PAGNodeToBranchVFGNodeMap',['../classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1',1,'SVF::VFG']]],
+  ['pagnodetocmpvfgnodemap_11769',['PAGNodeToCmpVFGNodeMap',['../classSVF_1_1VFG.html#a9a16c7a7b0df273c1dcbe6ba3aef8fde',1,'SVF::VFG']]],
+  ['pagnodetodefmap_11770',['PAGNodeToDefMap',['../classSVF_1_1VFG.html#ac89b3917ed73ac70aac6205af8f7a4fe',1,'SVF::VFG']]],
+  ['pagnodetoformalparmmap_11771',['PAGNodeToFormalParmMap',['../classSVF_1_1VFG.html#ad014bc47ceba578c368da19e2d86b8f8',1,'SVF::VFG']]],
+  ['pagnodetoformalretmap_11772',['PAGNodeToFormalRetMap',['../classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a',1,'SVF::VFG']]],
+  ['pagnodetointraphivfgnodemap_11773',['PAGNodeToIntraPHIVFGNodeMap',['../classSVF_1_1VFG.html#a598bc7a6863a6eccc3e089b63e9add17',1,'SVF::VFG']]],
+  ['pagnodetounaryopvfgnodemap_11774',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
+  ['pagprint_11775',['PAGPrint',['../classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e',1,'SVF::Options']]],
+  ['pagreadfromtxt_11776',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule']]],
+  ['pairheadmap_11777',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
+  ['pairtailmap_11778',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
+  ['param_11779',['param',['../classSVF_1_1ArgumentVFGNode.html#af220abd2d55eafa518160be5a5137e8f',1,'SVF::ArgumentVFGNode']]],
+  ['parforsites_11780',['parForSites',['../classSVF_1_1ThreadCallGraph.html#a6c47e8d4e328bf20d676913f39d842c2',1,'SVF::ThreadCallGraph']]],
+  ['partialjoin_11781',['partialJoin',['../classSVF_1_1ForkJoinAnalysis.html#a3616d6e1649f9e451da0f7a44cffc1e3',1,'SVF::ForkJoinAnalysis']]],
+  ['partialreachable_11782',['partialReachable',['../classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9',1,'SVF::ProgSlice']]],
+  ['paselected_11783',['PASelected',['../classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd',1,'SVF::Options']]],
+  ['pathallocator_11784',['pathAllocator',['../classSVF_1_1ProgSlice.html#aaf001b6abc4ecb466ab74b26981ea7ef',1,'SVF::ProgSlice']]],
+  ['pdtbbsmap_11785',['pdtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a522e9d29a83ebd76ec208b76b8fd6cc0',1,'SVF::SVFLoopAndDomInfo']]],
+  ['pegtransfer_11786',['PEGTransfer',['../classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26',1,'SVF::Options']]],
+  ['persptdata_11787',['persPTData',['../classSVF_1_1PersistentDiffPTData.html#a0d6620a7078bd60d16256ac48af58db9',1,'SVF::PersistentDiffPTData::persPTData()'],['../classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820',1,'SVF::PersistentDFPTData::persPTData()']]],
+  ['phinodemap_11788',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR']]],
+  ['phitime_11789',['phiTime',['../classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42',1,'SVF::FlowSensitive']]],
+  ['plainmappingfs_11790',['PlainMappingFs',['../classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9',1,'SVF::Options']]],
+  ['pocralias_11791',['POCRAlias',['../classSVF_1_1Options.html#a2f4f7e10e3f4f11645aafe63edeef26c',1,'SVF::Options']]],
+  ['pocrhybrid_11792',['POCRHybrid',['../classSVF_1_1Options.html#a38d8e1b3fb1a86673a9555c21ba7065e',1,'SVF::Options']]],
+  ['position_11793',['position',['../structerror.html#a24de70a4d517ab351d80c18582cadb66',1,'error::position()'],['../cJSON_8cpp.html#a1c3580b00311725af8eb560f18555e0a',1,'position(): cJSON.cpp']]],
+  ['possibilities_11794',['possibilities',['../classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb',1,'OptionMap::possibilities()'],['../classOptionMultiple.html#aec251294a810d232e1f352a40126d82a',1,'OptionMultiple::possibilities()']]],
+  ['possibilitydescriptions_11795',['possibilityDescriptions',['../classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1',1,'OptionBase']]],
+  ['prebuffer_11796',['prebuffer',['../cJSON_8h.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.h'],['../cJSON_8cpp.html#a039dc262c2ae63f95cfe193245f8ee7e',1,'prebuffer(): cJSON.cpp']]],
+  ['predbbs_11797',['predBBs',['../classSVF_1_1SVFBasicBlock.html#aec6be531ef52c960ef1e908fd031e32c',1,'SVF::SVFBasicBlock']]],
+  ['predicate_11798',['predicate',['../classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328',1,'SVF::CmpStmt']]],
+  ['predictptocc_11799',['PredictPtOcc',['../classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb',1,'SVF::Options']]],
+  ['predinsts_11800',['predInsts',['../classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34',1,'SVF::SVFInstruction']]],
+  ['predmap_11801',['predMap',['../classSVF_1_1POCRSolver.html#a20ca972c50403e2dcad73efa63518d4d',1,'SVF::POCRSolver']]],
+  ['preemptivecomplements_11802',['preemptiveComplements',['../classSVF_1_1PersistentPointsToCache.html#ad9a761bcece141764322247cc326bcbe',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveintersections_11803',['preemptiveIntersections',['../classSVF_1_1PersistentPointsToCache.html#ae80c5037ff49f70d9a87a83a8fcb07c7',1,'SVF::PersistentPointsToCache']]],
+  ['preemptiveunions_11804',['preemptiveUnions',['../classSVF_1_1PersistentPointsToCache.html#a98dad4f4d39904d90564f1a2279ac664',1,'SVF::PersistentPointsToCache']]],
+  ['prelabeledobjects_11805',['prelabeledObjects',['../classSVF_1_1VersionedFlowSensitive.html#aaae8c6858593ed050dcf2c9220228e3e',1,'SVF::VersionedFlowSensitive']]],
+  ['prelabelingtime_11806',['prelabelingTime',['../classSVF_1_1VersionedFlowSensitive.html#a77a5dd9578def9a8e2b48e8b90d9b996',1,'SVF::VersionedFlowSensitive']]],
+  ['preprocessed_11807',['preProcessed',['../classSVF_1_1LLVMModuleSet.html#a3204400c52ec55da70418471d5c9bad5',1,'SVF::LLVMModuleSet']]],
+  ['prev_11808',['prev',['../structcJSON.html#a488a393f610347821fce8e985e79fc2f',1,'cJSON::prev()'],['../cJSON_8cpp.html#a8f132000c2609a05d1bfd83e25db97d5',1,'prev(): cJSON.cpp']]],
+  ['prevset_11809',['prevset',['../classSVF_1_1MTASVFGBuilder.html#a26f850fc0fe434f1972c151d7c3ad9fd',1,'SVF::MTASVFGBuilder']]],
+  ['primaryvtable_11810',['primaryVTable',['../classSVF_1_1DCHNode.html#a6b0971c1f8a90945694754eff8bf068b',1,'SVF::DCHNode']]],
+  ['print_5fstat_11811',['print_stat',['../classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d',1,'SVF::PointerAnalysis']]],
+  ['printaliases_11812',['PrintAliases',['../classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671',1,'SVF::Options']]],
+  ['printcfl_11813',['PrintCFL',['../classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f',1,'SVF::Options']]],
+  ['printcggraph_11814',['PrintCGGraph',['../classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83',1,'SVF::Options']]],
+  ['printcpts_11815',['PrintCPts',['../classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b',1,'SVF::Options']]],
+  ['printdchg_11816',['PrintDCHG',['../classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182',1,'SVF::Options']]],
+  ['printfieldwithbaseprefix_11817',['PrintFieldWithBasePrefix',['../classSVF_1_1Options.html#a404f9785ed3e592e0c36d91cd6730655',1,'SVF::Options']]],
+  ['printinterlev_11818',['PrintInterLev',['../classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba',1,'SVF::Options']]],
+  ['printlockspan_11819',['PrintLockSpan',['../classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844',1,'SVF::Options']]],
+  ['printpathcond_11820',['PrintPathCond',['../classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9',1,'SVF::Options']]],
+  ['printquerypts_11821',['PrintQueryPts',['../classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014',1,'SVF::Options']]],
+  ['printvalidres_11822',['PrintValidRes',['../classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1',1,'SVF::Options']]],
+  ['processtime_11823',['processTime',['../classSVF_1_1FlowSensitive.html#ae2e58d18abcdddc7a5a87f4edc5f3b72',1,'SVF::FlowSensitive']]],
+  ['propagationtime_11824',['propagationTime',['../classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337',1,'SVF::FlowSensitive']]],
+  ['propaptsmap_11825',['propaPtsMap',['../classSVF_1_1MutableDiffPTData.html#acd3c327ee7c8fd077d51751cc7069dee',1,'SVF::MutableDiffPTData::propaPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad',1,'SVF::PersistentDiffPTData::propaPtsMap()']]],
+  ['propertycomplements_11826',['propertyComplements',['../classSVF_1_1PersistentPointsToCache.html#a7961dd7af7db2774e852beabcba1e5a8',1,'SVF::PersistentPointsToCache']]],
+  ['propertyintersections_11827',['propertyIntersections',['../classSVF_1_1PersistentPointsToCache.html#a4c58a058c50703ba5f35e8bf052ee991',1,'SVF::PersistentPointsToCache']]],
+  ['propertyunions_11828',['propertyUnions',['../classSVF_1_1PersistentPointsToCache.html#ad045302497c76b9dfa656882cc0192dd',1,'SVF::PersistentPointsToCache']]],
+  ['pstat_11829',['PStat',['../classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4',1,'SVF::Options']]],
+  ['pt_11830',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
+  ['pta_11831',['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_11832',['ptaCallGraph',['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptaimplty_11833',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis']]],
+  ['ptaty_11834',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis']]],
+  ['ptavector_11835',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass']]],
+  ['ptcache_11836',['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_11837',['ptD',['../classSVF_1_1BVDataPTAImpl.html#ab283427a420ab349da4920ec10b7e1cd',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
+  ['ptdatabacking_11838',['ptDataBacking',['../classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307',1,'SVF::Options']]],
+  ['ptdty_11839',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
+  ['ptnumstatmap_11840',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
+  ['ptr_11841',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
+  ['ptrelementtype_11842',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
+  ['ptrinuncalledfun_11843',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
+  ['ptronlymssa_11844',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
+  ['ptrpool_11845',['ptrPool',['../classSVF_1_1WriterPtrPool.html#a7a3246f7158330ed49088205610e042f',1,'SVF::WriterPtrPool::ptrPool()'],['../classSVF_1_1ReaderPtrPool.html#a705d5d5fe6ebfb94157453b3403aaaaa',1,'SVF::ReaderPtrPool::ptrPool()']]],
+  ['ptrtobvptsmap_11846',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl']]],
+  ['ptrtocptsmap_11847',['ptrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl']]],
+  ['ptrtoid_11848',['ptrToId',['../classSVF_1_1WriterPtrPool.html#a9ad8e70372f0a86cb5027588a008abfe',1,'SVF::WriterPtrPool']]],
+  ['ptsallprint_11849',['PTSAllPrint',['../classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00',1,'SVF::Options']]],
+  ['ptsmap_11850',['ptsMap',['../classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942',1,'SVF::MutablePTData::ptsMap()'],['../classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e',1,'SVF::PersistentPTData::ptsMap()']]],
+  ['ptsprint_11851',['PTSPrint',['../classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337',1,'SVF::Options']]],
+  ['ptstoid_11852',['ptsToId',['../classSVF_1_1PersistentPointsToCache.html#a6a3b33721ae00efd2fdf2d71f3298e1c',1,'SVF::PersistentPointsToCache']]],
+  ['pttype_11853',['PtType',['../classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0',1,'SVF::Options']]],
+  ['purevirtualfunname_11854',['pureVirtualFunName',['../CHGBuilder_8cpp.html#a5b49460faf973332d3cbfc561c994c6c',1,'CHGBuilder.cpp']]],
+  ['pwcreps_11855',['pwcReps',['../classSVF_1_1AndersenSCD.html#ac4bf67d35b56f010aeedb59777a83f0e',1,'SVF::AndersenSCD']]]
 ];

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

@@ -1,47 +1,48 @@
 var searchData=
 [
-  ['raw_11853',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
-  ['rawproductions_11854',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
-  ['rc_5faccess_11855',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
-  ['rc_5faliases_11856',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
-  ['rc_5fmhp_11857',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
-  ['rc_5fprotected_11858',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
-  ['rc_5frace_11859',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
-  ['reachablebbs_11860',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
-  ['reachglob_11861',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
-  ['readander_11862',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
-  ['readjson_11863',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
-  ['readprecisiontdedge_11864',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
-  ['readsvfg_11865',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
-  ['realdeffun_11866',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
-  ['realdefglobal_11867',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
-  ['reanalyze_11868',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
-  ['recordedges_11869',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
-  ['recurse_11870',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
-  ['redundantgepnodes_11871',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
-  ['refval_11872',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
-  ['reg2bbmap_11873',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
-  ['regionalign_11874',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
-  ['regionedclustering_11875',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
-  ['regioningtime_11876',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['replacement_11877',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
-  ['repnodes_11878',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
-  ['report_11879',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
-  ['repr_11880',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
-  ['require_5fnull_5fterminated_11881',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
-  ['res_11882',['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_11883',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
-  ['ret_11884',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
-  ['retpe_11885',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
-  ['retpes_11886',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
-  ['retty_11887',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
-  ['return_5fparse_5fend_11888',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
-  ['returnsymmap_11889',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
-  ['rev_11890',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
-  ['reversenodemapping_11891',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap_11892',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
-  ['rid_11893',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
-  ['root_11894',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
-  ['rthdtochildren_11895',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
-  ['rthdtovthd_11896',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
+  ['raw_11856',['raw',['../cJSON_8h.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.h'],['../cJSON_8cpp.html#a788db922597cf2fb6389e278f822e59f',1,'raw(): cJSON.cpp']]],
+  ['rawproductions_11857',['rawProductions',['../classSVF_1_1GrammarBase.html#a5ba80e2f28d7b7a722a24901fcaf4ffd',1,'SVF::GrammarBase']]],
+  ['rc_5faccess_11858',['RC_ACCESS',['../classSVF_1_1RaceResultValidator.html#ab1fbb367d32d72841119795e48cfae2d',1,'SVF::RaceResultValidator']]],
+  ['rc_5faliases_11859',['RC_ALIASES',['../classSVF_1_1RaceResultValidator.html#a090afdd4eb0d60b2a0408f9b5ea4a30e',1,'SVF::RaceResultValidator']]],
+  ['rc_5fmhp_11860',['RC_MHP',['../classSVF_1_1RaceResultValidator.html#aa4129053b7248d4e95763f0b41044e4c',1,'SVF::RaceResultValidator']]],
+  ['rc_5fprotected_11861',['RC_PROTECTED',['../classSVF_1_1RaceResultValidator.html#abcdd726f56cc2deb6cad72456863fc9b',1,'SVF::RaceResultValidator']]],
+  ['rc_5frace_11862',['RC_RACE',['../classSVF_1_1RaceResultValidator.html#abb9eba49d091d292a13478f659a5e53b',1,'SVF::RaceResultValidator']]],
+  ['reachablebbs_11863',['reachableBBs',['../classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff',1,'SVF::SVFLoopAndDomInfo']]],
+  ['reachglob_11864',['reachGlob',['../classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5',1,'SVF::ProgSlice']]],
+  ['readander_11865',['ReadAnder',['../classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475',1,'SVF::Options']]],
+  ['readjson_11866',['ReadJson',['../classSVF_1_1Options.html#ae1776c9fb7d163153443b1ff2a7350a8',1,'SVF::Options']]],
+  ['readprecisiontdedge_11867',['ReadPrecisionTDEdge',['../classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916',1,'SVF::Options']]],
+  ['readsvfg_11868',['ReadSVFG',['../classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4',1,'SVF::Options']]],
+  ['realdeffun_11869',['realDefFun',['../classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007',1,'SVF::SVFFunction']]],
+  ['realdefglobal_11870',['realDefGlobal',['../classSVF_1_1SVFGlobalValue.html#a3048ae66c737eebbe7fe230f95a88b6e',1,'SVF::SVFGlobalValue']]],
+  ['reanalyze_11871',['reanalyze',['../classSVF_1_1WPASolver.html#ac460772d9236a2fefe17b2557023b883',1,'SVF::WPASolver']]],
+  ['recordedges_11872',['recordedges',['../classSVF_1_1MTASVFGBuilder.html#a13ac51421add3cb242ad823e18938c95',1,'SVF::MTASVFGBuilder']]],
+  ['recurse_11873',['recurse',['../cJSON_8h.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.h'],['../cJSON_8cpp.html#afc8d1c385c6dc37e1c5b640869ce4ab6',1,'recurse(): cJSON.cpp']]],
+  ['redundantgepnodes_11874',['redundantGepNodes',['../classSVF_1_1AndersenBase.html#a6c3d6b4c004d9e43690c3807502eed74',1,'SVF::AndersenBase']]],
+  ['refval_11875',['refVal',['../classSVF_1_1MemObj.html#a33d27c3e75e62f31f62c8d9bfc2e0262',1,'SVF::MemObj']]],
+  ['reg2bbmap_11876',['reg2BBMap',['../classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121',1,'SVF::MemSSA']]],
+  ['regionalign_11877',['RegionAlign',['../classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88',1,'SVF::Options']]],
+  ['regionedclustering_11878',['RegionedClustering',['../classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6',1,'SVF::Options']]],
+  ['regioningtime_11879',['RegioningTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a',1,'SVF::NodeIDAllocator::Clusterer']]],
+  ['removedsuvfedges_11880',['removedSUVFEdges',['../classSVF_1_1SaberCondAllocator.html#a0eb6b0b625f412cb603e5483ca88e8dc',1,'SVF::SaberCondAllocator']]],
+  ['replacement_11881',['replacement',['../cJSON_8h.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.h'],['../cJSON_8cpp.html#a10573fccca598ec39809e8beb3f7f791',1,'replacement(): cJSON.cpp']]],
+  ['repnodes_11882',['repNodes',['../classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b',1,'SVF::SCCDetection']]],
+  ['report_11883',['report',['../classSVF_1_1SrcSnkDDA.html#aa7d6999b99412cdc101152867778cd0a',1,'SVF::SrcSnkDDA']]],
+  ['repr_11884',['repr',['../classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3',1,'SVF::SVFOtherType']]],
+  ['require_5fnull_5fterminated_11885',['require_null_terminated',['../cJSON_8h.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.h'],['../cJSON_8cpp.html#a68bc5d2265c7694323a75615f7ac0130',1,'require_null_terminated(): cJSON.cpp']]],
+  ['res_11886',['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_11887',['resVer',['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF']]],
+  ['ret_11888',['ret',['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()'],['../classSVF_1_1SVFInstruction.html#a61e04a2e436a4c141980ee06854b74ca',1,'SVF::SVFInstruction::ret()']]],
+  ['retpe_11889',['retPE',['../classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c',1,'SVF::RetCFGEdge']]],
+  ['retpes_11890',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
+  ['retty_11891',['retTy',['../classSVF_1_1SVFFunctionType.html#a2b3c4e21da9ad2bdd8e306192b953186',1,'SVF::SVFFunctionType']]],
+  ['return_5fparse_5fend_11892',['return_parse_end',['../cJSON_8h.html#a7725ae4fa33fc499614c6895ee9ee44a',1,'return_parse_end(): cJSON.h'],['../cJSON_8cpp.html#a1a7c63ae727dcb98b54e081b2ff17ed9',1,'return_parse_end(): cJSON.cpp']]],
+  ['returnsymmap_11893',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
+  ['rev_11894',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reversenodemapping_11895',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
+  ['revptsmap_11896',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
+  ['rid_11897',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
+  ['root_11898',['root',['../classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087',1,'SVF::ProgSlice']]],
+  ['rthdtochildren_11899',['rthdToChildren',['../classSVF_1_1MTAResultValidator.html#a542f2f41c90698270687fc7858a26555',1,'SVF::MTAResultValidator']]],
+  ['rthdtovthd_11900',['rthdTovthd',['../classSVF_1_1MTAResultValidator.html#a615623a08324ee155cb527a3b57e8c19',1,'SVF::MTAResultValidator']]]
 ];