svf-tools 1.0.472 → 1.0.475

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

@@ -116,10 +116,10 @@ var searchData=
   ['getbasicblock',['getBasicBlock',['../classSVF_1_1LoadMU.html#abcd77653329021248bb406815f8691a7',1,'SVF::LoadMU::getBasicBlock()'],['../classSVF_1_1CallMU.html#ab20ae240ad380c760b9b1f4b8b06344f',1,'SVF::CallMU::getBasicBlock()'],['../classSVF_1_1StoreCHI.html#a85eb84312c003a57b2c9c4ed7df7c239',1,'SVF::StoreCHI::getBasicBlock()'],['../classSVF_1_1CallCHI.html#a69f83ff81ea017d645aadeb46334880f',1,'SVF::CallCHI::getBasicBlock()'],['../classSVF_1_1MSSAPHI.html#a00b3ab85b31b4de91398efea41db158f',1,'SVF::MSSAPHI::getBasicBlock()']]],
   ['getbb',['getBB',['../classSVF_1_1ICFGNode.html#ac1689701c75e04481e2ae2f4482551c4',1,'SVF::ICFGNode::getBB()'],['../classSVF_1_1SVFStmt.html#a793c53e0b4f9a58099c096f0a0856495',1,'SVF::SVFStmt::getBB()']]],
   ['getbbphinum',['getBBPhiNum',['../classSVF_1_1MemSSA.html#a9bb6512999cbf9c7c03153be77c8af20',1,'SVF::MemSSA']]],
-  ['getbbpredecessornum',['getBBPredecessorNum',['../namespaceSVF_1_1SVFUtil.html#a0e78b0b6593209d78fae1dd0a5469463',1,'SVF::SVFUtil']]],
-  ['getbbpredecessorpos',['getBBPredecessorPos',['../namespaceSVF_1_1SVFUtil.html#ae40e2e043b04ede541688ce61048fb4e',1,'SVF::SVFUtil']]],
-  ['getbbsuccessornum',['getBBSuccessorNum',['../namespaceSVF_1_1SVFUtil.html#a737684498679dc16a26f2411d88f36aa',1,'SVF::SVFUtil']]],
-  ['getbbsuccessorpos',['getBBSuccessorPos',['../namespaceSVF_1_1SVFUtil.html#a1631bbbed23fbfe2204779ecc0dc2769',1,'SVF::SVFUtil']]],
+  ['getbbpredecessornum',['getBBPredecessorNum',['../namespaceSVF_1_1LLVMUtil.html#ae617611b584e3d899984c376a6e91987',1,'SVF::LLVMUtil']]],
+  ['getbbpredecessorpos',['getBBPredecessorPos',['../namespaceSVF_1_1LLVMUtil.html#a87277ee77eceaf80922d54d46103c509',1,'SVF::LLVMUtil']]],
+  ['getbbsuccessornum',['getBBSuccessorNum',['../namespaceSVF_1_1LLVMUtil.html#a6d9205380948e1bd00708581a64301e1',1,'SVF::LLVMUtil']]],
+  ['getbbsuccessorpos',['getBBSuccessorPos',['../namespaceSVF_1_1LLVMUtil.html#a5d911cede2f514e87b030e2a93919515',1,'SVF::LLVMUtil']]],
   ['getbbtophisetmap',['getBBToPhiSetMap',['../classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d',1,'SVF::MemSSA']]],
   ['getbddexprmgr',['getBDDExprMgr',['../classSVF_1_1BDDExprManager.html#ae7be20333ab86fb5297b33923562c7a5',1,'SVF::BDDExprManager']]],
   ['getbeforebrackets',['getBeforeBrackets',['../namespaceSVF_1_1cppUtil.html#a1cf2e4671b16b477cc779c72f2419234',1,'SVF::cppUtil']]],
@@ -229,7 +229,7 @@ var searchData=
   ['getcxtofcxtthread',['getCxtOfCxtThread',['../classSVF_1_1TCT.html#ab4bc72ca330b315df06f2d4d2c1a7b4f',1,'SVF::TCT']]],
   ['getcxtstmtfrominst',['getCxtStmtfromInst',['../classSVF_1_1LockAnalysis.html#afc8c13fcff7c1199f63efc198a3b5a6d',1,'SVF::LockAnalysis']]],
   ['getcxtthread',['getCxtThread',['../classSVF_1_1TCTNode.html#a21591b19f6a9267151c31178f9543ee6',1,'SVF::TCTNode']]],
-  ['getdatalayout',['getDataLayout',['../namespaceSVF_1_1SVFUtil.html#abe0dde753f9f79e30296208eb4d97eed',1,'SVF::SVFUtil']]],
+  ['getdatalayout',['getDataLayout',['../namespaceSVF_1_1LLVMUtil.html#a151fd7fb2b2ebe72af7c417defbb4f4d',1,'SVF::LLVMUtil']]],
   ['getdeclaration',['getDeclaration',['../classSVF_1_1LLVMModuleSet.html#aa4a604e47daaaf95babc7aca68991000',1,'SVF::LLVMModuleSet::getDeclaration(const Function *fun) const'],['../classSVF_1_1LLVMModuleSet.html#ac0e82b950677c010a647f24245a6d127',1,'SVF::LLVMModuleSet::getDeclaration(const SVFFunction *fun) const']]],
   ['getdef',['getDef',['../classSVF_1_1SVFG.html#abd917826bf50ed409a307ce00562c97d',1,'SVF::SVFG::getDef(const PAGNode *pagNode) const'],['../classSVF_1_1SVFG.html#a55a26b88ffe786b04184a29ae72575e7',1,'SVF::SVFG::getDef(const MRVer *mvar) const'],['../classSVF_1_1VFG.html#a7343f970332391634f79b2023bba6650',1,'SVF::VFG::getDef()'],['../classSVF_1_1MRVer.html#a492211105abe8af8ed9ad7b30eabb852',1,'SVF::MRVer::getDef()']]],
   ['getdeffunformultiplemodule',['getDefFunForMultipleModule',['../namespaceSVF_1_1SVFUtil.html#a142e650415cb81011eb59dadd3cb0637',1,'SVF::SVFUtil']]],
@@ -332,14 +332,14 @@ var searchData=
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
   ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076',1,'SVF::ICFG::getFunEntryICFGNode()'],['../classSVF_1_1CallPE.html#a9c9821c4e7dd031e3f82f2b29427e53e',1,'SVF::CallPE::getFunEntryICFGNode()']]],
   ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e',1,'SVF::FormalINSVFGNode']]],
-  ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
+  ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1LLVMUtil.html#aa0e78f2e1c9c04aee478a7ecbf354800',1,'SVF::LLVMUtil']]],
   ['getfunexitblock',['getFunExitBlock',['../classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6',1,'SVF::ICFG']]],
   ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919',1,'SVF::ICFG::getFunExitICFGNode()'],['../classSVF_1_1RetPE.html#a274adbd91750d8d6de8ba997285c1c49',1,'SVF::RetPE::getFunExitICFGNode()']]],
   ['getfunexitnode',['getFunExitNode',['../classSVF_1_1FormalOUTSVFGNode.html#ae23aa8ff8585c31071726f2b2fb1499d',1,'SVF::FormalOUTSVFGNode']]],
   ['getfunmrset',['getFunMRSet',['../classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879',1,'SVF::MRGenerator']]],
   ['getfunnameofvcallsite',['getFunNameOfVCallSite',['../namespaceSVF_1_1cppUtil.html#a0a67c31dcc44784b09dca54b4b7c624a',1,'SVF::cppUtil']]],
   ['getfunptr',['getFunPtr',['../classSVF_1_1PointerAnalysis.html#adbceaf90526e44192c2fa4aac5468f5f',1,'SVF::PointerAnalysis::getFunPtr()'],['../classSVF_1_1SVFIR.html#a17c5d9fa7c0bd3cd03c06b5ff0906eb6',1,'SVF::SVFIR::getFunPtr()']]],
-  ['getfunreachablebbs',['getFunReachableBBs',['../namespaceSVF_1_1SVFUtil.html#a61b29238f1f32978c7b6aded4b73244d',1,'SVF::SVFUtil']]],
+  ['getfunreachablebbs',['getFunReachableBBs',['../namespaceSVF_1_1LLVMUtil.html#a6e741146121afbb7114aadf3146d403a',1,'SVF::LLVMUtil']]],
   ['getfunret',['getFunRet',['../classSVF_1_1SVFIR.html#a34e27b8bcfeaafda190dcdb9169a346f',1,'SVF::SVFIR']]],
   ['getfunretmunum',['getFunRetMuNum',['../classSVF_1_1MemSSA.html#a67175188232e08f5c5374f92ff61810f',1,'SVF::MemSSA']]],
   ['getfunrets',['getFunRets',['../classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958',1,'SVF::SVFIR']]],
@@ -488,7 +488,7 @@ var searchData=
   ['getmutptdataty',['getMutPTDataTy',['../classSVF_1_1CondPTAImpl.html#ab582d46731c06a7fa022bf301d6008c1',1,'SVF::CondPTAImpl']]],
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a2409c01221b9a6632655cee43d1b35e4',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
-  ['getnextinsts',['getNextInsts',['../classSVF_1_1MHP.html#a04357a2827d22e4e727d488d32eb5cb5',1,'SVF::MHP::getNextInsts()'],['../classSVF_1_1ForkJoinAnalysis.html#a799e14292e16b9fb322cab07f3ff5593',1,'SVF::ForkJoinAnalysis::getNextInsts()'],['../classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf',1,'SVF::TCT::getNextInsts()'],['../namespaceSVF_1_1SVFUtil.html#a2f9959fa23ab4bdc65ca36fbda8c1b70',1,'SVF::SVFUtil::getNextInsts()']]],
+  ['getnextinsts',['getNextInsts',['../classSVF_1_1MHP.html#a04357a2827d22e4e727d488d32eb5cb5',1,'SVF::MHP::getNextInsts()'],['../classSVF_1_1ForkJoinAnalysis.html#a799e14292e16b9fb322cab07f3ff5593',1,'SVF::ForkJoinAnalysis::getNextInsts()'],['../classSVF_1_1TCT.html#a97c3081d0648a8d483b07f23bbd1b6bf',1,'SVF::TCT::getNextInsts()'],['../namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4',1,'SVF::LLVMUtil::getNextInsts()']]],
   ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
   ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11',1,'llvm::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html#abd16485dc137eaede56cbf8d895ea111',1,'llvm::DOTGraphTraits< OfflineConsG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
   ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
@@ -574,7 +574,7 @@ var searchData=
   ['getpointstolist',['getPointsToList',['../classSVF_1_1MRGenerator.html#a6d86c8ebe87cb54f39e52daa7ffb0e2e',1,'SVF::MRGenerator']]],
   ['getpostdt',['getPostDT',['../classSVF_1_1TCT.html#ae4d26d2a77e45104523cfc481012bccc',1,'SVF::TCT::getPostDT()'],['../classSVF_1_1PathCondAllocator.html#a1295e2c2c0a9c1a3744ba3927b95363e',1,'SVF::PathCondAllocator::getPostDT()'],['../classSVF_1_1PTACFInfoBuilder.html#a00e3339dab62325354e8ecd8251da0f1',1,'SVF::PTACFInfoBuilder::getPostDT()']]],
   ['getpredicate',['getPredicate',['../classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632',1,'SVF::CmpStmt']]],
-  ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1SVFUtil.html#a7e3a8d6cb1715db9518579fb60181d5b',1,'SVF::SVFUtil']]],
+  ['getprevinsts',['getPrevInsts',['../namespaceSVF_1_1LLVMUtil.html#af904cd58192dccb85572cfa95f5ea670',1,'SVF::LLVMUtil']]],
   ['getpreviousmemoryaccessinst',['getPreviousMemoryAccessInst',['../classSVF_1_1LockResultValidator.html#a0be1cdab3c36835044e3b26d5d8402e6',1,'SVF::LockResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1MTAResultValidator.html#ab3ba3c6d9c40e97febdab0e7d4ad9a3e',1,'SVF::MTAResultValidator::getPreviousMemoryAccessInst()'],['../classSVF_1_1RaceResultValidator.html#ad029f7a9a5161191a44d1e841f9d6114',1,'SVF::RaceResultValidator::getPreviousMemoryAccessInst()']]],
   ['getprevnodes',['getPrevNodes',['../classSVF_1_1MTASVFGBuilder.html#a7b034f9f8f01823ecfb7f6c17e47b502',1,'SVF::MTASVFGBuilder']]],
   ['getproc',['getProc',['../classSVF_1_1CxtProc.html#ab9ac6459c90873b7dea35e0a22700189',1,'SVF::CxtProc']]],
@@ -592,7 +592,7 @@ var searchData=
   ['getptcache',['getPtCache',['../classSVF_1_1BVDataPTAImpl.html#a34d87fa1988b78f032735b5fc2803792',1,'SVF::BVDataPTAImpl']]],
   ['getptdataty',['getPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#ae94cea78b71fb75837ee2a17b5ed0e81',1,'SVF::BVDataPTAImpl::getPTDataTy()'],['../classSVF_1_1CondPTAImpl.html#a35cb1fd6e18cdc8e8466ee94846bc553',1,'SVF::CondPTAImpl::getPTDataTy()']]],
   ['getptdty',['getPTDTY',['../classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf',1,'SVF::PTData']]],
-  ['getptrelementtype',['getPtrElementType',['../namespaceSVF_1_1SVFUtil.html#a8e7f56fa15cea924a09cd6903de2606c',1,'SVF::SVFUtil']]],
+  ['getptrelementtype',['getPtrElementType',['../namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870',1,'SVF::LLVMUtil']]],
   ['getptrnodeid',['getPtrNodeID',['../classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397',1,'SVF::ContextDDA::getPtrNodeID()'],['../classSVF_1_1DDAVFSolver.html#a3fa002d4ba4194ffde62ecbdd361a24d',1,'SVF::DDAVFSolver::getPtrNodeID()'],['../classSVF_1_1FlowDDA.html#a9749c82c1164adb17e2ae53e725ded9a',1,'SVF::FlowDDA::getPtrNodeID()']]],
   ['getpts',['getPts',['../classSVF_1_1CFLAlias.html#ad7bde2bfe158e9c3643927583ce145c9',1,'SVF::CFLAlias::getPts()'],['../classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d',1,'SVF::PTData::getPts()'],['../classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97',1,'SVF::VersionedPTData::getPts()'],['../classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62',1,'SVF::MutablePTData::getPts()'],['../classSVF_1_1MutableDiffPTData.html#ac2f494da9379c336bb81a0dc438b5af9',1,'SVF::MutableDiffPTData::getPts()'],['../classSVF_1_1MutableDFPTData.html#a4cbb9131a89c5c48367fb927693b5c6b',1,'SVF::MutableDFPTData::getPts()'],['../classSVF_1_1MutableVersionedPTData.html#aaf519166d2e0ca3c81088b52a1cf3066',1,'SVF::MutableVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1MutableVersionedPTData.html#afcc34f6cedca6a8f151b1a7251832818',1,'SVF::MutableVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99',1,'SVF::PersistentPTData::getPts()'],['../classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed',1,'SVF::PersistentDiffPTData::getPts()'],['../classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13',1,'SVF::PersistentDFPTData::getPts()'],['../classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6',1,'SVF::PersistentVersionedPTData::getPts(const Key &vk) override'],['../classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820',1,'SVF::PersistentVersionedPTData::getPts(const VersionedKey &vk) override'],['../classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec',1,'SVF::PointerAnalysis::getPts()'],['../classSVF_1_1BVDataPTAImpl.html#aee289e298e421448caaa604b7eb34fcb',1,'SVF::BVDataPTAImpl::getPts()'],['../classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748',1,'SVF::CondPTAImpl::getPts(CVar id)'],['../classSVF_1_1CondPTAImpl.html#a0b96ba98239186d6d676f9540da9e590',1,'SVF::CondPTAImpl::getPts(NodeID ptr)'],['../classSVF_1_1Andersen.html#a187285a5bdf9422d9188b2b11b667639',1,'SVF::Andersen::getPts()'],['../classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486',1,'SVF::Steensgaard::getPts()']]],
   ['getptsmap',['getPtsMap',['../classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b',1,'SVF::MutablePTData::getPtsMap()'],['../classSVF_1_1MutableDiffPTData.html#a8261a24cfb34056f3720cd6fbc0a4870',1,'SVF::MutableDiffPTData::getPtsMap()'],['../classSVF_1_1MutableDFPTData.html#a8b1814326e71f6c6fd31d5aef0592a1d',1,'SVF::MutableDFPTData::getPtsMap()'],['../classSVF_1_1CondPTAImpl.html#a979486e35b529fbc62b2974899627113',1,'SVF::CondPTAImpl::getPtsMap()']]],
@@ -603,7 +603,7 @@ var searchData=
   ['getrefinfoforcall',['getRefInfoForCall',['../classSVF_1_1MRGenerator.html#a965a31712341b1fc02e667f325423ca2',1,'SVF::MRGenerator']]],
   ['getrefsideeffectofcallsite',['getRefSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a62757aa995a6a01b484c60df2f51c53d',1,'SVF::MRGenerator']]],
   ['getrefsideeffectoffunction',['getRefSideEffectOfFunction',['../classSVF_1_1MRGenerator.html#ac0007c8808654ca74feef0d8568378b9',1,'SVF::MRGenerator']]],
-  ['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1SVFUtil.html#a9232d260dc83d3a25cd98195ba76567a',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a642f8284fbb260dd81fb29d5fadf6822',1,'SVF::SVFUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
+  ['getreftypeofheapallocorstatic',['getRefTypeOfHeapAllocOrStatic',['../namespaceSVF_1_1LLVMUtil.html#a3e94ca73410d21c1a852123e44961ff9',1,'SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic(const CallSite cs)'],['../namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7',1,'SVF::LLVMUtil::getRefTypeOfHeapAllocOrStatic(const Instruction *inst)']]],
   ['getregionsize',['getRegionSize',['../classSVF_1_1MemRegion.html#a99f106d47fd67f1ae53e144d72a223c9',1,'SVF::MemRegion']]],
   ['getreliantversions',['getReliantVersions',['../classSVF_1_1VersionedFlowSensitive.html#ae83c62a01196991d116ef5c36cb51e31',1,'SVF::VersionedFlowSensitive']]],
   ['getrep',['getRep',['../classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214',1,'SVF::ConstraintGraph']]],
@@ -715,12 +715,12 @@ var searchData=
   ['gettype',['getType',['../classSVF_1_1SVFVar.html#adaaf24b8b6ec06476cea112533c24066',1,'SVF::SVFVar::getType()'],['../classSVF_1_1ObjVar.html#aa1004c9973fb974ba1e52df80978321d',1,'SVF::ObjVar::getType()'],['../classSVF_1_1GepValVar.html#a2760700f067c6a2fbc4e6e626b603bc4',1,'SVF::GepValVar::getType()'],['../classSVF_1_1GepObjVar.html#ab2348a9378f1c64cf5c176b21a655d14',1,'SVF::GepObjVar::getType()'],['../classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216',1,'SVF::MemObj::getType()'],['../classSVF_1_1ObjTypeInfo.html#a706cdc47e78732853252d5a4af85653a',1,'SVF::ObjTypeInfo::getType()'],['../classSVF_1_1MSSAMU.html#a9a542febe746d1389d34e5e31a3253c9',1,'SVF::MSSAMU::getType()'],['../classSVF_1_1MSSADEF.html#a4cabef62b821efb0c88efb304fd0a70c',1,'SVF::MSSADEF::getType()'],['../classSVF_1_1SaberCheckerAPI.html#ab0cdd9671c406e8d881f0a057fe44081',1,'SVF::SaberCheckerAPI::getType()'],['../classSVF_1_1DCHNode.html#aaf4036d892bdae02a01d31bfe3db2153',1,'SVF::DCHNode::getType()'],['../classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de',1,'SVF::CallSite::getType()'],['../classSVF_1_1ThreadAPI.html#a768a655dffc5fcf1d63e2a0b3f2930f4',1,'SVF::ThreadAPI::getType()'],['../classSVF_1_1TypeBasedHeapCloning.html#a219edef6c013a953ed12ee3c56bde6de',1,'SVF::TypeBasedHeapCloning::getType()']]],
   ['gettypedefs',['getTypedefs',['../classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066',1,'SVF::DCHNode']]],
   ['gettypefromctirmetadata',['getTypeFromCTirMetadata',['../classSVF_1_1FlowSensitiveTBHC.html#a045ffbf7eea276d154be2cf883ea71f7',1,'SVF::FlowSensitiveTBHC::getTypeFromCTirMetadata()'],['../classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8',1,'SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata()']]],
-  ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1SVFUtil.html#a973113323e30a01fd904b35ac18d40ce',1,'SVF::SVFUtil']]],
-  ['gettypesizeinbytes',['getTypeSizeInBytes',['../namespaceSVF_1_1SVFUtil.html#a86fec3512ea1fc724cf567f52d348678',1,'SVF::SVFUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1SVFUtil.html#a1dadc280bc2df41b82167ed236985dd5',1,'SVF::SVFUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
+  ['gettypeofheapalloc',['getTypeOfHeapAlloc',['../namespaceSVF_1_1LLVMUtil.html#a2fff71a75bb595865e1ff32d1addda71',1,'SVF::LLVMUtil']]],
+  ['gettypesizeinbytes',['getTypeSizeInBytes',['../namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d',1,'SVF::LLVMUtil::getTypeSizeInBytes(const Type *type)'],['../namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6',1,'SVF::LLVMUtil::getTypeSizeInBytes(const StructType *sty, u32_t field_index)']]],
   ['gettypesystem',['getTypeSystem',['../classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe',1,'SVF::PointerAnalysis']]],
   ['getunaryopvfgnode',['getUnaryOPVFGNode',['../classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd',1,'SVF::VFG']]],
   ['getunifyexit',['getUnifyExit',['../classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca',1,'SVF::MergeFunctionRets']]],
-  ['getuniqueuseviacastinst',['getUniqueUseViaCastInst',['../namespaceSVF_1_1SVFUtil.html#ad72b3529e87e71767c6d226821cfddb3',1,'SVF::SVFUtil']]],
+  ['getuniqueuseviacastinst',['getUniqueUseViaCastInst',['../namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b',1,'SVF::LLVMUtil']]],
   ['getvalsym',['getValSym',['../classSVF_1_1SymbolTableInfo.html#ac71fd3165008ad8c1b8419da832af8fb',1,'SVF::SymbolTableInfo']]],
   ['getvalue',['getValue',['../classSVF_1_1VFGNode.html#a5ac80149696c243f77e4b4d25ad44898',1,'SVF::VFGNode::getValue()'],['../classSVF_1_1StmtVFGNode.html#ab51f462a26bc03cd5e2379be98a4dd3b',1,'SVF::StmtVFGNode::getValue()'],['../classSVF_1_1CmpVFGNode.html#a166ac2df82ebfcb77d50b71ce573e1eb',1,'SVF::CmpVFGNode::getValue()'],['../classSVF_1_1BinaryOPVFGNode.html#ad4c45bbfd044502106c41ba70f568463',1,'SVF::BinaryOPVFGNode::getValue()'],['../classSVF_1_1PHIVFGNode.html#a188a4d3ae95fe01dc59784d076f28aef',1,'SVF::PHIVFGNode::getValue()'],['../classSVF_1_1ArgumentVFGNode.html#aaf6a78630b0365d50dd7b4394215d3a1',1,'SVF::ArgumentVFGNode::getValue()'],['../classSVF_1_1SVFStmt.html#a65ee8b43a3a4999eb112a197d1a9f882',1,'SVF::SVFStmt::getValue()'],['../classSVF_1_1SVFVar.html#afaa33caa8d2a306f6741d9d066243e40',1,'SVF::SVFVar::getValue()'],['../classSVF_1_1MemObj.html#a4da54ef60231d2e6c26669226b99d2f3',1,'SVF::MemObj::getValue()'],['../classSVF_1_1SVFValue.html#a50f77757ac9c37a9501eb48deccdfef1',1,'SVF::SVFValue::getValue()']]],
   ['getvalueedges',['getValueEdges',['../classSVF_1_1IRGraph.html#a7710f6795d971d7a8b5683835c4c0fb8',1,'SVF::IRGraph']]],

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

@@ -235,10 +235,10 @@ var searchData=
   ['isbarrierwaitcall',['isBarrierWaitCall',['../namespaceSVF_1_1SVFUtil.html#ad09ba410acbbaee2aac9dd406c3cf01a',1,'SVF::SVFUtil::isBarrierWaitCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a0a7fc57e1f5cec705e310a4bb72cba94',1,'SVF::SVFUtil::isBarrierWaitCall(const Instruction *inst)']]],
   ['isbase',['isBase',['../classSVF_1_1DCHGraph.html#ab33f9af6ad22eb99dd0d9950fb0e50e6',1,'SVF::DCHGraph::isBase()'],['../classSVF_1_1TypeBasedHeapCloning.html#add00f1c20a524c0be903af679bd6f638',1,'SVF::TypeBasedHeapCloning::isBase()']]],
   ['isbbcallsprogexit',['isBBCallsProgExit',['../classSVF_1_1PathCondAllocator.html#a39c0cc9dec89b0b52bf9f1026da942e1',1,'SVF::PathCondAllocator']]],
-  ['isbinaryconstantexpr',['isBinaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a43c9072210a5f5baeafe36da03f2fde2',1,'SVF::SVFUtil']]],
+  ['isbinaryconstantexpr',['isBinaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a35b36394af726c679fe2c1b6051db7c4',1,'SVF::LLVMUtil']]],
   ['isbkvisited',['isbkVisited',['../classSVF_1_1DDAVFSolver.html#a9a9c3a8b5e4ffc89418073110e446f20',1,'SVF::DDAVFSolver']]],
   ['isblackholeobj',['isBlackHoleObj',['../classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c',1,'SVF::MemObj']]],
-  ['isblackholesym',['isBlackholeSym',['../classSVF_1_1SymbolTableInfo.html#ab15112d3900f28525848cbe5fad37deb',1,'SVF::SymbolTableInfo::isBlackholeSym()'],['../namespaceSVF_1_1SVFUtil.html#ac0df4ee0bf78167dd9461227b5cce7af',1,'SVF::SVFUtil::isBlackholeSym()']]],
+  ['isblackholesym',['isBlackholeSym',['../classSVF_1_1SymbolTableInfo.html#ab15112d3900f28525848cbe5fad37deb',1,'SVF::SymbolTableInfo::isBlackholeSym()'],['../namespaceSVF_1_1LLVMUtil.html#abf4e75ba6236136399d45c85be2328fe',1,'SVF::LLVMUtil::isBlackholeSym()']]],
   ['isblkobj',['isBlkObj',['../classSVF_1_1SVFIR.html#a17527c55d35ae5c18f00fd4dabe6acad',1,'SVF::SVFIR::isBlkObj()'],['../classSVF_1_1SymbolTableInfo.html#ad9cdb21e20182f3bc95f04bbb97712f3',1,'SVF::SymbolTableInfo::isBlkObj()']]],
   ['isblkobjorconstantobj',['isBlkObjOrConstantObj',['../classSVF_1_1ConstraintGraph.html#a8ba74f82c1e796f2888ba34bc8355ce9',1,'SVF::ConstraintGraph::isBlkObjOrConstantObj()'],['../classSVF_1_1PointerAnalysis.html#a45462312a746339fff8b990a093d9a1b',1,'SVF::PointerAnalysis::isBlkObjOrConstantObj()'],['../classSVF_1_1SVFIR.html#ad9895f2d075eb402390e3b01ed68e001',1,'SVF::SVFIR::isBlkObjOrConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a2fc4bfb83b71a4c14e16168382cb8f5d',1,'SVF::SymbolTableInfo::isBlkObjOrConstantObj()'],['../classSVF_1_1TypeBasedHeapCloning.html#a59a9c7b8a7ec392ac609f10c8dac8d7f',1,'SVF::TypeBasedHeapCloning::isBlkObjOrConstantObj()']]],
   ['isblkptr',['isBlkPtr',['../classSVF_1_1SVFIR.html#a6a71d2716530607d66d9e9035199d997',1,'SVF::SVFIR::isBlkPtr()'],['../classSVF_1_1SymbolTableInfo.html#acba43b6e9cdf07afaf3d30351aa8df7c',1,'SVF::SymbolTableInfo::isBlkPtr()']]],
@@ -250,10 +250,10 @@ var searchData=
   ['iscallsiteretsvfgnode',['isCallSiteRetSVFGNode',['../classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59',1,'SVF::SVFG']]],
   ['iscallvfgedge',['isCallVFGEdge',['../classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9',1,'SVF::VFGEdge']]],
   ['iscandidatefun',['isCandidateFun',['../classSVF_1_1TCT.html#aa69b82c888c8193e97f9e95c62ac99d4',1,'SVF::TCT::isCandidateFun(const PTACallGraph::FunctionSet &callees) const'],['../classSVF_1_1TCT.html#ab0abc0713e6b87a8b1453bababced79c',1,'SVF::TCT::isCandidateFun(const Function *fun) const'],['../classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f',1,'SVF::TCT::isCandidateFun(const SVFFunction *fun) const']]],
-  ['iscastconstantexpr',['isCastConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a7e404bcc6613ba10a56c4fbdc842c5a8',1,'SVF::SVFUtil']]],
+  ['iscastconstantexpr',['isCastConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#af983b0e1fbd371d8672e8f03f63084fc',1,'SVF::LLVMUtil']]],
   ['iscfgedge',['isCFGEdge',['../classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173',1,'SVF::ICFGEdge']]],
   ['isclone',['isClone',['../classSVF_1_1TypeBasedHeapCloning.html#abce2ba326af69312c5971246cc4c10dc',1,'SVF::TypeBasedHeapCloning']]],
-  ['iscmpconstantexpr',['isCmpConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a4adb63c87a9489ab905d42230ac66299',1,'SVF::SVFUtil']]],
+  ['iscmpconstantexpr',['isCmpConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#aa0b3e34188f721ff7145e47cb607c79a',1,'SVF::LLVMUtil']]],
   ['isconcretecxt',['isConcreteCxt',['../classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f',1,'SVF::ContextCond']]],
   ['iscondcompatible',['isCondCompatible',['../classSVF_1_1ContextDDA.html#a57d309971de00db9bd8c6bfaf237cbff',1,'SVF::ContextDDA::isCondCompatible()'],['../classSVF_1_1CondPTAImpl.html#a6b746c30161c7dab86510895e0032935',1,'SVF::CondPTAImpl::isCondCompatible()']]],
   ['isconditional',['isConditional',['../classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901',1,'SVF::BranchStmt']]],
@@ -262,13 +262,13 @@ var searchData=
   ['isconstantarray',['isConstantArray',['../classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb',1,'SVF::MemObj::isConstantArray()'],['../classSVF_1_1ObjTypeInfo.html#ac1ee7a720959c0e97496870d6e759212',1,'SVF::ObjTypeInfo::isConstantArray()']]],
   ['isconstantdata',['isConstantData',['../classSVF_1_1SVFVar.html#a04b62eea862857ea5640fe74ef3f2a47',1,'SVF::SVFVar::isConstantData()'],['../classSVF_1_1MemObj.html#aa50d7c3b4e7ac0aa769bc094bea26e16',1,'SVF::MemObj::isConstantData()'],['../classSVF_1_1ObjTypeInfo.html#a6f6c80f7d067a6082a9af04d2547cf34',1,'SVF::ObjTypeInfo::isConstantData()'],['../namespaceSVF_1_1SVFUtil.html#a9e85d445e8b7b205134acd3874bba388',1,'SVF::SVFUtil::isConstantData()']]],
   ['isconstantobj',['isConstantObj',['../classSVF_1_1SVFIR.html#a5d15e4b09784f438568ebe61f8aa5156',1,'SVF::SVFIR::isConstantObj()'],['../classSVF_1_1SymbolTableInfo.html#a704b917b1e1dbaf9cd758fa9acc1083b',1,'SVF::SymbolTableInfo::isConstantObj()']]],
-  ['isconstantobjsym',['isConstantObjSym',['../namespaceSVF_1_1SVFUtil.html#a6442fbf0cccd55cf93eab2b656756e9a',1,'SVF::SVFUtil']]],
+  ['isconstantobjsym',['isConstantObjSym',['../namespaceSVF_1_1LLVMUtil.html#a2fd5c626b818ac22a9c845227e1461c4',1,'SVF::LLVMUtil']]],
   ['isconstantoffset',['isConstantOffset',['../classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d',1,'SVF::LocationSet::isConstantOffset()'],['../classSVF_1_1GepStmt.html#ab6f37c073e4755c4b8bb3ed6365687f4',1,'SVF::GepStmt::isConstantOffset()']]],
   ['isconstantstruct',['isConstantStruct',['../classSVF_1_1MemObj.html#a019a77516c403f1f3cc72917b810a41f',1,'SVF::MemObj::isConstantStruct()'],['../classSVF_1_1ObjTypeInfo.html#a41f916ab4e3a2c163fca636eae948ce7',1,'SVF::ObjTypeInfo::isConstantStruct()']]],
   ['isconstdataorconstglobal',['isConstDataOrConstGlobal',['../classSVF_1_1MemObj.html#a1a4ff4aaaf2573240a318e1b79328cd0',1,'SVF::MemObj::isConstDataOrConstGlobal()'],['../classSVF_1_1ObjTypeInfo.html#a8e6c60978df9828c1dcb54086e83edc1',1,'SVF::ObjTypeInfo::isConstDataOrConstGlobal()']]],
   ['isconstructor',['isConstructor',['../namespaceSVF_1_1cppUtil.html#ad6f9578cdce518141772a11617160da8',1,'SVF::cppUtil']]],
   ['iscppthunkfunction',['isCPPThunkFunction',['../namespaceSVF_1_1cppUtil.html#a917c4bd2d5fd1354b5069bf0a68533d9',1,'SVF::cppUtil']]],
-  ['isdeadfunction',['isDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a6d268e8d588717601345be3a911a7625',1,'SVF::SVFUtil']]],
+  ['isdeadfunction',['isDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#ab775c1aeb5a4e2d18a96c6785d71cb41',1,'SVF::LLVMUtil']]],
   ['isdeallocextcall',['isDeallocExtCall',['../namespaceSVF_1_1SVFUtil.html#a1f52a7f183f1eec7c4db7e4e54fa5e2c',1,'SVF::SVFUtil::isDeallocExtCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a9973c1326717326b26ec1ea21ebd8da5',1,'SVF::SVFUtil::isDeallocExtCall(const Instruction *inst)']]],
   ['isdeallocextfun',['isDeallocExtFun',['../namespaceSVF_1_1SVFUtil.html#a3495236e22e4bc6404b6ac352060439c',1,'SVF::SVFUtil']]],
   ['isdecl',['isDecl',['../classSVF_1_1SVFFunction.html#a52581d00177fd5853d6f9de50b3e7fb9',1,'SVF::SVFFunction']]],
@@ -303,7 +303,7 @@ var searchData=
   ['isfunentryvfgnode',['isFunEntryVFGNode',['../classSVF_1_1VFG.html#a8994194bca2edfd9528880390de795ab',1,'SVF::VFG']]],
   ['isfunptr',['isFunPtr',['../classSVF_1_1SVFIR.html#a9235a60e7332c8416e113e7360441d97',1,'SVF::SVFIR']]],
   ['isgep',['isGep',['../classSVF_1_1TypeBasedHeapCloning.html#a724cdfa6fbf6b2b401332ea83265c4c2',1,'SVF::TypeBasedHeapCloning']]],
-  ['isgepconstantexpr',['isGepConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a384b0986a6c4e99dfc4e1629b3598c3c',1,'SVF::SVFUtil']]],
+  ['isgepconstantexpr',['isGepConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ab5fc50624b5fe83b676b14bec4b99685',1,'SVF::LLVMUtil']]],
   ['isglobalobj',['isGlobalObj',['../classSVF_1_1MemObj.html#a40462512a99eb258d8cd442c38d812b4',1,'SVF::MemObj::isGlobalObj()'],['../classSVF_1_1ObjTypeInfo.html#aa2855b69150287e5f04a7a683dc4c91f',1,'SVF::ObjTypeInfo::isGlobalObj()']]],
   ['isglobalsvfgnode',['isGlobalSVFGNode',['../classSVF_1_1SaberSVFGBuilder.html#afbcd75844af51ff51c09c377f80a49cf',1,'SVF::SaberSVFGBuilder::isGlobalSVFGNode()'],['../classSVF_1_1SrcSnkDDA.html#a391bb031b2f244e930b266a29cda0af7',1,'SVF::SrcSnkDDA::isGlobalSVFGNode()']]],
   ['ishareparfor',['isHareParFor',['../classSVF_1_1ThreadAPI.html#a86d75b7e3570337e484397e60f97d88e',1,'SVF::ThreadAPI::isHareParFor(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#adb944c2287cf7686a03b0e53a03ba025',1,'SVF::ThreadAPI::isHareParFor(CallSite cs) const']]],
@@ -341,7 +341,7 @@ var searchData=
   ['isinsensitivecallret',['isInsensitiveCallRet',['../classSVF_1_1ContextDDA.html#a76487b8b3e3abb8a16b5c4f5c7e79819',1,'SVF::ContextDDA']]],
   ['isinsidecondintralock',['isInsideCondIntraLock',['../classSVF_1_1LockAnalysis.html#af3b0c1b628bac48d07c24008fd9edc4f',1,'SVF::LockAnalysis']]],
   ['isinsideintralock',['isInsideIntraLock',['../classSVF_1_1LockAnalysis.html#ac33c03c9d4a978891009ae919559d567',1,'SVF::LockAnalysis']]],
-  ['isint2ptrconstantexpr',['isInt2PtrConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a6bc4376ada53ddfbf8df2ca817153555',1,'SVF::SVFUtil']]],
+  ['isint2ptrconstantexpr',['isInt2PtrConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463',1,'SVF::LLVMUtil']]],
   ['isinterestedpagnode',['isInterestedPAGNode',['../classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962',1,'SVF::VFG']]],
   ['isintracfgedge',['isIntraCFGEdge',['../classSVF_1_1ICFGEdge.html#a4e6d228dfc678618a423e8293877f04c',1,'SVF::ICFGEdge']]],
   ['isintralock',['isIntraLock',['../classSVF_1_1LockAnalysis.html#aa91522e95e8a9450032bfeaf7a3e491c',1,'SVF::LockAnalysis']]],
@@ -351,7 +351,7 @@ var searchData=
   ['isintrinsicfun',['isIntrinsicFun',['../namespaceSVF_1_1SVFUtil.html#ad2c53be5490882768d51aa894b37cbf1',1,'SVF::SVFUtil']]],
   ['isintrinsicinst',['isIntrinsicInst',['../namespaceSVF_1_1SVFUtil.html#ab7f58caf27c30a1d414e06f60ca84d80',1,'SVF::SVFUtil']]],
   ['isinworklist',['isInWorklist',['../classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d',1,'SVF::CFLSolver::isInWorklist()'],['../classSVF_1_1SrcSnkSolver.html#a1d9e1f15c9670758b9598e848ce5eeed',1,'SVF::SrcSnkSolver::isInWorklist()'],['../classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c',1,'SVF::GraphReachSolver::isInWorklist()'],['../classSVF_1_1WPASolver.html#a09c85e7a12715fc64e05a8448b699ec0',1,'SVF::WPASolver::isInWorklist()']]],
-  ['isirfile',['isIRFile',['../namespaceSVF_1_1SVFUtil.html#aa1657ceed1953f96329fe7226bf7da4c',1,'SVF::SVFUtil']]],
+  ['isirfile',['isIRFile',['../namespaceSVF_1_1LLVMUtil.html#ad8a8c32a09340f491fffffcb07dd7a41',1,'SVF::LLVMUtil']]],
   ['isisolatednode',['isIsolatedNode',['../classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7',1,'SVF::SVFVar']]],
   ['isjoininsymmetricloop',['isJoinInSymmetricLoop',['../classSVF_1_1MHP.html#afa0d341a2fb7b05522dc6e178eab7e8b',1,'SVF::MHP::isJoinInSymmetricLoop()'],['../classSVF_1_1ForkJoinAnalysis.html#a4e058b920c3648f943f85099690ff44f',1,'SVF::ForkJoinAnalysis::isJoinInSymmetricLoop()']]],
   ['isjoinmustexecutedinloop',['isJoinMustExecutedInLoop',['../classSVF_1_1TCT.html#a65d0260b37ab60debb7fa84fa0b7a5d4',1,'SVF::TCT']]],
@@ -381,15 +381,15 @@ var searchData=
   ['isnanorinfdouble',['IsNanOrInfDouble',['../epd_8h.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c'],['../epd_8c.html#aaf0d5247a708131ca7664c74e43d87c9',1,'IsNanOrInfDouble(double value): epd.c']]],
   ['isnecmp',['isNECmp',['../classSVF_1_1PathCondAllocator.html#aff24f70f9aa07b9f89c25bedab0e5a71',1,'SVF::PathCondAllocator']]],
   ['isnegcond',['isNegCond',['../classSVF_1_1PathCondAllocator.html#a7182283f15c556e9d0e9fdc6d62efeef',1,'SVF::PathCondAllocator::isNegCond()'],['../classSVF_1_1BDDExprManager.html#a2d07075a8948d9baf4de31d840aa7a17',1,'SVF::BDDExprManager::isNegCond()']]],
-  ['isnocallerfunction',['isNoCallerFunction',['../namespaceSVF_1_1SVFUtil.html#ae7007ebc6a543dc30ef076b4aed75b1b',1,'SVF::SVFUtil']]],
+  ['isnocallerfunction',['isNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#a17cce1a11e1bfc342a9e3e79fe35deef',1,'SVF::LLVMUtil']]],
   ['isnodehidden',['isNodeHidden',['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a2a467ab9b0a9ef28f88099f8ed58bba6',1,'llvm::DOTGraphTraits< ConstraintGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a8593f5bcb7ff8b33bce21cfbc91e3753',1,'llvm::DOTGraphTraits< IRGraph * >::isNodeHidden()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a08335822e61278ca8deac60882343d7f',1,'llvm::DOTGraphTraits< SVFG * >::isNodeHidden()']]],
   ['isnoninstriccallsite',['isNonInstricCallSite',['../namespaceSVF_1_1SVFUtil.html#a8d8216a92140d982303f83ea424ddc91',1,'SVF::SVFUtil']]],
   ['isnonlocalobject',['isNonLocalObject',['../classSVF_1_1MRGenerator.html#a2cf20660f2fd686fa3cabd046c4a10bf',1,'SVF::MRGenerator']]],
   ['isnonpointerobj',['isNonPointerObj',['../classSVF_1_1PointerAnalysis.html#a9d3b20c9883d734537fb98b57b5372b9',1,'SVF::PointerAnalysis::isNonPointerObj()'],['../classSVF_1_1SVFIR.html#a980e54129ece0757d7f0373f37428507',1,'SVF::SVFIR::isNonPointerObj()']]],
   ['isnonptrfieldobj',['isNonPtrFieldObj',['../classSVF_1_1MemObj.html#ad6926becf26a625cfe165aec120b2a1e',1,'SVF::MemObj::isNonPtrFieldObj()'],['../classSVF_1_1ObjTypeInfo.html#a3a58b1e0192b92dac5bbfad24adbcdac',1,'SVF::ObjTypeInfo::isNonPtrFieldObj()']]],
   ['isnullptr',['isNullPtr',['../classSVF_1_1SVFIR.html#a18ca66c199b910b15f1bfa77dcc98c30',1,'SVF::SVFIR::isNullPtr()'],['../classSVF_1_1SymbolTableInfo.html#ad095e4a569d399cadc03ce864f61c394',1,'SVF::SymbolTableInfo::isNullPtr()']]],
-  ['isnullptrsym',['isNullPtrSym',['../classSVF_1_1SymbolTableInfo.html#a65a7e9d6d238a04291cb7d0aa15ece90',1,'SVF::SymbolTableInfo::isNullPtrSym()'],['../namespaceSVF_1_1SVFUtil.html#a4c1107b2635f374e71e6a3a43834469b',1,'SVF::SVFUtil::isNullPtrSym()']]],
-  ['isobject',['isObject',['../namespaceSVF_1_1SVFUtil.html#acc9fd07cb66dbdeef696c3c745856094',1,'SVF::SVFUtil']]],
+  ['isnullptrsym',['isNullPtrSym',['../classSVF_1_1SymbolTableInfo.html#a65a7e9d6d238a04291cb7d0aa15ece90',1,'SVF::SymbolTableInfo::isNullPtrSym()'],['../namespaceSVF_1_1LLVMUtil.html#a847fb0c433b5d3611151636ca4bc5bc5',1,'SVF::LLVMUtil::isNullPtrSym()']]],
+  ['isobject',['isObject',['../namespaceSVF_1_1LLVMUtil.html#aca11801ed6ef6ff8d2a1e85bc0fc5794',1,'SVF::LLVMUtil']]],
   ['isolated',['isolated',['../structDdManager.html#a0407971624e8cbb0510be72840e1788b',1,'DdManager']]],
   ['isoperoverload',['isOperOverload',['../CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175',1,'CPPUtil.cpp']]],
   ['isouticfgedge',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
@@ -409,8 +409,8 @@ var searchData=
   ['isptaedge',['isPTAEdge',['../classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951',1,'SVF::SVFStmt']]],
   ['isptanode',['isPTANode',['../classSVF_1_1StmtVFGNode.html#a88d856dc04d922dc553bc2eae31e88a6',1,'SVF::StmtVFGNode::isPTANode()'],['../classSVF_1_1PHIVFGNode.html#a103e55e670ce614cabc13b8dc5b17b91',1,'SVF::PHIVFGNode::isPTANode()'],['../classSVF_1_1ArgumentVFGNode.html#ab891206b29c1cf7a732f09f5a187928e',1,'SVF::ArgumentVFGNode::isPTANode()'],['../classSVF_1_1NullPtrVFGNode.html#a320a99e99af0c6acf5dadc9e7077f776',1,'SVF::NullPtrVFGNode::isPTANode()']]],
   ['isptr',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['isptr2intconstantexpr',['isPtr2IntConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a093b7ae4ad144fb5d028366b1814861a',1,'SVF::SVFUtil']]],
-  ['isptrindeadfunction',['isPtrInDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a4dcfe3e66a16813350ec8dffd47c5644',1,'SVF::SVFUtil']]],
+  ['isptr2intconstantexpr',['isPtr2IntConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a2834d135a2385efff783e6e22d2eff1f',1,'SVF::LLVMUtil']]],
+  ['isptrindeadfunction',['isPtrInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a0649699433c2fe299ecde41c93f3e4bf',1,'SVF::LLVMUtil']]],
   ['isptronlysvfg',['isPtrOnlySVFG',['../classSVF_1_1VFG.html#a268ec1495cbe4adb51fa50d28a4cba3d',1,'SVF::VFG']]],
   ['ispureabstract',['isPureAbstract',['../classSVF_1_1CHNode.html#a268ccdfb486cc2efa8581ee7a3b5af39',1,'SVF::CHNode::isPureAbstract()'],['../classSVF_1_1DCHNode.html#aed5e8397d43b602b79425acdae5e01f5',1,'SVF::DCHNode::isPureAbstract()']]],
   ['ispwcnode',['isPWCNode',['../classSVF_1_1ConstraintGraph.html#a84468bc9355d31e8c3e18369036ddf5c',1,'SVF::ConstraintGraph::isPWCNode()'],['../classSVF_1_1ConstraintNode.html#a0ffe4f1ca1a6f70466cc1c6b3b12c90d',1,'SVF::ConstraintNode::isPWCNode()']]],
@@ -423,7 +423,7 @@ var searchData=
   ['isretcfgedge',['isRetCFGEdge',['../classSVF_1_1ICFGEdge.html#ae3e7a6596de9fd3a25a28242a06ddd80',1,'SVF::ICFGEdge']]],
   ['isretdirectvfgedge',['isRetDirectVFGEdge',['../classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf',1,'SVF::VFGEdge']]],
   ['isretindirectvfgedge',['isRetIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ad0df7ea2de8de5607229dfcdd7b70b87',1,'SVF::VFGEdge']]],
-  ['isreturn',['isReturn',['../namespaceSVF_1_1SVFUtil.html#abd525a2e3b7b9167b61b2304cc2cbdf2',1,'SVF::SVFUtil']]],
+  ['isreturn',['isReturn',['../namespaceSVF_1_1LLVMUtil.html#a832b1306f23e0f3db8cf5c0a35dc4561',1,'SVF::LLVMUtil']]],
   ['isretvfgedge',['isRetVFGEdge',['../classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3',1,'SVF::VFGEdge']]],
   ['issamescev',['isSameSCEV',['../classSVF_1_1ForkJoinAnalysis.html#a4d073da3e5266964dad7422033013219',1,'SVF::ForkJoinAnalysis']]],
   ['issamethisptrinconstructor',['isSameThisPtrInConstructor',['../namespaceSVF_1_1cppUtil.html#a5dd3230226002e126f6b0a877f9550ce',1,'SVF::cppUtil']]],
@@ -432,7 +432,7 @@ var searchData=
   ['issatisfiableforall',['isSatisfiableForAll',['../classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed',1,'SVF::ProgSlice']]],
   ['issatisfiableforpairs',['isSatisfiableForPairs',['../classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4',1,'SVF::ProgSlice']]],
   ['isscalar',['isScalar',['../classSVF_1_1DCHNode.html#a50cf99ff5cc910512c1ce3987c7395ef',1,'SVF::DCHNode']]],
-  ['isselectconstantexpr',['isSelectConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a07d991d5bfccce9ebdef0cbb6f4bf739',1,'SVF::SVFUtil']]],
+  ['isselectconstantexpr',['isSelectConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e',1,'SVF::LLVMUtil']]],
   ['issinglefieldobj',['isSingleFieldObj',['../classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc',1,'SVF::ConstraintGraph']]],
   ['issink',['isSink',['../classSVF_1_1SVFGStat.html#ae905f0d64db3039f8fd3c117c4624e31',1,'SVF::SVFGStat::isSink()'],['../classSVF_1_1SrcSnkDDA.html#a703bfc5c825d66fdb0d74eb89d181581',1,'SVF::SrcSnkDDA::isSink()']]],
   ['issinklikefun',['isSinkLikeFun',['../classSVF_1_1FileChecker.html#aac61c4566cd79827879f4862664a432e',1,'SVF::FileChecker::isSinkLikeFun()'],['../classSVF_1_1LeakChecker.html#aa45d35a0dc5162e8cef8b27b92ff243d',1,'SVF::LeakChecker::isSinkLikeFun()'],['../classSVF_1_1SrcSnkDDA.html#ab392142d8b4610635aef32c2f7ea8f91',1,'SVF::SrcSnkDDA::isSinkLikeFun()']]],
@@ -470,8 +470,8 @@ var searchData=
   ['isthreadmhpindirectvfgedge',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
   ['isthunkfunc',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
   ['istoplevelptrstmt',['isTopLevelPtrStmt',['../classSVF_1_1DDAVFSolver.html#a7b35588de00e322afd742041bf735571',1,'SVF::DDAVFSolver']]],
-  ['istruncconstantexpr',['isTruncConstantExpr',['../namespaceSVF_1_1SVFUtil.html#a1373688c6faba4dcdb640106575ea433',1,'SVF::SVFUtil']]],
-  ['isunaryconstantexpr',['isUnaryConstantExpr',['../namespaceSVF_1_1SVFUtil.html#af14757d5cf466bba20a125f118378560',1,'SVF::SVFUtil']]],
+  ['istruncconstantexpr',['isTruncConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8',1,'SVF::LLVMUtil']]],
+  ['isunaryconstantexpr',['isUnaryConstantExpr',['../namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349',1,'SVF::LLVMUtil']]],
   ['isunconditional',['isUnconditional',['../classSVF_1_1BranchStmt.html#a038d65e38fe792fec4050d3d1c9c5180',1,'SVF::BranchStmt']]],
   ['isvalidpointer',['isValidPointer',['../classSVF_1_1SVFIR.html#addc84dae75be8e8b9deccdb4360736d3',1,'SVF::SVFIR']]],
   ['isvalidtoplevelptr',['isValidTopLevelPtr',['../classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139',1,'SVF::SVFIR']]],

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

@@ -60,7 +60,7 @@ var searchData=
   ['loadsrcnodes',['loadSrcNodes',['../classSVF_1_1AliasDDAClient.html#a246448efd1ff5da683a6ffe9f759e282',1,'SVF::AliasDDAClient']]],
   ['loadstmt',['LoadStmt',['../classSVF_1_1LoadStmt.html',1,'SVF::LoadStmt'],['../classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22',1,'SVF::LoadStmt::LoadStmt()'],['../classSVF_1_1LoadStmt.html#a2efafa925a30de73735ca73b1632b5f8',1,'SVF::LoadStmt::LoadStmt(const LoadStmt &)'],['../classSVF_1_1LoadStmt.html#a92c5817abfaa1f6fbc9ee911f458dfb2',1,'SVF::LoadStmt::LoadStmt(SVFVar *s, SVFVar *d)']]],
   ['loadstomrsmap',['LoadsToMRsMap',['../classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175',1,'SVF::MRGenerator::LoadsToMRsMap()'],['../classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba',1,'SVF::MRGenerator::loadsToMRsMap()']]],
-  ['loadstopointstomap',['LoadsToPointsToMap',['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()']]],
+  ['loadstopointstomap',['loadsToPointsToMap',['../classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975',1,'SVF::MRGenerator::loadsToPointsToMap()'],['../classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c',1,'SVF::MRGenerator::LoadsToPointsToMap()']]],
   ['loadsvfgnode',['LoadSVFGNode',['../namespaceSVF.html#a3ce49be3724e1e8423ccdfa726fbf6c8',1,'SVF']]],
   ['loadtime',['loadTime',['../classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067',1,'SVF::FlowSensitive']]],
   ['loadtomusetmap',['LoadToMUSetMap',['../classSVF_1_1MemSSA.html#a94164c59384ef04f98a3713b504fca35',1,'SVF::MemSSA']]],
@@ -91,7 +91,7 @@ var searchData=
   ['lockset',['LockSet',['../classSVF_1_1LockAnalysis.html#a4bde0f39a6b5cf83e0011d7ef272c685',1,'SVF::LockAnalysis']]],
   ['locksites',['locksites',['../classSVF_1_1LockAnalysis.html#a87c412a54f48e5314454cd1d44ef9b0e',1,'SVF::LockAnalysis']]],
   ['locksitetolockset',['LockSiteToLockSet',['../classSVF_1_1LockAnalysis.html#a1f9ae41c4ed7450d0d8b29cd20a6ef25',1,'SVF::LockAnalysis']]],
-  ['lockspan',['LockSpan',['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()'],['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()']]],
+  ['lockspan',['lockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a762505799b9257bbcb766fccdce40fd4',1,'SVF::SVFGNodeLockSpan::lockSpan()'],['../classSVF_1_1LockAnalysis.html#a07b7d49e1fbe3e5dc694b6aadbee05b8',1,'SVF::LockAnalysis::LockSpan()'],['../classSVF_1_1MHP.html#a08ba219ec02b07b1bbd91a88ebb4acd7',1,'SVF::MHP::LockSpan()']]],
   ['locktime',['lockTime',['../classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2',1,'SVF::LockAnalysis']]],
   ['lockvalid',['LockValid',['../classSVF_1_1Options.html#a78b3b44f2c0dc94dc1363ca57ee76d66',1,'SVF::Options']]],
   ['locmemmodel',['LocMemModel',['../classSVF_1_1Options.html#aba8e13f8bb26cf6a0718282e6f9a1940',1,'SVF::Options']]],

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

@@ -100,7 +100,7 @@ var searchData=
   ['numinit',['numInit',['../classSVF_1_1TypeBasedHeapCloning.html#a4c658be1ade99ad1e848cd80332e38ce',1,'SVF::TypeBasedHeapCloning']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
@@ -163,7 +163,7 @@ var searchData=
   ['numofmhpld',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
   ['numofmhpqueries',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
   ['numofmhpst',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
-  ['numofmssaphi',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
+  ['numofmssaphi',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
   ['numofnewsvfgedges',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
   ['numofnodes',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
   ['numofnodesincycles',['NumOfNodesInCycles',['../classSVF_1_1PTAStat.html#aea3e95097b3b9d326bef0d36f17e51a5',1,'SVF::PTAStat']]],
@@ -201,7 +201,7 @@ var searchData=
   ['numofretnodes',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
   ['numofreturns',['NumOfReturns',['../classSVF_1_1PTAStat.html#a0a552611fcd20e1310290bdae404a514',1,'SVF::PTAStat']]],
   ['numofscc',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
-  ['numofsccdetection',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()'],['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()']]],
+  ['numofsccdetection',['NumOfSCCDetection',['../classSVF_1_1PTAStat.html#ad1731b88c24bb79728f62cd3e9c55699',1,'SVF::PTAStat::NumOfSCCDetection()'],['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase::numOfSCCDetection()']]],
   ['numofsfr',['NumOfSfr',['../classSVF_1_1PTAStat.html#a07a1db62ddba50bda787b2985ef8d135',1,'SVF::PTAStat']]],
   ['numofsfrs',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
   ['numofstackobjs',['NumOfStackObjs',['../classSVF_1_1PTAStat.html#ae05503909688a17dc1f282d1d029d24e',1,'SVF::PTAStat']]],

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

@@ -58,7 +58,7 @@ var searchData=
   ['operator_7c_7c',['operator||',['../classSVF_1_1Z3Expr.html#a31327900a231526ff8f62be87c5f309d',1,'SVF::Z3Expr']]],
   ['opicfgnodes',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
   ['opicfgnodevec',['OpICFGNodeVec',['../classSVF_1_1PhiStmt.html#ac505a4fe33e82f555663872e81220ba4',1,'SVF::PhiStmt']]],
-  ['opincomingbbs',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()']]],
+  ['opincomingbbs',['OPIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80',1,'SVF::IntraPHIVFGNode::OPIncomingBBs()'],['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode::opIncomingBBs()']]],
   ['opit',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['oppts',['opPts',['../classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639',1,'SVF::PersistentPointsToCache']]],
   ['options',['Options',['../classSVF_1_1Options.html',1,'SVF::Options'],['../classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078',1,'SVF::Options::Options()']]],
@@ -66,11 +66,11 @@ var searchData=
   ['options_2eh',['Options.h',['../Options_8h.html',1,'']]],
   ['optsvfg',['OPTSVFG',['../classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a',1,'SVF::Options']]],
   ['opvarbegin',['opVarBegin',['../classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9',1,'SVF::MultiOpndStmt']]],
-  ['opvars',['OPVars',['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()'],['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()']]],
+  ['opvars',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt::opVars()'],['../classSVF_1_1MultiOpndStmt.html#acf8c7cfbf1c8baab672040635bb9a007',1,'SVF::MultiOpndStmt::OPVars()']]],
   ['opver',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
   ['opverbegin',['opVerBegin',['../classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a',1,'SVF::MSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9',1,'SVF::IntraMSSAPHISVFGNode::opVerBegin()'],['../classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904',1,'SVF::CmpVFGNode::opVerBegin()'],['../classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5',1,'SVF::BinaryOPVFGNode::opVerBegin()'],['../classSVF_1_1UnaryOPVFGNode.html#ab63ddaa05181f2c60ca7a001001a908d',1,'SVF::UnaryOPVFGNode::opVerBegin()'],['../classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369',1,'SVF::PHIVFGNode::opVerBegin()'],['../classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f',1,'SVF::MSSAPHI::opVerBegin()']]],
   ['opverend',['opVerEnd',['../classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf',1,'SVF::MSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799',1,'SVF::IntraMSSAPHISVFGNode::opVerEnd()'],['../classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c',1,'SVF::CmpVFGNode::opVerEnd()'],['../classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4',1,'SVF::BinaryOPVFGNode::opVerEnd()'],['../classSVF_1_1UnaryOPVFGNode.html#af31a06d33f41bdcff625ac23e269708c',1,'SVF::UnaryOPVFGNode::opVerEnd()'],['../classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20',1,'SVF::PHIVFGNode::opVerEnd()'],['../classSVF_1_1MultiOpndStmt.html#ad53097d07487d564e7d13f9d7d9ab10c',1,'SVF::MultiOpndStmt::opVerEnd()'],['../classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88',1,'SVF::MSSAPHI::opVerEnd()']]],
-  ['opvers',['OPVers',['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
+  ['opvers',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()'],['../classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb',1,'SVF::MSSAPHISVFGNode::OPVers()'],['../classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22',1,'SVF::CmpVFGNode::OPVers()'],['../classSVF_1_1BinaryOPVFGNode.html#a880c8260e3acb3fbe431446f2c1f5990',1,'SVF::BinaryOPVFGNode::OPVers()'],['../classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41',1,'SVF::UnaryOPVFGNode::OPVers()'],['../classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c',1,'SVF::PHIVFGNode::OPVers()'],['../classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba',1,'SVF::MSSAPHI::OPVers()']]],
   ['or',['OR',['../classSVF_1_1BDDExprManager.html#a276f68eefe6b168ad5dc9e32c4f265bd',1,'SVF::BDDExprManager']]],
   ['orderedmap',['OrderedMap',['../namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6',1,'SVF']]],
   ['orderednodeset',['OrderedNodeSet',['../namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8',1,'SVF']]],
@@ -99,6 +99,6 @@ var searchData=
   ['outs',['outs',['../namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61',1,'SVF::SVFUtil']]],
   ['outstream',['OutStream',['../namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31',1,'SVF']]],
   ['outupdatedvarmap',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
-  ['overlap',['Overlap',['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()'],['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()']]],
+  ['overlap',['overlap',['../classSVF_1_1CondPTAImpl.html#adf0acbb0c605278e43d88787d651bbd8',1,'SVF::CondPTAImpl::overlap()'],['../classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c',1,'SVF::LocationSet::Overlap()']]],
   ['owned_5fmodules',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
 ];

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

@@ -319,9 +319,9 @@ var searchData=
   ['arg_5fempty',['arg_empty',['../classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3',1,'SVF::CallSite']]],
   ['arg_5fend',['arg_end',['../classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e',1,'SVF::CallSite']]],
   ['arg_5fsize',['arg_size',['../classSVF_1_1SVFFunction.html#a3757cd3ae587eaca488fa4cd8ad3967d',1,'SVF::SVFFunction::arg_size()'],['../classSVF_1_1CallSite.html#a145676880fce313b4634d14118476c27',1,'SVF::CallSite::arg_size()']]],
-  ['argindeadfunction',['ArgInDeadFunction',['../namespaceSVF_1_1SVFUtil.html#a4543a9c0299c72deb68f2472e1ea05ce',1,'SVF::SVFUtil']]],
-  ['arginnocallerfunction',['ArgInNoCallerFunction',['../namespaceSVF_1_1SVFUtil.html#afd690c09e01989e57899875ca97f0166',1,'SVF::SVFUtil']]],
-  ['arginprogentryfunction',['ArgInProgEntryFunction',['../namespaceSVF_1_1SVFUtil.html#a4d4191a1c81d80bf26aac120ed880135',1,'SVF::SVFUtil']]],
+  ['argindeadfunction',['ArgInDeadFunction',['../namespaceSVF_1_1LLVMUtil.html#a5cbde00eef789f682df972ae71b44449',1,'SVF::LLVMUtil']]],
+  ['arginnocallerfunction',['ArgInNoCallerFunction',['../namespaceSVF_1_1LLVMUtil.html#ab34319e843527c98c1b34ce23ecb2d49',1,'SVF::LLVMUtil']]],
+  ['arginprogentryfunction',['ArgInProgEntryFunction',['../namespaceSVF_1_1LLVMUtil.html#adad59a953dd81e213db71babbbc9df2f',1,'SVF::LLVMUtil']]],
   ['argumentvfgnode',['ArgumentVFGNode',['../classSVF_1_1ArgumentVFGNode.html#a0b35234b96e98099a289b73028bae276',1,'SVF::ArgumentVFGNode']]],
   ['array_5fcompare',['array_compare',['../cuddInt_8c.html#a7bf1f52c1a099b9c9ff70e091fc2a11b',1,'cuddInt.c']]],
   ['array_5fhash',['array_hash',['../cuddInt_8c.html#aa7a592597b33e6068838b791218590dc',1,'cuddInt.c']]],

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

@@ -185,9 +185,9 @@ var searchData=
   ['strcpy',['strcpy',['../util_8h.html#add539a5755e4c4070b0c8ca97477fe47',1,'util.h']]],
   ['strcspn',['strcspn',['../util_8h.html#a400ca51e66dc11efb3d8ef17ced1ffa4',1,'util.h']]],
   ['strerror',['strerror',['../util_8h.html#a3b960eeb937b0deb53d4a2812d342242',1,'util.h']]],
-  ['stripallcasts',['stripAllCasts',['../namespaceSVF_1_1SVFUtil.html#a69991ab4e9a7705202c1357079ab5fa8',1,'SVF::SVFUtil']]],
+  ['stripallcasts',['stripAllCasts',['../namespaceSVF_1_1LLVMUtil.html#a38ce45ae5f017c90115ce444b44d478c',1,'SVF::LLVMUtil']]],
   ['striparray',['stripArray',['../classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4',1,'SVF::DCHGraph']]],
-  ['stripconstantcasts',['stripConstantCasts',['../namespaceSVF_1_1SVFUtil.html#a86763e6a3606598580cd0172aecb5bc7',1,'SVF::SVFUtil']]],
+  ['stripconstantcasts',['stripConstantCasts',['../namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f',1,'SVF::LLVMUtil']]],
   ['stripqualifiers',['stripQualifiers',['../classSVF_1_1DCHGraph.html#a175ed6ad0c9b23d5617f755ab96c76c4',1,'SVF::DCHGraph']]],
   ['stripspace',['stripSpace',['../classSVF_1_1GrammarBuilder.html#a6de372fbe80d33a5688cada0adca0bb8',1,'SVF::GrammarBuilder']]],
   ['strlen',['strlen',['../util_8h.html#a492442620ce65db20fe7297b43cbca65',1,'util.h']]],
@@ -212,7 +212,7 @@ var searchData=
   ['svfgnodelockspan',['SVFGNodeLockSpan',['../classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e',1,'SVF::SVFGNodeLockSpan']]],
   ['svfgopt',['SVFGOPT',['../classSVF_1_1SVFGOPT.html#a239475c15b39d54c632427307b8e9350',1,'SVF::SVFGOPT']]],
   ['svfgsccdetection',['SVFGSCCDetection',['../classSVF_1_1DDAVFSolver.html#aba0ec611a5cfd096ac0b8b11e0bd5580',1,'SVF::DDAVFSolver']]],
-  ['svfgstat',['svfgStat',['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()'],['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()']]],
+  ['svfgstat',['SVFGStat',['../classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03',1,'SVF::SVFGStat::SVFGStat()'],['../classSVF_1_1FlowSensitive.html#a5f015d8f2b0956306822172d02b415c3',1,'SVF::FlowSensitive::svfgStat()']]],
   ['svfir',['SVFIR',['../classSVF_1_1SVFIR.html#abf511f82cdbf7a6d9b6da167aee57636',1,'SVF::SVFIR']]],
   ['svfirbuilder',['SVFIRBuilder',['../classSVF_1_1SVFIRBuilder.html#a8c25c3903cda26312f182014f29069fc',1,'SVF::SVFIRBuilder']]],
   ['svfloop',['SVFLoop',['../classSVF_1_1SVFLoop.html#a25b9a079f48aa0374c91be6a1e9697f8',1,'SVF::SVFLoop']]],

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

@@ -96,6 +96,7 @@ var searchData=
   ['collectmodrefforcall',['collectModRefForCall',['../classSVF_1_1MRGenerator.html#a502f8379620378b36bc12d9a91b408d2',1,'SVF::MRGenerator']]],
   ['collectmodrefforloadstore',['collectModRefForLoadStore',['../classSVF_1_1MRGenerator.html#a207dfa4c9f044764665478142c6e6b22',1,'SVF::MRGenerator']]],
   ['collectmultiforkedthreads',['collectMultiForkedThreads',['../classSVF_1_1TCT.html#ad15753a9c20d738325e5c0edea6c9c56',1,'SVF::TCT']]],
+  ['collectnullptrblackholesyms',['collectNullPtrBlackholeSyms',['../classSVF_1_1SymbolTableBuilder.html#a1186ed5d52a12f8495d3b64df78f3052',1,'SVF::SymbolTableBuilder']]],
   ['collectobj',['collectObj',['../classSVF_1_1SymbolTableBuilder.html#a891bfea437256d1b7aa957d32797e419',1,'SVF::SymbolTableBuilder']]],
   ['collectptschain',['CollectPtsChain',['../classSVF_1_1MRGenerator.html#a81bd687d34eea884dfcf68274fcec7b5',1,'SVF::MRGenerator::CollectPtsChain()'],['../classSVF_1_1SaberSVFGBuilder.html#a411e168e2a6c27e15186c609c5e216b3',1,'SVF::SaberSVFGBuilder::CollectPtsChain()']]],
   ['collectregdefs',['collectRegDefs',['../classSVF_1_1MemSSA.html#a7c0bb1406f0e583c38e522ca06dfa73a',1,'SVF::MemSSA']]],

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

@@ -41,7 +41,7 @@ var searchData=
   ['freematrix',['freeMatrix',['../cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7',1,'cuddInt.c']]],
   ['freepathpair',['freePathPair',['../cuddInt_8c.html#a498f7e0ebf19b278dd9e7d9651b82eef',1,'cuddInt.c']]],
   ['fsmpta',['FSMPTA',['../classSVF_1_1FSMPTA.html#a551da3b02d2387cd551365e4c61e4d35',1,'SVF::FSMPTA']]],
-  ['functiondoesnotret',['functionDoesNotRet',['../namespaceSVF_1_1SVFUtil.html#a7a7e06e90a215086696effb5f5537baf',1,'SVF::SVFUtil']]],
+  ['functiondoesnotret',['functionDoesNotRet',['../namespaceSVF_1_1LLVMUtil.html#a651b6a1cf3665277d2241220bb145aed',1,'SVF::LLVMUtil']]],
   ['funentryicfgnode',['FunEntryICFGNode',['../classSVF_1_1FunEntryICFGNode.html#a15fd95468e2200d92d650625d4fa2f31',1,'SVF::FunEntryICFGNode']]],
   ['funexiticfgnode',['FunExitICFGNode',['../classSVF_1_1FunExitICFGNode.html#a84f43a81c2b6df125f32ddcb47b8858b',1,'SVF::FunExitICFGNode']]],
   ['funhasret',['funHasRet',['../classSVF_1_1SVFIR.html#afe8274c3b7317fccef5314662a182046',1,'SVF::SVFIR']]],