svf-tools 1.0.874 → 1.0.875

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

@@ -1,368 +1,377 @@
 var searchData=
 [
-  ['abstract_5fconsequence_7437',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369',1,'SVF::RelationSolver']]],
-  ['abstractvalue_7438',['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_7439',['accept',['../classSVF_1_1WTOComponent.html#a2b92d79dd17e8d89f2441c5655157b80',1,'SVF::WTOComponent::accept()'],['../classSVF_1_1WTONode.html#a26f8f157a0661fff8d9f4f38d21a6445',1,'SVF::WTONode::accept()'],['../classSVF_1_1WTOCycle.html#acb7a52e66c5ef16f01cf6b7637578fcd',1,'SVF::WTOCycle::accept()'],['../classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4',1,'SVF::WTO::accept()']]],
-  ['accessglobal_7440',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
-  ['accesspair_7441',['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_7442',['AccessPath',['../classSVF_1_1AccessPath.html#abf31f0f9dfc65634e3054bdbec69de81',1,'SVF::AccessPath::AccessPath(APOffset o=0, const SVFType *srcTy=nullptr)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
-  ['accumulateconstantbyteoffset_7443',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc',1,'SVF::GepStmt']]],
-  ['accumulateconstantoffset_7444',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
-  ['actualinofindcs_7445',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode_7446',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
-  ['actualoutofindcs_7447',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode_7448',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
-  ['actualparmvfgnode_7449',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
-  ['actualretvfgnode_7450',['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_7451',['add',['../classSVF_1_1WTOCycleDepth.html#a8df436e4ff4cc9df4900c1262cc89b1c',1,'SVF::WTOCycleDepth']]],
-  ['add_5fitem_5fto_5farray_7452',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
-  ['add_5fitem_5fto_5fobject_7453',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
-  ['add_5fllvm_5fexecutable_7454',['add_llvm_executable',['../AE_2CMakeLists_8txt.html#a1e1eadf984addf1065131cabb33ba389',1,'add_llvm_executable(ae ae.cpp) target_link_libraries(ae PUBLIC $: CMakeLists.txt'],['../CFL_2CMakeLists_8txt.html#a2805f8077e1ba63166e6ed84c19be6dd',1,'add_llvm_executable(cfl cfl.cpp) target_link_libraries(cfl PUBLIC $: CMakeLists.txt'],['../DDA_2CMakeLists_8txt.html#a94c6e5ccd94f696989f0410032b427c2',1,'add_llvm_executable(dvf dda.cpp) target_link_libraries(dvf PUBLIC $: CMakeLists.txt'],['../Example_2CMakeLists_8txt.html#a3bd7bd92c11dfa913ca78850d67eb983',1,'add_llvm_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex PUBLIC $: CMakeLists.txt'],['../LLVM2SVF_2CMakeLists_8txt.html#a09da540ac7acd2213c23b2517e580351',1,'add_llvm_executable(llvm2svf llvm2svf.cpp) target_link_libraries(llvm2svf PUBLIC $: CMakeLists.txt'],['../MTA_2CMakeLists_8txt.html#a06228482f6a9de8cda405fce564c60de',1,'add_llvm_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) target_link_libraries(mta PUBLIC $: CMakeLists.txt'],['../SABER_2CMakeLists_8txt.html#a20e1ad44a944c6eb83ad47f1ec6e8ca9',1,'add_llvm_executable(saber saber.cpp) target_link_libraries(saber PUBLIC $: CMakeLists.txt']]],
-  ['add_5fsubdirectory_7455',['add_subdirectory',['../CMakeLists_8txt.html#a31f93b6c80cf1738388338630dff4962',1,'CMakeLists.txt']]],
-  ['addabsexecbug_7456',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
-  ['addactualinsvfgnode_7457',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode_7458',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
-  ['addactualparms_7459',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
-  ['addactualparmvfgnode_7460',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret_7461',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
-  ['addactualretvfgnode_7462',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
-  ['addaddrcgedge_7463',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
-  ['addaddredge_7464',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
-  ['addaddrstmt_7465',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
-  ['addaddrvfgnode_7466',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
-  ['addaddrwithheapsz_7467',['addAddrWithHeapSz',['../classSVF_1_1SVFIRBuilder.html#ab37f85962943d8fd68bd972212b6364f',1,'SVF::SVFIRBuilder']]],
-  ['addaddrwithstackarraysz_7468',['addAddrWithStackArraySz',['../classSVF_1_1SVFIRBuilder.html#a9b17524286226edb8dbae953d6559423',1,'SVF::SVFIRBuilder']]],
-  ['addaliasset_7469',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
-  ['addarc_7470',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
-  ['addarc_5fh_7471',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
-  ['addargument_7472',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
-  ['addargumentmap_7473',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
-  ['addattribute_7474',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
-  ['addbackicfgedge_7475',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
-  ['addbackwardvisited_7476',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
-  ['addbasicblock_7477',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
-  ['addbasicblockmap_7478',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
-  ['addbicfledge_7479',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
-  ['addbigepcfledge_7480',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
-  ['addbinaryopedge_7481',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
-  ['addbinaryopstmt_7482',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
-  ['addbinaryopvfgnode_7483',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
-  ['addblackholeaddredge_7484',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
-  ['addblackholeaddrstmt_7485',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
-  ['addblackholeobjnode_7486',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
-  ['addblackholeptrnode_7487',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
-  ['addbranchstmt_7488',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
-  ['addbranchvfgnode_7489',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcallblock_7490',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
-  ['addcalledge_7491',['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_7492',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallindirectsvfgedge_7493',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
-  ['addcallindirectvfedge_7494',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe_7495',['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_7496',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs_7497',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
-  ['addcallsitechi_7498',['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_7499',['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_7500',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
-  ['addcandidate_7501',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
-  ['addcdgedge_7502',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
-  ['addcdgedgefromsrcdst_7503',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
-  ['addcdgnode_7504',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
-  ['addcdgnodesfromvector_7505',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
-  ['addcfbbedge_7506',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
-  ['addcfbbnode_7507',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
-  ['addcfledge_7508',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
-  ['addcflnode_7509',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
-  ['addcmpedge_7510',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
-  ['addcmpstmt_7511',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
-  ['addcmpvfgnode_7512',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
-  ['addcomplexconsforext_7513',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
-  ['addcondintralock_7514',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
-  ['addconditionalintraedge_7515',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
-  ['addconstant_7516',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
-  ['addconstantdatamap_7517',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
-  ['addconstantobjnode_7518',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
-  ['addconstraintnode_7519',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
-  ['addcopycgedge_7520',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
-  ['addcopyedge_7521',['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_7522',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
-  ['addcopyvfgnode_7523',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods_7524',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs_7525',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
-  ['addcptstoload_7526',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
-  ['addcptstostore_7527',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
-  ['addcustomgraphfeatures_7528',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
-  ['addcxtlock_7529',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
-  ['addcxtofcxtthread_7530',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
-  ['addcxtstmttospan_7531',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
-  ['addddapts_7532',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge_7533',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite_7534',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge_7535',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge_7536',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
-  ['adddirectlyjointid_7537',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge_7538',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
-  ['adddpmtoloc_7539',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
-  ['adddummymemobj_7540',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
-  ['adddummyobjnode_7541',['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_7542',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
-  ['adddummyversionpropsvfgnode_7543',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
-  ['addedge_7544',['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_7545',['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_7546',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
-  ['addextactualparmsvfgnodes_7547',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
-  ['addfiobjnode_7548',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
-  ['addfldwithtype_7549',['addFldWithType',['../classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b',1,'SVF::StInfo']]],
-  ['addfollowerfun_7550',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
-  ['addforksite_7551',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode_7552',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode_7553',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
-  ['addformalparms_7554',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
-  ['addformalparmvfgnode_7555',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret_7556',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
-  ['addformalretvfgnode_7557',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
-  ['addforwardvisited_7558',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
-  ['addfunargs_7559',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
-  ['addfunctionmap_7560',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
-  ['addfunctionset_7561',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
-  ['addfunctofuncvector_7562',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
-  ['addfunentryblock_7563',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
-  ['addfunexitblock_7564',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
-  ['addfunret_7565',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
-  ['addgepedge_7566',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
-  ['addgepobjnode_7567',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
-  ['addgepstmt_7568',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
-  ['addgepvalnode_7569',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
-  ['addgepvfgnode_7570',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
-  ['addglobalblackholeaddredge_7571',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
-  ['addglobalicfgnode_7572',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
-  ['addglobalpagedge_7573',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
-  ['addglobalset_7574',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
-  ['addglobalvaluemap_7575',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
-  ['addgnode_7576',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
-  ['addhareparforedgesetmap_7577',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
-  ['addicfgedge_7578',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
-  ['addicfginteredges_7579',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
-  ['addicfgnode_7580',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
-  ['addincomingaddredge_7581',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
-  ['addincomingcopyedge_7582',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
-  ['addincomingdirectedge_7583',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
-  ['addincomingedge_7584',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
-  ['addincominggepedge_7585',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
-  ['addincomingloadedge_7586',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
-  ['addincomingstoreedge_7587',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addind_5fh_7588',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
-  ['addindirectcallgraphedge_7589',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite_7590',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites_7591',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
-  ['addindirectforkedge_7592',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge_7593',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
-  ['addinedge_7594',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
-  ['addinedgewithkind_7595',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
-  ['addingoingedge_7596',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
-  ['addinicfgedge_7597',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
-  ['addinstances_7598',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
-  ['addinstruction_7599',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
-  ['addinstructionmap_7600',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
-  ['addinterbbedge_7601',['addInterBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addinteredgefromaptofp_7602',['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_7603',['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_7604',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
-  ['addinterindirectvfretedge_7605',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
-  ['addinterleavingthread_7606',['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_7607',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
-  ['addinterphiforfp_7608',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
-  ['addinterphioperands_7609',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
-  ['addinterproceduraledge_7610',['addInterProceduralEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addintoworklist_7611',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrabbedge_7612',['addIntraBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31',1,'SVF::CFBasicBlockGBuilder']]],
-  ['addintrablock_7613',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
-  ['addintradirectvfedge_7614',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
-  ['addintraedge_7615',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
-  ['addintraindirectvfedge_7616',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
-  ['addintralock_7617',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
-  ['addintramssaphisvfgnode_7618',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
-  ['addintraphivfgnode_7619',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
-  ['addjoinsite_7620',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
-  ['addloadcgedge_7621',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
-  ['addloadcvar_7622',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
-  ['addloaddpm_7623',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
-  ['addloaddpmandcvar_7624',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
-  ['addloadedge_7625',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
-  ['addloadmu_7626',['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_7627',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
-  ['addloadvfgnode_7628',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
-  ['addmdtag_7629',['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_7630',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
-  ['addmodsideeffectoffunction_7631',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
-  ['addmssaphi_7632',['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_7633',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
-  ['addnewsvfgedge_7634',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
-  ['addnode_7635',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
-  ['addnodeintoworklist_7636',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
-  ['addnodetobecollapsed_7637',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
-  ['addnodetosvfloop_7638',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
-  ['addnormalgepcgedge_7639',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
-  ['addnormalgepedge_7640',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
-  ['addnormalgepstmt_7641',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
-  ['addnullptrnode_7642',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
-  ['addnullptrvfgnode_7643',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
-  ['addobjnode_7644',['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_7645',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
-  ['addopvar_7646',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
-  ['addotherconstantmap_7647',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
-  ['addothervalue_7648',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
-  ['addothervaluemap_7649',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
-  ['addoutedge_7650',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
-  ['addoutedgewithkind_7651',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
-  ['addoutgoingaddredge_7652',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
-  ['addoutgoingcopyedge_7653',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
-  ['addoutgoingdirectedge_7654',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
-  ['addoutgoingedge_7655',['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_7656',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
-  ['addoutgoingloadedge_7657',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
-  ['addoutgoingstoreedge_7658',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
-  ['addouticfgedge_7659',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
-  ['addoutofbudgetdpm_7660',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite_7661',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
-  ['addphistmt_7662',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
-  ['addpointsto_7663',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
-  ['addpred_7664',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
-  ['addpredbasicblock_7665',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
-  ['addpreds_7666',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
-  ['addpts_7667',['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_7668',['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_7669',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
-  ['addrefsideeffectoffunction_7670',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
-  ['addressvalue_7671',['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_7672',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
-  ['addretedge_7673',['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_7674',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
-  ['addretindirectvfedge_7675',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
-  ['addretnode_7676',['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_7677',['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_7678',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
-  ['addrstmt_7679',['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_7680',['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_7681',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
-  ['addscccandidate_7682',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
-  ['addselectstmt_7683',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
-  ['addsinglerevpts_7684',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
-  ['addsinktocurslice_7685',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
-  ['addspawneefun_7686',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
-  ['addspawnerfun_7687',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
-  ['addspawnsite_7688',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
-  ['addsrctocsid_7689',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
-  ['addstartroutineofcxtthread_7690',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
-  ['addstinfo_7691',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
-  ['addstmtvfgnode_7692',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
-  ['addstorecgedge_7693',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
-  ['addstorechi_7694',['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_7695',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt_7696',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
-  ['addstorevfgnode_7697',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
-  ['addsubnode_7698',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
-  ['addsubnodes_7699',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
-  ['addsucc_7700',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
-  ['addsuccbasicblock_7701',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
-  ['addsuccs_7702',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
-  ['addsustat_7703',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
-  ['addsvfgedge_7704',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
-  ['addsvfgnode_7705',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
-  ['addsvfgnodesforaddrtakenvars_7706',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
-  ['addsvfmain_7707',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
-  ['addsvfstmt_7708',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
-  ['addsvftypeinfo_7709',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
-  ['addsymmetricloopjoin_7710',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
-  ['addtctedge_7711',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
-  ['addtctnode_7712',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
-  ['addtdedges_7713',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge_7714',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap_7715',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe_7716',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge_7717',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap_7718',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe_7719',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
-  ['addthreadmhpindirectvfedge_7720',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
-  ['addtobackwardslice_7721',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
-  ['addtobb2loopmap_7722',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
-  ['addtocurbackwardslice_7723',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
-  ['addtocurforwardslice_7724',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
-  ['addtoforwardslice_7725',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
-  ['addtofulljoin_7726',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohbpair_7727',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
-  ['addtohppair_7728',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
-  ['addtopartial_7729',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
-  ['addtosinks_7730',['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_7731',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
-  ['addtostmt2typemap_7732',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
-  ['addtosvfstmtlist_7733',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
-  ['addtotypelocsetsmap_7734',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
-  ['addtypedef_7735',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
-  ['addtypeinfo_7736',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
-  ['addunaryopedge_7737',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
-  ['addunaryopstmt_7738',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
-  ['addunaryopvfgnode_7739',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
-  ['addvalnode_7740',['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_7741',['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_7742',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
-  ['addvariantgepedge_7743',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
-  ['addvariantgepstmt_7744',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
-  ['addvfgedge_7745',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges_7746',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
-  ['addvfgnode_7747',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
-  ['addvfgnodes_7748',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
-  ['addvirtualfunctionvector_7749',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
-  ['advancetofirstnonzero_7750',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['advancetonextnonzero_7751',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['alias_7752',['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_7753',['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_7754',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
-  ['aliasddaclient_7755',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
-  ['aliased_7756',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
-  ['aliasquery_7757',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
-  ['allocate_7758',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
-  ['allocateforbb_7759',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
-  ['allocategepobjectid_7760',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
-  ['allocateobjectid_7761',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
-  ['allocatevalueid_7762',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
-  ['allpathreachablesolve_7763',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
-  ['analyze_7764',['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_7765',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
-  ['analyzeheapallocbytesize_7766',['analyzeHeapAllocByteSize',['../classSVF_1_1SymbolTableBuilder.html#a889af96532c273bb91f59abf6433b04c',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeheapobjtype_7767',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a86e051b7423b9e6cc3c96ccddb0ad345',1,'SVF::SymbolTableBuilder']]],
-  ['analyzeinterleaving_7768',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
-  ['analyzeintraproceduallock_7769',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
-  ['analyzelockspancxtstmt_7770',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
-  ['analyzeobjtype_7771',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
-  ['analyzestaticobjtype_7772',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
-  ['analyzevtables_7773',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
-  ['and_7774',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
-  ['andersen_7775',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
-  ['andersenbase_7776',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
-  ['andersenscd_7777',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
-  ['andersensfr_7778',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
-  ['andersenstat_7779',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
-  ['andersenwavediff_7780',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
-  ['annotatedrcheck_7781',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
-  ['annotateslice_7782',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
-  ['annotator_7783',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
-  ['answerqueries_7784',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
-  ['applyedgemask_7785',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
-  ['applyphi_7786',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
-  ['applyselect_7787',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
-  ['applysummary_7788',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
-  ['arg_5fempty_7789',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
-  ['arg_5fsize_7790',['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_7791',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
-  ['arginprogentryfunction_7792',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
-  ['argumentvfgnode_7793',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
-  ['asctime_7794',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
-  ['asctime_5fr_7795',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
-  ['assign_7796',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
-  ['assignstmt_7797',['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_7798',['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_7799',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
-  ['atvfnodeend_7800',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
-  ['atvfnodestart_7801',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
+  ['abstract_5fconsequence_7575',['abstract_consequence',['../classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369',1,'SVF::RelationSolver']]],
+  ['abstractvalue_7576',['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_7577',['accept',['../classSVF_1_1WTOComponent.html#a2b92d79dd17e8d89f2441c5655157b80',1,'SVF::WTOComponent::accept()'],['../classSVF_1_1WTONode.html#a26f8f157a0661fff8d9f4f38d21a6445',1,'SVF::WTONode::accept()'],['../classSVF_1_1WTOCycle.html#acb7a52e66c5ef16f01cf6b7637578fcd',1,'SVF::WTOCycle::accept()'],['../classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4',1,'SVF::WTO::accept()']]],
+  ['accessglobal_7578',['accessGlobal',['../classSVF_1_1SaberSVFGBuilder.html#a4bfa849a30d1982ae597d26b4a01dd0f',1,'SVF::SaberSVFGBuilder']]],
+  ['accessmemoryviacallargs_7579',['AccessMemoryViaCallArgs',['../classSVF_1_1AEAPI.html#ac49859a7848fbef0e29492e95b031f1f',1,'SVF::AEAPI']]],
+  ['accessmemoryviacopystmt_7580',['AccessMemoryViaCopyStmt',['../classSVF_1_1AEAPI.html#a3665513f6e8f8b93ef3f9d273d03ee70',1,'SVF::AEAPI']]],
+  ['accessmemoryvialoadstmt_7581',['AccessMemoryViaLoadStmt',['../classSVF_1_1AEAPI.html#afa34cb2ee3fc1ca5aa04a2afe7c2d6e8',1,'SVF::AEAPI']]],
+  ['accessmemoryviaretnode_7582',['AccessMemoryViaRetNode',['../classSVF_1_1AEAPI.html#a7be3da80bedb1077a99d67daa124afde',1,'SVF::AEAPI']]],
+  ['accesspair_7583',['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_7584',['AccessPath',['../classSVF_1_1AccessPath.html#abf31f0f9dfc65634e3054bdbec69de81',1,'SVF::AccessPath::AccessPath(APOffset o=0, const SVFType *srcTy=nullptr)'],['../classSVF_1_1AccessPath.html#afea2322fdbad3a6382b60fc3f77e8e94',1,'SVF::AccessPath::AccessPath(const AccessPath &ap)']]],
+  ['accumulateconstantbyteoffset_7585',['accumulateConstantByteOffset',['../classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc',1,'SVF::GepStmt']]],
+  ['accumulateconstantoffset_7586',['accumulateConstantOffset',['../classSVF_1_1GepStmt.html#a1dd264b9f3b43d04aa1396443ad6ad33',1,'SVF::GepStmt']]],
+  ['actualinofindcs_7587',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
+  ['actualinsvfgnode_7588',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode']]],
+  ['actualoutofindcs_7589',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
+  ['actualoutsvfgnode_7590',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode']]],
+  ['actualparmvfgnode_7591',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode']]],
+  ['actualretvfgnode_7592',['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_7593',['add',['../classSVF_1_1WTOCycleDepth.html#a8df436e4ff4cc9df4900c1262cc89b1c',1,'SVF::WTOCycleDepth']]],
+  ['add_5fitem_5fto_5farray_7594',['add_item_to_array',['../cJSON_8cpp.html#a816d10c908af6be844a1f8277363e2f1',1,'cJSON.cpp']]],
+  ['add_5fitem_5fto_5fobject_7595',['add_item_to_object',['../cJSON_8cpp.html#acc48bef0e1b495898d9489e577b91d5c',1,'cJSON.cpp']]],
+  ['add_5fllvm_5fexecutable_7596',['add_llvm_executable',['../AE_2CMakeLists_8txt.html#a1e1eadf984addf1065131cabb33ba389',1,'add_llvm_executable(ae ae.cpp) target_link_libraries(ae PUBLIC $: CMakeLists.txt'],['../CFL_2CMakeLists_8txt.html#a2805f8077e1ba63166e6ed84c19be6dd',1,'add_llvm_executable(cfl cfl.cpp) target_link_libraries(cfl PUBLIC $: CMakeLists.txt'],['../DDA_2CMakeLists_8txt.html#a94c6e5ccd94f696989f0410032b427c2',1,'add_llvm_executable(dvf dda.cpp) target_link_libraries(dvf PUBLIC $: CMakeLists.txt'],['../Example_2CMakeLists_8txt.html#a3bd7bd92c11dfa913ca78850d67eb983',1,'add_llvm_executable(svf-ex svf-ex.cpp) target_link_libraries(svf-ex PUBLIC $: CMakeLists.txt'],['../LLVM2SVF_2CMakeLists_8txt.html#a09da540ac7acd2213c23b2517e580351',1,'add_llvm_executable(llvm2svf llvm2svf.cpp) target_link_libraries(llvm2svf PUBLIC $: CMakeLists.txt'],['../MTA_2CMakeLists_8txt.html#a06228482f6a9de8cda405fce564c60de',1,'add_llvm_executable(mta mta.cpp LockResultValidator.cpp MTAResultValidator.cpp MTAAnnotator.cpp) target_link_libraries(mta PUBLIC $: CMakeLists.txt'],['../SABER_2CMakeLists_8txt.html#a20e1ad44a944c6eb83ad47f1ec6e8ca9',1,'add_llvm_executable(saber saber.cpp) target_link_libraries(saber PUBLIC $: CMakeLists.txt']]],
+  ['add_5fsubdirectory_7597',['add_subdirectory',['../CMakeLists_8txt.html#a31f93b6c80cf1738388338630dff4962',1,'CMakeLists.txt']]],
+  ['addabsexecbug_7598',['addAbsExecBug',['../classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2',1,'SVF::SVFBugReport']]],
+  ['addactualinsvfgnode_7599',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode_7600',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms_7601',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode_7602',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret_7603',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode_7604',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
+  ['addaddrcgedge_7605',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
+  ['addaddredge_7606',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
+  ['addaddrstmt_7607',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
+  ['addaddrvfgnode_7608',['addAddrVFGNode',['../classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af',1,'SVF::VFG']]],
+  ['addaddrwithheapsz_7609',['addAddrWithHeapSz',['../classSVF_1_1SVFIRBuilder.html#ab37f85962943d8fd68bd972212b6364f',1,'SVF::SVFIRBuilder']]],
+  ['addaddrwithstackarraysz_7610',['addAddrWithStackArraySz',['../classSVF_1_1SVFIRBuilder.html#a9b17524286226edb8dbae953d6559423',1,'SVF::SVFIRBuilder']]],
+  ['addaliasset_7611',['addAliasSet',['../classSVF_1_1SVFModule.html#aa6627399cf4d30d576f76f681d83449d',1,'SVF::SVFModule']]],
+  ['addarc_7612',['addArc',['../classSVF_1_1POCRHybridSolver.html#ab9dde401a28a8ac3e4da0cc74704b6e0',1,'SVF::POCRHybridSolver']]],
+  ['addarc_5fh_7613',['addArc_h',['../classSVF_1_1POCRHybridSolver.html#ab5cafea46af35266252f83c61a88a8dc',1,'SVF::POCRHybridSolver']]],
+  ['addargument_7614',['addArgument',['../classSVF_1_1SVFFunction.html#ad865b8440a6e0d5d212798d2213e1e9c',1,'SVF::SVFFunction::addArgument()'],['../classSVF_1_1SVFCallInst.html#ac979b49b449b97b2a23f195cb107ec77',1,'SVF::SVFCallInst::addArgument()']]],
+  ['addargumentmap_7615',['addArgumentMap',['../classSVF_1_1LLVMModuleSet.html#a5595ec3f7582934dc499770825bf5373',1,'SVF::LLVMModuleSet']]],
+  ['addattribute_7616',['addAttribute',['../classSVF_1_1CFLGraphBuilder.html#af05b577fbb64082d80ca4cfa2e2bc4f1',1,'SVF::CFLGraphBuilder']]],
+  ['addbackicfgedge_7617',['addBackICFGEdge',['../classSVF_1_1SVFLoop.html#a03c6de676a1d8f99687ea973b9b25d58',1,'SVF::SVFLoop']]],
+  ['addbackwardvisited_7618',['addBackwardVisited',['../classSVF_1_1SrcSnkDDA.html#aa061e2d72d3045c9712512c6df002544',1,'SVF::SrcSnkDDA']]],
+  ['addbasicblock_7619',['addBasicBlock',['../classSVF_1_1SVFFunction.html#a0d5031bd11b6372803082111ec2cb4f6',1,'SVF::SVFFunction']]],
+  ['addbasicblockmap_7620',['addBasicBlockMap',['../classSVF_1_1LLVMModuleSet.html#a3eaadb33cd21d0bd868526b5ddb051d9',1,'SVF::LLVMModuleSet']]],
+  ['addbicfledge_7621',['addBiCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#a3069f804d6e63c5d74dc0b4d7399d43e',1,'SVF::AliasCFLGraphBuilder::addBiCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#a5d1beb9f3fb72fbf8857f97d97085ad0',1,'SVF::VFCFLGraphBuilder::addBiCFLEdge()']]],
+  ['addbigepcfledge_7622',['addBiGepCFLEdge',['../classSVF_1_1AliasCFLGraphBuilder.html#aa998adcd267038210c2ed93148d00333',1,'SVF::AliasCFLGraphBuilder::addBiGepCFLEdge()'],['../classSVF_1_1VFCFLGraphBuilder.html#abc399874243614198b0742d1e76b945c',1,'SVF::VFCFLGraphBuilder::addBiGepCFLEdge()']]],
+  ['addbinaryopedge_7623',['addBinaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a3f954c61381fe31088e791772c334105',1,'SVF::SVFIRBuilder']]],
+  ['addbinaryopstmt_7624',['addBinaryOPStmt',['../classSVF_1_1SVFIR.html#a955a2f93cf9eef857e40f19bc24edb2f',1,'SVF::SVFIR']]],
+  ['addbinaryopvfgnode_7625',['addBinaryOPVFGNode',['../classSVF_1_1VFG.html#ac79516fc4d9136241d708f9df5c73262',1,'SVF::VFG']]],
+  ['addblackholeaddredge_7626',['addBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a8bf1847f31ff90937ce76cd0c0af7edb',1,'SVF::SVFIRBuilder']]],
+  ['addblackholeaddrstmt_7627',['addBlackHoleAddrStmt',['../classSVF_1_1SVFIR.html#a33df5f5d9b7de3846cf973135b04f513',1,'SVF::SVFIR']]],
+  ['addblackholeobjnode_7628',['addBlackholeObjNode',['../classSVF_1_1SVFIR.html#a2b532a5db0197c579b512fbcdb4d6220',1,'SVF::SVFIR']]],
+  ['addblackholeptrnode_7629',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
+  ['addbranchstmt_7630',['addBranchStmt',['../classSVF_1_1SVFIRBuilder.html#a5e56beb1a362b6e596183b04d37fd9e0',1,'SVF::SVFIRBuilder::addBranchStmt()'],['../classSVF_1_1SVFIR.html#ae61030da4a84b5c9c47903804af9d107',1,'SVF::SVFIR::addBranchStmt()']]],
+  ['addbranchvfgnode_7631',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
+  ['addbugtorecoder_7632',['addBugToRecoder',['../classSVF_1_1BufOverflowChecker.html#a7c11b81809cb087317cbea654a589f75',1,'SVF::BufOverflowChecker']]],
+  ['addcallblock_7633',['addCallBlock',['../classSVF_1_1ICFG.html#ac51c8f38efbd2576e150a9fc26a4a41b',1,'SVF::ICFG']]],
+  ['addcalledge_7634',['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_7635',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
+  ['addcallindirectsvfgedge_7636',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
+  ['addcallindirectvfedge_7637',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
+  ['addcallpe_7638',['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_7639',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs_7640',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi_7641',['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_7642',['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_7643',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
+  ['addcandidate_7644',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
+  ['addcdgedge_7645',['addCDGEdge',['../classSVF_1_1CDG.html#ac7bef71609f90258f6bcb159afa9503c',1,'SVF::CDG']]],
+  ['addcdgedgefromsrcdst_7646',['addCDGEdgeFromSrcDst',['../classSVF_1_1CDG.html#a71ccf9520bb222dc0779716e213aabf2',1,'SVF::CDG']]],
+  ['addcdgnode_7647',['addCDGNode',['../classSVF_1_1CDG.html#a98e499b5316074a8722b88f77117c92c',1,'SVF::CDG']]],
+  ['addcdgnodesfromvector_7648',['addCDGNodesFromVector',['../classSVF_1_1CDG.html#a3122ef8cbc3960a44b3234b73dd6561f',1,'SVF::CDG']]],
+  ['addcfbbedge_7649',['addCFBBEdge',['../classSVF_1_1CFBasicBlockGraph.html#acd6a4b291c9aab8abdc466f985975d0d',1,'SVF::CFBasicBlockGraph']]],
+  ['addcfbbnode_7650',['addCFBBNode',['../classSVF_1_1CFBasicBlockGraph.html#a4a7a6e00d13b4099c34a3015b4f06a67',1,'SVF::CFBasicBlockGraph']]],
+  ['addcfledge_7651',['addCFLEdge',['../classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2',1,'SVF::CFLGraph']]],
+  ['addcflnode_7652',['addCFLNode',['../classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c',1,'SVF::CFLGraph']]],
+  ['addcmpedge_7653',['addCmpEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1d75ac5f54872762460c86a67de3a6',1,'SVF::SVFIRBuilder']]],
+  ['addcmpstmt_7654',['addCmpStmt',['../classSVF_1_1SVFIR.html#a7eb14738f0cf08cc8b5c623c953db4ba',1,'SVF::SVFIR']]],
+  ['addcmpvfgnode_7655',['addCmpVFGNode',['../classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b',1,'SVF::VFG']]],
+  ['addcomplexconsforext_7656',['addComplexConsForExt',['../classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06',1,'SVF::SVFIRBuilder']]],
+  ['addcondintralock_7657',['addCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585',1,'SVF::LockAnalysis']]],
+  ['addconditionalintraedge_7658',['addConditionalIntraEdge',['../classSVF_1_1ICFG.html#a1589272ab8eff17c1973f17038ef6eb3',1,'SVF::ICFG']]],
+  ['addconstant_7659',['addConstant',['../classSVF_1_1SVFModule.html#ae64d24569942d7c4b18d2198be4839f3',1,'SVF::SVFModule']]],
+  ['addconstantdatamap_7660',['addConstantDataMap',['../classSVF_1_1LLVMModuleSet.html#af4bd487b3b6efe55bf869b869f5e8a80',1,'SVF::LLVMModuleSet']]],
+  ['addconstantobjnode_7661',['addConstantObjNode',['../classSVF_1_1SVFIR.html#aff3f3ff198e7511576484dfda7bf051b',1,'SVF::SVFIR']]],
+  ['addconstraintnode_7662',['addConstraintNode',['../classSVF_1_1ConstraintGraph.html#a5ea9c47d232f36b66d985f979f33293b',1,'SVF::ConstraintGraph']]],
+  ['addcopycgedge_7663',['addCopyCGEdge',['../classSVF_1_1ConstraintGraph.html#a60bb27100e8c264be2add004069d1758',1,'SVF::ConstraintGraph']]],
+  ['addcopyedge_7664',['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_7665',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
+  ['addcopyvfgnode_7666',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
+  ['addcptstocallsitemods_7667',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs_7668',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
+  ['addcptstoload_7669',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
+  ['addcptstostore_7670',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
+  ['addcustomgraphfeatures_7671',['addCustomGraphFeatures',['../structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf',1,'SVF::DefaultDOTGraphTraits']]],
+  ['addcxtlock_7672',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a6b8d03d75751635e492dbda47e2d543e',1,'SVF::LockAnalysis']]],
+  ['addcxtofcxtthread_7673',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
+  ['addcxtstmttospan_7674',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
+  ['addddapts_7675',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
+  ['adddirectcallgraphedge_7676',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite_7677',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge_7678',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge_7679',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
+  ['adddirectlyjointid_7680',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
+  ['adddirectparforedge_7681',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
+  ['adddpmtoloc_7682',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
+  ['adddummymemobj_7683',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a86b36a618a56185809ad8aa92af80b60',1,'SVF::SVFIR']]],
+  ['adddummyobjnode_7684',['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_7685',['addDummyValNode',['../classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0',1,'SVF::SVFIR::addDummyValNode()'],['../classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684',1,'SVF::SVFIR::addDummyValNode(NodeID i)']]],
+  ['adddummyversionpropsvfgnode_7686',['addDummyVersionPropSVFGNode',['../classSVF_1_1SVFG.html#a8dd513e8e5343beeb5d117c1ff4e45ea',1,'SVF::SVFG']]],
+  ['addedge_7687',['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_7688',['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_7689',['addEntryICFGEdge',['../classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00',1,'SVF::SVFLoop']]],
+  ['addextactualparmsvfgnodes_7690',['AddExtActualParmSVFGNodes',['../classSVF_1_1SaberSVFGBuilder.html#ab6870d6f6f5abc5417dcea771eaa31f7',1,'SVF::SaberSVFGBuilder']]],
+  ['addfiobjnode_7691',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
+  ['addfldwithtype_7692',['addFldWithType',['../classSVF_1_1StInfo.html#a00339d1d7074e9222776801ce8689f6b',1,'SVF::StInfo']]],
+  ['addfollowerfun_7693',['addFollowerFun',['../classSVF_1_1PCG.html#a4901c6b064d92694f78ca0484c454fc8',1,'SVF::PCG']]],
+  ['addforksite_7694',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode_7695',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode_7696',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms_7697',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
+  ['addformalparmvfgnode_7698',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
+  ['addformalret_7699',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
+  ['addformalretvfgnode_7700',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
+  ['addforwardvisited_7701',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
+  ['addfunargs_7702',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
+  ['addfunctionmap_7703',['addFunctionMap',['../classSVF_1_1LLVMModuleSet.html#ab671d5bb9ca5761e2b438a4d4da229cf',1,'SVF::LLVMModuleSet']]],
+  ['addfunctionset_7704',['addFunctionSet',['../classSVF_1_1SVFModule.html#a8a0fe93cc13b799fc28540fb312573c6',1,'SVF::SVFModule']]],
+  ['addfunctofuncvector_7705',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a87170f2cf98c6094491b8fbafdebec14',1,'SVF::CHGBuilder']]],
+  ['addfunentryblock_7706',['addFunEntryBlock',['../classSVF_1_1ICFG.html#a1af9ae1c2efb4cb7897d5234d035c06b',1,'SVF::ICFG']]],
+  ['addfunexitblock_7707',['addFunExitBlock',['../classSVF_1_1ICFG.html#a6b716225b38638d6a34703995b749ad2',1,'SVF::ICFG']]],
+  ['addfunret_7708',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
+  ['addgepedge_7709',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a4e1b6797df3e7b98da876f50741e6a3a',1,'SVF::SVFIRBuilder']]],
+  ['addgepobjnode_7710',['addGepObjNode',['../classSVF_1_1SVFIR.html#a685991a5dec8a17fe73b3161fdb9ea7e',1,'SVF::SVFIR']]],
+  ['addgepstmt_7711',['addGepStmt',['../classSVF_1_1SVFIR.html#a1f77275b24345164f30d519238121f92',1,'SVF::SVFIR']]],
+  ['addgepvalnode_7712',['addGepValNode',['../classSVF_1_1SVFIR.html#a555e6d530c37b23e1e43925aa188385f',1,'SVF::SVFIR']]],
+  ['addgepvfgnode_7713',['addGepVFGNode',['../classSVF_1_1VFG.html#a4fb321fb0ff2a06c1065506552b862aa',1,'SVF::VFG']]],
+  ['addglobalblackholeaddredge_7714',['addGlobalBlackHoleAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef',1,'SVF::SVFIRBuilder']]],
+  ['addglobalicfgnode_7715',['addGlobalICFGNode',['../classSVF_1_1ICFG.html#adce53ce7392af67e1c6764ecba6fe774',1,'SVF::ICFG']]],
+  ['addglobalpagedge_7716',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
+  ['addglobalset_7717',['addGlobalSet',['../classSVF_1_1SVFModule.html#a0bc5a63d8c10da51766007cf40b095e5',1,'SVF::SVFModule']]],
+  ['addglobalvaluemap_7718',['addGlobalValueMap',['../classSVF_1_1LLVMModuleSet.html#a7de84e7817406867b173e1591e0681ac',1,'SVF::LLVMModuleSet']]],
+  ['addgnode_7719',['addGNode',['../classSVF_1_1CFLGraphBuilder.html#aec30ce1ad7be5ac2e41f73ddba356fd9',1,'SVF::CFLGraphBuilder::addGNode()'],['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph::addGNode()']]],
+  ['addhareparforedgesetmap_7720',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
+  ['addicfgedge_7721',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
+  ['addicfginteredges_7722',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#a1dcbf68690a010d9128bfe2d0c137783',1,'SVF::ICFGBuilder']]],
+  ['addicfgnode_7723',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
+  ['addincomingaddredge_7724',['addIncomingAddrEdge',['../classSVF_1_1ConstraintNode.html#aeff08dd512d0a97fb14069b37386e9fe',1,'SVF::ConstraintNode']]],
+  ['addincomingcopyedge_7725',['addIncomingCopyEdge',['../classSVF_1_1ConstraintNode.html#ad54cc825bb7f5642671e75b90b2633a2',1,'SVF::ConstraintNode']]],
+  ['addincomingdirectedge_7726',['addIncomingDirectEdge',['../classSVF_1_1ConstraintNode.html#a4c4e69c06507ecc26931daf2faee1819',1,'SVF::ConstraintNode']]],
+  ['addincomingedge_7727',['addIncomingEdge',['../classSVF_1_1CFBasicBlockNode.html#abb240b6d11fb9fb08a2ea3d093cf800f',1,'SVF::CFBasicBlockNode::addIncomingEdge()'],['../classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb',1,'SVF::GenericNode::addIncomingEdge()']]],
+  ['addincominggepedge_7728',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
+  ['addincomingloadedge_7729',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
+  ['addincomingstoreedge_7730',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
+  ['addind_5fh_7731',['addInd_h',['../classSVF_1_1POCRHybridSolver.html#ac33010515cf16ff60fad0031c646382b',1,'SVF::POCRHybridSolver']]],
+  ['addindirectcallgraphedge_7732',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite_7733',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites_7734',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge_7735',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge_7736',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
+  ['addinedge_7737',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
+  ['addinedgewithkind_7738',['addInEdgeWithKind',['../classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2',1,'SVF::CFLNode']]],
+  ['addingoingedge_7739',['addIngoingEdge',['../classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5',1,'SVF::CFLNode']]],
+  ['addinicfgedge_7740',['addInICFGEdge',['../classSVF_1_1SVFLoop.html#ae55b0dee93fb4298a1544d09312a258d',1,'SVF::SVFLoop']]],
+  ['addinstances_7741',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
+  ['addinstruction_7742',['addInstruction',['../classSVF_1_1SVFBasicBlock.html#ac1b15d8f9c2499add8dbc889ae5cab65',1,'SVF::SVFBasicBlock']]],
+  ['addinstructionmap_7743',['addInstructionMap',['../classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2',1,'SVF::LLVMModuleSet']]],
+  ['addinterbbedge_7744',['addInterBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addinteredgefromaptofp_7745',['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_7746',['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_7747',['addInterIndirectVFCallEdge',['../classSVF_1_1SVFG.html#a57629591037e16e57a0178d102a405f2',1,'SVF::SVFG']]],
+  ['addinterindirectvfretedge_7748',['addInterIndirectVFRetEdge',['../classSVF_1_1SVFG.html#ac9666ae7266cf1a9c0a5f7d28b39d1e9',1,'SVF::SVFG']]],
+  ['addinterleavingthread_7749',['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_7750',['addInterPHIForAR',['../classSVF_1_1SVFGOPT.html#ad4203fa8afbf0c0a5d6775be937c6e1d',1,'SVF::SVFGOPT']]],
+  ['addinterphiforfp_7751',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
+  ['addinterphioperands_7752',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
+  ['addinterproceduraledge_7753',['addInterProceduralEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addintoworklist_7754',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
+  ['addintrabbedge_7755',['addIntraBBEdge',['../classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31',1,'SVF::CFBasicBlockGBuilder']]],
+  ['addintrablock_7756',['addIntraBlock',['../classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94',1,'SVF::ICFG']]],
+  ['addintradirectvfedge_7757',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
+  ['addintraedge_7758',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
+  ['addintraindirectvfedge_7759',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
+  ['addintralock_7760',['addIntraLock',['../classSVF_1_1LockAnalysis.html#a1ec30f2fe40395a7cccbfd20f7c69e9b',1,'SVF::LockAnalysis']]],
+  ['addintramssaphisvfgnode_7761',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a6093609dcffa8e3b6bf78a97bda71872',1,'SVF::SVFG']]],
+  ['addintraphivfgnode_7762',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#afc4268e4abd973aecd29451c99172662',1,'SVF::VFG']]],
+  ['addjoinsite_7763',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
+  ['addloadcgedge_7764',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
+  ['addloadcvar_7765',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
+  ['addloaddpm_7766',['addLoadDpm',['../classSVF_1_1DDAVFSolver.html#a4725013a7617645e1418ed670d4837b5',1,'SVF::DDAVFSolver']]],
+  ['addloaddpmandcvar_7767',['addLoadDpmAndCVar',['../classSVF_1_1DDAVFSolver.html#a1cd1023bca18db16bc54e622c881e494',1,'SVF::DDAVFSolver']]],
+  ['addloadedge_7768',['addLoadEdge',['../classSVF_1_1SVFIRBuilder.html#a4469ae4c52c162d3fbbd559420045243',1,'SVF::SVFIRBuilder']]],
+  ['addloadmu_7769',['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_7770',['addLoadStmt',['../classSVF_1_1SVFIR.html#a3837804b2622baf7e6991aa993286e9e',1,'SVF::SVFIR']]],
+  ['addloadvfgnode_7771',['addLoadVFGNode',['../classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e',1,'SVF::VFG']]],
+  ['addmdtag_7772',['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_7773',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectoffunction_7774',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
+  ['addmssaphi_7775',['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_7776',['addNewCandidate',['../classSVF_1_1WPAMinimumSolver.html#a9f7d45208d70631ba8fa76220f13c6e4',1,'SVF::WPAMinimumSolver']]],
+  ['addnewsvfgedge_7777',['addNewSVFGEdge',['../classSVF_1_1SVFGOPT.html#a6aeeb727f1d9d917ff6cffbb88350b7a',1,'SVF::SVFGOPT']]],
+  ['addnode_7778',['addNode',['../classSVF_1_1CFBasicBlockNode.html#a5374f4567cee38325f61940f4edbb142',1,'SVF::CFBasicBlockNode::addNode()'],['../classSVF_1_1IRGraph.html#a685f1a8a35aa5dc9c298e3b0e2ccf007',1,'SVF::IRGraph::addNode()']]],
+  ['addnodeintoworklist_7779',['addNodeIntoWorkList',['../classSVF_1_1WPASCCSolver.html#a92c96800a81e69f0148c2d43342837a5',1,'SVF::WPASCCSolver::addNodeIntoWorkList()'],['../classSVF_1_1WPAMinimumSolver.html#ace696b79f4a0eb5f6f83ab652894cdf7',1,'SVF::WPAMinimumSolver::addNodeIntoWorkList()']]],
+  ['addnodetobecollapsed_7780',['addNodeToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#a19e69dabc1f5d16129bfedc81e6e7ceb',1,'SVF::ConstraintGraph']]],
+  ['addnodetosvfloop_7781',['addNodeToSVFLoop',['../classSVF_1_1ICFG.html#a8cecaf4341ad2f943dc040c8e6d0dec4',1,'SVF::ICFG']]],
+  ['addnormalgepcgedge_7782',['addNormalGepCGEdge',['../classSVF_1_1ConstraintGraph.html#ab0b4f708097d4b3d92b4513818fef68c',1,'SVF::ConstraintGraph']]],
+  ['addnormalgepedge_7783',['addNormalGepEdge',['../classSVF_1_1SVFIRBuilder.html#a975a752e5296a779840a6c405ad5996b',1,'SVF::SVFIRBuilder']]],
+  ['addnormalgepstmt_7784',['addNormalGepStmt',['../classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260',1,'SVF::SVFIR']]],
+  ['addnullptrnode_7785',['addNullPtrNode',['../classSVF_1_1SVFIRBuilder.html#a1717e26e29f50096b96d7e4c43fe1c76',1,'SVF::SVFIRBuilder']]],
+  ['addnullptrvfgnode_7786',['addNullPtrVFGNode',['../classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607',1,'SVF::VFG']]],
+  ['addobjnode_7787',['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_7788',['addOffsetVarAndGepTypePair',['../classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd',1,'SVF::AccessPath']]],
+  ['addopvar_7789',['addOpVar',['../classSVF_1_1PhiStmt.html#ac3541a25f83ce8465d7b35010ba50b37',1,'SVF::PhiStmt']]],
+  ['addotherconstantmap_7790',['addOtherConstantMap',['../classSVF_1_1LLVMModuleSet.html#a5badf03aeb1ebda02bc186bbb58a892a',1,'SVF::LLVMModuleSet']]],
+  ['addothervalue_7791',['addOtherValue',['../classSVF_1_1SVFModule.html#a48d7f0643bb228701dcabb88ef541fca',1,'SVF::SVFModule']]],
+  ['addothervaluemap_7792',['addOtherValueMap',['../classSVF_1_1LLVMModuleSet.html#a023ea6f179433fa4d007c98ddc38e3c5',1,'SVF::LLVMModuleSet']]],
+  ['addoutedge_7793',['addOutEdge',['../classSVF_1_1SVFVar.html#a21a44c7a30e4e3743f6c3186fd7dbe8f',1,'SVF::SVFVar']]],
+  ['addoutedgewithkind_7794',['addOutEdgeWithKind',['../classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5',1,'SVF::CFLNode']]],
+  ['addoutgoingaddredge_7795',['addOutgoingAddrEdge',['../classSVF_1_1ConstraintNode.html#af129941c522dbc1b0fe94f84eea0d97a',1,'SVF::ConstraintNode']]],
+  ['addoutgoingcopyedge_7796',['addOutgoingCopyEdge',['../classSVF_1_1ConstraintNode.html#a2395948518a1befb7a3762bbad6adf9f',1,'SVF::ConstraintNode']]],
+  ['addoutgoingdirectedge_7797',['addOutgoingDirectEdge',['../classSVF_1_1ConstraintNode.html#a39554986c45191fafa063f55c7f5df67',1,'SVF::ConstraintNode']]],
+  ['addoutgoingedge_7798',['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_7799',['addOutgoingGepEdge',['../classSVF_1_1ConstraintNode.html#abc56843c51c00a9018473f415f73e9f6',1,'SVF::ConstraintNode']]],
+  ['addoutgoingloadedge_7800',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#aa95df9972daaf3a2f92480a5fdc5b3a1',1,'SVF::ConstraintNode']]],
+  ['addoutgoingstoreedge_7801',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a18a52c763aa946f06798dc5592f5c1e0',1,'SVF::ConstraintNode']]],
+  ['addouticfgedge_7802',['addOutICFGEdge',['../classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835',1,'SVF::SVFLoop']]],
+  ['addoutofbudgetdpm_7803',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
+  ['addparforsite_7804',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
+  ['addphistmt_7805',['addPhiStmt',['../classSVF_1_1SVFIRBuilder.html#a2bd394d9fe3b7a10080987b7a707f5c0',1,'SVF::SVFIRBuilder::addPhiStmt()'],['../classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630',1,'SVF::SVFIR::addPhiStmt()']]],
+  ['addpointsto_7806',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
+  ['addpred_7807',['addPred',['../classSVF_1_1POCRSolver.html#a3c8839446414979657b8341c4a36141a',1,'SVF::POCRSolver']]],
+  ['addpredbasicblock_7808',['addPredBasicBlock',['../classSVF_1_1SVFBasicBlock.html#a38f8fdd93ef7222f408cbbb2a98a1cd5',1,'SVF::SVFBasicBlock']]],
+  ['addpreds_7809',['addPreds',['../classSVF_1_1POCRSolver.html#ad9cef1fe91d7904bf6accd88b9a6a55b',1,'SVF::POCRSolver']]],
+  ['addpts_7810',['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_7811',['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_7812',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectoffunction_7813',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
+  ['addressvalue_7814',['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_7815',['addRetBlock',['../classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6',1,'SVF::ICFG']]],
+  ['addretedge_7816',['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_7817',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
+  ['addretindirectvfedge_7818',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
+  ['addretnode_7819',['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_7820',['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_7821',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
+  ['addrstmt_7822',['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_7823',['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_7824',['addSaberBug',['../classSVF_1_1SVFBugReport.html#aca243a30fa7f65f3d21cddd18a8fbf45',1,'SVF::SVFBugReport']]],
+  ['addscccandidate_7825',['addSccCandidate',['../classSVF_1_1AndersenSCD.html#ad8530ce52f87c4ea94cac579288e2689',1,'SVF::AndersenSCD']]],
+  ['addselectstmt_7826',['addSelectStmt',['../classSVF_1_1SVFIRBuilder.html#a5bf90e30bb591caba9ff85535e6a33f8',1,'SVF::SVFIRBuilder::addSelectStmt()'],['../classSVF_1_1SVFIR.html#accbff738e77fd2256d4a6629c48d63f4',1,'SVF::SVFIR::addSelectStmt()']]],
+  ['addsinglerevpts_7827',['addSingleRevPts',['../classSVF_1_1MutablePTData.html#a4c5d5d5d73db6dc6b721a076bcae3662',1,'SVF::MutablePTData']]],
+  ['addsinktocurslice_7828',['addSinkToCurSlice',['../classSVF_1_1SrcSnkDDA.html#a6caea43079963b13e9a7a017074bdbb7',1,'SVF::SrcSnkDDA']]],
+  ['addspawneefun_7829',['addSpawneeFun',['../classSVF_1_1PCG.html#a0cda7cd505039d4623dccac3df8494fd',1,'SVF::PCG']]],
+  ['addspawnerfun_7830',['addSpawnerFun',['../classSVF_1_1PCG.html#a5e7e223921c8b4ef098a0f9cd726a7cc',1,'SVF::PCG']]],
+  ['addspawnsite_7831',['addSpawnsite',['../classSVF_1_1PCG.html#a5f0dfc193e13baa5bc0c159ed76ced7e',1,'SVF::PCG']]],
+  ['addsrctocsid_7832',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
+  ['addstartroutineofcxtthread_7833',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a57af027dfa4aa4dadfa96340456e592d',1,'SVF::TCT']]],
+  ['addstinfo_7834',['addStInfo',['../classSVF_1_1SymbolTableInfo.html#a72be32d606db86090067159de44e01ec',1,'SVF::SymbolTableInfo']]],
+  ['addstmtvfgnode_7835',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
+  ['addstorecgedge_7836',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
+  ['addstorechi_7837',['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_7838',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018',1,'SVF::SVFIRBuilder']]],
+  ['addstorestmt_7839',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
+  ['addstorevfgnode_7840',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
+  ['addsubnode_7841',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
+  ['addsubnodes_7842',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
+  ['addsucc_7843',['addSucc',['../classSVF_1_1POCRSolver.html#ab0c3d9a0f66c0b7604366d5c5c3b1f63',1,'SVF::POCRSolver']]],
+  ['addsuccbasicblock_7844',['addSuccBasicBlock',['../classSVF_1_1SVFBasicBlock.html#abfe3a1ce5fa364d9db7cd2d0e6a144ff',1,'SVF::SVFBasicBlock']]],
+  ['addsuccs_7845',['addSuccs',['../classSVF_1_1POCRSolver.html#aeddfde5219cc523acba1db1092fa3a07',1,'SVF::POCRSolver']]],
+  ['addsustat_7846',['addSUStat',['../classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce',1,'SVF::DDAVFSolver']]],
+  ['addsvfgedge_7847',['addSVFGEdge',['../classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297',1,'SVF::SVFG']]],
+  ['addsvfgnode_7848',['addSVFGNode',['../classSVF_1_1SVFG.html#a88e1f6f77421c5274ceeb14928bdcb43',1,'SVF::SVFG']]],
+  ['addsvfgnodesforaddrtakenvars_7849',['addSVFGNodesForAddrTakenVars',['../classSVF_1_1SVFG.html#abddfc95cf644d0729ee29eccf95699f1',1,'SVF::SVFG']]],
+  ['addsvfmain_7850',['addSVFMain',['../classSVF_1_1LLVMModuleSet.html#a8af6b911b728713f66f7c809d5c0fbf1',1,'SVF::LLVMModuleSet']]],
+  ['addsvfstmt_7851',['addSVFStmt',['../classSVF_1_1ICFGNode.html#a8a133398c691ab3639ceefbc57cd33be',1,'SVF::ICFGNode']]],
+  ['addsvftypeinfo_7852',['addSVFTypeInfo',['../classSVF_1_1LLVMModuleSet.html#aab7b08db9252ef7e21e54d019f44b073',1,'SVF::LLVMModuleSet']]],
+  ['addsymmetricloopjoin_7853',['addSymmetricLoopJoin',['../classSVF_1_1ForkJoinAnalysis.html#a2be89ac78712da78c215a33b3157ecd1',1,'SVF::ForkJoinAnalysis']]],
+  ['addtctedge_7854',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
+  ['addtctnode_7855',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
+  ['addtdedges_7856',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
+  ['addthreadforkedge_7857',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a54636413fd3ed7e634ac7428139966a4',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap_7858',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe_7859',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge_7860',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#aec565ef04a35b0be0d8275ae511cc7b1',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap_7861',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe_7862',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a64d14e7ee334c85b02414d68877faab2',1,'SVF::SVFIR']]],
+  ['addthreadmhpindirectvfedge_7863',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
+  ['addtobackwardslice_7864',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
+  ['addtobb2loopmap_7865',['addToBB2LoopMap',['../classSVF_1_1SVFLoopAndDomInfo.html#aed2f125f7b8c21092b23d9727568ba50',1,'SVF::SVFLoopAndDomInfo']]],
+  ['addtocurbackwardslice_7866',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
+  ['addtocurforwardslice_7867',['addToCurForwardSlice',['../classSVF_1_1SrcSnkDDA.html#a57262e29e81cf71a40d4feb87b92925f',1,'SVF::SrcSnkDDA']]],
+  ['addtoforwardslice_7868',['addToForwardSlice',['../classSVF_1_1SVFGStat.html#aee8cb3fa54e882bba54bf557bbc5e1a3',1,'SVF::SVFGStat::addToForwardSlice()'],['../classSVF_1_1ProgSlice.html#a0017e160c2a5412947c170f944e593bd',1,'SVF::ProgSlice::addToForwardSlice()']]],
+  ['addtofulljoin_7869',['addToFullJoin',['../classSVF_1_1ForkJoinAnalysis.html#a02dad7e9ae45a1751c4548dd9991a8b4',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohbpair_7870',['addToHBPair',['../classSVF_1_1ForkJoinAnalysis.html#a647ae6866bb37be850f0bdd5a7341188',1,'SVF::ForkJoinAnalysis']]],
+  ['addtohppair_7871',['addToHPPair',['../classSVF_1_1ForkJoinAnalysis.html#a1505ba82206169f76ea239067797d6c2',1,'SVF::ForkJoinAnalysis']]],
+  ['addtopartial_7872',['addToPartial',['../classSVF_1_1ForkJoinAnalysis.html#a6ead92486459ec7f94a8375c7f96faca',1,'SVF::ForkJoinAnalysis']]],
+  ['addtosinks_7873',['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_7874',['addToSources',['../classSVF_1_1SVFGStat.html#a59585ec387e8cc30a85eeec99a97e968',1,'SVF::SVFGStat::addToSources()'],['../classSVF_1_1SrcSnkDDA.html#acdffb63fd5ae67306640bfe2fcfc3a79',1,'SVF::SrcSnkDDA::addToSources()']]],
+  ['addtostmt2typemap_7875',['addToStmt2TypeMap',['../classSVF_1_1SVFIR.html#a292b5a477c1f87777730b591c271e523',1,'SVF::SVFIR']]],
+  ['addtosvfstmtlist_7876',['addToSVFStmtList',['../classSVF_1_1SVFIR.html#a6a84868ab4e2845e884fba08d82b40f6',1,'SVF::SVFIR']]],
+  ['addtotypelocsetsmap_7877',['addToTypeLocSetsMap',['../classSVF_1_1SVFIR.html#a9d0e3d8483302543faa8d1556d2c567d',1,'SVF::SVFIR']]],
+  ['addtypedef_7878',['addTypedef',['../classSVF_1_1DCHNode.html#a9d1016e3da3462664198b1125dfc8f6e',1,'SVF::DCHNode']]],
+  ['addtypeinfo_7879',['addTypeInfo',['../classSVF_1_1SymbolTableInfo.html#a91083d9504ae5d220b28e0b3e461d4aa',1,'SVF::SymbolTableInfo']]],
+  ['addunaryopedge_7880',['addUnaryOPEdge',['../classSVF_1_1SVFIRBuilder.html#a9e81039d17b70e6a3d7310d05fa73c45',1,'SVF::SVFIRBuilder']]],
+  ['addunaryopstmt_7881',['addUnaryOPStmt',['../classSVF_1_1SVFIR.html#a8abc436992aa3b6b636084ff5f9a8ef2',1,'SVF::SVFIR']]],
+  ['addunaryopvfgnode_7882',['addUnaryOPVFGNode',['../classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed',1,'SVF::VFG']]],
+  ['addvalnode_7883',['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_7884',['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_7885',['addVariantGepCGEdge',['../classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f',1,'SVF::ConstraintGraph']]],
+  ['addvariantgepedge_7886',['addVariantGepEdge',['../classSVF_1_1SVFIRBuilder.html#af6f54e29c2acbc009b2999f2927c2010',1,'SVF::SVFIRBuilder']]],
+  ['addvariantgepstmt_7887',['addVariantGepStmt',['../classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5',1,'SVF::SVFIR']]],
+  ['addvfgedge_7888',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
+  ['addvfginteredges_7889',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
+  ['addvfgnode_7890',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
+  ['addvfgnodes_7891',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
+  ['addvirtualfunctionvector_7892',['addVirtualFunctionVector',['../classSVF_1_1CHNode.html#a8c51571df92b5e152cc42e9aaf712dc9',1,'SVF::CHNode']]],
+  ['advancetofirstnonzero_7893',['AdvanceToFirstNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a5e213fe330a23d22c8cf2b0624f73de7',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['advancetonextnonzero_7894',['AdvanceToNextNonZero',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
+  ['ae_7895',['AE',['../classSVF_1_1AE.html#a8fe629685887b4982e50b6764da3f1d8',1,'SVF::AE']]],
+  ['aeapi_7896',['AEAPI',['../classSVF_1_1AEAPI.html#a680ff8e8913aafa7bea9ceea4a262a72',1,'SVF::AEAPI']]],
+  ['aestat_7897',['AEStat',['../classSVF_1_1AEStat.html#a447ba17fd7010ba730288fa8b0253821',1,'SVF::AEStat']]],
+  ['alias_7898',['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_7899',['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_7900',['alias_end',['../classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc',1,'SVF::SVFModule::alias_end()'],['../classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f',1,'SVF::SVFModule::alias_end() const']]],
+  ['aliasddaclient_7901',['AliasDDAClient',['../classSVF_1_1AliasDDAClient.html#af55b1ccfa6cfaa6ec079b19d62288cb6',1,'SVF::AliasDDAClient']]],
+  ['aliased_7902',['aliased',['../classSVF_1_1CondPointsToSet.html#afcbb2cae75a5dd7947cb22c440b8fd0b',1,'SVF::CondPointsToSet']]],
+  ['aliasquery_7903',['aliasQuery',['../svf-ex_8cpp.html#ad2f24f5ef6a8eaf0e4a77a8a4d31bc9f',1,'svf-ex.cpp']]],
+  ['allocate_7904',['allocate',['../classSVF_1_1SaberCondAllocator.html#a0014c59d7f3c7bd0845548aea05a9a5b',1,'SVF::SaberCondAllocator::allocate()'],['../structinternal__hooks.html#a872a0c28217b451331d24b8e0484b293',1,'internal_hooks::allocate()']]],
+  ['allocateforbb_7905',['allocateForBB',['../classSVF_1_1SaberCondAllocator.html#a060bb514ec1e8c3d80858d6a7d2ab8dc',1,'SVF::SaberCondAllocator']]],
+  ['allocategepobjectid_7906',['allocateGepObjectId',['../classSVF_1_1NodeIDAllocator.html#abaff066537f06c4891c199ebfc9624e3',1,'SVF::NodeIDAllocator']]],
+  ['allocateobjectid_7907',['allocateObjectId',['../classSVF_1_1NodeIDAllocator.html#a6ce6b40b8291c6378dda07d943d66e53',1,'SVF::NodeIDAllocator']]],
+  ['allocatevalueid_7908',['allocateValueId',['../classSVF_1_1NodeIDAllocator.html#a26b5e09e10448694435f74a8b622a7e8',1,'SVF::NodeIDAllocator']]],
+  ['allpathreachablesolve_7909',['AllPathReachableSolve',['../classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586',1,'SVF::ProgSlice']]],
+  ['analyse_7910',['analyse',['../classSVF_1_1AE.html#aebeebd4b20fe3475acd9c90bc83efd92',1,'SVF::AE']]],
+  ['analyze_7911',['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_7912',['analyzeForkJoinPair',['../classSVF_1_1ForkJoinAnalysis.html#a16061e7c28e7a9177d9ab798c102b815',1,'SVF::ForkJoinAnalysis']]],
+  ['analyzeheapallocbytesize_7913',['analyzeHeapAllocByteSize',['../classSVF_1_1SymbolTableBuilder.html#a889af96532c273bb91f59abf6433b04c',1,'SVF::SymbolTableBuilder']]],
+  ['analyzeheapobjtype_7914',['analyzeHeapObjType',['../classSVF_1_1SymbolTableBuilder.html#a86e051b7423b9e6cc3c96ccddb0ad345',1,'SVF::SymbolTableBuilder']]],
+  ['analyzeinterleaving_7915',['analyzeInterleaving',['../classSVF_1_1MHP.html#adfd90a8d20d630bc3813f5ed71d3abf7',1,'SVF::MHP']]],
+  ['analyzeintraproceduallock_7916',['analyzeIntraProcedualLock',['../classSVF_1_1LockAnalysis.html#a8a34f7544f22a87e1caf010c34abda75',1,'SVF::LockAnalysis']]],
+  ['analyzelockspancxtstmt_7917',['analyzeLockSpanCxtStmt',['../classSVF_1_1LockAnalysis.html#a00ccd89eff3fe8fec397df101f927cbe',1,'SVF::LockAnalysis']]],
+  ['analyzeobjtype_7918',['analyzeObjType',['../classSVF_1_1SymbolTableBuilder.html#af5c882c10cd46c669c5aededbdb510d8',1,'SVF::SymbolTableBuilder']]],
+  ['analyzestaticobjtype_7919',['analyzeStaticObjType',['../classSVF_1_1SymbolTableBuilder.html#afe2806a0aef240ab313975decfe362f7',1,'SVF::SymbolTableBuilder']]],
+  ['analyzevtables_7920',['analyzeVTables',['../classSVF_1_1CHGBuilder.html#a2828eb6b2bd86d6f279967c34da8e7e4',1,'SVF::CHGBuilder']]],
+  ['and_7921',['AND',['../classSVF_1_1Z3Expr.html#a4f56bd6d3a31df94e19af9ce6e685fea',1,'SVF::Z3Expr']]],
+  ['andersen_7922',['Andersen',['../classSVF_1_1Andersen.html#a680dc709c0263fc1a13aa5c81d95fc72',1,'SVF::Andersen']]],
+  ['andersenbase_7923',['AndersenBase',['../classSVF_1_1AndersenBase.html#af89bc974fda6bed754bb07b3b6ee8ffe',1,'SVF::AndersenBase']]],
+  ['andersenscd_7924',['AndersenSCD',['../classSVF_1_1AndersenSCD.html#a65593ef3db3762b476936f473e900a18',1,'SVF::AndersenSCD']]],
+  ['andersensfr_7925',['AndersenSFR',['../classSVF_1_1AndersenSFR.html#a61967331f111832d2374524605591499',1,'SVF::AndersenSFR']]],
+  ['andersenstat_7926',['AndersenStat',['../classSVF_1_1AndersenStat.html#a257d814ef3983c4f513d37161d376719',1,'SVF::AndersenStat']]],
+  ['andersenwavediff_7927',['AndersenWaveDiff',['../classSVF_1_1AndersenWaveDiff.html#a7478d23055a5db981d7a9515cffc99da',1,'SVF::AndersenWaveDiff']]],
+  ['annotatedrcheck_7928',['annotateDRCheck',['../classSVF_1_1MTAAnnotator.html#a5513a9f2a5b89ab5f90549552fb2b20f',1,'SVF::MTAAnnotator']]],
+  ['annotateslice_7929',['annotateSlice',['../classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd',1,'SVF::SrcSnkDDA']]],
+  ['annotator_7930',['Annotator',['../classSVF_1_1Annotator.html#aa72e6952df50b5b36f0e0fed4024055f',1,'SVF::Annotator']]],
+  ['answerqueries_7931',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
+  ['applyedgemask_7932',['applyEdgeMask',['../classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07',1,'SVF::SVFIRReader']]],
+  ['applyphi_7933',['applyPhi',['../classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f',1,'SVF::ConsExeState']]],
+  ['applyselect_7934',['applySelect',['../classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07',1,'SVF::ConsExeState']]],
+  ['applysummary_7935',['applySummary',['../classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd',1,'SVF::ConsExeState::applySummary()'],['../classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e',1,'SVF::SVFIR2ItvExeState::applySummary()']]],
+  ['arg_5fempty_7936',['arg_empty',['../classSVF_1_1SVFCallInst.html#af19bc370764b552b5ce55c9967bd5a1e',1,'SVF::SVFCallInst::arg_empty()'],['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite::arg_empty()']]],
+  ['arg_5fsize_7937',['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_7938',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
+  ['arginprogentryfunction_7939',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
+  ['argumentvfgnode_7940',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
+  ['asctime_7941',['asctime',['../extapi_8c.html#a0c4353bbadbe08cd4ae12fc527a1c8bf',1,'extapi.c']]],
+  ['asctime_5fr_7942',['asctime_r',['../extapi_8c.html#a000d88e36d0bc2e9f22fe8028ef29d70',1,'extapi.c']]],
+  ['assign_7943',['assign',['../classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8',1,'SVF::ConsExeState']]],
+  ['assignstmt_7944',['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_7945',['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_7946',['atKey',['../classSVF_1_1VersionedFlowSensitive.html#a59f3dd74ed8c3e2fc48b9353ba2452aa',1,'SVF::VersionedFlowSensitive']]],
+  ['atvfnodeend_7947',['ATVFNodeEnd',['../classSVF_1_1SVFGStat.html#aa39231c3d81fa87cdb6089f17bc35af8',1,'SVF::SVFGStat']]],
+  ['atvfnodestart_7948',['ATVFNodeStart',['../classSVF_1_1SVFGStat.html#a4bf9a39b93b7254f627dd393b9f2b82c',1,'SVF::SVFGStat']]]
 ];