svf-tools 1.0.768 → 1.0.770

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

@@ -1,351 +1,353 @@
 var searchData=
 [
-  ['abstract_5fconsequence_7112',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
-  ['abstractvalue_7113',['AbstractValue',['../classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60',1,'SVF::AbstractValue::AbstractValue(AbstractValueK kind)'],['../classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378',1,'SVF::AbstractValue::AbstractValue(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253',1,'SVF::AbstractValue::AbstractValue(AbstractValue &&) noexcept=default']]],
-  ['accept_7114',['accept',['../classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9',1,'SVF::CFBasicBlockGWTOComp::accept()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190',1,'SVF::CFBasicBlockGWTONode::accept()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#ae02e497f73b7217df31bc1bb86996132',1,'SVF::CFBasicBlockGWTOCycle::accept()'],['../classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd',1,'SVF::CFBasicBlockGWTO::accept()']]],
-  ['accessglobal_7115',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
-  ['accesspair_7116',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)']]],
-  ['accesspath_7117',['AccessPath',['../classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e',1,'SVF::AccessPath::AccessPath(APOffset o=0)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
-  ['accumulateconstantoffset_7118',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
-  ['actualinofindcs_7119',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode_7120',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
-  ['actualoutofindcs_7121',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode_7122',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
-  ['actualparmvfgnode_7123',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
-  ['actualretvfgnode_7124',['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_5fitem_5fto_5farray_7125',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
-  ['add_5fitem_5fto_5fobject_7126',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
-  ['addabsexecbug_7127',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
-  ['addactualinsvfgnode_7128',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode_7129',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
-  ['addactualparms_7130',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
-  ['addactualparmvfgnode_7131',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret_7132',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
-  ['addactualretvfgnode_7133',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
-  ['addaddrcgedge_7134',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
-  ['addaddredge_7135',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
-  ['addaddrstmt_7136',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
-  ['addaddrvfgnode_7137',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
-  ['addaliasset_7138',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
-  ['addarc_7139',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
-  ['addarc_5fh_7140',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
-  ['addargument_7141',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
-  ['addargumentmap_7142',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
-  ['addattribute_7143',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
-  ['addbackicfgedge_7144',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
-  ['addbackwardvisited_7145',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbasicblock_7146',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
-  ['addbasicblockmap_7147',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
-  ['addbicfledge_7148',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
-  ['addbigepcfledge_7149',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
-  ['addbinaryopedge_7150',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryopstmt_7151',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode_7152',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
-  ['addblackholeaddredge_7153',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrstmt_7154',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
-  ['addblackholeobjnode_7155',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
-  ['addblackholeptrnode_7156',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
-  ['addbranchstmt_7157',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
-  ['addbranchvfgnode_7158',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcallblock_7159',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
-  ['addcalledge_7160',['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_7161',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallindirectsvfgedge_7162',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge_7163',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe_7164',['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_7165',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs_7166',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
-  ['addcallsitechi_7167',['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_7168',['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_7169',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
-  ['addcandidate_7170',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
-  ['addcfledge_7171',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
-  ['addcflnode_7172',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
-  ['addcmpedge_7173',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
-  ['addcmpstmt_7174',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode_7175',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
-  ['addcomplexconsforext_7176',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
-  ['addcondintralock_7177',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
-  ['addconditionalintraedge_7178',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
-  ['addconstant_7179',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
-  ['addconstantdatamap_7180',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
-  ['addconstantobjnode_7181',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
-  ['addconstraintnode_7182',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
-  ['addcopycgedge_7183',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge_7184',['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_7185',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
-  ['addcopyvfgnode_7186',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods_7187',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs_7188',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
-  ['addcptstoload_7189',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
-  ['addcptstostore_7190',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures_7191',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
-  ['addcxtlock_7192',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
-  ['addcxtofcxtthread_7193',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
-  ['addcxtstmttospan_7194',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
-  ['addddapts_7195',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge_7196',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite_7197',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge_7198',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge_7199',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
-  ['adddirectlyjointid_7200',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge_7201',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
-  ['adddpmtoloc_7202',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
-  ['adddummymemobj_7203',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
-  ['adddummyobjnode_7204',['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_7205',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
-  ['adddummyversionpropsvfgnode_7206',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
-  ['addedge_7207',['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()']]],
-  ['addedges_7208',['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_7209',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
-  ['addextactualparmsvfgnodes_7210',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
-  ['addfiobjnode_7211',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
-  ['addfldwithtype_7212',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
-  ['addfollowerfun_7213',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
-  ['addforksite_7214',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode_7215',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode_7216',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
-  ['addformalparms_7217',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
-  ['addformalparmvfgnode_7218',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret_7219',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
-  ['addformalretvfgnode_7220',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
-  ['addforwardvisited_7221',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
-  ['addfunargs_7222',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
-  ['addfunctionmap_7223',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
-  ['addfunctionset_7224',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
-  ['addfunctofuncvector_7225',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
-  ['addfunentryblock_7226',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
-  ['addfunexitblock_7227',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
-  ['addfunret_7228',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge_7229',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
-  ['addgepobjnode_7230',['addGepObjNode',['../classSVF_1_1SVFIR.html#aba63798e93490f257574c24d3c03507d',1,'SVF::SVFIR']]],
-  ['addgepstmt_7231',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
-  ['addgepvalnode_7232',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
-  ['addgepvfgnode_7233',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
-  ['addglobalblackholeaddredge_7234',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
-  ['addglobalicfgnode_7235',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
-  ['addglobalpagedge_7236',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
-  ['addglobalset_7237',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
-  ['addglobalvaluemap_7238',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
-  ['addgnode_7239',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
-  ['addhareparforedgesetmap_7240',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
-  ['addicfgedge_7241',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
-  ['addicfginteredges_7242',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
-  ['addicfgnode_7243',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
-  ['addincomingaddredge_7244',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
-  ['addincomingcopyedge_7245',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
-  ['addincomingdirectedge_7246',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
-  ['addincomingedge_7247',['addIncomingEdge',['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode']]],
-  ['addincominggepedge_7248',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
-  ['addincomingloadedge_7249',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
-  ['addincomingstoreedge_7250',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addind_5fh_7251',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
-  ['addindirectcallgraphedge_7252',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite_7253',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites_7254',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
-  ['addindirectforkedge_7255',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge_7256',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
-  ['addinedge_7257',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
-  ['addinedgewithkind_7258',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
-  ['addingoingedge_7259',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
-  ['addinicfgedge_7260',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
-  ['addinstances_7261',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
-  ['addinstruction_7262',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
-  ['addinstructionmap_7263',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
-  ['addinteredgefromaptofp_7264',['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_7265',['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_7266',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
-  ['addinterindirectvfretedge_7267',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
-  ['addinterleavingthread_7268',['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_7269',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
-  ['addinterphiforfp_7270',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
-  ['addinterphioperands_7271',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
-  ['addintoworklist_7272',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrablock_7273',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
-  ['addintradirectvfedge_7274',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
-  ['addintraedge_7275',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge_7276',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
-  ['addintralock_7277',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
-  ['addintramssaphisvfgnode_7278',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
-  ['addintraphivfgnode_7279',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
-  ['addjoinsite_7280',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
-  ['addloadcgedge_7281',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
-  ['addloadcvar_7282',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
-  ['addloaddpm_7283',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
-  ['addloaddpmandcvar_7284',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge_7285',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
-  ['addloadmu_7286',['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_7287',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
-  ['addloadvfgnode_7288',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
-  ['addmdtag_7289',['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)']]],
-  ['addmodsideeffectofcallsite_7290',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
-  ['addmodsideeffectoffunction_7291',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
-  ['addmssaphi_7292',['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_7293',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
-  ['addnewsvfgedge_7294',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
-  ['addnode_7295',['addNode',['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph']]],
-  ['addnodeintoworklist_7296',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
-  ['addnodetobecollapsed_7297',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
-  ['addnodetosvfloop_7298',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
-  ['addnormalgepcgedge_7299',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge_7300',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgepstmt_7301',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
-  ['addnullptrnode_7302',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
-  ['addnullptrvfgnode_7303',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
-  ['addobjnode_7304',['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_7305',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
-  ['addopvar_7306',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
-  ['addotherconstantmap_7307',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
-  ['addothervalue_7308',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
-  ['addothervaluemap_7309',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
-  ['addoutedge_7310',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
-  ['addoutedgewithkind_7311',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
-  ['addoutgoingaddredge_7312',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
-  ['addoutgoingcopyedge_7313',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
-  ['addoutgoingdirectedge_7314',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
-  ['addoutgoingedge_7315',['addOutgoingEdge',['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
-  ['addoutgoinggepedge_7316',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
-  ['addoutgoingloadedge_7317',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
-  ['addoutgoingstoreedge_7318',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
-  ['addouticfgedge_7319',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
-  ['addoutofbudgetdpm_7320',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite_7321',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
-  ['addphistmt_7322',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
-  ['addpointsto_7323',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
-  ['addpred_7324',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
-  ['addpredbasicblock_7325',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
-  ['addpreds_7326',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
-  ['addpts_7327',['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()']]],
-  ['addrcgedge_7328',['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)']]],
-  ['addrefsideeffectofcallsite_7329',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
-  ['addrefsideeffectoffunction_7330',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
-  ['addressvalue_7331',['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']]],
-  ['addretblock_7332',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
-  ['addretedge_7333',['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_7334',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge_7335',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
-  ['addretnode_7336',['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_7337',['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_7338',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
-  ['addrstmt_7339',['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)']]],
-  ['addrvfgnode_7340',['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_7341',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
-  ['addscccandidate_7342',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
-  ['addselectstmt_7343',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
-  ['addsinglerevpts_7344',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
-  ['addsinktocurslice_7345',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
-  ['addspawneefun_7346',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
-  ['addspawnerfun_7347',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
-  ['addspawnsite_7348',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
-  ['addsrctocsid_7349',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
-  ['addstartroutineofcxtthread_7350',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
-  ['addstinfo_7351',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
-  ['addstmtvfgnode_7352',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
-  ['addstorecgedge_7353',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
-  ['addstorechi_7354',['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_7355',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt_7356',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
-  ['addstorevfgnode_7357',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
-  ['addsubnode_7358',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
-  ['addsubnodes_7359',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['addsucc_7360',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
-  ['addsuccbasicblock_7361',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
-  ['addsuccs_7362',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
-  ['addsustat_7363',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
-  ['addsvfgedge_7364',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
-  ['addsvfgnode_7365',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
-  ['addsvfgnodesforaddrtakenvars_7366',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
-  ['addsvfmain_7367',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
-  ['addsvfstmt_7368',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
-  ['addsvftypeinfo_7369',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
-  ['addsymmetricloopjoin_7370',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
-  ['addtctedge_7371',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
-  ['addtctnode_7372',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
-  ['addtdedges_7373',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge_7374',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap_7375',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe_7376',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge_7377',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap_7378',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe_7379',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
-  ['addthreadmhpindirectvfedge_7380',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
-  ['addtobackwardslice_7381',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
-  ['addtobb2loopmap_7382',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
-  ['addtocurbackwardslice_7383',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
-  ['addtocurforwardslice_7384',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
-  ['addtoforwardslice_7385',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
-  ['addtofulljoin_7386',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohbpair_7387',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohppair_7388',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtopartial_7389',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
-  ['addtosinks_7390',['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_7391',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
-  ['addtostmt2typemap_7392',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
-  ['addtosvfstmtlist_7393',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
-  ['addtotypelocsetsmap_7394',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
-  ['addtypedef_7395',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
-  ['addtypeinfo_7396',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
-  ['addunaryopedge_7397',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
-  ['addunaryopstmt_7398',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode_7399',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
-  ['addvalnode_7400',['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_7401',['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_7402',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge_7403',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgepstmt_7404',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
-  ['addvfgedge_7405',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges_7406',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
-  ['addvfgnode_7407',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
-  ['addvfgnodes_7408',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
-  ['addvirtualfunctionvector_7409',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['advancetofirstnonzero_7410',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['advancetonextnonzero_7411',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['alias_7412',['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_7413',['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_7414',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
-  ['aliasddaclient_7415',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
-  ['aliased_7416',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
-  ['aliasquery_7417',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
-  ['allocate_7418',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
-  ['allocateforbb_7419',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
-  ['allocategepobjectid_7420',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
-  ['allocateobjectid_7421',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
-  ['allocatevalueid_7422',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
-  ['allpathreachablesolve_7423',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['analyze_7424',['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_7425',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeheapobjtype_7426',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeinterleaving_7427',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
-  ['analyzeintraproceduallock_7428',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
-  ['analyzelockspancxtstmt_7429',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
-  ['analyzeobjtype_7430',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
-  ['analyzestaticobjtype_7431',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
-  ['analyzevtables_7432',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
-  ['and_7433',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
-  ['andersen_7434',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
-  ['andersenbase_7435',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
-  ['andersenscd_7436',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
-  ['andersensfr_7437',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
-  ['andersenstat_7438',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
-  ['andersenwavediff_7439',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
-  ['annotatedrcheck_7440',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
-  ['annotateslice_7441',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
-  ['annotator_7442',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
-  ['answerqueries_7443',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
-  ['applyedgemask_7444',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
-  ['applyphi_7445',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
-  ['applyselect_7446',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
-  ['applysummary_7447',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
-  ['arg_5fempty_7448',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
-  ['arg_5fsize_7449',['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_7450',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
-  ['arginprogentryfunction_7451',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
-  ['argumentvfgnode_7452',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
-  ['asctime_5fr_7453',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
-  ['assign_7454',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
-  ['assignstmt_7455',['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_7456',['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()']]],
-  ['atkey_7457',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
-  ['atvfnodeend_7458',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
-  ['atvfnodestart_7459',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
+  ['abstract_5fconsequence_7162',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
+  ['abstractvalue_7163',['AbstractValue',['../classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60',1,'SVF::AbstractValue::AbstractValue(AbstractValueK kind)'],['../classSVF_1_1AbstractValue.html#a40a7792f8cf21c268990d546ccc0a378',1,'SVF::AbstractValue::AbstractValue(const AbstractValue &) noexcept=default'],['../classSVF_1_1AbstractValue.html#a77574a2e9822d339124cf46eedcfb253',1,'SVF::AbstractValue::AbstractValue(AbstractValue &&) noexcept=default']]],
+  ['accept_7164',['accept',['../classSVF_1_1CFBasicBlockGWTOComp.html#abcf38d30d6739751c20ad612d26349a9',1,'SVF::CFBasicBlockGWTOComp::accept()'],['../classSVF_1_1CFBasicBlockGWTONode.html#a2668c86630ba496424411bad5fec9190',1,'SVF::CFBasicBlockGWTONode::accept()'],['../classSVF_1_1CFBasicBlockGWTOCycle.html#ae02e497f73b7217df31bc1bb86996132',1,'SVF::CFBasicBlockGWTOCycle::accept()'],['../classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd',1,'SVF::CFBasicBlockGWTO::accept()']]],
+  ['accessglobal_7165',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
+  ['accesspair_7166',['AccessPair',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)'],['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea',1,'SVF::RaceResultValidator::AccessPair::AccessPair(const Instruction *I1, const Instruction *I2, const RC_FLAG flags)']]],
+  ['accesspath_7167',['AccessPath',['../classSVF_1_1AccessPath.html#a90827f966d3018fe663ffe5c8110509e',1,'SVF::AccessPath::AccessPath(APOffset o=0)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
+  ['accumulateconstantbyteoffset_7168',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#aeef864ea656824c228f755a183364901',1,'SVF::GepStmt']]],
+  ['accumulateconstantoffset_7169',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
+  ['actualinofindcs_7170',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
+  ['actualinsvfgnode_7171',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
+  ['actualoutofindcs_7172',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
+  ['actualoutsvfgnode_7173',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
+  ['actualparmvfgnode_7174',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
+  ['actualretvfgnode_7175',['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_5fitem_5fto_5farray_7176',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
+  ['add_5fitem_5fto_5fobject_7177',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
+  ['addabsexecbug_7178',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
+  ['addactualinsvfgnode_7179',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode_7180',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms_7181',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode_7182',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret_7183',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode_7184',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
+  ['addaddrcgedge_7185',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
+  ['addaddredge_7186',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
+  ['addaddrstmt_7187',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
+  ['addaddrvfgnode_7188',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
+  ['addaliasset_7189',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
+  ['addarc_7190',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
+  ['addarc_5fh_7191',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
+  ['addargument_7192',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
+  ['addargumentmap_7193',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
+  ['addattribute_7194',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
+  ['addbackicfgedge_7195',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
+  ['addbackwardvisited_7196',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
+  ['addbasicblock_7197',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
+  ['addbasicblockmap_7198',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
+  ['addbicfledge_7199',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
+  ['addbigepcfledge_7200',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
+  ['addbinaryopedge_7201',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopstmt_7202',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
+  ['addbinaryopvfgnode_7203',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
+  ['addblackholeaddredge_7204',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
+  ['addblackholeaddrstmt_7205',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
+  ['addblackholeobjnode_7206',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
+  ['addblackholeptrnode_7207',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
+  ['addbranchstmt_7208',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
+  ['addbranchvfgnode_7209',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
+  ['addcallblock_7210',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
+  ['addcalledge_7211',['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_7212',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
+  ['addcallindirectsvfgedge_7213',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge_7214',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
+  ['addcallpe_7215',['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_7216',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs_7217',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi_7218',['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_7219',['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_7220',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
+  ['addcandidate_7221',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
+  ['addcfledge_7222',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
+  ['addcflnode_7223',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
+  ['addcmpedge_7224',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
+  ['addcmpstmt_7225',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
+  ['addcmpvfgnode_7226',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
+  ['addcomplexconsforext_7227',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
+  ['addcondintralock_7228',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
+  ['addconditionalintraedge_7229',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
+  ['addconstant_7230',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
+  ['addconstantdatamap_7231',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
+  ['addconstantobjnode_7232',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
+  ['addconstraintnode_7233',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
+  ['addcopycgedge_7234',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
+  ['addcopyedge_7235',['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_7236',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyvfgnode_7237',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
+  ['addcptstocallsitemods_7238',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs_7239',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
+  ['addcptstoload_7240',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
+  ['addcptstostore_7241',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
+  ['addcustomgraphfeatures_7242',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
+  ['addcxtlock_7243',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
+  ['addcxtofcxtthread_7244',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
+  ['addcxtstmttospan_7245',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
+  ['addddapts_7246',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
+  ['adddirectcallgraphedge_7247',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite_7248',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge_7249',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge_7250',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
+  ['adddirectlyjointid_7251',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
+  ['adddirectparforedge_7252',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
+  ['adddpmtoloc_7253',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
+  ['adddummymemobj_7254',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
+  ['adddummyobjnode_7255',['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_7256',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
+  ['adddummyversionpropsvfgnode_7257',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
+  ['addedge_7258',['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()']]],
+  ['addedges_7259',['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_7260',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
+  ['addextactualparmsvfgnodes_7261',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
+  ['addfiobjnode_7262',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
+  ['addfldwithtype_7263',['addFldWithType',['../classSVF_1_1StInfo.html#aae0736a5e99b11571af52e28500a6f9c',1,'SVF::StInfo']]],
+  ['addfollowerfun_7264',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
+  ['addforksite_7265',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode_7266',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode_7267',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms_7268',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
+  ['addformalparmvfgnode_7269',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
+  ['addformalret_7270',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
+  ['addformalretvfgnode_7271',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
+  ['addforwardvisited_7272',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
+  ['addfunargs_7273',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
+  ['addfunctionmap_7274',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
+  ['addfunctionset_7275',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
+  ['addfunctofuncvector_7276',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
+  ['addfunentryblock_7277',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
+  ['addfunexitblock_7278',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
+  ['addfunret_7279',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
+  ['addgepedge_7280',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
+  ['addgepobjnode_7281',['addGepObjNode',['../classSVF_1_1SVFIR.html#aba63798e93490f257574c24d3c03507d',1,'SVF::SVFIR']]],
+  ['addgepstmt_7282',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
+  ['addgepvalnode_7283',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
+  ['addgepvfgnode_7284',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
+  ['addglobalblackholeaddredge_7285',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
+  ['addglobalicfgnode_7286',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
+  ['addglobalpagedge_7287',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
+  ['addglobalset_7288',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
+  ['addglobalvaluemap_7289',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
+  ['addgnode_7290',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
+  ['addhareparforedgesetmap_7291',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
+  ['addicfgedge_7292',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
+  ['addicfginteredges_7293',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
+  ['addicfgnode_7294',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
+  ['addincomingaddredge_7295',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
+  ['addincomingcopyedge_7296',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
+  ['addincomingdirectedge_7297',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
+  ['addincomingedge_7298',['addIncomingEdge',['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode']]],
+  ['addincominggepedge_7299',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
+  ['addincomingloadedge_7300',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
+  ['addincomingstoreedge_7301',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
+  ['addind_5fh_7302',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
+  ['addindirectcallgraphedge_7303',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite_7304',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites_7305',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge_7306',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge_7307',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
+  ['addinedge_7308',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
+  ['addinedgewithkind_7309',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
+  ['addingoingedge_7310',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
+  ['addinicfgedge_7311',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
+  ['addinstances_7312',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
+  ['addinstruction_7313',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
+  ['addinstructionmap_7314',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
+  ['addinteredgefromaptofp_7315',['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_7316',['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_7317',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
+  ['addinterindirectvfretedge_7318',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
+  ['addinterleavingthread_7319',['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_7320',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
+  ['addinterphiforfp_7321',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
+  ['addinterphioperands_7322',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
+  ['addintoworklist_7323',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
+  ['addintrablock_7324',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
+  ['addintradirectvfedge_7325',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
+  ['addintraedge_7326',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
+  ['addintraindirectvfedge_7327',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
+  ['addintralock_7328',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
+  ['addintramssaphisvfgnode_7329',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
+  ['addintraphivfgnode_7330',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
+  ['addjoinsite_7331',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
+  ['addloadcgedge_7332',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
+  ['addloadcvar_7333',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
+  ['addloaddpm_7334',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
+  ['addloaddpmandcvar_7335',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
+  ['addloadedge_7336',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
+  ['addloadmu_7337',['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_7338',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
+  ['addloadvfgnode_7339',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
+  ['addmdtag_7340',['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)']]],
+  ['addmodsideeffectofcallsite_7341',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectoffunction_7342',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
+  ['addmssaphi_7343',['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_7344',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
+  ['addnewsvfgedge_7345',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
+  ['addnode_7346',['addNode',['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph']]],
+  ['addnodeintoworklist_7347',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
+  ['addnodetobecollapsed_7348',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
+  ['addnodetosvfloop_7349',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
+  ['addnormalgepcgedge_7350',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
+  ['addnormalgepedge_7351',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepstmt_7352',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
+  ['addnullptrnode_7353',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
+  ['addnullptrvfgnode_7354',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
+  ['addobjnode_7355',['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_7356',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
+  ['addopvar_7357',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
+  ['addotherconstantmap_7358',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
+  ['addothervalue_7359',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
+  ['addothervaluemap_7360',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
+  ['addoutedge_7361',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
+  ['addoutedgewithkind_7362',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
+  ['addoutgoingaddredge_7363',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
+  ['addoutgoingcopyedge_7364',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
+  ['addoutgoingdirectedge_7365',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
+  ['addoutgoingedge_7366',['addOutgoingEdge',['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
+  ['addoutgoinggepedge_7367',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
+  ['addoutgoingloadedge_7368',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
+  ['addoutgoingstoreedge_7369',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
+  ['addouticfgedge_7370',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
+  ['addoutofbudgetdpm_7371',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
+  ['addparforsite_7372',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
+  ['addphistmt_7373',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
+  ['addpointsto_7374',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
+  ['addpred_7375',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
+  ['addpredbasicblock_7376',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
+  ['addpreds_7377',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
+  ['addpts_7378',['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()']]],
+  ['addrcgedge_7379',['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)']]],
+  ['addrefsideeffectofcallsite_7380',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectoffunction_7381',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
+  ['addressvalue_7382',['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']]],
+  ['addretblock_7383',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
+  ['addretedge_7384',['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_7385',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge_7386',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
+  ['addretnode_7387',['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_7388',['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_7389',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
+  ['addrstmt_7390',['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)']]],
+  ['addrvfgnode_7391',['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_7392',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
+  ['addscccandidate_7393',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
+  ['addselectstmt_7394',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
+  ['addsinglerevpts_7395',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
+  ['addsinktocurslice_7396',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
+  ['addspawneefun_7397',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
+  ['addspawnerfun_7398',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
+  ['addspawnsite_7399',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
+  ['addsrctocsid_7400',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
+  ['addstartroutineofcxtthread_7401',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
+  ['addstinfo_7402',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
+  ['addstmtvfgnode_7403',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
+  ['addstorecgedge_7404',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
+  ['addstorechi_7405',['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_7406',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
+  ['addstorestmt_7407',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
+  ['addstorevfgnode_7408',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
+  ['addsubnode_7409',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
+  ['addsubnodes_7410',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['addsucc_7411',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
+  ['addsuccbasicblock_7412',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
+  ['addsuccs_7413',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
+  ['addsustat_7414',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
+  ['addsvfgedge_7415',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
+  ['addsvfgnode_7416',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
+  ['addsvfgnodesforaddrtakenvars_7417',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
+  ['addsvfmain_7418',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
+  ['addsvfstmt_7419',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
+  ['addsvftypeinfo_7420',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
+  ['addsymmetricloopjoin_7421',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
+  ['addtctedge_7422',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
+  ['addtctnode_7423',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
+  ['addtdedges_7424',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
+  ['addthreadforkedge_7425',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap_7426',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe_7427',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge_7428',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap_7429',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe_7430',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
+  ['addthreadmhpindirectvfedge_7431',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
+  ['addtobackwardslice_7432',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
+  ['addtobb2loopmap_7433',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
+  ['addtocurbackwardslice_7434',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
+  ['addtocurforwardslice_7435',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
+  ['addtoforwardslice_7436',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
+  ['addtofulljoin_7437',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohbpair_7438',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohppair_7439',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
+  ['addtopartial_7440',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
+  ['addtosinks_7441',['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_7442',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
+  ['addtostmt2typemap_7443',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist_7444',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
+  ['addtotypelocsetsmap_7445',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
+  ['addtypedef_7446',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
+  ['addtypeinfo_7447',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
+  ['addunaryopedge_7448',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopstmt_7449',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
+  ['addunaryopvfgnode_7450',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
+  ['addvalnode_7451',['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_7452',['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_7453',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
+  ['addvariantgepedge_7454',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepstmt_7455',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
+  ['addvfgedge_7456',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
+  ['addvfginteredges_7457',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
+  ['addvfgnode_7458',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
+  ['addvfgnodes_7459',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
+  ['addvirtualfunctionvector_7460',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
+  ['advancetofirstnonzero_7461',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['advancetonextnonzero_7462',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['alias_7463',['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_7464',['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_7465',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
+  ['aliasddaclient_7466',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
+  ['aliased_7467',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
+  ['aliasquery_7468',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
+  ['allocate_7469',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
+  ['allocateforbb_7470',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
+  ['allocategepobjectid_7471',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
+  ['allocateobjectid_7472',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
+  ['allocatevalueid_7473',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
+  ['allpathreachablesolve_7474',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
+  ['analyze_7475',['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_7476',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
+  ['analyzeheapobjtype_7477',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
+  ['analyzeinterleaving_7478',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
+  ['analyzeintraproceduallock_7479',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
+  ['analyzelockspancxtstmt_7480',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzeobjtype_7481',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
+  ['analyzestaticobjtype_7482',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
+  ['analyzevtables_7483',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
+  ['and_7484',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
+  ['andersen_7485',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
+  ['andersenbase_7486',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
+  ['andersenscd_7487',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
+  ['andersensfr_7488',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
+  ['andersenstat_7489',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
+  ['andersenwavediff_7490',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
+  ['annotatedrcheck_7491',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
+  ['annotateslice_7492',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
+  ['annotator_7493',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
+  ['answerqueries_7494',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
+  ['applyedgemask_7495',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
+  ['applyphi_7496',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
+  ['applyselect_7497',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
+  ['applysummary_7498',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
+  ['arg_5fempty_7499',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
+  ['arg_5fsize_7500',['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_7501',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
+  ['arginprogentryfunction_7502',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
+  ['argumentvfgnode_7503',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
+  ['asctime_7504',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
+  ['asctime_5fr_7505',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
+  ['assign_7506',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
+  ['assignstmt_7507',['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_7508',['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()']]],
+  ['atkey_7509',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
+  ['atvfnodeend_7510',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
+  ['atvfnodestart_7511',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
 ];