svf-tools 1.0.342 → 1.0.346

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

@@ -16,28 +16,28 @@ var searchData=
   ['accumulateconstantfieldidx',['accumulateConstantFieldIdx',['../classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb',1,'SVF::LocationSet']]],
   ['acdb',['ACDB',['../cuddInt_8c.html#aad6a3ae55fa55b2d0c753f3740286c7a',1,'cuddInt.c']]],
   ['actualinofindcs',['actualInOfIndCS',['../classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6',1,'SVF::SVFGOPT']]],
-  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF::ActualINSVFGNode'],['../classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326',1,'SVF::ActualINSVFGNode::ActualINSVFGNode()']]],
+  ['actualinsvfgnode',['ActualINSVFGNode',['../classSVF_1_1ActualINSVFGNode.html',1,'SVF::ActualINSVFGNode'],['../classSVF_1_1ActualINSVFGNode.html#a7f2648ebb69ebc53638dceb4382b41b0',1,'SVF::ActualINSVFGNode::ActualINSVFGNode()']]],
   ['actualinsvfgnodeset',['ActualINSVFGNodeSet',['../classSVF_1_1SVFG.html#aa9f520779475e4783eccc45c460e346a',1,'SVF::SVFG']]],
   ['actualintodefmap',['actualInToDefMap',['../classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98',1,'SVF::SVFGOPT']]],
   ['actualoutofindcs',['actualOutOfIndCS',['../classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9',1,'SVF::SVFGOPT']]],
-  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF::ActualOUTSVFGNode'],['../classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0',1,'SVF::ActualOUTSVFGNode::ActualOUTSVFGNode()']]],
+  ['actualoutsvfgnode',['ActualOUTSVFGNode',['../classSVF_1_1ActualOUTSVFGNode.html',1,'SVF::ActualOUTSVFGNode'],['../classSVF_1_1ActualOUTSVFGNode.html#afe2c662d51f3c9d31a20b5c1bee45844',1,'SVF::ActualOUTSVFGNode::ActualOUTSVFGNode()']]],
   ['actualoutsvfgnodeset',['ActualOUTSVFGNodeSet',['../classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99',1,'SVF::SVFG']]],
-  ['actualparmnodevec',['ActualParmNodeVec',['../classSVF_1_1CallBlockNode.html#a058711bcf2ae9bc15106c8d99ce02c1c',1,'SVF::CallBlockNode']]],
+  ['actualparmnodevec',['ActualParmNodeVec',['../classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841',1,'SVF::CallICFGNode']]],
   ['actualparmsvfgnode',['ActualParmSVFGNode',['../namespaceSVF.html#a11c50c2f81327753b3ff3ffdbe356812',1,'SVF']]],
-  ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF::ActualParmVFGNode'],['../classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d',1,'SVF::ActualParmVFGNode::ActualParmVFGNode()']]],
-  ['actualret',['actualRet',['../classSVF_1_1RetBlockNode.html#a74ea1e2e7765016e0a07720d9c2e0a81',1,'SVF::RetBlockNode']]],
+  ['actualparmvfgnode',['ActualParmVFGNode',['../classSVF_1_1ActualParmVFGNode.html',1,'SVF::ActualParmVFGNode'],['../classSVF_1_1ActualParmVFGNode.html#a773b6912100fbd3a2a58cfe0da8ea6d5',1,'SVF::ActualParmVFGNode::ActualParmVFGNode()']]],
+  ['actualret',['actualRet',['../classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c',1,'SVF::RetICFGNode']]],
   ['actualretsvfgnode',['ActualRetSVFGNode',['../namespaceSVF.html#a77b8b8ca831e1eba3e47f2ca29667f67',1,'SVF']]],
-  ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF::ActualRetVFGNode'],['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a6e18ca317e0d71b99d0ee20ec4583ab6',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallBlockNode *c)']]],
+  ['actualretvfgnode',['ActualRetVFGNode',['../classSVF_1_1ActualRetVFGNode.html',1,'SVF::ActualRetVFGNode'],['../classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349',1,'SVF::ActualRetVFGNode::ActualRetVFGNode()'],['../classSVF_1_1ActualRetVFGNode.html#a2974c14c972559b366a3bbdfe08b4ea9',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(const ActualRetVFGNode &)'],['../classSVF_1_1ActualRetVFGNode.html#a35a0ac96ef0678286705a6c4981a4225',1,'SVF::ActualRetVFGNode::ActualRetVFGNode(NodeID id, const PAGNode *n, const CallICFGNode *c)']]],
   ['adaptfscs_5fwpa',['ADAPTFSCS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a859290ec941a06029f84ef249a5d2fda',1,'SVF::PointerAnalysis']]],
   ['adaptfscsps_5fwpa',['ADAPTFSCSPS_WPA',['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a42d52c9444028e72ea8e6dc0c8c08ada',1,'SVF::PointerAnalysis']]],
   ['adbc',['ADBC',['../cuddInt_8c.html#a52c43fe881800162290764f1e683c9fa',1,'cuddInt.c']]],
   ['adcb',['ADCB',['../cuddInt_8c.html#a765e16a0d0856b8f4a0d91fecb05efd7',1,'cuddInt.c']]],
-  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa',1,'SVF::SVFG']]],
-  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4',1,'SVF::SVFG']]],
-  ['addactualparms',['addActualParms',['../classSVF_1_1CallBlockNode.html#a6d819186e239e68c117af16ed405da84',1,'SVF::CallBlockNode']]],
-  ['addactualparmvfgnode',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a0fabca3c0f9bebe23f66a914dbb99e39',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ac6a3fe78d1459a79055703ea4afa14c6',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
-  ['addactualret',['addActualRet',['../classSVF_1_1RetBlockNode.html#ad2cd6f6589ce5464d6fbcac49f115714',1,'SVF::RetBlockNode']]],
-  ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a71022c8953e89e21b017936286f12251',1,'SVF::VFG']]],
+  ['addactualinsvfgnode',['addActualINSVFGNode',['../classSVF_1_1SVFG.html#a923924d3887c668b355f4029502a3754',1,'SVF::SVFG']]],
+  ['addactualoutsvfgnode',['addActualOUTSVFGNode',['../classSVF_1_1SVFG.html#a74aa824a68f99756ac3e65231c7bc2e9',1,'SVF::SVFG']]],
+  ['addactualparms',['addActualParms',['../classSVF_1_1CallICFGNode.html#ab389873c50b952b67aeafe7204864d59',1,'SVF::CallICFGNode']]],
+  ['addactualparmvfgnode',['addActualParmVFGNode',['../classSVF_1_1VFG.html#a6b373385fa30c83c24844c41c2f05e53',1,'SVF::VFG::addActualParmVFGNode()'],['../classSVF_1_1SaberSVFGBuilder.html#ab8db9f6681eeb4663614119417a83cec',1,'SVF::SaberSVFGBuilder::addActualParmVFGNode()']]],
+  ['addactualret',['addActualRet',['../classSVF_1_1RetICFGNode.html#ac719aea72183e187f71471e1e58c9e54',1,'SVF::RetICFGNode']]],
+  ['addactualretvfgnode',['addActualRetVFGNode',['../classSVF_1_1VFG.html#a63994c100593efda25dbd50646dfe0dc',1,'SVF::VFG']]],
   ['addaddrcgedge',['addAddrCGEdge',['../classSVF_1_1ConstraintGraph.html#a56cfcc39637cf5208f65297a63dde266',1,'SVF::ConstraintGraph']]],
   ['addaddredge',['addAddrEdge',['../classSVF_1_1SVFIRBuilder.html#a2a0711cb1fdd3c5c90b07ff107aff1ac',1,'SVF::SVFIRBuilder']]],
   ['addaddrstmt',['addAddrStmt',['../classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729',1,'SVF::SVFIR']]],
@@ -57,17 +57,17 @@ var searchData=
   ['addblackholeptrnode',['addBlackholePtrNode',['../classSVF_1_1SVFIR.html#a2b1de62f88588b068d4eed125049ed8d',1,'SVF::SVFIR']]],
   ['addbranchstmt',['addBranchStmt',['../classSVF_1_1SVFIR.html#a4f0d318deff3b97a4bd5e7b9d53e42fd',1,'SVF::SVFIR::addBranchStmt()'],['../classSVF_1_1SVFIRBuilder.html#ae0a1f66dee058f6af0f6b074db38db8e',1,'SVF::SVFIRBuilder::addBranchStmt()']]],
   ['addbranchvfgnode',['addBranchVFGNode',['../classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5',1,'SVF::VFG']]],
-  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#af4ff212d09284eb377eefd14f60d2f14',1,'SVF::SVFIRBuilder::addCallEdge()']]],
+  ['addcalledge',['addCallEdge',['../classSVF_1_1ICFG.html#abde033687317d47909ee45db7501723f',1,'SVF::ICFG::addCallEdge()'],['../classSVF_1_1VFG.html#aa01f63b17acdd52122a7f1ade329ccea',1,'SVF::VFG::addCallEdge()'],['../classSVF_1_1SVFIRBuilder.html#a5b41510e55eb48781a917e5a9c0e1462',1,'SVF::SVFIRBuilder::addCallEdge()']]],
   ['addcallgraphnode',['addCallGraphNode',['../classSVF_1_1PTACallGraph.html#a8a1621038edeb847bfc5a4a7be7620a3',1,'SVF::PTACallGraph']]],
-  ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#ac069357c3f5140fcb0d6163c944638fd',1,'SVF::ICFG']]],
+  ['addcallicfgnode',['addCallICFGNode',['../classSVF_1_1ICFG.html#a9168a7e686797d5e09d6d9aebea963e3',1,'SVF::ICFG']]],
   ['addcallindirectsvfgedge',['addCallIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#a11dc712bf74ba61160fed7a5c3efaeee',1,'SVF::SVFGOPT']]],
   ['addcallindirectvfedge',['addCallIndirectVFEdge',['../classSVF_1_1SVFG.html#af8ceb1ebf745e6803c606c41f7a482ac',1,'SVF::SVFG']]],
-  ['addcallpe',['addCallPE',['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053',1,'SVF::SVFIR::addCallPE()']]],
-  ['addcallsite',['addCallSite',['../classSVF_1_1PTACallGraph.html#a72efe87a80f84a3945a93431d9414d3d',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a51f28f03a236b244b636ca88c5511a30',1,'SVF::SVFIR::addCallSite()']]],
-  ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a5fafbfd6a30b8796b92a3a1f3409767f',1,'SVF::SVFIR']]],
-  ['addcallsitechi',['AddCallSiteCHI',['../classSVF_1_1MemSSA.html#ac6f2171f92e0bdd5dbdb58efed144c18',1,'SVF::MemSSA::AddCallSiteCHI(const CallBlockNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a96556440a0e65e8aa073f944e059cc9c',1,'SVF::MemSSA::AddCallSiteCHI(const CallBlockNode *cs, const MemRegion *mr)']]],
-  ['addcallsitemu',['AddCallSiteMU',['../classSVF_1_1MemSSA.html#a1aa05f81640286a796db0ded4e10c7ac',1,'SVF::MemSSA::AddCallSiteMU(const CallBlockNode *cs, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#ab393093a1499564cfd62ff8587a3ade1',1,'SVF::MemSSA::AddCallSiteMU(const CallBlockNode *cs, const MemRegion *mr)']]],
-  ['addcallsiterets',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a3c8070a1d7a6a705433b05dd633185b1',1,'SVF::SVFIR']]],
+  ['addcallpe',['addCallPE',['../classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e',1,'SVF::FormalParmVFGNode::addCallPE()'],['../classSVF_1_1SVFIR.html#a2244c6180cede066186d9f7098bf9325',1,'SVF::SVFIR::addCallPE()']]],
+  ['addcallsite',['addCallSite',['../classSVF_1_1PTACallGraph.html#a979359fc784e647c574de90c7af2cf40',1,'SVF::PTACallGraph::addCallSite()'],['../classSVF_1_1SVFIR.html#a98341496bf470d23384f3d86a58591db',1,'SVF::SVFIR::addCallSite()']]],
+  ['addcallsiteargs',['addCallSiteArgs',['../classSVF_1_1SVFIR.html#a69963e4030433103e84e57fc015871d8',1,'SVF::SVFIR']]],
+  ['addcallsitechi',['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',['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',['addCallSiteRets',['../classSVF_1_1SVFIR.html#a72efebdfe007ec8c515967ede76b6ce0',1,'SVF::SVFIR']]],
   ['addcandidate',['addCandidate',['../classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8',1,'SVF::DDAClient']]],
   ['addclone',['addClone',['../classSVF_1_1TypeBasedHeapCloning.html#ae83ef821386b3fd4b86f29477cdda3e1',1,'SVF::TypeBasedHeapCloning']]],
   ['addclonedummyobjnode',['addCloneDummyObjNode',['../classSVF_1_1TypeBasedHeapCloning.html#ac6ebb2fd24fc4272faf5db6ddd1e464b',1,'SVF::TypeBasedHeapCloning']]],
@@ -85,20 +85,20 @@ var searchData=
   ['addcopyedge',['addCopyEdge',['../classSVF_1_1SVFIRBuilder.html#a140defeb309d895394822f8780deda16',1,'SVF::SVFIRBuilder::addCopyEdge()'],['../classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57',1,'SVF::Andersen::addCopyEdge()'],['../classSVF_1_1AndersenSCD.html#a0b5990e8b0230c019a2bcedbab354cba',1,'SVF::AndersenSCD::addCopyEdge()']]],
   ['addcopystmt',['addCopyStmt',['../classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f',1,'SVF::SVFIR']]],
   ['addcopyvfgnode',['addCopyVFGNode',['../classSVF_1_1VFG.html#a49d35213a281859ca64398760c485a85',1,'SVF::VFG']]],
-  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#a3c9e58dee18cde9a6e1575e34955af78',1,'SVF::MRGenerator']]],
-  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a77cf2b1959581da2b0cdf88291664ff3',1,'SVF::MRGenerator']]],
+  ['addcptstocallsitemods',['addCPtsToCallSiteMods',['../classSVF_1_1MRGenerator.html#ab5b92ca898739f613f965fc05f86f094',1,'SVF::MRGenerator']]],
+  ['addcptstocallsiterefs',['addCPtsToCallSiteRefs',['../classSVF_1_1MRGenerator.html#a94ce7ceff7cee90d672e9f3a4f3aa4e8',1,'SVF::MRGenerator']]],
   ['addcptstoload',['addCPtsToLoad',['../classSVF_1_1MRGenerator.html#a79a3032b50f7ef905213b770b12e0967',1,'SVF::MRGenerator']]],
   ['addcptstostore',['addCPtsToStore',['../classSVF_1_1MRGenerator.html#af50efed3af17806a3ba3f668e4466d3e',1,'SVF::MRGenerator']]],
   ['addcxtlock',['addCxtLock',['../classSVF_1_1LockAnalysis.html#a177b10a617c275a9c2c2ed5e9b10d78a',1,'SVF::LockAnalysis']]],
   ['addcxtofcxtthread',['addCxtOfCxtThread',['../classSVF_1_1TCT.html#a2978381d69a9fd1fcee6a1258bc3bb5c',1,'SVF::TCT']]],
   ['addcxtstmttospan',['addCxtStmtToSpan',['../classSVF_1_1LockAnalysis.html#a718d6f2f55c1e2e7eb619c3e056ab458',1,'SVF::LockAnalysis']]],
   ['addddapts',['addDDAPts',['../classSVF_1_1DDAVFSolver.html#a5a8632a957fce63f186dd8b657566dd2',1,'SVF::DDAVFSolver']]],
-  ['adddirectcallgraphedge',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#ab0da49175c64d8e2fccd19680d79771e',1,'SVF::PTACallGraph']]],
-  ['adddirectcallsite',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9f2ef4c539e31e91f26a3af2ffae26de',1,'SVF::PTACallGraphEdge']]],
-  ['adddirectforkedge',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a92e5a3154a98e12bdbbe4e0d39e62b3e',1,'SVF::ThreadCallGraph']]],
-  ['adddirectjoinedge',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a62476a033fb54314da61dff6981bf229',1,'SVF::ThreadCallGraph']]],
+  ['adddirectcallgraphedge',['addDirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a69bf382a228644d1c683b436930ee6df',1,'SVF::PTACallGraph']]],
+  ['adddirectcallsite',['addDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#a9ccc3f85568639abb8540eb61f6d3158',1,'SVF::PTACallGraphEdge']]],
+  ['adddirectforkedge',['addDirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114',1,'SVF::ThreadCallGraph']]],
+  ['adddirectjoinedge',['addDirectJoinEdge',['../classSVF_1_1ThreadCallGraph.html#a8e1a6710a05e08b9ed87e373bd5bd0ee',1,'SVF::ThreadCallGraph']]],
   ['adddirectlyjointid',['addDirectlyJoinTID',['../classSVF_1_1ForkJoinAnalysis.html#a8aa2d4c83981007108b152d05e9c51fe',1,'SVF::ForkJoinAnalysis']]],
-  ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a700ec3fd1c9d89a7176e05b2f1949aef',1,'SVF::ThreadCallGraph']]],
+  ['adddirectparforedge',['addDirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262',1,'SVF::ThreadCallGraph']]],
   ['adddpmtoloc',['addDpmToLoc',['../classSVF_1_1DDAVFSolver.html#af7be3fa6c73dde97d6f9fd0395c9aee0',1,'SVF::DDAVFSolver']]],
   ['adddummymemobj',['addDummyMemObj',['../classSVF_1_1SVFIR.html#a4ee79c74a7a2cea5c063fa598ab89532',1,'SVF::SVFIR']]],
   ['adddummyobjnode',['addDummyObjNode',['../classSVF_1_1SVFIR.html#a18388bc282c5329a837c6a273893c4fb',1,'SVF::SVFIR::addDummyObjNode(const Type *type=nullptr)'],['../classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35',1,'SVF::SVFIR::addDummyObjNode(NodeID i, const Type *type)']]],
@@ -116,19 +116,19 @@ var searchData=
   ['addfiobjnode',['addFIObjNode',['../classSVF_1_1SVFIR.html#a06465449e58e14bfb1c3eee2c97d3242',1,'SVF::SVFIR']]],
   ['addfldwithtype',['addFldWithType',['../classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f',1,'SVF::StInfo']]],
   ['addfollowerfun',['addFollowerFun',['../classSVF_1_1PCG.html#a53e95f74121cd6e35b73f345139f6b00',1,'SVF::PCG']]],
-  ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04',1,'SVF::ThreadCallGraph']]],
-  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30',1,'SVF::SVFG']]],
-  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca',1,'SVF::SVFG']]],
-  ['addformalparms',['addFormalParms',['../classSVF_1_1FunEntryBlockNode.html#ae6ebc073885c5d47f685c61097dadf20',1,'SVF::FunEntryBlockNode']]],
+  ['addforksite',['addForksite',['../classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91',1,'SVF::ThreadCallGraph']]],
+  ['addformalinsvfgnode',['addFormalINSVFGNode',['../classSVF_1_1SVFG.html#ab4690114393820f580e805d2e0d6a41d',1,'SVF::SVFG']]],
+  ['addformaloutsvfgnode',['addFormalOUTSVFGNode',['../classSVF_1_1SVFG.html#a804824faa3a042cb1b63edd9e9eb7207',1,'SVF::SVFG']]],
+  ['addformalparms',['addFormalParms',['../classSVF_1_1FunEntryICFGNode.html#aeb9dfc9dfb0aad871cefcf80da2d881d',1,'SVF::FunEntryICFGNode']]],
   ['addformalparmvfgnode',['addFormalParmVFGNode',['../classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d',1,'SVF::VFG']]],
-  ['addformalret',['addFormalRet',['../classSVF_1_1FunExitBlockNode.html#ae1499a3ea7d5bb90dccd5d04a8b97dfc',1,'SVF::FunExitBlockNode']]],
+  ['addformalret',['addFormalRet',['../classSVF_1_1FunExitICFGNode.html#a51bdfbda3a351daa7ba898e2f88bb067',1,'SVF::FunExitICFGNode']]],
   ['addformalretvfgnode',['addFormalRetVFGNode',['../classSVF_1_1VFG.html#aae3bddc73e39d96fcc97d56ea3dec373',1,'SVF::VFG']]],
   ['addforwardvisited',['addForwardVisited',['../classSVF_1_1SrcSnkDDA.html#a51c65cb4b8ea107161e112a8fd3fb7d4',1,'SVF::SrcSnkDDA']]],
   ['addfunargs',['addFunArgs',['../classSVF_1_1SVFIR.html#ac27b9eedd489f13175c010a32203abae',1,'SVF::SVFIR']]],
   ['addfunctionset',['addFunctionSet',['../classSVF_1_1SVFModule.html#ae5512e574414dc259daaacaecf8cdf13',1,'SVF::SVFModule']]],
   ['addfunctofuncvector',['addFuncToFuncVector',['../classSVF_1_1CHGBuilder.html#a77753749b34b00c18d419057b4757a26',1,'SVF::CHGBuilder']]],
-  ['addfunentryicfgnode',['addFunEntryICFGNode',['../classSVF_1_1ICFG.html#a37720720adf125ea4f8c12c4bdf41cdd',1,'SVF::ICFG']]],
-  ['addfunexiticfgnode',['addFunExitICFGNode',['../classSVF_1_1ICFG.html#a7874a7a92beb17fd5a4a9575cb183975',1,'SVF::ICFG']]],
+  ['addfunentryicfgnode',['addFunEntryICFGNode',['../classSVF_1_1ICFG.html#a56afcc853b9cf9fcab1e1472c64d5036',1,'SVF::ICFG']]],
+  ['addfunexiticfgnode',['addFunExitICFGNode',['../classSVF_1_1ICFG.html#a2c2daaafcdc20d7e800c94a647c2b9da',1,'SVF::ICFG']]],
   ['addfunret',['addFunRet',['../classSVF_1_1SVFIR.html#a53774463f34bb8b528b179b72b48fd69',1,'SVF::SVFIR']]],
   ['addgepedge',['addGepEdge',['../classSVF_1_1SVFIRBuilder.html#a45ab73a812809b3c725daf11b5da6141',1,'SVF::SVFIRBuilder']]],
   ['addgepobjnode',['addGepObjNode',['../classSVF_1_1SVFIR.html#a1ac1e7752e98abff7054f4caa709260d',1,'SVF::SVFIR']]],
@@ -140,7 +140,7 @@ var searchData=
   ['addglobalpagedge',['addGlobalPAGEdge',['../classSVF_1_1SVFIR.html#ae3d9b4acb63a7dbe316e87bad4e3987a',1,'SVF::SVFIR']]],
   ['addglobalset',['addGlobalSet',['../classSVF_1_1SVFModule.html#a9aabe6d24bea26f3b5c7cab5a0fc3053',1,'SVF::SVFModule']]],
   ['addgnode',['addGNode',['../classSVF_1_1GenericGraph.html#a0a8831a5429005ff9d71adbd6bf3994f',1,'SVF::GenericGraph']]],
-  ['addhareparforedgesetmap',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a845258d0d19de3dda573521a34dbf705',1,'SVF::ThreadCallGraph']]],
+  ['addhareparforedgesetmap',['addHareParForEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149',1,'SVF::ThreadCallGraph']]],
   ['addicfgedge',['addICFGEdge',['../classSVF_1_1ICFG.html#a462f590c2604184d69e4efe3d85a7b5b',1,'SVF::ICFG']]],
   ['addicfginteredges',['addICFGInterEdges',['../classSVF_1_1ICFGBuilder.html#af1fb4795e58130d639b75c354f67a6ab',1,'SVF::ICFGBuilder']]],
   ['addicfgnode',['addICFGNode',['../classSVF_1_1ICFG.html#a15816a82d8c33a066009440dce6ee973',1,'SVF::ICFG']]],
@@ -151,11 +151,11 @@ var searchData=
   ['addincominggepedge',['addIncomingGepEdge',['../classSVF_1_1ConstraintNode.html#aaf0b98573a980aea1151a837580a40a5',1,'SVF::ConstraintNode']]],
   ['addincomingloadedge',['addIncomingLoadEdge',['../classSVF_1_1ConstraintNode.html#a9d1bb95ad5549d7e6030fe07f8e070a2',1,'SVF::ConstraintNode']]],
   ['addincomingstoreedge',['addIncomingStoreEdge',['../classSVF_1_1ConstraintNode.html#a202193059dd3122d969561080b82c504',1,'SVF::ConstraintNode']]],
-  ['addindirectcallgraphedge',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a09d0b8461ec0e678e1e69368b0f66b02',1,'SVF::PTACallGraph']]],
-  ['addindirectcallsite',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#aad95920da19b78c0211e68caadba6d39',1,'SVF::PTACallGraphEdge']]],
-  ['addindirectcallsites',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#aa91db3ebf92eacf077ae7b4d0735635b',1,'SVF::SVFIR']]],
-  ['addindirectforkedge',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a2b0ccaaf219533907c0733b050628100',1,'SVF::ThreadCallGraph']]],
-  ['addindirectparforedge',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a349b7fce76822de0c13118d9fdcd3db9',1,'SVF::ThreadCallGraph']]],
+  ['addindirectcallgraphedge',['addIndirectCallGraphEdge',['../classSVF_1_1PTACallGraph.html#a46416c668e2f0099394e79f685ede758',1,'SVF::PTACallGraph']]],
+  ['addindirectcallsite',['addInDirectCallSite',['../classSVF_1_1PTACallGraphEdge.html#ad9faf0a90691497984fb1d8709491a20',1,'SVF::PTACallGraphEdge']]],
+  ['addindirectcallsites',['addIndirectCallsites',['../classSVF_1_1SVFIR.html#af4a5fd9ecddb1447207335917adccd68',1,'SVF::SVFIR']]],
+  ['addindirectforkedge',['addIndirectForkEdge',['../classSVF_1_1ThreadCallGraph.html#a579dd874301280f7c9750c2a22f065c7',1,'SVF::ThreadCallGraph']]],
+  ['addindirectparforedge',['addIndirectParForEdge',['../classSVF_1_1ThreadCallGraph.html#a9258b680de64d8d2fdd1cb9aed8ae428',1,'SVF::ThreadCallGraph']]],
   ['addinedge',['addInEdge',['../classSVF_1_1SVFVar.html#a9376133075b0d44ff09876af933c8618',1,'SVF::SVFVar']]],
   ['addinstances',['addInstances',['../classSVF_1_1CHGraph.html#a5ee7e559425045f3af5c35ea6d6f03ee',1,'SVF::CHGraph']]],
   ['addinteredgefromaptofp',['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)']]],
@@ -167,14 +167,14 @@ var searchData=
   ['addinterphiforfp',['addInterPHIForFP',['../classSVF_1_1SVFGOPT.html#a374a31b9500ceda00477b03e9702d0a8',1,'SVF::SVFGOPT']]],
   ['addinterphioperands',['addInterPHIOperands',['../classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943',1,'SVF::SVFGOPT']]],
   ['addintoworklist',['addIntoWorklist',['../classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8',1,'SVF::SVFGOPT']]],
-  ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9c9984f07859c7b0a4cc05ef7acf28af',1,'SVF::ICFG']]],
+  ['addintrablockicfgnode',['addIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a9e1f6fb3e078357ec19a24fcb3bf7537',1,'SVF::ICFG']]],
   ['addintradirectvfedge',['addIntraDirectVFEdge',['../classSVF_1_1VFG.html#a3c97d77bc0348471d6c098d5655f15b2',1,'SVF::VFG']]],
   ['addintraedge',['addIntraEdge',['../classSVF_1_1ICFG.html#adafd8bbb91507a9a78a3f16305812afc',1,'SVF::ICFG']]],
   ['addintraindirectvfedge',['addIntraIndirectVFEdge',['../classSVF_1_1SVFG.html#ad03f0064d3a1ff397b35a606304a9c80',1,'SVF::SVFG']]],
   ['addintralock',['addIntraLock',['../classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b',1,'SVF::LockAnalysis']]],
   ['addintramssaphisvfgnode',['addIntraMSSAPHISVFGNode',['../classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572',1,'SVF::SVFG']]],
   ['addintraphivfgnode',['addIntraPHIVFGNode',['../classSVF_1_1VFG.html#a6a1435f8ac7f74cc81608839fa3da3df',1,'SVF::VFG']]],
-  ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#ae72e4e29bfda892f059f719454f6fcd2',1,'SVF::ThreadCallGraph']]],
+  ['addjoinsite',['addJoinsite',['../classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7',1,'SVF::ThreadCallGraph']]],
   ['addlcdcandidate',['addLCDCandidate',['../classSVF_1_1AndersenLCD.html#aa830cfc0e46114751337e8ea3586d0bb',1,'SVF::AndersenLCD']]],
   ['addloadcgedge',['addLoadCGEdge',['../classSVF_1_1ConstraintGraph.html#a1e5a23fbd08cf4186775baffbd6a7934',1,'SVF::ConstraintGraph']]],
   ['addloadcvar',['addLoadCVar',['../classSVF_1_1DDAVFSolver.html#a7579491400f1781356cb7d1913537547',1,'SVF::DDAVFSolver']]],
@@ -187,7 +187,7 @@ var searchData=
   ['addmdtag',['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)']]],
   ['addmetedge',['addMetEdge',['../classSVF_1_1AndersenLCD.html#a0c5adfc0876e9bea02fe8ded41baeb91',1,'SVF::AndersenLCD']]],
   ['addmodelflag',['AddModelFlag',['../classSVF_1_1Options.html#af129d2ff94af3f6830c0678cb4b72371',1,'SVF::Options']]],
-  ['addmodsideeffectofcallsite',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a8b00b46136ce2586b5f94248d0826a94',1,'SVF::MRGenerator']]],
+  ['addmodsideeffectofcallsite',['addModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a915486be8b119c1f1cc87143a2a5180e',1,'SVF::MRGenerator']]],
   ['addmodsideeffectoffunction',['addModSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a39604645ca9ba10607ada3872b14705a',1,'SVF::MRGenerator']]],
   ['addmrver',['addMrVer',['../classSVF_1_1IndirectSVFGEdge.html#a7ac57ccfe31b6cd6bbc6f15ed22a6531',1,'SVF::IndirectSVFGEdge']]],
   ['addmssaphi',['AddMSSAPHI',['../classSVF_1_1MemSSA.html#a606aaf7a76ca71cb32adc9af7291ae6e',1,'SVF::MemSSA::AddMSSAPHI(const BasicBlock *bb, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a3af850d2fe9b2e75b2705c6d1355eda2',1,'SVF::MemSSA::AddMSSAPHI(const BasicBlock *bb, const MemRegion *mr)']]],
@@ -214,7 +214,7 @@ var searchData=
   ['addoutgoingloadedge',['addOutgoingLoadEdge',['../classSVF_1_1ConstraintNode.html#abcab7a3b98dc0cfeecaed279ca74ea53',1,'SVF::ConstraintNode']]],
   ['addoutgoingstoreedge',['addOutgoingStoreEdge',['../classSVF_1_1ConstraintNode.html#a349b8c461adfa2a0bd1376ecb81d36d5',1,'SVF::ConstraintNode']]],
   ['addoutofbudgetdpm',['addOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#ae1e77060ac22d465b5cc9430962e280c',1,'SVF::DDAVFSolver']]],
-  ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a9daa0817e1f88a2478d7094646c72e13',1,'SVF::ThreadCallGraph']]],
+  ['addparforsite',['addParForSite',['../classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe',1,'SVF::ThreadCallGraph']]],
   ['addpath',['addPath',['../classSVF_1_1VFPathCond.html#a47d117a7c5e789766f28cdca6d71ff19',1,'SVF::VFPathCond']]],
   ['addphistmt',['addPhiStmt',['../classSVF_1_1SVFIR.html#af6b4b35214d0e526dee13dadbb6326d0',1,'SVF::SVFIR::addPhiStmt()'],['../classSVF_1_1SVFIRBuilder.html#aadb890cbff1ea703ece726aefecb791c',1,'SVF::SVFIRBuilder::addPhiStmt()']]],
   ['addpointsto',['addPointsTo',['../classSVF_1_1IndirectSVFGEdge.html#a50ac2e33c6a4a41291c0a476ed07de53',1,'SVF::IndirectSVFGEdge']]],
@@ -223,17 +223,17 @@ var searchData=
   ['addrcgedge',['AddrCGEdge',['../classSVF_1_1AddrCGEdge.html',1,'SVF::AddrCGEdge'],['../classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6',1,'SVF::AddrCGEdge::AddrCGEdge()'],['../classSVF_1_1AddrCGEdge.html#a3e07c316815631b1ddfd35ae3781daab',1,'SVF::AddrCGEdge::AddrCGEdge(const AddrCGEdge &)'],['../classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252',1,'SVF::AddrCGEdge::AddrCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
   ['addrcgedgeset',['AddrCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc',1,'SVF::ConstraintGraph']]],
   ['addrefloadedge',['addRefLoadEdge',['../classSVF_1_1OfflineConsG.html#a6c8afd3dc37fc60aecc6efd238312940',1,'SVF::OfflineConsG']]],
-  ['addrefsideeffectofcallsite',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a4e02c3aee7eb0206f6d643b72e39d059',1,'SVF::MRGenerator']]],
+  ['addrefsideeffectofcallsite',['addRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a83f5087e84eb7a18976cbd3a446605ee',1,'SVF::MRGenerator']]],
   ['addrefsideeffectoffunction',['addRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#a899c81db92c6bcf24f6f9b769e02e5bf',1,'SVF::MRGenerator']]],
   ['addrefstoreedge',['addRefStoreEdge',['../classSVF_1_1OfflineConsG.html#a99e2de184d8f532074666881b67e0b17',1,'SVF::OfflineConsG']]],
   ['addressinedges',['addressInEdges',['../classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb',1,'SVF::ConstraintNode']]],
   ['addressoutedges',['addressOutEdges',['../classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0',1,'SVF::ConstraintNode']]],
-  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#a50702f09af1ea9d50ee4726fc8f8a65c',1,'SVF::SVFIRBuilder::addRetEdge()']]],
-  ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a45891a968511d4779288a1a0aa089619',1,'SVF::ICFG']]],
+  ['addretedge',['addRetEdge',['../classSVF_1_1ICFG.html#a4a44849b596c89ab14d2e5f18366e848',1,'SVF::ICFG::addRetEdge()'],['../classSVF_1_1VFG.html#a27ac8d60de7be75e831b4a28f8f8f1d2',1,'SVF::VFG::addRetEdge()'],['../classSVF_1_1SVFIRBuilder.html#aaff4b288ac5f338fbe5dbc145d4087ba',1,'SVF::SVFIRBuilder::addRetEdge()']]],
+  ['addreticfgnode',['addRetICFGNode',['../classSVF_1_1ICFG.html#a10a3b111322e551dc781d732e2015261',1,'SVF::ICFG']]],
   ['addretindirectsvfgedge',['addRetIndirectSVFGEdge',['../classSVF_1_1SVFGOPT.html#afa99da68ef756d968d39a85f0fac3649',1,'SVF::SVFGOPT']]],
   ['addretindirectvfedge',['addRetIndirectVFEdge',['../classSVF_1_1SVFG.html#a8ebf0e285c69db8332a1f8914d6190f6',1,'SVF::SVFG']]],
   ['addretnode',['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',['addRetPE',['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f',1,'SVF::SVFIR::addRetPE()']]],
+  ['addretpe',['addRetPE',['../classSVF_1_1FormalRetVFGNode.html#a051f7dc0da465d7ce0dc733d9a8fae6a',1,'SVF::FormalRetVFGNode::addRetPE()'],['../classSVF_1_1SVFIR.html#af7edf234425e890d1cf3ff812000206d',1,'SVF::SVFIR::addRetPE()']]],
   ['addrevpts',['addRevPts',['../classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb',1,'SVF::MutablePTData']]],
   ['addrspace',['AddrSpace',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['addrstmt',['AddrStmt',['../classSVF_1_1AddrStmt.html',1,'SVF::AddrStmt'],['../classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae',1,'SVF::AddrStmt::AddrStmt()'],['../classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487',1,'SVF::AddrStmt::AddrStmt(const AddrStmt &)'],['../classSVF_1_1AddrStmt.html#a42caa75acb42ce8e290c1278622f139c',1,'SVF::AddrStmt::AddrStmt(SVFVar *s, SVFVar *d)']]],
@@ -246,13 +246,13 @@ var searchData=
   ['addspawneefun',['addSpawneeFun',['../classSVF_1_1PCG.html#acc48f65798275f5443b34b84e4bb6eae',1,'SVF::PCG']]],
   ['addspawnerfun',['addSpawnerFun',['../classSVF_1_1PCG.html#a11c45407138211987e5143d81ccceb95',1,'SVF::PCG']]],
   ['addspawnsite',['addSpawnsite',['../classSVF_1_1PCG.html#a1d946482cce92f7b1718a2a8c178be0b',1,'SVF::PCG']]],
-  ['addsrctocsid',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a5046d4a090560dd6f4ffd85631086b10',1,'SVF::LeakChecker']]],
+  ['addsrctocsid',['addSrcToCSID',['../classSVF_1_1LeakChecker.html#a155da7c60f3232b43a3996313b0496c7',1,'SVF::LeakChecker']]],
   ['addstartroutineofcxtthread',['addStartRoutineOfCxtThread',['../classSVF_1_1TCT.html#a11d9eeffdb1fc777f573fae75f48532a',1,'SVF::TCT']]],
   ['addstmtvfgnode',['addStmtVFGNode',['../classSVF_1_1VFG.html#a6d2a20830533ee40a5757e58e127f927',1,'SVF::VFG']]],
   ['addstorecgedge',['addStoreCGEdge',['../classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0',1,'SVF::ConstraintGraph']]],
   ['addstorechi',['AddStoreCHI',['../classSVF_1_1MemSSA.html#a4e11797df16b0b612191607180acc0c5',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MRSet &mrSet)'],['../classSVF_1_1MemSSA.html#a8d9bfa2ad724a3b286edc56b7c15e9bf',1,'SVF::MemSSA::AddStoreCHI(const BasicBlock *bb, const StoreStmt *store, const MemRegion *mr)']]],
   ['addstoreedge',['addStoreEdge',['../classSVF_1_1SVFIRBuilder.html#ac5795471aff6ccb07a84ffe1277ff2d4',1,'SVF::SVFIRBuilder']]],
-  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#a4b491e2d3eb5e041677decd73136c870',1,'SVF::SVFIR']]],
+  ['addstorestmt',['addStoreStmt',['../classSVF_1_1SVFIR.html#af9804d78e4158d3c8961e1f84bbef91e',1,'SVF::SVFIR']]],
   ['addstorevfgnode',['addStoreVFGNode',['../classSVF_1_1VFG.html#a13f7caf44741db3b0e8a44b13d8931f5',1,'SVF::VFG']]],
   ['addsubnode',['addSubNode',['../classSVF_1_1Steensgaard.html#abcb15d923ebbf289672b54b6f0963e03',1,'SVF::Steensgaard']]],
   ['addsubnodes',['addSubNodes',['../classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9',1,'SVF::SCCDetection::GNodeSCCInfo']]],
@@ -266,12 +266,12 @@ var searchData=
   ['addtctedge',['addTCTEdge',['../classSVF_1_1TCT.html#aa87bfebf48f9e74655ab3db4ec1576b3',1,'SVF::TCT']]],
   ['addtctnode',['addTCTNode',['../classSVF_1_1TCT.html#a4d26418c050876eb365af0ee31d3922c',1,'SVF::TCT']]],
   ['addtdedges',['addTDEdges',['../classSVF_1_1MTASVFGBuilder.html#a2e654f80c3680cd434fd04932a309a2d',1,'SVF::MTASVFGBuilder']]],
-  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#a7a311f7789c6c7a028ad0f595c1e0295',1,'SVF::SVFIRBuilder']]],
-  ['addthreadforkedgesetmap',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a29d3e4d720f61b4c29fee9691cedff96',1,'SVF::ThreadCallGraph']]],
-  ['addthreadforkpe',['addThreadForkPE',['../classSVF_1_1SVFIR.html#a787dc5aff6f7a7d8ec3a7a23d9f40a7e',1,'SVF::SVFIR']]],
-  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#a4acfddb8e683bbcc2e3949907361ea29',1,'SVF::SVFIRBuilder']]],
-  ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a70a03bcaa6386ef39188acb6b2aa9d5a',1,'SVF::ThreadCallGraph']]],
-  ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#a4f64a1a266838ac72b66cca138ec57ca',1,'SVF::SVFIR']]],
+  ['addthreadforkedge',['addThreadForkEdge',['../classSVF_1_1SVFIRBuilder.html#acd0678f7f35abd7aee656c2a49167ae9',1,'SVF::SVFIRBuilder']]],
+  ['addthreadforkedgesetmap',['addThreadForkEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300',1,'SVF::ThreadCallGraph']]],
+  ['addthreadforkpe',['addThreadForkPE',['../classSVF_1_1SVFIR.html#aa498f73f62e19f4f9f63e265938ce408',1,'SVF::SVFIR']]],
+  ['addthreadjoinedge',['addThreadJoinEdge',['../classSVF_1_1SVFIRBuilder.html#ab40720aeeeaf3be64cc65179f54e214d',1,'SVF::SVFIRBuilder']]],
+  ['addthreadjoinedgesetmap',['addThreadJoinEdgeSetMap',['../classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c',1,'SVF::ThreadCallGraph']]],
+  ['addthreadjoinpe',['addThreadJoinPE',['../classSVF_1_1SVFIR.html#ad50f150bb3bac77687b3d1210f21d2ed',1,'SVF::SVFIR']]],
   ['addthreadmhpindirectvfedge',['addThreadMHPIndirectVFEdge',['../classSVF_1_1SVFG.html#a1aba3845bad017f81cd5f938db03a161',1,'SVF::SVFG']]],
   ['addtobackwardslice',['addToBackwardSlice',['../classSVF_1_1SVFGStat.html#a54e61121cdfac31e336cd79fa0513419',1,'SVF::SVFGStat::addToBackwardSlice()'],['../classSVF_1_1ProgSlice.html#ac98eccef9fc2521b833a8c14b43e49e1',1,'SVF::ProgSlice::addToBackwardSlice()']]],
   ['addtocurbackwardslice',['addToCurBackwardSlice',['../classSVF_1_1SrcSnkDDA.html#ad28ffe435790d36ad872cddc213ea799',1,'SVF::SrcSnkDDA']]],
@@ -300,7 +300,7 @@ var searchData=
   ['addvartoconst',['addVarToConst',['../cuddInt_8c.html#a1beb03ec42d575c3c90eb690a0edf97b',1,'cuddInt.c']]],
   ['addvfedge',['addVFEdge',['../classSVF_1_1VFPathCond.html#adbf3026a7f2a9cbbb1de55159e264263',1,'SVF::VFPathCond']]],
   ['addvfgedge',['addVFGEdge',['../classSVF_1_1VFG.html#a84cf5facb15e1d598c2527fba0c7634d',1,'SVF::VFG']]],
-  ['addvfginteredges',['addVFGInterEdges',['../classSVF_1_1VFG.html#ab1f4c2765af027e903634d5262aea80b',1,'SVF::VFG']]],
+  ['addvfginteredges',['addVFGInterEdges',['../classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6',1,'SVF::VFG']]],
   ['addvfgnode',['addVFGNode',['../classSVF_1_1ICFGNode.html#aff18898b9bbd85d08b00d64d48eea6a5',1,'SVF::ICFGNode::addVFGNode()'],['../classSVF_1_1VFG.html#ad8c76cdb73541eed5aa1c2ba9de60383',1,'SVF::VFG::addVFGNode()']]],
   ['addvfgnodes',['addVFGNodes',['../classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862',1,'SVF::VFG']]],
   ['addvfpath',['addVFPath',['../classSVF_1_1PathStmtDPItem.html#ac8677af22f80379acf5dfd649ab41227',1,'SVF::PathStmtDPItem']]],
@@ -409,7 +409,7 @@ var searchData=
   ['answerqueries',['answerQueries',['../classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e',1,'SVF::DDAClient']]],
   ['aparm',['AParm',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14',1,'SVF::VFGNode']]],
   ['apin',['APIN',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab6ba0a5a5e8d8d37dc5e2a46224fdbad',1,'SVF::VFGNode']]],
-  ['apnodes',['APNodes',['../classSVF_1_1CallBlockNode.html#a1caa9664587eb96c575af2f293b4cd1e',1,'SVF::CallBlockNode']]],
+  ['apnodes',['APNodes',['../classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22',1,'SVF::CallICFGNode']]],
   ['apout',['APOUT',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a562b0ba840860c8eeaaca1a66e61b54f',1,'SVF::VFGNode']]],
   ['arcviolation',['arcviolation',['../structDdManager.html#aa0b71843baf33ac9815c7bddeb327aa6',1,'DdManager']]],
   ['aret',['ARet',['../classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb',1,'SVF::VFGNode']]],

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

@@ -16,7 +16,7 @@ var searchData=
   ['pagnode',['PAGNode',['../namespaceSVF.html#a733b44f64a95e6e13e7379120d7a3eea',1,'SVF']]],
   ['pagnodeset',['PAGNodeSet',['../classSVF_1_1AliasDDAClient.html#a3c24763f943ae27f93b2be64a81ab488',1,'SVF::AliasDDAClient::PAGNodeSet()'],['../classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b',1,'SVF::VFG::PAGNodeSet()']]],
   ['pagnodetoactualparmmap',['PAGNodeToActualParmMap',['../classSVF_1_1VFG.html#a8b256a40e690f31b7a56308d55bad45a',1,'SVF::VFG']]],
-  ['pagnodetoactualparmmapty',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#abec730a1ec61532cd164f3d42aa107b0',1,'SVF::VFG']]],
+  ['pagnodetoactualparmmapty',['PAGNodeToActualParmMapTy',['../classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4',1,'SVF::VFG']]],
   ['pagnodetoactualretmap',['PAGNodeToActualRetMap',['../classSVF_1_1VFG.html#a28c5f7e331a437e09682b972769acf66',1,'SVF::VFG']]],
   ['pagnodetoactualretmapty',['PAGNodeToActualRetMapTy',['../classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7',1,'SVF::VFG']]],
   ['pagnodetobinaryopvfgnodemap',['PAGNodeToBinaryOPVFGNodeMap',['../classSVF_1_1VFG.html#a0f554fd778b338cbd7e4272eaefc96f6',1,'SVF::VFG']]],
@@ -36,7 +36,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
+  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -113,7 +113,7 @@ var searchData=
   ['persversionedptdataty',['PersVersionedPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae028ae29bdc799f35777b82a39faf5e8',1,'SVF::BVDataPTAImpl']]],
   ['phi',['Phi',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9',1,'SVF::SVFStmt::Phi()'],['../classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1',1,'SVF::MemSSA::PHI()']]],
   ['phinode',['PHINode',['../namespaceSVF.html#ac8d4990439af7a2ecca7e15383119674',1,'SVF']]],
-  ['phinodemap',['phiNodeMap',['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()'],['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()']]],
+  ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR::PHINodeMap()'],['../classSVF_1_1SVFIR.html#a41abf665421dbfaef508b1eba0c91fb9',1,'SVF::SVFIR::phiNodeMap()']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phistmt',['PhiStmt',['../classSVF_1_1PhiStmt.html',1,'SVF::PhiStmt'],['../classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f',1,'SVF::PhiStmt::PhiStmt()'],['../classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b',1,'SVF::PhiStmt::PhiStmt(const PhiStmt &)'],['../classSVF_1_1PhiStmt.html#a7a5147246ce71f9863398abdd6ddcfc2',1,'SVF::PhiStmt::PhiStmt(SVFVar *s, const OPVars &opnds)']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
@@ -183,7 +183,7 @@ var searchData=
   ['printflattenfields',['printFlattenFields',['../classSVF_1_1SymbolTableInfo.html#aa40ff2fcaba3d4297d63269b74738737',1,'SVF::SymbolTableInfo']]],
   ['printgraph',['PrintGraph',['../classllvm_1_1GraphPrinter.html#a2a459c98ab3725a0e92b0ec6405893bf',1,'llvm::GraphPrinter']]],
   ['printicfgtojson',['printICFGToJson',['../classSVF_1_1ICFGPrinter.html#a5ef3cd8fa4c2dd99289725f1aa781721',1,'SVF::ICFGPrinter']]],
-  ['printindcstargets',['printIndCSTargets',['../classSVF_1_1PointerAnalysis.html#a28bcd16249c04eea2d13fafd2bcaf9d9',1,'SVF::PointerAnalysis::printIndCSTargets(const CallBlockNode *cs, const FunctionSet &targets)'],['../classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3',1,'SVF::PointerAnalysis::printIndCSTargets()']]],
+  ['printindcstargets',['printIndCSTargets',['../classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30',1,'SVF::PointerAnalysis::printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets)'],['../classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3',1,'SVF::PointerAnalysis::printIndCSTargets()']]],
   ['printinterleaving',['printInterleaving',['../classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415',1,'SVF::MHP']]],
   ['printinterlev',['PrintInterLev',['../classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a',1,'SVF::Options']]],
   ['printlocks',['printLocks',['../classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a',1,'SVF::LockAnalysis']]],
@@ -191,7 +191,7 @@ var searchData=
   ['printmodel',['printModel',['../classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310',1,'SVF::CondManager']]],
   ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
-  ['printquerypts',['PrintQueryPts',['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()'],['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()']]],
+  ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
   ['printstat',['printStat',['../classSVF_1_1DDAStat.html#a845ddc7725f4ebc011789a548a0aa377',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a67e0f3d1eb1cf8bf6dda57b602d6dac7',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf',1,'SVF::PTAStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
   ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#acacabea1b7b875e2f60f931fe0e6f625',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d',1,'SVF::PTAStat::printStatPerQuery()']]],
@@ -262,14 +262,14 @@ var searchData=
   ['ptacfinfo',['ptaCFInfo',['../classSVF_1_1ForkJoinAnalysis.html#a1c616b61fbe9c713f51f2a44c4208cfa',1,'SVF::ForkJoinAnalysis']]],
   ['ptacfinfobuilder',['PTACFInfoBuilder',['../classSVF_1_1PTACFInfoBuilder.html',1,'SVF::PTACFInfoBuilder'],['../classSVF_1_1PTACFInfoBuilder.html#abf1c70ba37181884e7848f6a7c6acf2c',1,'SVF::PTACFInfoBuilder::PTACFInfoBuilder()']]],
   ['ptacgnodeset',['PTACGNodeSet',['../classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237',1,'SVF::TCT']]],
-  ['ptaimplty',['PTAImplTy',['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()'],['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()']]],
+  ['ptaimplty',['ptaImplTy',['../classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36',1,'SVF::PointerAnalysis::ptaImplTy()'],['../classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d',1,'SVF::PointerAnalysis::PTAImplTy()']]],
   ['ptaname',['PTAName',['../classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606',1,'SVF::ContextDDA::PTAName()'],['../classSVF_1_1FlowDDA.html#ab3edece1bfb076bc01d60829615f2fa9',1,'SVF::FlowDDA::PTAName()'],['../classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0',1,'SVF::PointerAnalysis::PTAName()'],['../classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda',1,'SVF::Andersen::PTAName()'],['../classSVF_1_1FlowSensitive.html#a4f1a0d533381660055210be1e2d7d72a',1,'SVF::FlowSensitive::PTAName()'],['../classSVF_1_1FlowSensitiveTBHC.html#a1eb2f49fd20527b174c2acb8b7d64a41',1,'SVF::FlowSensitiveTBHC::PTAName()'],['../classSVF_1_1VersionedFlowSensitive.html#a6e4964389f96667bd69354fd4a742720',1,'SVF::VersionedFlowSensitive::PTAName()']]],
   ['ptascev',['PTASCEV',['../classSVF_1_1PTASCEV.html',1,'SVF::PTASCEV'],['../classSVF_1_1PTASCEV.html#afb1582fa355f2ae93a877f4f5bed56d3',1,'SVF::PTASCEV::PTASCEV()'],['../classSVF_1_1PTASCEV.html#a6a134ca4f7f50de053805e75431aa856',1,'SVF::PTASCEV::PTASCEV(const Value *p, const SCEV *s, ScalarEvolution *SE)'],['../classSVF_1_1PTASCEV.html#a3f4fbad38457025f35e151e54ab96b70',1,'SVF::PTASCEV::PTASCEV(const PTASCEV &ptase)']]],
   ['ptastat',['PTAStat',['../classSVF_1_1PTAStat.html',1,'SVF::PTAStat'],['../classSVF_1_1PTAStat.html#ac9b65b591200c16c420fbd26710b448f',1,'SVF::PTAStat::PTAStat()']]],
   ['ptastat_2ecpp',['PTAStat.cpp',['../PTAStat_8cpp.html',1,'']]],
   ['ptastat_2eh',['PTAStat.h',['../PTAStat_8h.html',1,'']]],
   ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
-  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
+  ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
   ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],
@@ -285,7 +285,7 @@ var searchData=
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],
   ['ptronlysvfg',['PTRONLYSVFG',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6ada8562b20e8d888a4b421c200957294d',1,'SVF::VFG']]],
   ['ptronlysvfg_5fopt',['PTRONLYSVFG_OPT',['../classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd',1,'SVF::VFG']]],
-  ['ptrtobvptsmap',['PtrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()']]],
+  ['ptrtobvptsmap',['ptrToBVPtsMap',['../classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e',1,'SVF::CondPTAImpl::ptrToBVPtsMap()'],['../classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b',1,'SVF::CondPTAImpl::PtrToBVPtsMap()']]],
   ['ptrtocptsmap',['PtrToCPtsMap',['../classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09',1,'SVF::CondPTAImpl::PtrToCPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a',1,'SVF::CondPTAImpl::ptrToCPtsMap()']]],
   ['ptrtointinst',['PtrToIntInst',['../namespaceSVF.html#a3d5581c375ee3fe856327dc648c379f0',1,'SVF']]],
   ['ptrtonsmap',['PtrToNSMap',['../classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d',1,'SVF::CondPTAImpl']]],

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

@@ -131,31 +131,31 @@ var searchData=
   ['resetquery',['resetQuery',['../classSVF_1_1DDAVFSolver.html#afe518d3d7f8051de5b9860f2460aa1b7',1,'SVF::DDAVFSolver']]],
   ['resetrep',['resetRep',['../classSVF_1_1ConstraintGraph.html#aa30231dab5b7c759e4e5d76422a5eb8e',1,'SVF::ConstraintGraph']]],
   ['resetsubs',['resetSubs',['../classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3',1,'SVF::ConstraintGraph']]],
-  ['resolvecppindcalls',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac9f54859eabff4c1e1f5785d57a0c818',1,'SVF::PointerAnalysis']]],
+  ['resolvecppindcalls',['resolveCPPIndCalls',['../classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba',1,'SVF::PointerAnalysis']]],
   ['resolvefunptr',['resolveFunPtr',['../classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192',1,'SVF::DDAVFSolver']]],
-  ['resolveindcalls',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137',1,'SVF::PointerAnalysis']]],
+  ['resolveindcalls',['resolveIndCalls',['../classSVF_1_1PointerAnalysis.html#aa0a14fd11d7e69b2a3f91a3862f172cd',1,'SVF::PointerAnalysis']]],
   ['restoreorder',['restoreOrder',['../cuddInt_8c.html#abaafb7c0229190195fb598d60afb53ff',1,'cuddInt.c']]],
   ['result',['result',['../cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41',1,'cuddInt.c']]],
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
   ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['resver',['resVer',['../classSVF_1_1IntraMSSAPHISVFGNode.html#a84832f678de1f497b4f3d7720a0bc58a',1,'SVF::IntraMSSAPHISVFGNode::resVer()'],['../classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813',1,'SVF::MSSADEF::resVer()']]],
-  ['ret',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af',1,'SVF::CallBlockNode::ret()']]],
+  ['ret',['Ret',['../classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af',1,'SVF::SVFStmt::Ret()'],['../classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785',1,'SVF::CallICFGNode::ret()']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],
   ['retargetdstofedge',['reTargetDstOfEdge',['../classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722',1,'SVF::ConstraintGraph']]],
   ['retargetedgesofainfout',['retargetEdgesOfAInFOut',['../classSVF_1_1SVFGOPT.html#abefe3efa0232106f1843351ff6dd1063',1,'SVF::SVFGOPT']]],
   ['retargetedgesofaoutfin',['retargetEdgesOfAOutFIn',['../classSVF_1_1SVFGOPT.html#a2285d20f7c4d128a8ede2e7f4f41f798',1,'SVF::SVFGOPT']]],
   ['retargetsrcofedge',['reTargetSrcOfEdge',['../classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214',1,'SVF::ConstraintGraph']]],
-  ['retblocknode',['RetBlockNode',['../classSVF_1_1RetBlockNode.html',1,'SVF::RetBlockNode'],['../classSVF_1_1RetBlockNode.html#a7a35666782fd9fff6954ad6b5fd284ee',1,'SVF::RetBlockNode::RetBlockNode()']]],
   ['retcf',['RetCF',['../classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541',1,'SVF::ICFGEdge']]],
   ['retcfgedge',['RetCFGEdge',['../classSVF_1_1RetCFGEdge.html',1,'SVF::RetCFGEdge'],['../classSVF_1_1RetCFGEdge.html#a4754147b969bd3cd912b98dfd3fbe48a',1,'SVF::RetCFGEdge::RetCFGEdge()']]],
   ['retdirsvfgedge',['RetDirSVFGEdge',['../classSVF_1_1RetDirSVFGEdge.html',1,'SVF::RetDirSVFGEdge'],['../classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c',1,'SVF::RetDirSVFGEdge::RetDirSVFGEdge()']]],
   ['retdirvf',['RetDirVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5a8288c583cfcbfdf9aa2ac2103c0e7191',1,'SVF::VFGEdge']]],
+  ['reticfgnode',['RetICFGNode',['../classSVF_1_1RetICFGNode.html',1,'SVF::RetICFGNode'],['../classSVF_1_1RetICFGNode.html#a663ed651c2e0eb3a8ae2da0bc52e1b6f',1,'SVF::RetICFGNode::RetICFGNode()']]],
   ['retindsvfgedge',['RetIndSVFGEdge',['../classSVF_1_1RetIndSVFGEdge.html',1,'SVF::RetIndSVFGEdge'],['../classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4',1,'SVF::RetIndSVFGEdge::RetIndSVFGEdge()']]],
   ['retindvf',['RetIndVF',['../classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668',1,'SVF::VFGEdge']]],
   ['retmssamu',['RetMSSAMU',['../classSVF_1_1MSSAMU.html#a82c66f3e2b7d2d9dd391a947719bda9ba255f3e3fc50f3a8d9a8bd5800b1b4594',1,'SVF::MSSAMU']]],
-  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()']]],
+  ['retmu',['RetMU',['../classSVF_1_1RetMU.html',1,'SVF::RetMU< Cond >'],['../classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee',1,'SVF::RetMU::RetMU()'],['../classSVF_1_1SVFG.html#a047573d70182da351b9e3bbf66ca0056',1,'SVF::SVFG::RETMU()'],['../classSVF_1_1MemSSA.html#a953a56a65ee36fd1c78b29179cd3f33a',1,'SVF::MemSSA::RETMU()']]],
   ['retnode',['RetNode',['../classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa5de2a8fce9a85f31818d58992b381b98',1,'SVF::SVFVar']]],
-  ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallBlockNode *i, GEdgeKind k=SVFStmt::Ret)']]],
+  ['retpe',['RetPE',['../classSVF_1_1RetPE.html',1,'SVF::RetPE'],['../classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215',1,'SVF::RetPE::RetPE()'],['../classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0',1,'SVF::RetPE::RetPE(const RetPE &)'],['../classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2',1,'SVF::RetPE::RetPE(SVFVar *s, SVFVar *d, const CallICFGNode *i, GEdgeKind k=SVFStmt::Ret)']]],
   ['retpebegin',['retPEBegin',['../classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132',1,'SVF::FormalRetVFGNode']]],
   ['retpeend',['retPEEnd',['../classSVF_1_1FormalRetVFGNode.html#adae36045df1057e551d92aa7bfb236f9',1,'SVF::FormalRetVFGNode']]],
   ['retpes',['retPEs',['../classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157',1,'SVF::FormalRetVFGNode']]],
@@ -167,8 +167,9 @@ var searchData=
   ['returninst',['ReturnInst',['../namespaceSVF.html#ac7dcc6103dee3a0bbc2fd2e02716a154',1,'SVF']]],
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
+  ['reverse_5fdense',['REVERSE_DENSE',['../classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228ae21bc1064d05499c2dc6051d153df9e6',1,'SVF::NodeIDAllocator']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
+  ['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
   ['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
   ['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
   ['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],