svf-tools 1.0.802 → 1.0.804

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

@@ -1,362 +1,362 @@
 var searchData=
 [
-  ['abstract_5fconsequence_7272',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
-  ['abstractvalue_7273',['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_7274',['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_7275',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
-  ['accesspair_7276',['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_7277',['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_7278',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc',1,'SVF::GepStmt']]],
-  ['accumulateconstantoffset_7279',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
-  ['actualinofindcs_7280',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode_7281',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
-  ['actualoutofindcs_7282',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode_7283',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
-  ['actualparmvfgnode_7284',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
-  ['actualretvfgnode_7285',['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_7286',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
-  ['add_5fitem_5fto_5fobject_7287',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
-  ['addabsexecbug_7288',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
-  ['addactualinsvfgnode_7289',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode_7290',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
-  ['addactualparms_7291',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
-  ['addactualparmvfgnode_7292',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret_7293',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
-  ['addactualretvfgnode_7294',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
-  ['addaddrcgedge_7295',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
-  ['addaddredge_7296',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
-  ['addaddrstmt_7297',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
-  ['addaddrvfgnode_7298',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
-  ['addaliasset_7299',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
-  ['addarc_7300',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
-  ['addarc_5fh_7301',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
-  ['addargument_7302',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
-  ['addargumentmap_7303',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
-  ['addattribute_7304',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
-  ['addbackicfgedge_7305',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
-  ['addbackwardvisited_7306',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbasicblock_7307',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
-  ['addbasicblockmap_7308',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
-  ['addbicfledge_7309',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
-  ['addbigepcfledge_7310',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
-  ['addbinaryopedge_7311',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryopstmt_7312',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode_7313',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
-  ['addblackholeaddredge_7314',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrstmt_7315',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
-  ['addblackholeobjnode_7316',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
-  ['addblackholeptrnode_7317',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
-  ['addbranchstmt_7318',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
-  ['addbranchvfgnode_7319',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcallblock_7320',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
-  ['addcalledge_7321',['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_7322',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallindirectsvfgedge_7323',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge_7324',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe_7325',['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_7326',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs_7327',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
-  ['addcallsitechi_7328',['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_7329',['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_7330',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
-  ['addcandidate_7331',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
-  ['addcdgedge_7332',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
-  ['addcdgedgefromsrcdst_7333',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
-  ['addcdgnode_7334',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
-  ['addcdgnodesfromvector_7335',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
-  ['addcfbbedge_7336',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
-  ['addcfbbnode_7337',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
-  ['addcfledge_7338',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
-  ['addcflnode_7339',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
-  ['addcmpedge_7340',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
-  ['addcmpstmt_7341',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode_7342',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
-  ['addcomplexconsforext_7343',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
-  ['addcondintralock_7344',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
-  ['addconditionalintraedge_7345',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
-  ['addconstant_7346',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
-  ['addconstantdatamap_7347',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
-  ['addconstantobjnode_7348',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
-  ['addconstraintnode_7349',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
-  ['addcopycgedge_7350',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge_7351',['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_7352',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
-  ['addcopyvfgnode_7353',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods_7354',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs_7355',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
-  ['addcptstoload_7356',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
-  ['addcptstostore_7357',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures_7358',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
-  ['addcxtlock_7359',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
-  ['addcxtofcxtthread_7360',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
-  ['addcxtstmttospan_7361',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
-  ['addddapts_7362',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge_7363',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite_7364',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge_7365',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge_7366',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
-  ['adddirectlyjointid_7367',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge_7368',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
-  ['adddpmtoloc_7369',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
-  ['adddummymemobj_7370',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
-  ['adddummyobjnode_7371',['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_7372',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
-  ['adddummyversionpropsvfgnode_7373',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
-  ['addedge_7374',['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_7375',['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_7376',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
-  ['addextactualparmsvfgnodes_7377',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
-  ['addfiobjnode_7378',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
-  ['addfldwithtype_7379',['addFldWithType',['../classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b',1,'SVF::StInfo']]],
-  ['addfollowerfun_7380',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
-  ['addforksite_7381',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode_7382',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode_7383',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
-  ['addformalparms_7384',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
-  ['addformalparmvfgnode_7385',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret_7386',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
-  ['addformalretvfgnode_7387',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
-  ['addforwardvisited_7388',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
-  ['addfunargs_7389',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
-  ['addfunctionmap_7390',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
-  ['addfunctionset_7391',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
-  ['addfunctofuncvector_7392',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
-  ['addfunentryblock_7393',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
-  ['addfunexitblock_7394',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
-  ['addfunret_7395',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge_7396',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
-  ['addgepobjnode_7397',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
-  ['addgepstmt_7398',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
-  ['addgepvalnode_7399',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
-  ['addgepvfgnode_7400',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
-  ['addglobalblackholeaddredge_7401',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
-  ['addglobalicfgnode_7402',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
-  ['addglobalpagedge_7403',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
-  ['addglobalset_7404',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
-  ['addglobalvaluemap_7405',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
-  ['addgnode_7406',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
-  ['addhareparforedgesetmap_7407',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
-  ['addicfgedge_7408',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
-  ['addicfginteredges_7409',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
-  ['addicfgnode_7410',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
-  ['addincomingaddredge_7411',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
-  ['addincomingcopyedge_7412',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
-  ['addincomingdirectedge_7413',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
-  ['addincomingedge_7414',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
-  ['addincominggepedge_7415',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
-  ['addincomingloadedge_7416',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
-  ['addincomingstoreedge_7417',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addind_5fh_7418',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
-  ['addindirectcallgraphedge_7419',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite_7420',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites_7421',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
-  ['addindirectforkedge_7422',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge_7423',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
-  ['addinedge_7424',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
-  ['addinedgewithkind_7425',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
-  ['addingoingedge_7426',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
-  ['addinicfgedge_7427',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
-  ['addinstances_7428',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
-  ['addinstruction_7429',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
-  ['addinstructionmap_7430',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
-  ['addinterbbedge_7431',['addInterBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addinteredgefromaptofp_7432',['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_7433',['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_7434',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
-  ['addinterindirectvfretedge_7435',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
-  ['addinterleavingthread_7436',['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_7437',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
-  ['addinterphiforfp_7438',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
-  ['addinterphioperands_7439',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
-  ['addinterproceduraledge_7440',['addInterProceduralEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addintoworklist_7441',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrabbedge_7442',['addIntraBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addintrablock_7443',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
-  ['addintradirectvfedge_7444',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
-  ['addintraedge_7445',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge_7446',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
-  ['addintralock_7447',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
-  ['addintramssaphisvfgnode_7448',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
-  ['addintraphivfgnode_7449',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
-  ['addjoinsite_7450',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
-  ['addloadcgedge_7451',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
-  ['addloadcvar_7452',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
-  ['addloaddpm_7453',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
-  ['addloaddpmandcvar_7454',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge_7455',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
-  ['addloadmu_7456',['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_7457',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
-  ['addloadvfgnode_7458',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
-  ['addmdtag_7459',['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_7460',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
-  ['addmodsideeffectoffunction_7461',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
-  ['addmssaphi_7462',['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_7463',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
-  ['addnewsvfgedge_7464',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
-  ['addnode_7465',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
-  ['addnodeintoworklist_7466',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
-  ['addnodetobecollapsed_7467',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
-  ['addnodetosvfloop_7468',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
-  ['addnormalgepcgedge_7469',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge_7470',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgepstmt_7471',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
-  ['addnullptrnode_7472',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
-  ['addnullptrvfgnode_7473',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
-  ['addobjnode_7474',['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_7475',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
-  ['addopvar_7476',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
-  ['addotherconstantmap_7477',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
-  ['addothervalue_7478',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
-  ['addothervaluemap_7479',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
-  ['addoutedge_7480',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
-  ['addoutedgewithkind_7481',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
-  ['addoutgoingaddredge_7482',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
-  ['addoutgoingcopyedge_7483',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
-  ['addoutgoingdirectedge_7484',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
-  ['addoutgoingedge_7485',['addOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b',1,'SVF::CFBasicBlockNode::addOutgoingEdge()'],['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
-  ['addoutgoinggepedge_7486',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
-  ['addoutgoingloadedge_7487',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
-  ['addoutgoingstoreedge_7488',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
-  ['addouticfgedge_7489',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
-  ['addoutofbudgetdpm_7490',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite_7491',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
-  ['addphistmt_7492',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
-  ['addpointsto_7493',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
-  ['addpred_7494',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
-  ['addpredbasicblock_7495',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
-  ['addpreds_7496',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
-  ['addpts_7497',['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_7498',['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_7499',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
-  ['addrefsideeffectoffunction_7500',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
-  ['addressvalue_7501',['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_7502',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
-  ['addretedge_7503',['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_7504',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge_7505',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
-  ['addretnode_7506',['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_7507',['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_7508',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
-  ['addrstmt_7509',['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_7510',['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_7511',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
-  ['addscccandidate_7512',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
-  ['addselectstmt_7513',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
-  ['addsinglerevpts_7514',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
-  ['addsinktocurslice_7515',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
-  ['addspawneefun_7516',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
-  ['addspawnerfun_7517',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
-  ['addspawnsite_7518',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
-  ['addsrctocsid_7519',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
-  ['addstartroutineofcxtthread_7520',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
-  ['addstinfo_7521',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
-  ['addstmtvfgnode_7522',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
-  ['addstorecgedge_7523',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
-  ['addstorechi_7524',['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_7525',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt_7526',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
-  ['addstorevfgnode_7527',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
-  ['addsubnode_7528',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
-  ['addsubnodes_7529',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['addsucc_7530',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
-  ['addsuccbasicblock_7531',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
-  ['addsuccs_7532',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
-  ['addsustat_7533',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
-  ['addsvfgedge_7534',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
-  ['addsvfgnode_7535',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
-  ['addsvfgnodesforaddrtakenvars_7536',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
-  ['addsvfmain_7537',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
-  ['addsvfstmt_7538',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
-  ['addsvftypeinfo_7539',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
-  ['addsymmetricloopjoin_7540',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
-  ['addtctedge_7541',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
-  ['addtctnode_7542',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
-  ['addtdedges_7543',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge_7544',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap_7545',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe_7546',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge_7547',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap_7548',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe_7549',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
-  ['addthreadmhpindirectvfedge_7550',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
-  ['addtobackwardslice_7551',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
-  ['addtobb2loopmap_7552',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
-  ['addtocurbackwardslice_7553',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
-  ['addtocurforwardslice_7554',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
-  ['addtoforwardslice_7555',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
-  ['addtofulljoin_7556',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohbpair_7557',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohppair_7558',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtopartial_7559',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
-  ['addtosinks_7560',['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_7561',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
-  ['addtostmt2typemap_7562',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
-  ['addtosvfstmtlist_7563',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
-  ['addtotypelocsetsmap_7564',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
-  ['addtypedef_7565',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
-  ['addtypeinfo_7566',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
-  ['addunaryopedge_7567',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
-  ['addunaryopstmt_7568',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode_7569',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
-  ['addvalnode_7570',['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_7571',['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_7572',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge_7573',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgepstmt_7574',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
-  ['addvfgedge_7575',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges_7576',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
-  ['addvfgnode_7577',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
-  ['addvfgnodes_7578',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
-  ['addvirtualfunctionvector_7579',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['advancetofirstnonzero_7580',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['advancetonextnonzero_7581',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['alias_7582',['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_7583',['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_7584',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
-  ['aliasddaclient_7585',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
-  ['aliased_7586',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
-  ['aliasquery_7587',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
-  ['allocate_7588',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
-  ['allocateforbb_7589',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
-  ['allocategepobjectid_7590',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
-  ['allocateobjectid_7591',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
-  ['allocatevalueid_7592',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
-  ['allpathreachablesolve_7593',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['analyze_7594',['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_7595',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeheapobjtype_7596',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeinterleaving_7597',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
-  ['analyzeintraproceduallock_7598',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
-  ['analyzelockspancxtstmt_7599',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
-  ['analyzeobjtype_7600',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
-  ['analyzestaticobjtype_7601',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
-  ['analyzevtables_7602',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
-  ['and_7603',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
-  ['andersen_7604',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
-  ['andersenbase_7605',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
-  ['andersenscd_7606',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
-  ['andersensfr_7607',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
-  ['andersenstat_7608',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
-  ['andersenwavediff_7609',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
-  ['annotatedrcheck_7610',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
-  ['annotateslice_7611',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
-  ['annotator_7612',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
-  ['answerqueries_7613',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
-  ['applyedgemask_7614',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
-  ['applyphi_7615',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
-  ['applyselect_7616',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
-  ['applysummary_7617',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
-  ['arg_5fempty_7618',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
-  ['arg_5fsize_7619',['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_7620',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
-  ['arginprogentryfunction_7621',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
-  ['argumentvfgnode_7622',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
-  ['asctime_7623',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
-  ['asctime_5fr_7624',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
-  ['assign_7625',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
-  ['assignstmt_7626',['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_7627',['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_7628',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
-  ['atvfnodeend_7629',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
-  ['atvfnodestart_7630',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
+  ['abstract_5fconsequence_7274',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a27cd159416a7a2f0a07532ccd86787db',1,'SVF::RelationSolver']]],
+  ['abstractvalue_7275',['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_7276',['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_7277',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
+  ['accesspair_7278',['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_7279',['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_7280',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc',1,'SVF::GepStmt']]],
+  ['accumulateconstantoffset_7281',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
+  ['actualinofindcs_7282',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
+  ['actualinsvfgnode_7283',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
+  ['actualoutofindcs_7284',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
+  ['actualoutsvfgnode_7285',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
+  ['actualparmvfgnode_7286',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
+  ['actualretvfgnode_7287',['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_7288',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
+  ['add_5fitem_5fto_5fobject_7289',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
+  ['addabsexecbug_7290',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
+  ['addactualinsvfgnode_7291',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode_7292',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms_7293',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode_7294',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret_7295',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode_7296',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
+  ['addaddrcgedge_7297',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
+  ['addaddredge_7298',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
+  ['addaddrstmt_7299',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
+  ['addaddrvfgnode_7300',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
+  ['addaliasset_7301',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
+  ['addarc_7302',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
+  ['addarc_5fh_7303',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
+  ['addargument_7304',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
+  ['addargumentmap_7305',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
+  ['addattribute_7306',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
+  ['addbackicfgedge_7307',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
+  ['addbackwardvisited_7308',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
+  ['addbasicblock_7309',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
+  ['addbasicblockmap_7310',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
+  ['addbicfledge_7311',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
+  ['addbigepcfledge_7312',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
+  ['addbinaryopedge_7313',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopstmt_7314',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
+  ['addbinaryopvfgnode_7315',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
+  ['addblackholeaddredge_7316',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
+  ['addblackholeaddrstmt_7317',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
+  ['addblackholeobjnode_7318',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
+  ['addblackholeptrnode_7319',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
+  ['addbranchstmt_7320',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
+  ['addbranchvfgnode_7321',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
+  ['addcallblock_7322',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
+  ['addcalledge_7323',['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_7324',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
+  ['addcallindirectsvfgedge_7325',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge_7326',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
+  ['addcallpe_7327',['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_7328',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs_7329',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi_7330',['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_7331',['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_7332',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
+  ['addcandidate_7333',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
+  ['addcdgedge_7334',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
+  ['addcdgedgefromsrcdst_7335',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
+  ['addcdgnode_7336',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
+  ['addcdgnodesfromvector_7337',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
+  ['addcfbbedge_7338',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
+  ['addcfbbnode_7339',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
+  ['addcfledge_7340',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
+  ['addcflnode_7341',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
+  ['addcmpedge_7342',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
+  ['addcmpstmt_7343',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
+  ['addcmpvfgnode_7344',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
+  ['addcomplexconsforext_7345',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
+  ['addcondintralock_7346',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
+  ['addconditionalintraedge_7347',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
+  ['addconstant_7348',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
+  ['addconstantdatamap_7349',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
+  ['addconstantobjnode_7350',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
+  ['addconstraintnode_7351',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
+  ['addcopycgedge_7352',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
+  ['addcopyedge_7353',['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_7354',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyvfgnode_7355',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
+  ['addcptstocallsitemods_7356',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs_7357',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
+  ['addcptstoload_7358',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
+  ['addcptstostore_7359',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
+  ['addcustomgraphfeatures_7360',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
+  ['addcxtlock_7361',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
+  ['addcxtofcxtthread_7362',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
+  ['addcxtstmttospan_7363',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
+  ['addddapts_7364',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
+  ['adddirectcallgraphedge_7365',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite_7366',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge_7367',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge_7368',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
+  ['adddirectlyjointid_7369',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
+  ['adddirectparforedge_7370',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
+  ['adddpmtoloc_7371',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
+  ['adddummymemobj_7372',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
+  ['adddummyobjnode_7373',['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_7374',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
+  ['adddummyversionpropsvfgnode_7375',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
+  ['addedge_7376',['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_7377',['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_7378',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
+  ['addextactualparmsvfgnodes_7379',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
+  ['addfiobjnode_7380',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
+  ['addfldwithtype_7381',['addFldWithType',['../classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b',1,'SVF::StInfo']]],
+  ['addfollowerfun_7382',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
+  ['addforksite_7383',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode_7384',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode_7385',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms_7386',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
+  ['addformalparmvfgnode_7387',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
+  ['addformalret_7388',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
+  ['addformalretvfgnode_7389',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
+  ['addforwardvisited_7390',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
+  ['addfunargs_7391',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
+  ['addfunctionmap_7392',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
+  ['addfunctionset_7393',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
+  ['addfunctofuncvector_7394',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
+  ['addfunentryblock_7395',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
+  ['addfunexitblock_7396',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
+  ['addfunret_7397',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
+  ['addgepedge_7398',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
+  ['addgepobjnode_7399',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
+  ['addgepstmt_7400',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
+  ['addgepvalnode_7401',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
+  ['addgepvfgnode_7402',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
+  ['addglobalblackholeaddredge_7403',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
+  ['addglobalicfgnode_7404',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
+  ['addglobalpagedge_7405',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
+  ['addglobalset_7406',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
+  ['addglobalvaluemap_7407',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
+  ['addgnode_7408',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
+  ['addhareparforedgesetmap_7409',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
+  ['addicfgedge_7410',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
+  ['addicfginteredges_7411',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
+  ['addicfgnode_7412',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
+  ['addincomingaddredge_7413',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
+  ['addincomingcopyedge_7414',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
+  ['addincomingdirectedge_7415',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
+  ['addincomingedge_7416',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
+  ['addincominggepedge_7417',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
+  ['addincomingloadedge_7418',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
+  ['addincomingstoreedge_7419',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
+  ['addind_5fh_7420',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
+  ['addindirectcallgraphedge_7421',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite_7422',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites_7423',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge_7424',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge_7425',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
+  ['addinedge_7426',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
+  ['addinedgewithkind_7427',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
+  ['addingoingedge_7428',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
+  ['addinicfgedge_7429',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
+  ['addinstances_7430',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
+  ['addinstruction_7431',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
+  ['addinstructionmap_7432',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
+  ['addinterbbedge_7433',['addInterBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addinteredgefromaptofp_7434',['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_7435',['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_7436',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
+  ['addinterindirectvfretedge_7437',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
+  ['addinterleavingthread_7438',['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_7439',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
+  ['addinterphiforfp_7440',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
+  ['addinterphioperands_7441',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
+  ['addinterproceduraledge_7442',['addInterProceduralEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addintoworklist_7443',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
+  ['addintrabbedge_7444',['addIntraBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addintrablock_7445',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
+  ['addintradirectvfedge_7446',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
+  ['addintraedge_7447',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
+  ['addintraindirectvfedge_7448',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
+  ['addintralock_7449',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
+  ['addintramssaphisvfgnode_7450',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
+  ['addintraphivfgnode_7451',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
+  ['addjoinsite_7452',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
+  ['addloadcgedge_7453',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
+  ['addloadcvar_7454',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
+  ['addloaddpm_7455',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
+  ['addloaddpmandcvar_7456',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
+  ['addloadedge_7457',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
+  ['addloadmu_7458',['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_7459',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
+  ['addloadvfgnode_7460',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
+  ['addmdtag_7461',['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_7462',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectoffunction_7463',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
+  ['addmssaphi_7464',['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_7465',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
+  ['addnewsvfgedge_7466',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
+  ['addnode_7467',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
+  ['addnodeintoworklist_7468',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
+  ['addnodetobecollapsed_7469',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
+  ['addnodetosvfloop_7470',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
+  ['addnormalgepcgedge_7471',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
+  ['addnormalgepedge_7472',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepstmt_7473',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
+  ['addnullptrnode_7474',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
+  ['addnullptrvfgnode_7475',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
+  ['addobjnode_7476',['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_7477',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
+  ['addopvar_7478',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
+  ['addotherconstantmap_7479',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
+  ['addothervalue_7480',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
+  ['addothervaluemap_7481',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
+  ['addoutedge_7482',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
+  ['addoutedgewithkind_7483',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
+  ['addoutgoingaddredge_7484',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
+  ['addoutgoingcopyedge_7485',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
+  ['addoutgoingdirectedge_7486',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
+  ['addoutgoingedge_7487',['addOutgoingEdge',['../classSVF_1_1CFBasicBlockNode.html#a59dc0f5017e4f1949e1cbf0b4f4b3a0b',1,'SVF::CFBasicBlockNode::addOutgoingEdge()'],['../classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d',1,'SVF::CFLNode::addOutgoingEdge()'],['../classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b',1,'SVF::GenericNode::addOutgoingEdge()']]],
+  ['addoutgoinggepedge_7488',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
+  ['addoutgoingloadedge_7489',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
+  ['addoutgoingstoreedge_7490',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
+  ['addouticfgedge_7491',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
+  ['addoutofbudgetdpm_7492',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
+  ['addparforsite_7493',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
+  ['addphistmt_7494',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
+  ['addpointsto_7495',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
+  ['addpred_7496',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
+  ['addpredbasicblock_7497',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
+  ['addpreds_7498',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
+  ['addpts_7499',['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_7500',['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_7501',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectoffunction_7502',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
+  ['addressvalue_7503',['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_7504',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
+  ['addretedge_7505',['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_7506',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge_7507',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
+  ['addretnode_7508',['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_7509',['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_7510',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
+  ['addrstmt_7511',['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_7512',['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_7513',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
+  ['addscccandidate_7514',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
+  ['addselectstmt_7515',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
+  ['addsinglerevpts_7516',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
+  ['addsinktocurslice_7517',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
+  ['addspawneefun_7518',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
+  ['addspawnerfun_7519',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
+  ['addspawnsite_7520',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
+  ['addsrctocsid_7521',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
+  ['addstartroutineofcxtthread_7522',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
+  ['addstinfo_7523',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
+  ['addstmtvfgnode_7524',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
+  ['addstorecgedge_7525',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
+  ['addstorechi_7526',['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_7527',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
+  ['addstorestmt_7528',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
+  ['addstorevfgnode_7529',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
+  ['addsubnode_7530',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
+  ['addsubnodes_7531',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['addsucc_7532',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
+  ['addsuccbasicblock_7533',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
+  ['addsuccs_7534',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
+  ['addsustat_7535',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
+  ['addsvfgedge_7536',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
+  ['addsvfgnode_7537',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
+  ['addsvfgnodesforaddrtakenvars_7538',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
+  ['addsvfmain_7539',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
+  ['addsvfstmt_7540',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
+  ['addsvftypeinfo_7541',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
+  ['addsymmetricloopjoin_7542',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
+  ['addtctedge_7543',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
+  ['addtctnode_7544',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
+  ['addtdedges_7545',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
+  ['addthreadforkedge_7546',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap_7547',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe_7548',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge_7549',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap_7550',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe_7551',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
+  ['addthreadmhpindirectvfedge_7552',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
+  ['addtobackwardslice_7553',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
+  ['addtobb2loopmap_7554',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
+  ['addtocurbackwardslice_7555',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
+  ['addtocurforwardslice_7556',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
+  ['addtoforwardslice_7557',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
+  ['addtofulljoin_7558',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohbpair_7559',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohppair_7560',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
+  ['addtopartial_7561',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
+  ['addtosinks_7562',['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_7563',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
+  ['addtostmt2typemap_7564',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist_7565',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
+  ['addtotypelocsetsmap_7566',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
+  ['addtypedef_7567',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
+  ['addtypeinfo_7568',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
+  ['addunaryopedge_7569',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopstmt_7570',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
+  ['addunaryopvfgnode_7571',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
+  ['addvalnode_7572',['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_7573',['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_7574',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
+  ['addvariantgepedge_7575',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepstmt_7576',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
+  ['addvfgedge_7577',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
+  ['addvfginteredges_7578',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
+  ['addvfgnode_7579',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
+  ['addvfgnodes_7580',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
+  ['addvirtualfunctionvector_7581',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
+  ['advancetofirstnonzero_7582',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['advancetonextnonzero_7583',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['alias_7584',['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_7585',['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_7586',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
+  ['aliasddaclient_7587',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
+  ['aliased_7588',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
+  ['aliasquery_7589',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
+  ['allocate_7590',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
+  ['allocateforbb_7591',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
+  ['allocategepobjectid_7592',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
+  ['allocateobjectid_7593',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
+  ['allocatevalueid_7594',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
+  ['allpathreachablesolve_7595',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
+  ['analyze_7596',['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_7597',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
+  ['analyzeheapobjtype_7598',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a9fca576448cc1cb38c894a7ae3d9ec56',1,'SVF::SymbolTableBuilder']]],
+  ['analyzeinterleaving_7599',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
+  ['analyzeintraproceduallock_7600',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
+  ['analyzelockspancxtstmt_7601',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzeobjtype_7602',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
+  ['analyzestaticobjtype_7603',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
+  ['analyzevtables_7604',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
+  ['and_7605',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
+  ['andersen_7606',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
+  ['andersenbase_7607',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
+  ['andersenscd_7608',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
+  ['andersensfr_7609',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
+  ['andersenstat_7610',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
+  ['andersenwavediff_7611',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
+  ['annotatedrcheck_7612',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
+  ['annotateslice_7613',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
+  ['annotator_7614',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
+  ['answerqueries_7615',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
+  ['applyedgemask_7616',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
+  ['applyphi_7617',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
+  ['applyselect_7618',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
+  ['applysummary_7619',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
+  ['arg_5fempty_7620',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
+  ['arg_5fsize_7621',['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_7622',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
+  ['arginprogentryfunction_7623',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
+  ['argumentvfgnode_7624',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
+  ['asctime_7625',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
+  ['asctime_5fr_7626',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
+  ['assign_7627',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
+  ['assignstmt_7628',['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_7629',['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_7630',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
+  ['atvfnodeend_7631',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
+  ['atvfnodestart_7632',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
 ];