svf-tools 1.0.768 → 1.0.769

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

@@ -18,462 +18,463 @@ var searchData=
   ['accesspath_2ecpp_168',['AccessPath.cpp',['../AccessPath_8cpp.html',1,'']]],
   ['accesspath_2eh_169',['AccessPath.h',['../AccessPath_8h.html',1,'']]],
   ['accessupperbound_170',['accessUpperBound',['../classSVF_1_1BufferOverflowBug.html#a04cb8d2b008019cf48e2d70ba20c3098',1,'SVF::BufferOverflowBug']]],
-  ['accumulateconstantoffset_171',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
-  ['actualinofindcs_172',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode_173',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF::ActualINSVFGNode'],['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode::ActualINSVFGNode()']]],
-  ['actualinsvfgnodeset_174',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
-  ['actualintodefmap_175',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
-  ['actualoutofindcs_176',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode_177',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF::ActualOUTSVFGNode'],['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode::ActualOUTSVFGNode()']]],
-  ['actualoutsvfgnodeset_178',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
-  ['actualparmnodevec_179',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
-  ['actualparmsvfgnode_180',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
-  ['actualparmvfgnode_181',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF::ActualParmVFGNode'],['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode::ActualParmVFGNode()']]],
-  ['actualret_182',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
-  ['actualretsvfgnode_183',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
-  ['actualretvfgnode_184',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF::ActualRetVFGNode'],['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
-  ['add_185',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
-  ['add_5fconst_5fpast_5fpointer_186',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_187',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
-  ['add_5fitem_5fto_5farray_188',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
-  ['add_5fitem_5fto_5fobject_189',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_190',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
-  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_191',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
-  ['addabsexecbug_192',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
-  ['addactualinsvfgnode_193',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode_194',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
-  ['addactualparms_195',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
-  ['addactualparmvfgnode_196',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret_197',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
-  ['addactualretvfgnode_198',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
-  ['addaddrcgedge_199',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
-  ['addaddredge_200',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
-  ['addaddrstmt_201',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
-  ['addaddrtakennodetimeend_202',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
-  ['addaddrtakennodetimestart_203',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
-  ['addaddrvfgnode_204',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
-  ['addaliasset_205',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
-  ['addarc_206',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
-  ['addarc_5fh_207',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
-  ['addargument_208',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
-  ['addargumentmap_209',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
-  ['addattribute_210',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
-  ['addbackicfgedge_211',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
-  ['addbackwardvisited_212',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbasicblock_213',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
-  ['addbasicblockmap_214',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
-  ['addbicfledge_215',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
-  ['addbigepcfledge_216',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
-  ['addbinaryopedge_217',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryopstmt_218',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode_219',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
-  ['addblackholeaddredge_220',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrstmt_221',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
-  ['addblackholeobjnode_222',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
-  ['addblackholeptrnode_223',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
-  ['addbranchstmt_224',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
-  ['addbranchvfgnode_225',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcallblock_226',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
-  ['addcalledge_227',['addCallEdge',['../classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6',1,'SVF::SVFIRBuilder::addCallEdge()'],['../classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()']]],
-  ['addcallgraphnode_228',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallindirectsvfgedge_229',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge_230',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe_231',['addCallPE',['../classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb',1,'SVF::CallCFGEdge::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba',1,'SVF::SVFIR::addCallPE()']]],
-  ['addcallsite_232',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs_233',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
-  ['addcallsitechi_234',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MemRegion *mr)']]],
-  ['addcallsitemu_235',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
-  ['addcallsiterets_236',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
-  ['addcandidate_237',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
-  ['addcfledge_238',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
-  ['addcflnode_239',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
-  ['addcmpedge_240',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
-  ['addcmpstmt_241',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode_242',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
-  ['addcomplexconsforext_243',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
-  ['addcondintralock_244',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
-  ['addconditionalintraedge_245',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
-  ['addconstant_246',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
-  ['addconstantdatamap_247',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
-  ['addconstantobjnode_248',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
-  ['addconstraintnode_249',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
-  ['addcopycgedge_250',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge_251',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
-  ['addcopystmt_252',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
-  ['addcopyvfgnode_253',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods_254',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs_255',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
-  ['addcptstoload_256',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
-  ['addcptstostore_257',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures_258',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
-  ['addcxtlock_259',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
-  ['addcxtofcxtthread_260',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
-  ['addcxtstmttospan_261',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
-  ['addddapts_262',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge_263',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite_264',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge_265',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge_266',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
-  ['adddirectlyjointid_267',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge_268',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
-  ['adddpmtoloc_269',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
-  ['adddummymemobj_270',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
-  ['adddummyobjnode_271',['addDummyObjNode',['../classSVF_1_1SVFIR.html#afddb7a152e95ed4c559d12d00f5939e7',1,'SVF::SVFIR::addDummyObjNode(const SVFType *type)'],['../classSVF_1_1SVFIR.html#a35af1a212273ae32651a88b1ed032700',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const SVFType *type)']]],
-  ['adddummyvalnode_272',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
-  ['adddummyversionpropsvfgnode_273',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
-  ['addedge_274',['addEdge',['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ac5fec22ed55d9b885f9381df8621e70a',1,'SVF::SVFIRBuilder::addEdge()'],['../classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af',1,'SVF::POCRSolver::addEdge()'],['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#a25b3c454753f7e1bbec92bbcd7c7655b',1,'SVF::PAGBuilderFromFile::addEdge()']]],
-  ['addedge_5fallopt_275',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoalias_276',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnoedge_277',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnolock_278',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnomhp_279',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnonsparse_280',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
-  ['addedge_5fnorp_281',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
-  ['addedges_282',['addEdges',['../classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85',1,'SVF::POCRSolver::addEdges(const NodeID src, const NodeBS &dstData, const Label ty)'],['../classSVF_1_1POCRSolver.html#abccdf1a69c71d48df3773d8c6f09c63d',1,'SVF::POCRSolver::addEdges(const NodeBS &srcData, const NodeID dst, const Label ty)']]],
-  ['addentryicfgedge_283',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
-  ['addextactualparmsvfgnodes_284',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
-  ['addfiobjnode_285',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
-  ['addfldwithtype_286',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
-  ['addfollowerfun_287',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
-  ['addforksite_288',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode_289',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode_290',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
-  ['addformalparms_291',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
-  ['addformalparmvfgnode_292',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret_293',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
-  ['addformalretvfgnode_294',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
-  ['addforwardvisited_295',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
-  ['addfunargs_296',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
-  ['addfunctionmap_297',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
-  ['addfunctionset_298',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
-  ['addfunctofuncvector_299',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
-  ['addfunentryblock_300',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
-  ['addfunexitblock_301',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
-  ['addfunret_302',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge_303',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
-  ['addgepobjnode_304',['addGepObjNode',['../classSVF_1_1SVFIR.html#aba63798e93490f257574c24d3c03507d',1,'SVF::SVFIR']]],
-  ['addgepstmt_305',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
-  ['addgepvalnode_306',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
-  ['addgepvfgnode_307',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
-  ['addglobalblackholeaddredge_308',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
-  ['addglobalicfgnode_309',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
-  ['addglobalpagedge_310',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
-  ['addglobalset_311',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
-  ['addglobalvaluemap_312',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
-  ['addgnode_313',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
-  ['addhareparforedgesetmap_314',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
-  ['addicfgedge_315',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
-  ['addicfginteredges_316',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
-  ['addicfgnode_317',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
-  ['addincomingaddredge_318',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
-  ['addincomingcopyedge_319',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
-  ['addincomingdirectedge_320',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
-  ['addincomingedge_321',['addIncomingEdge',['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode']]],
-  ['addincominggepedge_322',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
-  ['addincomingloadedge_323',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
-  ['addincomingstoreedge_324',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addind_5fh_325',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
-  ['addindirectcallgraphedge_326',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite_327',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites_328',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
-  ['addindirectforkedge_329',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge_330',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
-  ['addinedge_331',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
-  ['addinedgewithkind_332',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
-  ['addingoingedge_333',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
-  ['addinicfgedge_334',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
-  ['addinstances_335',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
-  ['addinstruction_336',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
-  ['addinstructionmap_337',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
-  ['addinteredgefromaptofp_338',['addInterEdgeFromAPToFP',['../classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461',1,'SVF::VFG::addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a185ed4079babc0e0f72c4bf223342ee2',1,'SVF::VFG::addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)']]],
-  ['addinteredgefromfrtoar_339',['addInterEdgeFromFRToAR',['../classSVF_1_1VFG.html#abd05b599b383c759455aff99963b7b41',1,'SVF::VFG::addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a4ac1cd5f79c9e33ae599f7eb942a6e01',1,'SVF::VFG::addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)']]],
-  ['addinterindirectvfcalledge_340',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
-  ['addinterindirectvfretedge_341',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
-  ['addinterleavingthread_342',['addInterleavingThread',['../classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid)'],['../classSVF_1_1MHP.html#a6c77349f168735888d0db4ac5b632da9',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, const CxtThreadStmt &src)']]],
-  ['addinterphiforar_343',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
-  ['addinterphiforfp_344',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
-  ['addinterphioperands_345',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
-  ['addintoworklist_346',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrablock_347',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
-  ['addintradirectvfedge_348',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
-  ['addintraedge_349',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge_350',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
-  ['addintralock_351',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
-  ['addintramssaphisvfgnode_352',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
-  ['addintraphivfgnode_353',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
-  ['addjoinsite_354',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
-  ['addloadcgedge_355',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
-  ['addloadcvar_356',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
-  ['addloaddpm_357',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
-  ['addloaddpmandcvar_358',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge_359',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
-  ['addloadmu_360',['AddLoadMU',['../classSVF_1_1MemSSA.html#a426a9befa6646c88fc5d11a09da2d27a',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af478ee12d362c614096ec9a2183dfbcc',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
-  ['addloadstmt_361',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
-  ['addloadvfgnode_362',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
-  ['addmdtag_363',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
-  ['addmodelflag_364',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
-  ['addmodsideeffectofcallsite_365',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
-  ['addmodsideeffectoffunction_366',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
-  ['addmssaphi_367',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#ae1e97a53e1267cf357515d64fd916e1d',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a7c1fdb3947b503ed5ca16360e52e1cc0',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MemRegion *mr)']]],
-  ['addnewcandidate_368',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
-  ['addnewsvfgedge_369',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
-  ['addnode_370',['addNode',['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph']]],
-  ['addnodeintoworklist_371',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
-  ['addnodetobecollapsed_372',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
-  ['addnodetosvfloop_373',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
-  ['addnormalgepcgedge_374',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge_375',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgepstmt_376',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
-  ['addnullptrnode_377',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
-  ['addnullptrvfgnode_378',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
-  ['addobjnode_379',['addObjNode',['../classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6',1,'SVF::SVFIR::addObjNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1',1,'SVF::SVFIR::addObjNode(const SVFValue *, SVFVar *node, NodeID i)']]],
-  ['addoffsetvarandgeptypepair_380',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
-  ['addopvar_381',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
-  ['addotherconstantmap_382',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
-  ['addothervalue_383',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
-  ['addothervaluemap_384',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
-  ['addoutedge_385',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
-  ['addoutedgewithkind_386',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
-  ['addoutgoingaddredge_387',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
-  ['addoutgoingcopyedge_388',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
-  ['addoutgoingdirectedge_389',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
-  ['addoutgoingedge_390',['addOutgoingEdge',['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
-  ['addoutgoinggepedge_391',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
-  ['addoutgoingloadedge_392',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
-  ['addoutgoingstoreedge_393',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
-  ['addouticfgedge_394',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
-  ['addoutofbudgetdpm_395',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite_396',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
-  ['addphistmt_397',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
-  ['addpointsto_398',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
-  ['addpred_399',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
-  ['addpredbasicblock_400',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
-  ['addpreds_401',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
-  ['addpts_402',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
-  ['addr_403',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()']]],
-  ['addrbar_404',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
-  ['addrcgedge_405',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF::AddrCGEdge'],['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
-  ['addrcgedgeset_406',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
-  ['addrefsideeffectofcallsite_407',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
-  ['addrefsideeffectoffunction_408',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
-  ['addressinedges_409',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
-  ['addressk_410',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
-  ['addressmask_411',['AddressMask',['../AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f',1,'AddressValue.h']]],
-  ['addressoutedges_412',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
-  ['addressvalue_413',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF::AddressValue'],['../classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce',1,'SVF::AddressValue::AddressValue()'],['../classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5',1,'SVF::AddressValue::AddressValue(const Set< u32_t > &addrs)'],['../classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291',1,'SVF::AddressValue::AddressValue(u32_t addr)'],['../classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc',1,'SVF::AddressValue::AddressValue(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#a5edc442bfe6f4e50c78acb83a906ba0e',1,'SVF::AddressValue::AddressValue(AddressValue &&other) noexcept']]],
-  ['addressvalue_2eh_414',['AddressValue.h',['../AddressValue_8h.html',1,'']]],
-  ['addretblock_415',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
-  ['addretedge_416',['addRetEdge',['../classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca',1,'SVF::SVFIRBuilder::addRetEdge()'],['../classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()']]],
-  ['addretindirectsvfgedge_417',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge_418',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
-  ['addretnode_419',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
-  ['addretpe_420',['addRetPE',['../classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef',1,'SVF::RetCFGEdge::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f',1,'SVF::SVFIR::addRetPE()']]],
-  ['addrevpts_421',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
-  ['addrset_422',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
-  ['addrspace_423',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
-  ['addrstmt_424',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF::AddrStmt'],['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
-  ['addrsvfgnode_425',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
-  ['addrtaken_426',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
-  ['addrtime_427',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
-  ['addrvfgnode_428',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF::AddrVFGNode'],['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
-  ['addsaberbug_429',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
-  ['addscccandidate_430',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
-  ['addselectstmt_431',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
-  ['addsinglerevpts_432',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
-  ['addsinktocurslice_433',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
-  ['addspawneefun_434',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
-  ['addspawnerfun_435',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
-  ['addspawnsite_436',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
-  ['addsrctocsid_437',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
-  ['addstartroutineofcxtthread_438',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
-  ['addstinfo_439',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
-  ['addstmtvfgnode_440',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
-  ['addstorecgedge_441',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
-  ['addstorechi_442',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
-  ['addstoreedge_443',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt_444',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
-  ['addstorevfgnode_445',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
-  ['addsubnode_446',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
-  ['addsubnodes_447',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['addsucc_448',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
-  ['addsuccbasicblock_449',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
-  ['addsuccs_450',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
-  ['addsustat_451',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
-  ['addsvfgedge_452',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
-  ['addsvfgnode_453',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
-  ['addsvfgnodesforaddrtakenvars_454',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
-  ['addsvfmain_455',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
-  ['addsvfstmt_456',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
-  ['addsvftypeinfo_457',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
-  ['addsymmetricloopjoin_458',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
-  ['addtctedge_459',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
-  ['addtctnode_460',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
-  ['addtdedges_461',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge_462',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap_463',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe_464',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge_465',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap_466',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe_467',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
-  ['addthreadmhpindirectvfedge_468',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
-  ['addtobackwardslice_469',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
-  ['addtobb2loopmap_470',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
-  ['addtocurbackwardslice_471',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
-  ['addtocurforwardslice_472',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
-  ['addtoforwardslice_473',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
-  ['addtofulljoin_474',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohbpair_475',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohppair_476',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtopartial_477',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
-  ['addtoplevelnodetimeend_478',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
-  ['addtoplevelnodetimestart_479',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
-  ['addtosinks_480',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
-  ['addtosources_481',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
-  ['addtostmt2typemap_482',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
-  ['addtosvfstmtlist_483',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
-  ['addtotypelocsetsmap_484',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
-  ['addtypedef_485',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
-  ['addtypeinfo_486',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
-  ['addunaryopedge_487',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
-  ['addunaryopstmt_488',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode_489',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
-  ['addvalnode_490',['addValNode',['../classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212',1,'SVF::SVFIR::addValNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4',1,'SVF::SVFIR::addValNode(const SVFValue *, SVFVar *node, NodeID i)']]],
-  ['addvarargnode_491',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
-  ['addvariantgepcgedge_492',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge_493',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgepstmt_494',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
-  ['addvfgedge_495',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges_496',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
-  ['addvfgnode_497',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
-  ['addvfgnodes_498',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
-  ['addvirtualfunctionvector_499',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['advancetofirstnonzero_500',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['advancetonextnonzero_501',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['after_5finserted_502',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
-  ['alias_503',['alias',['../classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855',1,'SVF::CFLAlias::alias(const SVFValue *v1, const SVFValue *v2)'],['../classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a',1,'SVF::CFLAlias::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb',1,'SVF::DDAPass::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217',1,'SVF::PointerAnalysis::alias(const SVFValue *V1, const SVFValue *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48',1,'SVF::BVDataPTAImpl::alias(const SVFValue *V1, const SVFValue *V2) override'],['../classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2) override'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6',1,'SVF::CondPTAImpl::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729',1,'SVF::WPAPass::alias()']]],
-  ['alias_5fbegin_504',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
-  ['alias_5fend_505',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
-  ['alias_5fiterator_506',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
-  ['alias_5fvalidation_507',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
-  ['aliascflgraphbuilder_508',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
-  ['aliascheckrule_509',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
-  ['aliasddaclient_510',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF::AliasDDAClient'],['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient::AliasDDAClient()']]],
-  ['aliased_511',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
-  ['aliasquery_512',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
-  ['aliasresult_513',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]],
-  ['aliasrule_514',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
-  ['aliasset_515',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
-  ['aliassettype_516',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
-  ['aliastestfailmayalias_517',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailmayaliasmangled_518',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoalias_519',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
-  ['aliastestfailnoaliasmangled_520',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayalias_521',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
-  ['aliastestmayaliasmangled_522',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustalias_523',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
-  ['aliastestmustaliasmangled_524',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoalias_525',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
-  ['aliastestnoaliasmangled_526',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialalias_527',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
-  ['aliastestpartialaliasmangled_528',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
-  ['allargs_529',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
-  ['allbbs_530',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
-  ['allglobals_531',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
-  ['allinsts_532',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
-  ['allocainst_533',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
-  ['allocate_534',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
-  ['allocateforbb_535',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
-  ['allocategepobjectid_536',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
-  ['allocateobjectid_537',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
-  ['allocatevalueid_538',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
-  ['allocator_539',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
-  ['alloclowerbound_540',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
-  ['allocupperbound_541',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
-  ['allpairmhp_542',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
-  ['allpathreachablesolve_543',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['analyze_544',['analyze',['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1CFLBase.html#a2aac58e19676290042874c262f1edd4d',1,'SVF::CFLBase::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a7b3f1ca7f8996edc3ed80fdff536d519',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
-  ['analyzeforkjoinpair_545',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeheapobjtype_546',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeinterleaving_547',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
-  ['analyzeintraproceduallock_548',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
-  ['analyzelockspancxtstmt_549',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
-  ['analyzeobjtype_550',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
-  ['analyzestaticobjtype_551',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
-  ['analyzevtables_552',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
-  ['and_553',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr::AND()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt::And()']]],
-  ['ander_554',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
-  ['andersen_555',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF::Andersen'],['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen::Andersen()']]],
-  ['andersen_2ecpp_556',['Andersen.cpp',['../Andersen_8cpp.html',1,'']]],
-  ['andersen_2eh_557',['Andersen.h',['../Andersen_8h.html',1,'']]],
-  ['andersen_5fbase_558',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
-  ['andersen_5fwpa_559',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
-  ['andersenanno_560',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
-  ['andersenbase_561',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF::AndersenBase'],['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase::AndersenBase()']]],
-  ['andersenpwc_2eh_562',['AndersenPWC.h',['../AndersenPWC_8h.html',1,'']]],
-  ['andersenscd_563',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF::AndersenSCD'],['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD::AndersenSCD()']]],
-  ['andersenscd_2ecpp_564',['AndersenSCD.cpp',['../AndersenSCD_8cpp.html',1,'']]],
-  ['andersenscd_5fwpa_565',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
-  ['andersensfr_566',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF::AndersenSFR'],['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR::AndersenSFR()']]],
-  ['andersensfr_2ecpp_567',['AndersenSFR.cpp',['../AndersenSFR_8cpp.html',1,'']]],
-  ['andersensfr_5fwpa_568',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
-  ['andersenstat_569',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF::AndersenStat'],['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat::AndersenStat()']]],
-  ['andersenstat_2ecpp_570',['AndersenStat.cpp',['../AndersenStat_8cpp.html',1,'']]],
-  ['andersenwavediff_571',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF::AndersenWaveDiff'],['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff::AndersenWaveDiff()']]],
-  ['andersenwavediff_2ecpp_572',['AndersenWaveDiff.cpp',['../AndersenWaveDiff_8cpp.html',1,'']]],
-  ['andersenwavediff_5fwpa_573',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
-  ['andersvfg_574',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
-  ['andertimelimit_575',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
-  ['anno_5falias_576',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
-  ['anno_5flocal_577',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
-  ['anno_5fmhp_578',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
-  ['annoflag_579',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
-  ['annotatedrcheck_580',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
-  ['annotateslice_581',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
-  ['annotations_582',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
-  ['annotationtime_583',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
-  ['annotator_584',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF::Annotator'],['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator::Annotator()']]],
-  ['annotator_2eh_585',['Annotator.h',['../Annotator_8h.html',1,'']]],
-  ['answerqueries_586',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
-  ['ap_587',['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()']]],
-  ['aparm_588',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
-  ['apin_589',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apnodes_590',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
-  ['apoffset_591',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar::apOffset()'],['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF::APOffset()']]],
-  ['apout_592',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
-  ['applyedgemask_593',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
-  ['applyphi_594',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
-  ['applyselect_595',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
-  ['applysummary_596',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
-  ['aret_597',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
-  ['arg_5fempty_598',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
-  ['arg_5fsize_599',['arg_size',['../classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e',1,'SVF::SVFFunction::arg_size()'],['../classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0',1,'SVF::SVFCallInst::arg_size()'],['../classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8',1,'SVF::CallSite::arg_size()']]],
-  ['argindeadfunction_600',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
-  ['arginprogentryfunction_601',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
-  ['argno_602',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
-  ['args_603',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
-  ['argument_604',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
-  ['argumentvfgnode_605',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF::ArgumentVFGNode'],['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode::ArgumentVFGNode()']]],
-  ['arraytype_606',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
-  ['asctime_5fr_607',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
-  ['ashr_608',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt::AShr()']]],
-  ['assign_609',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
-  ['assignstmt_610',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF::AssignStmt'],['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)'],['../classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb',1,'SVF::AssignStmt::AssignStmt(GEdgeFlag k)']]],
-  ['atend_611',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aea5c1fe642e6cc0ac3243f8a7b3fe613',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()']]],
-  ['atkey_612',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
-  ['atomiccmpxchginst_613',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
-  ['atomicrmwinst_614',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
-  ['atptdata_615',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
-  ['attribute_616',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol::attribute()'],['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase::Attribute()']]],
-  ['attributedkindmaskbits_617',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
-  ['attributekinds_618',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
-  ['atvfnodeend_619',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
-  ['atvfnodestart_620',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]],
-  ['autocstr_621',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
-  ['autojson_622',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]],
-  ['averagepointstosetsize_623',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
-  ['avgindegree_624',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
-  ['avgindindegree_625',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
-  ['avgindoutdegree_626',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
-  ['avgoutdegree_627',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
-  ['avgweight_628',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
+  ['accumulateconstantbyteoffset_171',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#aeef864ea656824c228f755a183364901',1,'SVF::GepStmt']]],
+  ['accumulateconstantoffset_172',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
+  ['actualinofindcs_173',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
+  ['actualinsvfgnode_174',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF::ActualINSVFGNode'],['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode::ActualINSVFGNode()']]],
+  ['actualinsvfgnodeset_175',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
+  ['actualintodefmap_176',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
+  ['actualoutofindcs_177',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
+  ['actualoutsvfgnode_178',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF::ActualOUTSVFGNode'],['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode::ActualOUTSVFGNode()']]],
+  ['actualoutsvfgnodeset_179',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
+  ['actualparmnodevec_180',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
+  ['actualparmsvfgnode_181',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
+  ['actualparmvfgnode_182',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF::ActualParmVFGNode'],['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode::ActualParmVFGNode()']]],
+  ['actualret_183',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
+  ['actualretsvfgnode_184',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
+  ['actualretvfgnode_185',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF::ActualRetVFGNode'],['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
+  ['add_186',['Add',['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862',1,'SVF::BinaryOPStmt']]],
+  ['add_5fconst_5fpast_5fpointer_187',['add_const_past_pointer',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5fconst_5fpast_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_188',['add_const_past_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__const__past__pointer_3_01T_00_01std_1_1enable__if__t_3_01std_1_1is_7fffc8df953a67082a10c9027356ecdf.html',1,'SVF::SVFUtil']]],
+  ['add_5fitem_5fto_5farray_189',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
+  ['add_5fitem_5fto_5fobject_190',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_191',['add_lvalue_reference_if_not_pointer',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer.html',1,'SVF::SVFUtil']]],
+  ['add_5flvalue_5freference_5fif_5fnot_5fpointer_3c_20t_2c_20std_3a_3aenable_5fif_5ft_3c_20std_3a_3ais_5fpointer_3c_20t_20_3e_3a_3avalue_20_3e_20_3e_192',['add_lvalue_reference_if_not_pointer< T, std::enable_if_t< std::is_pointer< T >::value > >',['../structSVF_1_1SVFUtil_1_1add__lvalue__reference__if__not__pointer_3_01T_00_01std_1_1enable__if__t915410d772a4855ec3d21a633a25ee09.html',1,'SVF::SVFUtil']]],
+  ['addabsexecbug_193',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
+  ['addactualinsvfgnode_194',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode_195',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms_196',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode_197',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret_198',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode_199',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
+  ['addaddrcgedge_200',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
+  ['addaddredge_201',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
+  ['addaddrstmt_202',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
+  ['addaddrtakennodetimeend_203',['addAddrTakenNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2',1,'SVF::SVFGStat']]],
+  ['addaddrtakennodetimestart_204',['addAddrTakenNodeTimeStart',['../classSVF_1_1SVFGStat.html#aa35ff9ddfc4f00be698a903adf3285f5',1,'SVF::SVFGStat']]],
+  ['addaddrvfgnode_205',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
+  ['addaliasset_206',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
+  ['addarc_207',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
+  ['addarc_5fh_208',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
+  ['addargument_209',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
+  ['addargumentmap_210',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
+  ['addattribute_211',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
+  ['addbackicfgedge_212',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
+  ['addbackwardvisited_213',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
+  ['addbasicblock_214',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
+  ['addbasicblockmap_215',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
+  ['addbicfledge_216',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
+  ['addbigepcfledge_217',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
+  ['addbinaryopedge_218',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopstmt_219',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
+  ['addbinaryopvfgnode_220',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
+  ['addblackholeaddredge_221',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
+  ['addblackholeaddrstmt_222',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
+  ['addblackholeobjnode_223',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
+  ['addblackholeptrnode_224',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
+  ['addbranchstmt_225',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
+  ['addbranchvfgnode_226',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
+  ['addcallblock_227',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
+  ['addcalledge_228',['addCallEdge',['../classSVF_1_1SVFIRBuilder.html#abaf03c3031ef3940c73e3cd8e8ca17b6',1,'SVF::SVFIRBuilder::addCallEdge()'],['../classSVF_1_1ICFG.html#a2ad6c1e49cc847df18342cbbe6224863',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()']]],
+  ['addcallgraphnode_229',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
+  ['addcallindirectsvfgedge_230',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge_231',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
+  ['addcallpe_232',['addCallPE',['../classSVF_1_1CallCFGEdge.html#a7069cf7d8b53dc0bd2c0272912bc02fb',1,'SVF::CallCFGEdge::addCallPE()'],['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a574bd5c9f11681c70db29c25f25a4cba',1,'SVF::SVFIR::addCallPE()']]],
+  ['addcallsite_233',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs_234',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi_235',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ad8011273feaf046bf7f3a3f3b904a91d',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af7991c1393ef3c8b090833bc27036a49',1,'SVF::MemSSA::AddCallSiteCHI(const CallICFGNode *cs, const MemRegion *mr)']]],
+  ['addcallsitemu_236',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a8f121e686d36748e4528d0ea66dcaa24',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#adbaf4715d5d4c9d0be1e934178efe13e',1,'SVF::MemSSA::AddCallSiteMU(const CallICFGNode *cs, const MemRegion *mr)']]],
+  ['addcallsiterets_237',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
+  ['addcandidate_238',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
+  ['addcfledge_239',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
+  ['addcflnode_240',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
+  ['addcmpedge_241',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
+  ['addcmpstmt_242',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
+  ['addcmpvfgnode_243',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
+  ['addcomplexconsforext_244',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
+  ['addcondintralock_245',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
+  ['addconditionalintraedge_246',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
+  ['addconstant_247',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
+  ['addconstantdatamap_248',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
+  ['addconstantobjnode_249',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
+  ['addconstraintnode_250',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
+  ['addcopycgedge_251',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
+  ['addcopyedge_252',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2',1,'SVF::CFLAlias::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()'],['../classSVF_1_1Steensgaard.html#a2fdc85975893015a2b786c9bbd05e612',1,'SVF::Steensgaard::addCopyEdge()']]],
+  ['addcopystmt_253',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyvfgnode_254',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
+  ['addcptstocallsitemods_255',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs_256',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
+  ['addcptstoload_257',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
+  ['addcptstostore_258',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
+  ['addcustomgraphfeatures_259',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
+  ['addcxtlock_260',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
+  ['addcxtofcxtthread_261',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
+  ['addcxtstmttospan_262',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
+  ['addddapts_263',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
+  ['adddirectcallgraphedge_264',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite_265',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge_266',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge_267',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
+  ['adddirectlyjointid_268',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
+  ['adddirectparforedge_269',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
+  ['adddpmtoloc_270',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
+  ['adddummymemobj_271',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
+  ['adddummyobjnode_272',['addDummyObjNode',['../classSVF_1_1SVFIR.html#afddb7a152e95ed4c559d12d00f5939e7',1,'SVF::SVFIR::addDummyObjNode(const SVFType *type)'],['../classSVF_1_1SVFIR.html#a35af1a212273ae32651a88b1ed032700',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const SVFType *type)']]],
+  ['adddummyvalnode_273',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
+  ['adddummyversionpropsvfgnode_274',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
+  ['addedge_275',['addEdge',['../classSVF_1_1DCHGraph.html#a294a2075c97e1db8003393fb472c1def',1,'SVF::DCHGraph::addEdge()'],['../classSVF_1_1SVFIRBuilder.html#ac5fec22ed55d9b885f9381df8621e70a',1,'SVF::SVFIRBuilder::addEdge()'],['../classSVF_1_1POCRSolver.html#ad3c570ffdea011fd06af17571fc566af',1,'SVF::POCRSolver::addEdge()'],['../classSVF_1_1CHGraph.html#a3867db3e76f068bd8c4399b103dcd0b7',1,'SVF::CHGraph::addEdge()'],['../classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e',1,'SVF::IRGraph::addEdge()'],['../classSVF_1_1PTACallGraph.html#a3154bbc421fc85649e786ed67ca03750',1,'SVF::PTACallGraph::addEdge()'],['../classSVF_1_1PAGBuilderFromFile.html#a25b3c454753f7e1bbec92bbcd7c7655b',1,'SVF::PAGBuilderFromFile::addEdge()']]],
+  ['addedge_5fallopt_276',['ADDEDGE_ALLOPT',['../classSVF_1_1MTASVFGBuilder.html#a80ce025ef719088c7aea9f2459a781d5',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoalias_277',['ADDEDGE_NOALIAS',['../classSVF_1_1MTASVFGBuilder.html#a9b81d7b2c238d443acadc748c6bd018d',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnoedge_278',['ADDEDGE_NOEDGE',['../classSVF_1_1MTASVFGBuilder.html#a80353cd2e4f7f7f006071b59c2cb3b9b',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnolock_279',['ADDEDGE_NOLOCK',['../classSVF_1_1MTASVFGBuilder.html#a82634524fba304c012980421b35ed8bd',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnomhp_280',['ADDEDGE_NOMHP',['../classSVF_1_1MTASVFGBuilder.html#a21b3ee74434730fc792624d2eae2b168',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnonsparse_281',['ADDEDGE_NONSPARSE',['../classSVF_1_1MTASVFGBuilder.html#a2be0c1f7cc8872a6f27431b33811cbea',1,'SVF::MTASVFGBuilder']]],
+  ['addedge_5fnorp_282',['ADDEDGE_NORP',['../classSVF_1_1MTASVFGBuilder.html#adac31c16b9e84d3bee24ce09a82c467b',1,'SVF::MTASVFGBuilder']]],
+  ['addedges_283',['addEdges',['../classSVF_1_1POCRSolver.html#a828465a33f85248443937f5efaf57c85',1,'SVF::POCRSolver::addEdges(const NodeID src, const NodeBS &dstData, const Label ty)'],['../classSVF_1_1POCRSolver.html#abccdf1a69c71d48df3773d8c6f09c63d',1,'SVF::POCRSolver::addEdges(const NodeBS &srcData, const NodeID dst, const Label ty)']]],
+  ['addentryicfgedge_284',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
+  ['addextactualparmsvfgnodes_285',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
+  ['addfiobjnode_286',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
+  ['addfldwithtype_287',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
+  ['addfollowerfun_288',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
+  ['addforksite_289',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode_290',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode_291',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms_292',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
+  ['addformalparmvfgnode_293',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
+  ['addformalret_294',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
+  ['addformalretvfgnode_295',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
+  ['addforwardvisited_296',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
+  ['addfunargs_297',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
+  ['addfunctionmap_298',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
+  ['addfunctionset_299',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
+  ['addfunctofuncvector_300',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
+  ['addfunentryblock_301',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
+  ['addfunexitblock_302',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
+  ['addfunret_303',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
+  ['addgepedge_304',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
+  ['addgepobjnode_305',['addGepObjNode',['../classSVF_1_1SVFIR.html#aba63798e93490f257574c24d3c03507d',1,'SVF::SVFIR']]],
+  ['addgepstmt_306',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
+  ['addgepvalnode_307',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
+  ['addgepvfgnode_308',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
+  ['addglobalblackholeaddredge_309',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
+  ['addglobalicfgnode_310',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
+  ['addglobalpagedge_311',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
+  ['addglobalset_312',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
+  ['addglobalvaluemap_313',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
+  ['addgnode_314',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
+  ['addhareparforedgesetmap_315',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
+  ['addicfgedge_316',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
+  ['addicfginteredges_317',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
+  ['addicfgnode_318',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
+  ['addincomingaddredge_319',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
+  ['addincomingcopyedge_320',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
+  ['addincomingdirectedge_321',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
+  ['addincomingedge_322',['addIncomingEdge',['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode']]],
+  ['addincominggepedge_323',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
+  ['addincomingloadedge_324',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
+  ['addincomingstoreedge_325',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
+  ['addind_5fh_326',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
+  ['addindirectcallgraphedge_327',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite_328',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites_329',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge_330',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge_331',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
+  ['addinedge_332',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
+  ['addinedgewithkind_333',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
+  ['addingoingedge_334',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
+  ['addinicfgedge_335',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
+  ['addinstances_336',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
+  ['addinstruction_337',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
+  ['addinstructionmap_338',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
+  ['addinteredgefromaptofp_339',['addInterEdgeFromAPToFP',['../classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461',1,'SVF::VFG::addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a185ed4079babc0e0f72c4bf223342ee2',1,'SVF::VFG::addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)']]],
+  ['addinteredgefromfrtoar_340',['addInterEdgeFromFRToAR',['../classSVF_1_1VFG.html#abd05b599b383c759455aff99963b7b41',1,'SVF::VFG::addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)'],['../classSVF_1_1VFG.html#a4ac1cd5f79c9e33ae599f7eb942a6e01',1,'SVF::VFG::addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)']]],
+  ['addinterindirectvfcalledge_341',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
+  ['addinterindirectvfretedge_342',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
+  ['addinterleavingthread_343',['addInterleavingThread',['../classSVF_1_1MHP.html#a6343dd11dd75d3730dc463321a11445e',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid)'],['../classSVF_1_1MHP.html#a6c77349f168735888d0db4ac5b632da9',1,'SVF::MHP::addInterleavingThread(const CxtThreadStmt &tgr, const CxtThreadStmt &src)']]],
+  ['addinterphiforar_344',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
+  ['addinterphiforfp_345',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
+  ['addinterphioperands_346',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
+  ['addintoworklist_347',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
+  ['addintrablock_348',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
+  ['addintradirectvfedge_349',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
+  ['addintraedge_350',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
+  ['addintraindirectvfedge_351',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
+  ['addintralock_352',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
+  ['addintramssaphisvfgnode_353',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
+  ['addintraphivfgnode_354',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
+  ['addjoinsite_355',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
+  ['addloadcgedge_356',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
+  ['addloadcvar_357',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
+  ['addloaddpm_358',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
+  ['addloaddpmandcvar_359',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
+  ['addloadedge_360',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
+  ['addloadmu_361',['AddLoadMU',['../classSVF_1_1MemSSA.html#a426a9befa6646c88fc5d11a09da2d27a',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#af478ee12d362c614096ec9a2183dfbcc',1,'SVF::MemSSA::AddLoadMU(const SVFBasicBlock *bb, const LoadStmt *load, const MemRegion *mr)']]],
+  ['addloadstmt_362',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
+  ['addloadvfgnode_363',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
+  ['addmdtag_364',['addMDTag',['../classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091',1,'SVF::Annotator::addMDTag(Instruction *inst, std::string str)'],['../classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43',1,'SVF::Annotator::addMDTag(Instruction *inst, Value *val, std::string str)']]],
+  ['addmodelflag_365',['AddModelFlag',['../classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56',1,'SVF::Options']]],
+  ['addmodsideeffectofcallsite_366',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectoffunction_367',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
+  ['addmssaphi_368',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#ae1e97a53e1267cf357515d64fd916e1d',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a7c1fdb3947b503ed5ca16360e52e1cc0',1,'SVF::MemSSA::AddMSSAPHI(const SVFBasicBlock *bb, const MemRegion *mr)']]],
+  ['addnewcandidate_369',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
+  ['addnewsvfgedge_370',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
+  ['addnode_371',['addNode',['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph']]],
+  ['addnodeintoworklist_372',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
+  ['addnodetobecollapsed_373',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
+  ['addnodetosvfloop_374',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
+  ['addnormalgepcgedge_375',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
+  ['addnormalgepedge_376',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepstmt_377',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
+  ['addnullptrnode_378',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
+  ['addnullptrvfgnode_379',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
+  ['addobjnode_380',['addObjNode',['../classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6',1,'SVF::SVFIR::addObjNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1',1,'SVF::SVFIR::addObjNode(const SVFValue *, SVFVar *node, NodeID i)']]],
+  ['addoffsetvarandgeptypepair_381',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
+  ['addopvar_382',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
+  ['addotherconstantmap_383',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
+  ['addothervalue_384',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
+  ['addothervaluemap_385',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
+  ['addoutedge_386',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
+  ['addoutedgewithkind_387',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
+  ['addoutgoingaddredge_388',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
+  ['addoutgoingcopyedge_389',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
+  ['addoutgoingdirectedge_390',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
+  ['addoutgoingedge_391',['addOutgoingEdge',['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
+  ['addoutgoinggepedge_392',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
+  ['addoutgoingloadedge_393',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
+  ['addoutgoingstoreedge_394',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
+  ['addouticfgedge_395',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
+  ['addoutofbudgetdpm_396',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
+  ['addparforsite_397',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
+  ['addphistmt_398',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
+  ['addpointsto_399',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
+  ['addpred_400',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
+  ['addpredbasicblock_401',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
+  ['addpreds_402',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
+  ['addpts_403',['addPts',['../classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a',1,'SVF::PTData::addPts()'],['../classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a',1,'SVF::VersionedPTData::addPts()'],['../classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1',1,'SVF::MutablePTData::addPts(const Key &dstKey, const Data &element) override'],['../classSVF_1_1MutablePTData.html#a8cdeda0ef0e976102d05de3004bd8c8a',1,'SVF::MutablePTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableDiffPTData.html#a717c166c5efdf2e1d71be1772fc0898d',1,'SVF::MutableDiffPTData::addPts()'],['../classSVF_1_1MutableDFPTData.html#ab75373d16f57dbbf1e9472e9a27d6b4b',1,'SVF::MutableDFPTData::addPts(const Key &dstKey, const Key &srcKey) override'],['../classSVF_1_1MutableDFPTData.html#ab7d1a3464e561029573f6f3c13c9bff4',1,'SVF::MutableDFPTData::addPts(DataSet &d, const Data &e)'],['../classSVF_1_1MutableVersionedPTData.html#a00a88cc3e802921c6a0951801ec712a6',1,'SVF::MutableVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1MutableVersionedPTData.html#af39232f64ff0ede20161c7f265da6cf5',1,'SVF::MutableVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c',1,'SVF::PersistentPTData::addPts()'],['../classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7',1,'SVF::PersistentDiffPTData::addPts()'],['../classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f',1,'SVF::PersistentDFPTData::addPts()'],['../classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917',1,'SVF::PersistentVersionedPTData::addPts(const Key &k, const Data &element) override'],['../classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe',1,'SVF::PersistentVersionedPTData::addPts(const VersionedKey &vk, const Data &element) override'],['../classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff',1,'SVF::BVDataPTAImpl::addPts()'],['../classSVF_1_1CondPTAImpl.html#a08037f32b927fe2e6be47a61a060463c',1,'SVF::CondPTAImpl::addPts()']]],
+  ['addr_404',['Addr',['../classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3',1,'SVF::ConstraintEdge::Addr()'],['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92',1,'SVF::VFGNode::Addr()'],['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197',1,'SVF::SVFStmt::Addr()']]],
+  ['addrbar_405',['addrbar',['../PEGGrammar_8txt.html#ac0ba65b20304c39926bf018842207e87',1,'PEGGrammar.txt']]],
+  ['addrcgedge_406',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF::AddrCGEdge'],['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
+  ['addrcgedgeset_407',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
+  ['addrefsideeffectofcallsite_408',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectoffunction_409',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
+  ['addressinedges_410',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
+  ['addressk_411',['AddressK',['../classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187',1,'SVF::AbstractValue']]],
+  ['addressmask_412',['AddressMask',['../AddressValue_8h.html#a9c5bf91d8f58ded0fd8f57c04f26b56f',1,'AddressValue.h']]],
+  ['addressoutedges_413',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
+  ['addressvalue_414',['AddressValue',['../classSVF_1_1AddressValue.html',1,'SVF::AddressValue'],['../classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce',1,'SVF::AddressValue::AddressValue()'],['../classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5',1,'SVF::AddressValue::AddressValue(const Set< u32_t > &addrs)'],['../classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291',1,'SVF::AddressValue::AddressValue(u32_t addr)'],['../classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc',1,'SVF::AddressValue::AddressValue(const AddressValue &other)'],['../classSVF_1_1AddressValue.html#a5edc442bfe6f4e50c78acb83a906ba0e',1,'SVF::AddressValue::AddressValue(AddressValue &&other) noexcept']]],
+  ['addressvalue_2eh_415',['AddressValue.h',['../AddressValue_8h.html',1,'']]],
+  ['addretblock_416',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
+  ['addretedge_417',['addRetEdge',['../classSVF_1_1SVFIRBuilder.html#a89e8cc23aad23d2c326b4a5ff12535ca',1,'SVF::SVFIRBuilder::addRetEdge()'],['../classSVF_1_1ICFG.html#a8a5e7571e804702a2d0af7d420f21b33',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()']]],
+  ['addretindirectsvfgedge_418',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge_419',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
+  ['addretnode_420',['addRetNode',['../classSVF_1_1SVFIR.html#a38f6d0c7db935fd4e556761f96f1fa09',1,'SVF::SVFIR::addRetNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a1f63adcd679596996ee2eabf0179462f',1,'SVF::SVFIR::addRetNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
+  ['addretpe_421',['addRetPE',['../classSVF_1_1RetCFGEdge.html#a66668c7a3bb5a9ad3373a786b53709ef',1,'SVF::RetCFGEdge::addRetPE()'],['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a1791652f578b6ab8aacb4d6e7c7fd05f',1,'SVF::SVFIR::addRetPE()']]],
+  ['addrevpts_422',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
+  ['addrset_423',['AddrSet',['../classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6',1,'SVF::AddressValue']]],
+  ['addrspace_424',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
+  ['addrstmt_425',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF::AddrStmt'],['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
+  ['addrsvfgnode_426',['AddrSVFGNode',['../namespaceSVF.html#a959453cbb8ff2d852b526fd1ff74ce49',1,'SVF']]],
+  ['addrtaken_427',['addrTaken',['../classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1',1,'SVF::SVFFunction']]],
+  ['addrtime_428',['addrTime',['../classSVF_1_1FlowSensitive.html#a38f3ed35185addf701d4401bfdd5f29b',1,'SVF::FlowSensitive']]],
+  ['addrvfgnode_429',['AddrVFGNode',['../classSVF_1_1AddrVFGNode.html',1,'SVF::AddrVFGNode'],['../classSVF_1_1AddrVFGNode.html#ae83e51310f51cfb9cd7e2bb2002d758a',1,'SVF::AddrVFGNode::AddrVFGNode()'],['../classSVF_1_1AddrVFGNode.html#ad44d3d2b21708a472469b08450114f2c',1,'SVF::AddrVFGNode::AddrVFGNode(const AddrVFGNode &)'],['../classSVF_1_1AddrVFGNode.html#ad0608b31c5cc414454313617ff3e0ff5',1,'SVF::AddrVFGNode::AddrVFGNode(NodeID id, const AddrStmt *edge)']]],
+  ['addsaberbug_430',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
+  ['addscccandidate_431',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
+  ['addselectstmt_432',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
+  ['addsinglerevpts_433',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
+  ['addsinktocurslice_434',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
+  ['addspawneefun_435',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
+  ['addspawnerfun_436',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
+  ['addspawnsite_437',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
+  ['addsrctocsid_438',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
+  ['addstartroutineofcxtthread_439',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
+  ['addstinfo_440',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
+  ['addstmtvfgnode_441',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
+  ['addstorecgedge_442',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
+  ['addstorechi_443',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c',1,'SVF::MemSSA::AddStoreCHI(const SVFBasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
+  ['addstoreedge_444',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
+  ['addstorestmt_445',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
+  ['addstorevfgnode_446',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
+  ['addsubnode_447',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
+  ['addsubnodes_448',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['addsucc_449',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
+  ['addsuccbasicblock_450',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
+  ['addsuccs_451',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
+  ['addsustat_452',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
+  ['addsvfgedge_453',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
+  ['addsvfgnode_454',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
+  ['addsvfgnodesforaddrtakenvars_455',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
+  ['addsvfmain_456',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
+  ['addsvfstmt_457',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
+  ['addsvftypeinfo_458',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
+  ['addsymmetricloopjoin_459',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
+  ['addtctedge_460',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
+  ['addtctnode_461',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
+  ['addtdedges_462',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
+  ['addthreadforkedge_463',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap_464',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe_465',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge_466',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap_467',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe_468',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
+  ['addthreadmhpindirectvfedge_469',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
+  ['addtobackwardslice_470',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
+  ['addtobb2loopmap_471',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
+  ['addtocurbackwardslice_472',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
+  ['addtocurforwardslice_473',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
+  ['addtoforwardslice_474',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
+  ['addtofulljoin_475',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohbpair_476',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohppair_477',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
+  ['addtopartial_478',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
+  ['addtoplevelnodetimeend_479',['addTopLevelNodeTimeEnd',['../classSVF_1_1SVFGStat.html#a89f40e0cb98fdb65a320686b1698d909',1,'SVF::SVFGStat']]],
+  ['addtoplevelnodetimestart_480',['addTopLevelNodeTimeStart',['../classSVF_1_1SVFGStat.html#ad72d8706cdc97443556c0d878a393727',1,'SVF::SVFGStat']]],
+  ['addtosinks_481',['addToSinks',['../classSVF_1_1SVFGStat.html#add8a63f5e0f0057ce07d3992355ce3fa',1,'SVF::SVFGStat::addToSinks()'],['../classSVF_1_1ProgSlice.html#acee5145fb261280a1f8187184e393aed',1,'SVF::ProgSlice::addToSinks()'],['../classSVF_1_1SrcSnkDDA.html#a9c276e24d13cd1e8e5fbad10b46047f8',1,'SVF::SrcSnkDDA::addToSinks()']]],
+  ['addtosources_482',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
+  ['addtostmt2typemap_483',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist_484',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
+  ['addtotypelocsetsmap_485',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
+  ['addtypedef_486',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
+  ['addtypeinfo_487',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
+  ['addunaryopedge_488',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopstmt_489',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
+  ['addunaryopvfgnode_490',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
+  ['addvalnode_491',['addValNode',['../classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212',1,'SVF::SVFIR::addValNode(const SVFValue *val, NodeID i)'],['../classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4',1,'SVF::SVFIR::addValNode(const SVFValue *, SVFVar *node, NodeID i)']]],
+  ['addvarargnode_492',['addVarargNode',['../classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538',1,'SVF::SVFIR::addVarargNode(const SVFFunction *val, NodeID i)'],['../classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d',1,'SVF::SVFIR::addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)']]],
+  ['addvariantgepcgedge_493',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
+  ['addvariantgepedge_494',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepstmt_495',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
+  ['addvfgedge_496',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
+  ['addvfginteredges_497',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
+  ['addvfgnode_498',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
+  ['addvfgnodes_499',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
+  ['addvirtualfunctionvector_500',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
+  ['advancetofirstnonzero_501',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['advancetonextnonzero_502',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['after_5finserted_503',['after_inserted',['../cJSON_8cpp.html#a38b1dcebd0d04ad6f2ee1872ec39d53d',1,'cJSON.cpp']]],
+  ['alias_504',['alias',['../classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855',1,'SVF::CFLAlias::alias(const SVFValue *v1, const SVFValue *v2)'],['../classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a',1,'SVF::CFLAlias::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb',1,'SVF::DDAPass::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e',1,'SVF::DDAPass::alias(NodeID V1, NodeID V2)'],['../classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217',1,'SVF::PointerAnalysis::alias(const SVFValue *V1, const SVFValue *V2)=0'],['../classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf',1,'SVF::PointerAnalysis::alias(NodeID node1, NodeID node2)=0'],['../classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48',1,'SVF::BVDataPTAImpl::alias(const SVFValue *V1, const SVFValue *V2) override'],['../classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f',1,'SVF::BVDataPTAImpl::alias(NodeID node1, NodeID node2) override'],['../classSVF_1_1BVDataPTAImpl.html#a25720f154731a8c745da10aa76ab8517',1,'SVF::BVDataPTAImpl::alias(const PointsTo &pts1, const PointsTo &pts2)'],['../classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6',1,'SVF::CondPTAImpl::alias(const SVFValue *V1, const SVFValue *V2)'],['../classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876',1,'SVF::CondPTAImpl::alias(NodeID node1, NodeID node2)'],['../classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913',1,'SVF::CondPTAImpl::alias(const CVar &var1, const CVar &var2)'],['../classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944',1,'SVF::CondPTAImpl::alias(const CPtSet &pts1, const CPtSet &pts2)'],['../classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf',1,'SVF::LockAnalysis::alias()'],['../classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729',1,'SVF::WPAPass::alias()']]],
+  ['alias_5fbegin_505',['alias_begin',['../classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065',1,'SVF::SVFModule::alias_begin()'],['../classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852',1,'SVF::SVFModule::alias_begin() const']]],
+  ['alias_5fend_506',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
+  ['alias_5fiterator_507',['alias_iterator',['../classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c',1,'SVF::SVFModule']]],
+  ['alias_5fvalidation_508',['alias_validation',['../classSVF_1_1PointerAnalysis.html#aac1a133d478bd14c74309d9c4eaf0c8e',1,'SVF::PointerAnalysis']]],
+  ['aliascflgraphbuilder_509',['AliasCFLGraphBuilder',['../classSVF_1_1AliasCFLGraphBuilder.html',1,'SVF']]],
+  ['aliascheckrule_510',['AliasCheckRule',['../classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394d',1,'SVF::WPAPass']]],
+  ['aliasddaclient_511',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html',1,'SVF::AliasDDAClient'],['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient::AliasDDAClient()']]],
+  ['aliased_512',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
+  ['aliasquery_513',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
+  ['aliasresult_514',['AliasResult',['../namespaceSVF.html#a61c01e2e687ab3a001fb806737583943',1,'SVF']]],
+  ['aliasrule_515',['AliasRule',['../classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a',1,'SVF::Options']]],
+  ['aliasset_516',['AliasSet',['../classSVF_1_1SVFModule.html#a65ca3949501f11efa1eb94e08a40a2f9',1,'SVF::SVFModule']]],
+  ['aliassettype_517',['AliasSetType',['../classSVF_1_1SVFModule.html#a9dc9266c21ba80b13ebb22731e1e9caf',1,'SVF::SVFModule']]],
+  ['aliastestfailmayalias_518',['aliasTestFailMayAlias',['../classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailmayaliasmangled_519',['aliasTestFailMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a651cc82379c2d18cc2f69f25b2ae08db',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoalias_520',['aliasTestFailNoAlias',['../classSVF_1_1PointerAnalysis.html#a18347e41bc66b16e3f42c7c52811ad42',1,'SVF::PointerAnalysis']]],
+  ['aliastestfailnoaliasmangled_521',['aliasTestFailNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayalias_522',['aliasTestMayAlias',['../classSVF_1_1PointerAnalysis.html#a7648a0358e2c0798db1c547ec7aa7c64',1,'SVF::PointerAnalysis']]],
+  ['aliastestmayaliasmangled_523',['aliasTestMayAliasMangled',['../classSVF_1_1PointerAnalysis.html#a13ce6b930a35877f17bffd4b89e22654',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustalias_524',['aliasTestMustAlias',['../classSVF_1_1PointerAnalysis.html#a7477a4301d548b93958e57df389cbba0',1,'SVF::PointerAnalysis']]],
+  ['aliastestmustaliasmangled_525',['aliasTestMustAliasMangled',['../classSVF_1_1PointerAnalysis.html#aec884481726cfaf19c4ab8ec8d9195b7',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoalias_526',['aliasTestNoAlias',['../classSVF_1_1PointerAnalysis.html#ac353221cc7aced590dcf3550a24b1570',1,'SVF::PointerAnalysis']]],
+  ['aliastestnoaliasmangled_527',['aliasTestNoAliasMangled',['../classSVF_1_1PointerAnalysis.html#a0e68883e2ee328315af29e59bb2008cd',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialalias_528',['aliasTestPartialAlias',['../classSVF_1_1PointerAnalysis.html#a83b0a51d88fa7aadff6e9267765d07a5',1,'SVF::PointerAnalysis']]],
+  ['aliastestpartialaliasmangled_529',['aliasTestPartialAliasMangled',['../classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545',1,'SVF::PointerAnalysis']]],
+  ['allargs_530',['allArgs',['../classSVF_1_1SVFFunction.html#a625bef2b92c8e62df547bd2758b59c75',1,'SVF::SVFFunction']]],
+  ['allbbs_531',['allBBs',['../classSVF_1_1SVFFunction.html#aa61307a21647def105677d36bfbaf32f',1,'SVF::SVFFunction']]],
+  ['allglobals_532',['allGlobals',['../classSVF_1_1MRGenerator.html#af46b82e45aa1ecdfb397325971206541',1,'SVF::MRGenerator']]],
+  ['allinsts_533',['allInsts',['../classSVF_1_1SVFBasicBlock.html#a2954b0f29cd81083598afb6431b78f2a',1,'SVF::SVFBasicBlock']]],
+  ['allocainst_534',['AllocaInst',['../namespaceSVF.html#a3bacb4f95c73e6d794901d01c6b65a83',1,'SVF']]],
+  ['allocate_535',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
+  ['allocateforbb_536',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
+  ['allocategepobjectid_537',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
+  ['allocateobjectid_538',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
+  ['allocatevalueid_539',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
+  ['allocator_540',['allocator',['../classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64',1,'SVF::NodeIDAllocator']]],
+  ['alloclowerbound_541',['allocLowerBound',['../classSVF_1_1BufferOverflowBug.html#a6e4a91344c5e4fa7b22e03dd3a1bada2',1,'SVF::BufferOverflowBug']]],
+  ['allocupperbound_542',['allocUpperBound',['../classSVF_1_1BufferOverflowBug.html#a608644b6a751669f7e0130a00c28d7ca',1,'SVF::BufferOverflowBug']]],
+  ['allpairmhp_543',['AllPairMHP',['../classSVF_1_1Options.html#aaa27474452c68545e883d02a334cab70',1,'SVF::Options']]],
+  ['allpathreachablesolve_544',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
+  ['analyze_545',['analyze',['../classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d',1,'SVF::LockResultValidator::analyze()'],['../classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1CFLBase.html#a2aac58e19676290042874c262f1edd4d',1,'SVF::CFLBase::analyze()'],['../classSVF_1_1ContextDDA.html#ac8fe1cb3af6048a28028f00bb87a5eba',1,'SVF::ContextDDA::analyze()'],['../classSVF_1_1FlowDDA.html#aa26f9b5ba2e51f904d8ede1db8584460',1,'SVF::FlowDDA::analyze()'],['../classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6',1,'SVF::PointerAnalysis::analyze()'],['../classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621',1,'SVF::LockAnalysis::analyze()'],['../classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b',1,'SVF::MHP::analyze()'],['../classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484',1,'SVF::MTAResultValidator::analyze()'],['../classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9',1,'SVF::RaceResultValidator::analyze()'],['../classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53',1,'SVF::PCG::analyze()'],['../classSVF_1_1SrcSnkDDA.html#ac12d813bcba4ec70de5e9048bbe16afc',1,'SVF::SrcSnkDDA::analyze()'],['../classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751',1,'SVF::AndersenBase::analyze()'],['../classSVF_1_1FlowSensitive.html#a7b3f1ca7f8996edc3ed80fdff536d519',1,'SVF::FlowSensitive::analyze()'],['../classSVF_1_1TypeAnalysis.html#a6073fc43443ceba8d77212ba04e483ef',1,'SVF::TypeAnalysis::analyze()']]],
+  ['analyzeforkjoinpair_546',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
+  ['analyzeheapobjtype_547',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
+  ['analyzeinterleaving_548',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
+  ['analyzeintraproceduallock_549',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
+  ['analyzelockspancxtstmt_550',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzeobjtype_551',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
+  ['analyzestaticobjtype_552',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
+  ['analyzevtables_553',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
+  ['and_554',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr::AND()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856',1,'SVF::BinaryOPStmt::And()']]],
+  ['ander_555',['ander',['../classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d',1,'SVF::FlowSensitive']]],
+  ['andersen_556',['Andersen',['../classSVF_1_1Andersen.html',1,'SVF::Andersen'],['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen::Andersen()']]],
+  ['andersen_2ecpp_557',['Andersen.cpp',['../Andersen_8cpp.html',1,'']]],
+  ['andersen_2eh_558',['Andersen.h',['../Andersen_8h.html',1,'']]],
+  ['andersen_5fbase_559',['Andersen_BASE',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a9a25374fb6d2218c6c59de0482548f49',1,'SVF::PointerAnalysis']]],
+  ['andersen_5fwpa_560',['Andersen_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85ab68615784a520e39856be5237930e6a6',1,'SVF::PointerAnalysis']]],
+  ['andersenanno_561',['AndersenAnno',['../classSVF_1_1Options.html#ae639e80aa18a56bd1c6bcf41ce281930',1,'SVF::Options']]],
+  ['andersenbase_562',['AndersenBase',['../classSVF_1_1AndersenBase.html',1,'SVF::AndersenBase'],['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase::AndersenBase()']]],
+  ['andersenpwc_2eh_563',['AndersenPWC.h',['../AndersenPWC_8h.html',1,'']]],
+  ['andersenscd_564',['AndersenSCD',['../classSVF_1_1AndersenSCD.html',1,'SVF::AndersenSCD'],['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD::AndersenSCD()']]],
+  ['andersenscd_2ecpp_565',['AndersenSCD.cpp',['../AndersenSCD_8cpp.html',1,'']]],
+  ['andersenscd_5fwpa_566',['AndersenSCD_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1',1,'SVF::PointerAnalysis']]],
+  ['andersensfr_567',['AndersenSFR',['../classSVF_1_1AndersenSFR.html',1,'SVF::AndersenSFR'],['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR::AndersenSFR()']]],
+  ['andersensfr_2ecpp_568',['AndersenSFR.cpp',['../AndersenSFR_8cpp.html',1,'']]],
+  ['andersensfr_5fwpa_569',['AndersenSFR_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85accfa4ed42d3a3ac5e4abc403e738427b',1,'SVF::PointerAnalysis']]],
+  ['andersenstat_570',['AndersenStat',['../classSVF_1_1AndersenStat.html',1,'SVF::AndersenStat'],['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat::AndersenStat()']]],
+  ['andersenstat_2ecpp_571',['AndersenStat.cpp',['../AndersenStat_8cpp.html',1,'']]],
+  ['andersenwavediff_572',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html',1,'SVF::AndersenWaveDiff'],['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff::AndersenWaveDiff()']]],
+  ['andersenwavediff_2ecpp_573',['AndersenWaveDiff.cpp',['../AndersenWaveDiff_8cpp.html',1,'']]],
+  ['andersenwavediff_5fwpa_574',['AndersenWaveDiff_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2',1,'SVF::PointerAnalysis']]],
+  ['andersvfg_575',['AnderSVFG',['../classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f',1,'SVF::Options']]],
+  ['andertimelimit_576',['AnderTimeLimit',['../classSVF_1_1Options.html#a36db0fdd38ff9093d2e6bb30581b25e1',1,'SVF::Options']]],
+  ['anno_5falias_577',['ANNO_ALIAS',['../classSVF_1_1MTAAnnotator.html#a27f54c50256fc4a2f96fa2305ad04eb1',1,'SVF::MTAAnnotator']]],
+  ['anno_5flocal_578',['ANNO_LOCAL',['../classSVF_1_1MTAAnnotator.html#aded5add82485d493d57e293fd59bf960',1,'SVF::MTAAnnotator']]],
+  ['anno_5fmhp_579',['ANNO_MHP',['../classSVF_1_1MTAAnnotator.html#a4e10dbbb742125ebcbdc079ad647b87b',1,'SVF::MTAAnnotator']]],
+  ['annoflag_580',['AnnoFlag',['../classSVF_1_1Options.html#a279f634c0ba3b01beed6a55b01d6eae7',1,'SVF::Options']]],
+  ['annotatedrcheck_581',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
+  ['annotateslice_582',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
+  ['annotations_583',['annotations',['../classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a',1,'SVF::SVFFunction']]],
+  ['annotationtime_584',['AnnotationTime',['../classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839',1,'SVF::MTAStat']]],
+  ['annotator_585',['Annotator',['../classSVF_1_1Annotator.html',1,'SVF::Annotator'],['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator::Annotator()']]],
+  ['annotator_2eh_586',['Annotator.h',['../Annotator_8h.html',1,'']]],
+  ['answerqueries_587',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
+  ['ap_588',['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()']]],
+  ['aparm_589',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
+  ['apin_590',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
+  ['apnodes_591',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
+  ['apoffset_592',['apOffset',['../classSVF_1_1GepObjVar.html#afb30992a958c591b6afcacdf35c552b5',1,'SVF::GepObjVar::apOffset()'],['../namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1',1,'SVF::APOffset()']]],
+  ['apout_593',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
+  ['applyedgemask_594',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
+  ['applyphi_595',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
+  ['applyselect_596',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
+  ['applysummary_597',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
+  ['aret_598',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],
+  ['arg_5fempty_599',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
+  ['arg_5fsize_600',['arg_size',['../classSVF_1_1SVFFunction.html#ab8c7a9c79b0668aae604bbe54e34e46e',1,'SVF::SVFFunction::arg_size()'],['../classSVF_1_1SVFCallInst.html#a496d0e963f0f6a4f9c08183fa91792b0',1,'SVF::SVFCallInst::arg_size()'],['../classSVF_1_1CallSite.html#a2a1904e6f381a0f8ac30265f2dfc48c8',1,'SVF::CallSite::arg_size()']]],
+  ['argindeadfunction_601',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
+  ['arginprogentryfunction_602',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
+  ['argno_603',['argNo',['../classSVF_1_1SVFArgument.html#ac4fa9a6b097a6745e016339851428c0d',1,'SVF::SVFArgument']]],
+  ['args_604',['args',['../classSVF_1_1SVFCallInst.html#affe1e1d74a71c17a7fb8a9a145bd9524',1,'SVF::SVFCallInst']]],
+  ['argument_605',['Argument',['../namespaceSVF.html#a58cdfbc4160cae08745b67844ac29801',1,'SVF']]],
+  ['argumentvfgnode_606',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html',1,'SVF::ArgumentVFGNode'],['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode::ArgumentVFGNode()']]],
+  ['arraytype_607',['ArrayType',['../namespaceSVF.html#a146d286041987860388da3d8bc85cee3',1,'SVF']]],
+  ['asctime_5fr_608',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
+  ['ashr_609',['ashr',['../classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d',1,'SVF::BoundedZ3Expr::ashr()'],['../classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259',1,'SVF::SingleAbsValue::ashr()'],['../classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9',1,'SVF::Z3Expr::ashr()'],['../classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6ac988853383e1588cf568687848e73576',1,'SVF::BinaryOPStmt::AShr()']]],
+  ['assign_610',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
+  ['assignstmt_611',['AssignStmt',['../classSVF_1_1AssignStmt.html',1,'SVF::AssignStmt'],['../classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57',1,'SVF::AssignStmt::AssignStmt()'],['../classSVF_1_1AssignStmt.html#a41bf9092cbdfccb9724bd58e10aa51a6',1,'SVF::AssignStmt::AssignStmt(const AssignStmt &)'],['../classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620',1,'SVF::AssignStmt::AssignStmt(SVFVar *s, SVFVar *d, GEdgeFlag k)'],['../classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb',1,'SVF::AssignStmt::AssignStmt(GEdgeFlag k)']]],
+  ['atend_612',['atEnd',['../classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0',1,'SVF::CondPointsToSet::CondPtsSetIterator::atEnd()'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aea5c1fe642e6cc0ac3243f8a7b3fe613',1,'SVF::PointsTo::PointsToIterator::atEnd()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#ad3af46dcfb0e2846587eb5a71f38161f',1,'SVF::CoreBitVector::CoreBitVectorIterator::atEnd()'],['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aa28c3c88d66d8bc3dbf96e2f4bd84fab',1,'SVF::SparseBitVector::SparseBitVectorIterator::AtEnd()']]],
+  ['atkey_613',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
+  ['atomiccmpxchginst_614',['AtomicCmpXchgInst',['../namespaceSVF.html#a582e3736a2bbb0540364c1693d831b49',1,'SVF']]],
+  ['atomicrmwinst_615',['AtomicRMWInst',['../namespaceSVF.html#a468154e0ab9e7be82afef1aa0a2fb9e0',1,'SVF']]],
+  ['atptdata_616',['atPTData',['../classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439',1,'SVF::MutableVersionedPTData::atPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473',1,'SVF::PersistentVersionedPTData::atPTData()']]],
+  ['attribute_617',['attribute',['../structSVF_1_1GrammarBase_1_1Symbol.html#a756bed7c50c6d3251cc4832247c8691d',1,'SVF::GrammarBase::Symbol::attribute()'],['../classSVF_1_1GrammarBase.html#ab070e5449d26e347b957d8b994d0303f',1,'SVF::GrammarBase::Attribute()']]],
+  ['attributedkindmaskbits_618',['AttributedKindMaskBits',['../classSVF_1_1GrammarBase.html#a2dcb7647b5be7b3ab1dad2c494828854',1,'SVF::GrammarBase']]],
+  ['attributekinds_619',['attributeKinds',['../classSVF_1_1GrammarBase.html#ac3324324d2146cf04680cc4a4e444a2d',1,'SVF::GrammarBase']]],
+  ['atvfnodeend_620',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
+  ['atvfnodestart_621',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]],
+  ['autocstr_622',['autoCStr',['../classSVF_1_1SVFIRWriter.html#a1e568e5b4a081aad92e86646f419413c',1,'SVF::SVFIRWriter']]],
+  ['autojson_623',['autoJSON',['../classSVF_1_1SVFIRWriter.html#a63bdba43ccb01eef8ceb8a9c8dbe5c7f',1,'SVF::SVFIRWriter']]],
+  ['averagepointstosetsize_624',['AveragePointsToSetSize',['../classSVF_1_1AndersenBase.html#adaf738bee77a4b1fbb8d42911fabdb49',1,'SVF::AndersenBase']]],
+  ['avgindegree_625',['avgInDegree',['../classSVF_1_1SVFGStat.html#a4328f75f379e692901b95bacdf8dd413',1,'SVF::SVFGStat']]],
+  ['avgindindegree_626',['avgIndInDegree',['../classSVF_1_1SVFGStat.html#a364d684cbefed1793d7c4506fb1fa0fd',1,'SVF::SVFGStat']]],
+  ['avgindoutdegree_627',['avgIndOutDegree',['../classSVF_1_1SVFGStat.html#a7854ee895f1965ea02f5d04f81589826',1,'SVF::SVFGStat']]],
+  ['avgoutdegree_628',['avgOutDegree',['../classSVF_1_1SVFGStat.html#a123305ef02a5bfa127a1e172beb5e8cf',1,'SVF::SVFGStat']]],
+  ['avgweight_629',['avgWeight',['../classSVF_1_1SVFGStat.html#a5f0c72186ee16f5e88782b5edc9fa5b1',1,'SVF::SVFGStat']]]
 ];