svf-tools 1.0.472 → 1.0.475

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

@@ -57,10 +57,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']]],
@@ -170,7 +170,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']]],
@@ -272,14 +272,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']]],
@@ -428,7 +428,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()']]],
@@ -514,7 +514,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']]],
@@ -532,7 +532,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()']]],
@@ -543,7 +543,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']]],
@@ -655,12 +655,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/functions_8.js

@@ -112,10 +112,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()']]],
@@ -127,10 +127,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']]],
@@ -139,13 +139,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']]],
   ['isdeclaration',['isDeclaration',['../classSVF_1_1SVFFunction.html#ab672f0255ec8e42d5e414bc8c72b7c76',1,'SVF::SVFFunction']]],
@@ -178,7 +178,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']]],
@@ -216,7 +216,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']]],
@@ -225,7 +225,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']]],
@@ -254,15 +254,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']]],
   ['isoperoverload',['isOperOverload',['../CPPUtil_8cpp.html#aaf7dd7cff6ac20b3702113606aafa175',1,'CPPUtil.cpp']]],
   ['isouticfgedge',['isOutICFGEdge',['../classSVF_1_1SVFLoop.html#a5b2ff96defd83686c2737cafa0e1cc83',1,'SVF::SVFLoop']]],
   ['isoutofbudgetdpm',['isOutOfBudgetDpm',['../classSVF_1_1DDAVFSolver.html#a0b1f774883adc7d535f8363bf3c8b1e8',1,'SVF::DDAVFSolver']]],
@@ -280,8 +280,8 @@ var searchData=
   ['isprotectedbycommonlock',['isProtectedByCommonLock',['../classSVF_1_1LockAnalysis.html#a4d4501d62bf51475662b6ba66e6380aa',1,'SVF::LockAnalysis']]],
   ['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()']]],
-  ['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()']]],
@@ -294,7 +294,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']]],
@@ -303,7 +303,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()']]],
@@ -339,8 +339,8 @@ var searchData=
   ['isthreadjoincall',['isThreadJoinCall',['../namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a',1,'SVF::SVFUtil::isThreadJoinCall(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a14793b41b05439a8a82fdce02e0587d5',1,'SVF::SVFUtil::isThreadJoinCall(const Instruction *inst)']]],
   ['isthreadmhpindirectvfgedge',['isThreadMHPIndirectVFGEdge',['../classSVF_1_1VFGEdge.html#ace832abe1ec87e3e2338944061d09ea4',1,'SVF::VFGEdge']]],
   ['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/functions_f.js

@@ -72,7 +72,7 @@ var searchData=
   ['processalladdr',['processAllAddr',['../classSVF_1_1Andersen.html#adccf6acf63abc9cafc92b2148396fd10',1,'SVF::Andersen::processAllAddr()'],['../classSVF_1_1Steensgaard.html#ada542b3e393f23938d37e479008e8cc0',1,'SVF::Steensgaard::processAllAddr()']]],
   ['processandersenresults',['processAndersenResults',['../classSVF_1_1IRAnnotator.html#a1dfd230ddbc751ddf6833a6dc22b84f7',1,'SVF::IRAnnotator']]],
   ['processargumentnode',['processArgumentNode',['../classSVF_1_1IRAnnotator.html#a79ce14045e7321569b95cff0b4800c08',1,'SVF::IRAnnotator']]],
-  ['processarguments',['processArguments',['../namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50',1,'SVF::SVFUtil']]],
+  ['processarguments',['processArguments',['../namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732',1,'SVF::LLVMUtil']]],
   ['processbasicblocknode',['processBasicBlockNode',['../classSVF_1_1IRAnnotator.html#a6da6bf2db9dd582739e621aefc72025f',1,'SVF::IRAnnotator']]],
   ['processcast',['processCast',['../classSVF_1_1AndersenWaveDiff.html#a57c7c12ebcf06f2912e93c802c6cdd02',1,'SVF::AndersenWaveDiff']]],
   ['processce',['processCE',['../classSVF_1_1SVFIRBuilder.html#a5adf8baa546292434ba1fec48db2d0a7',1,'SVF::SVFIRBuilder']]],

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

@@ -2,6 +2,7 @@ var searchData=
 [
   ['cpputil',['cppUtil',['../namespaceSVF_1_1cppUtil.html',1,'SVF']]],
   ['ctir',['ctir',['../namespaceSVF_1_1cppUtil_1_1ctir.html',1,'SVF::cppUtil']]],
+  ['llvmutil',['LLVMUtil',['../namespaceSVF_1_1LLVMUtil.html',1,'SVF']]],
   ['svf',['SVF',['../namespaceSVF.html',1,'']]],
   ['svfutil',['SVFUtil',['../namespaceSVF_1_1SVFUtil.html',1,'SVF']]]
 ];

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

@@ -26,7 +26,7 @@ var searchData=
   ['tid',['tid',['../classSVF_1_1CxtThreadStmt.html#ad96bacc3de1ce576ad397d19aa99a269',1,'SVF::CxtThreadStmt::tid()'],['../classSVF_1_1CxtThreadProc.html#a99b24e1be2bfb49569532c2c28c68969',1,'SVF::CxtThreadProc::tid()']]],
   ['timelimit',['timeLimit',['../structDdManager.html#a6c14f932c4a66c6234e6b19bd8b6647f',1,'DdManager']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['TimeOfGeneratingMemRegions',['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()']]],
   ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],

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

@@ -8,7 +8,7 @@ var searchData=
   ['uniqueunions',['uniqueUnions',['../classSVF_1_1PersistentPointsToCache.html#aacebdd87b1dd45250391d035b032f9d4',1,'SVF::PersistentPointsToCache']]],
   ['univ',['univ',['../structDdManager.html#ab21d56989b9a13502aeb84228de45df0',1,'DdManager']]],
   ['unlocksites',['unlocksites',['../classSVF_1_1LockAnalysis.html#aec459af1d1624df55ffc95cd75655780',1,'SVF::LockAnalysis']]],
-  ['updatecallgraphtime',['updateCallGraphTime',['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()'],['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()']]],
+  ['updatecallgraphtime',['UpdateCallGraphTime',['../classSVF_1_1PTAStat.html#a8aedfeb35f76e6d33135637156468894',1,'SVF::PTAStat::UpdateCallGraphTime()'],['../classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07',1,'SVF::FlowSensitive::updateCallGraphTime()']]],
   ['updatetime',['updateTime',['../classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226',1,'SVF::FlowSensitive']]],
   ['usedregs',['usedRegs',['../classSVF_1_1MemSSA.html#acf840b71b67cabe831f01f2d358f27fa',1,'SVF::MemSSA']]],
   ['usepcg',['UsePCG',['../classSVF_1_1Options.html#af2f66307e1d51947676f622c98ef0762',1,'SVF::Options']]],

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

@@ -43,7 +43,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']]],
@@ -106,7 +106,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']]],
@@ -144,7 +144,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/svf-ex_8cpp.html

@@ -165,9 +165,8 @@ Functions</h2></td></tr>
 <p>Collect all successor nodes on ICFG traverseOnICFG(icfg, value); </p>
 
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00142">142</a> of file <a class="el" href="svf-ex_8cpp_source.html">svf-ex.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;{</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVFUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;                                <span class="stringliteral">&quot;Whole Program Points-to Analysis\n&quot;</span>);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">build</a>(svfModule);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    <a class="code" href="classSVF_1_1Andersen.html">Andersen</a>* ander = AndersenWaveDiff::createAndersenWaveDiff(pag);</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    <a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* callgraph = ander-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>();</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">dump</a>(<span class="stringliteral">&quot;icfg&quot;</span>);</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    <a class="code" href="classSVF_1_1VFG.html">VFG</a>* vfg = <span class="keyword">new</span> <a class="code" href="classSVF_1_1VFG.html">VFG</a>(callgraph);</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <a class="code" href="classSVF_1_1SVFGBuilder.html">SVFGBuilder</a> svfBuilder(<span class="keyword">true</span>);</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    <a class="code" href="classSVF_1_1SVFG.html">SVFG</a>* svfg = svfBuilder.buildFullSVFG(ander);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    <span class="comment">// clean up memory</span></div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    <span class="keyword">delete</span> vfg;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    <span class="keyword">delete</span> svfg;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    AndersenWaveDiff::releaseAndersenWaveDiff();</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    SVFIR::releaseSVFIR();</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    LLVMModuleSet::getLLVMModuleSet()-&gt;dumpModulesToFile(<span class="stringliteral">&quot;.svf.bc&quot;</span>);</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <a class="code" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a>();</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    llvm::llvm_shutdown();</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;}</div><div class="ttc" id="classSVF_1_1VFG_html"><div class="ttname"><a href="classSVF_1_1VFG.html">SVF::VFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00050">VFG.h:50</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa6d56f9580f76fd09d25ce6cf7541e98"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build(SVFModule *svfModule)</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00049">SVFIRBuilder.cpp:49</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a62ca9a79ce7b6960e3fc42d8b183bd50"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a62ca9a79ce7b6960e3fc42d8b183bd50">SVF::SVFUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00427">LLVMUtil.cpp:427</a></div></div>
+<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;{</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="keywordtype">int</span> arg_num = 0;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <span class="keywordtype">char</span> **arg_value = <span class="keyword">new</span> <span class="keywordtype">char</span>*[argc];</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    std::vector&lt;std::string&gt; moduleNameVec;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <a class="code" href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">LLVMUtil::processArguments</a>(argc, argv, arg_num, arg_value, moduleNameVec);</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    cl::ParseCommandLineOptions(arg_num, arg_value,</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;                                <span class="stringliteral">&quot;Whole Program Points-to Analysis\n&quot;</span>);</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">if</span> (Options::WriteAnder == <span class="stringliteral">&quot;ir_annotator&quot;</span>)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    {</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        LLVMModuleSet::getLLVMModuleSet()-&gt;preProcessBCs(moduleNameVec);</div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    }</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html">SVFModule</a>* svfModule = LLVMModuleSet::getLLVMModuleSet()-&gt;buildSVFModule(moduleNameVec);</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;    svfModule-&gt;<a class="code" href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">buildSymbolTableInfo</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <a class="code" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> builder;</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* pag = builder.<a class="code" href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">build</a>(svfModule);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    <a class="code" href="classSVF_1_1Andersen.html">Andersen</a>* ander = AndersenWaveDiff::createAndersenWaveDiff(pag);</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    <a class="code" href="classSVF_1_1PTACallGraph.html">PTACallGraph</a>* callgraph = ander-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">getPTACallGraph</a>();</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;    icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">dump</a>(<span class="stringliteral">&quot;icfg&quot;</span>);</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    <a class="code" href="classSVF_1_1VFG.html">VFG</a>* vfg = <span class="keyword">new</span> <a class="code" href="classSVF_1_1VFG.html">VFG</a>(callgraph);</div><div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;</div><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    <a class="code" href="classSVF_1_1SVFGBuilder.html">SVFGBuilder</a> svfBuilder(<span class="keyword">true</span>);</div><div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;    <a class="code" href="classSVF_1_1SVFG.html">SVFG</a>* svfg = svfBuilder.buildFullSVFG(ander);</div><div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;</div><div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;</div><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;    <span class="comment">// clean up memory</span></div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    <span class="keyword">delete</span> vfg;</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;    <span class="keyword">delete</span> svfg;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;    AndersenWaveDiff::releaseAndersenWaveDiff();</div><div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;    SVFIR::releaseSVFIR();</div><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    LLVMModuleSet::getLLVMModuleSet()-&gt;dumpModulesToFile(<span class="stringliteral">&quot;.svf.bc&quot;</span>);</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    <a class="code" href="classSVF_1_1LLVMModuleSet.html#a2f8e91c075d90be66412a079fe73e936">SVF::LLVMModuleSet::releaseLLVMModuleSet</a>();</div><div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;</div><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    llvm::llvm_shutdown();</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;}</div><div class="ttc" id="classSVF_1_1VFG_html"><div class="ttname"><a href="classSVF_1_1VFG.html">SVF::VFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00050">VFG.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa6d56f9580f76fd09d25ce6cf7541e98"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build(SVFModule *svfModule)</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00050">SVFIRBuilder.cpp:50</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00179">PointerAnalysis.h:179</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
@@ -178,6 +177,7 @@ Functions</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFG_html"><div class="ttname"><a href="classSVF_1_1SVFG.html">SVF::SVFG</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00065">SVFG.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFGBuilder.html">SVF::SVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGBuilder_8h_source.html#l00059">SVFGBuilder.h:59</a></div></div>
 <div class="ttc" id="classSVF_1_1Andersen_html"><div class="ttname"><a href="classSVF_1_1Andersen.html">SVF::Andersen</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00149">Andersen.h:149</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1LLVMUtil_html_accdd44093d6d145dc92edeaaff3f5732"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#accdd44093d6d145dc92edeaaff3f5732">SVF::LLVMUtil::processArguments</a></div><div class="ttdeci">void processArguments(int argc, char **argv, int &amp;arg_num, char **arg_value, std::vector&lt; std::string &gt; &amp;moduleNameVec)</div><div class="ttdoc">Parse argument for multi-module analysis. </div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00427">LLVMUtil.cpp:427</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_aa03ab5272652290f30870c6e2d053d98"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa03ab5272652290f30870c6e2d053d98">SVF::SVFModule::buildSymbolTableInfo</a></div><div class="ttdeci">void buildSymbolTableInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8cpp_source.html#l00030">SVFModule.cpp:30</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>