svf-tools 1.0.358 → 1.0.362

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

@@ -65,7 +65,6 @@ var searchData=
   ['getblackholeobj',['getBlackHoleObj',['../classSVF_1_1IRGraph.html#aafe9544b07a8c40bf915613df11df48e',1,'SVF::IRGraph']]],
   ['getblkobj',['getBlkObj',['../classSVF_1_1SymbolTableInfo.html#aebf96274e1ad2a523981487839a3025e',1,'SVF::SymbolTableInfo']]],
   ['getblkptr',['getBlkPtr',['../classSVF_1_1IRGraph.html#a3b417ee79560fd00f4cf80906044c198',1,'SVF::IRGraph']]],
-  ['getblockicfgnode',['getBlockICFGNode',['../classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b',1,'SVF::ICFG']]],
   ['getbranchcond',['getBranchCond',['../classSVF_1_1PathCondAllocator.html#a4d00c3306b92e59568b54a6a72afdb74',1,'SVF::PathCondAllocator::getBranchCond()'],['../classSVF_1_1BranchCondExpr.html#acbfed1c7771cdb49237cdd6d3c75d25c',1,'SVF::BranchCondExpr::getBranchCond()']]],
   ['getbranchcondtion',['getBranchCondtion',['../classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef',1,'SVF::IntraCFGEdge']]],
   ['getbranchinst',['getBranchInst',['../classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b',1,'SVF::BranchStmt']]],
@@ -75,7 +74,7 @@ var searchData=
   ['getcachedadpointsto',['getCachedADPointsTo',['../classSVF_1_1DDAVFSolver.html#a2a2b3783074c9f509fc265b97b979704',1,'SVF::DDAVFSolver']]],
   ['getcachedpointsto',['getCachedPointsTo',['../classSVF_1_1DDAVFSolver.html#ae31e9281e4f1e0585fdf328b7339e1bf',1,'SVF::DDAVFSolver']]],
   ['getcachedtlpointsto',['getCachedTLPointsTo',['../classSVF_1_1DDAVFSolver.html#aac432dfa7ccfc3434d9e0e2eb65afe7f',1,'SVF::DDAVFSolver::getCachedTLPointsTo()'],['../classSVF_1_1FlowDDA.html#a950d653b249cfc2d20932adb3498b99b',1,'SVF::FlowDDA::getCachedTLPointsTo()']]],
-  ['getcallblocknode',['getCallBlockNode',['../classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723',1,'SVF::ICFG::getCallBlockNode()'],['../classSVF_1_1RetICFGNode.html#afd2a06f0749c359c544048ae40085695',1,'SVF::RetICFGNode::getCallBlockNode()'],['../classSVF_1_1PCG.html#ab0ab4b42b42b16dd75fc7db16a3df5a8',1,'SVF::PCG::getCallBlockNode()'],['../classSVF_1_1TCT.html#afea9de8f27e501fdc2723cc14a8dc93f',1,'SVF::TCT::getCallBlockNode()']]],
+  ['getcallblock',['getCallBlock',['../classSVF_1_1ICFG.html#a47b5fe922b0339980fd49a89ecffd74d',1,'SVF::ICFG']]],
   ['getcalledfunction',['getCalledFunction',['../classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf',1,'SVF::CallSite']]],
   ['getcalledgebegin',['getCallEdgeBegin',['../classSVF_1_1PTACallGraph.html#a4ed2fd37007de9c873d5e197a0b3bd4e',1,'SVF::PTACallGraph']]],
   ['getcalledgeend',['getCallEdgeEnd',['../classSVF_1_1PTACallGraph.html#a170a33ac22673dfd363c3e3b96987737',1,'SVF::PTACallGraph']]],
@@ -90,7 +89,7 @@ var searchData=
   ['getcallgraphscc',['getCallGraphSCC',['../classSVF_1_1PointerAnalysis.html#a0bddf297a2d8cd59ce9a232f0229f248',1,'SVF::PointerAnalysis']]],
   ['getcallgraphsccrepnode',['getCallGraphSCCRepNode',['../classSVF_1_1PointerAnalysis.html#ae8190ce12fb0c6360953f4b05047fbe8',1,'SVF::PointerAnalysis']]],
   ['getcallgraphsccrevtopoorder',['getCallGraphSCCRevTopoOrder',['../classSVF_1_1MRGenerator.html#ab3d3ca72d2cddf5336d00dc623f33401',1,'SVF::MRGenerator']]],
-  ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#ab10620eaac6b74f7cb18ba0c1211b4f1',1,'SVF::ICFG']]],
+  ['getcallicfgnode',['getCallICFGNode',['../classSVF_1_1ICFG.html#adc66b547720b9271e6805edea0b9d01f',1,'SVF::ICFG::getCallICFGNode()'],['../classSVF_1_1RetICFGNode.html#a98c5e8394aa337e53a5ba8f4b0a245d4',1,'SVF::RetICFGNode::getCallICFGNode()'],['../classSVF_1_1PCG.html#a48c51b626e516aa1c0768b57becb6f68',1,'SVF::PCG::getCallICFGNode()'],['../classSVF_1_1TCT.html#a238810a60f1010c5177e01683c8c1159',1,'SVF::TCT::getCallICFGNode()'],['../classSVF_1_1ICFGBuilder.html#a702a888f2175dd32e2467bff27385e02',1,'SVF::ICFGBuilder::getCallICFGNode()']]],
   ['getcallinst',['getCallInst',['../classSVF_1_1CallPE.html#aa50cca8bd91ffb135a7998b58ad7966f',1,'SVF::CallPE::getCallInst()'],['../classSVF_1_1RetPE.html#a9bbf558ffc8e3c1136e20d18d4c95f42',1,'SVF::RetPE::getCallInst()']]],
   ['getcallinsttocallgraphedgesmap',['getCallInstToCallGraphEdgesMap',['../classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629',1,'SVF::PTACallGraph']]],
   ['getcallsite',['getCallSite',['../classSVF_1_1CallCFGEdge.html#ab25becb3cae2747eb518a6bfc7ad5332',1,'SVF::CallCFGEdge::getCallSite()'],['../classSVF_1_1RetCFGEdge.html#a121c3069d4c82b56a0398fd517a9a714',1,'SVF::RetCFGEdge::getCallSite()'],['../classSVF_1_1CallICFGNode.html#a674753d5ca0fbe28674acb25291f2bcf',1,'SVF::CallICFGNode::getCallSite()'],['../classSVF_1_1RetICFGNode.html#a8f0490ea9491afdf81641e9928f5a5f7',1,'SVF::RetICFGNode::getCallSite()'],['../classSVF_1_1PTACallGraph.html#a16e0017ad3a2d36d7efbc4383e394154',1,'SVF::PTACallGraph::getCallSite()'],['../classSVF_1_1ActualINSVFGNode.html#aab3b2931f60adeb9fd8c87087074d834',1,'SVF::ActualINSVFGNode::getCallSite()'],['../classSVF_1_1ActualOUTSVFGNode.html#a89cb274936513df411a75fb33a86702f',1,'SVF::ActualOUTSVFGNode::getCallSite()'],['../classSVF_1_1InterMSSAPHISVFGNode.html#a5b4ba4b7753d786ff2e3d834bda017ce',1,'SVF::InterMSSAPHISVFGNode::getCallSite()'],['../classSVF_1_1VFG.html#a246cce511b8e9164a7c1760d1983f492',1,'SVF::VFG::getCallSite()'],['../classSVF_1_1ActualParmVFGNode.html#ab153944a366488c5f7e91d61561e9c0e',1,'SVF::ActualParmVFGNode::getCallSite()'],['../classSVF_1_1ActualRetVFGNode.html#a06ea783375c18198b00121214c357c18',1,'SVF::ActualRetVFGNode::getCallSite()'],['../classSVF_1_1InterPHIVFGNode.html#a0b35e0c57fc0261d67e7080fa50fd581',1,'SVF::InterPHIVFGNode::getCallSite()'],['../classSVF_1_1CallPE.html#ab548c22dfbfeeaeb8ffe83417b396c09',1,'SVF::CallPE::getCallSite()'],['../classSVF_1_1RetPE.html#ab03f10c0375846a733f3257736a84f9d',1,'SVF::RetPE::getCallSite()'],['../classSVF_1_1CallMU.html#a57616dc30fb97c6dc64c9210b42bbeb7',1,'SVF::CallMU::getCallSite()'],['../classSVF_1_1CallCHI.html#af7f9fb3c01c487686453e25104a5bfc7',1,'SVF::CallCHI::getCallSite()'],['../classSVF_1_1ProgSlice.html#a8ae327bc7bf72f892d87730edfc67d0d',1,'SVF::ProgSlice::getCallSite()']]],
@@ -260,13 +259,13 @@ var searchData=
   ['getfuncentrychiset',['getFuncEntryChiSet',['../classSVF_1_1MemSSA.html#a10743fe9c116ee624387c0473815b800',1,'SVF::MemSSA']]],
   ['getfunction',['getFunction',['../classSVF_1_1PTACallGraphNode.html#a959445c97605953fbdebbbd999437a09',1,'SVF::PTACallGraphNode::getFunction()'],['../classSVF_1_1SVFVar.html#a53439a493963d16e5a1b5ed36ab6d33e',1,'SVF::SVFVar::getFunction()'],['../classSVF_1_1MRGenerator.html#a3121380139c7ae96d2045d66203253b6',1,'SVF::MRGenerator::getFunction()'],['../classSVF_1_1RetMU.html#a8ad6bf3d517e20089dac516742ee4b8f',1,'SVF::RetMU::getFunction()'],['../classSVF_1_1EntryCHI.html#ae021640611362449382668665710154c',1,'SVF::EntryCHI::getFunction()'],['../namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757',1,'SVF::SVFUtil::getFunction()']]],
   ['getfunctiontype',['getFunctionType',['../classSVF_1_1CallSite.html#ad0040f4b7953b509059223d1d52c203f',1,'SVF::CallSite']]],
-  ['getfunentryblocknode',['getFunEntryBlockNode',['../classSVF_1_1ICFG.html#a2b32cfb0b4b3e420aa8e67fc6d4f1025',1,'SVF::ICFG']]],
+  ['getfunentryblock',['getFunEntryBlock',['../classSVF_1_1ICFG.html#acc261924103bd0c357acd3acfa6cf38a',1,'SVF::ICFG']]],
   ['getfunentrychinum',['getFunEntryChiNum',['../classSVF_1_1MemSSA.html#a15272a4ed019d1c323d1826c1bedb70f',1,'SVF::MemSSA']]],
-  ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a11a2c1f54747069b924ee2870163dc05',1,'SVF::ICFG']]],
+  ['getfunentryicfgnode',['getFunEntryICFGNode',['../classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076',1,'SVF::ICFG']]],
   ['getfunentrynode',['getFunEntryNode',['../classSVF_1_1FormalINSVFGNode.html#a765f45d67d8b99dc85eb92676ca1be4e',1,'SVF::FormalINSVFGNode']]],
   ['getfunexitbb',['getFunExitBB',['../namespaceSVF_1_1SVFUtil.html#a3cb226930eeaf558575e09e5b65e0223',1,'SVF::SVFUtil']]],
-  ['getfunexitblocknode',['getFunExitBlockNode',['../classSVF_1_1ICFG.html#a8f131fd585f6fa0c93023ee193500b26',1,'SVF::ICFG']]],
-  ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#a12f78e9ce71a904975932e1784060050',1,'SVF::ICFG']]],
+  ['getfunexitblock',['getFunExitBlock',['../classSVF_1_1ICFG.html#a22d7f37a0cb2df90f73c1f2e3eaa71c6',1,'SVF::ICFG']]],
+  ['getfunexiticfgnode',['getFunExitICFGNode',['../classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919',1,'SVF::ICFG']]],
   ['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']]],
@@ -286,7 +285,7 @@ var searchData=
   ['getgepobjvar',['getGepObjVar',['../classSVF_1_1ConstraintGraph.html#a3f727a2822fb18a14ce9e10c6534cf5a',1,'SVF::ConstraintGraph::getGepObjVar()'],['../classSVF_1_1PointerAnalysis.html#acbbc0934af9bc0145389dc41430c6d8b',1,'SVF::PointerAnalysis::getGepObjVar()'],['../classSVF_1_1SVFIR.html#a20c0c65af266ac876cb722aee6e87101',1,'SVF::SVFIR::getGepObjVar(const MemObj *obj, const LocationSet &ls)'],['../classSVF_1_1SVFIR.html#ab3e37eab61e7899f950be7de5f4d7916',1,'SVF::SVFIR::getGepObjVar(NodeID id, const LocationSet &ls)']]],
   ['getgepoutedges',['getGepOutEdges',['../classSVF_1_1ConstraintNode.html#a19d3d2c996ba821227a836717e5443c8',1,'SVF::ConstraintNode']]],
   ['getgepvalvar',['getGepValVar',['../classSVF_1_1SVFIR.html#a811c5eaeef1e52cc2d6f56ec5a76bb02',1,'SVF::SVFIR::getGepValVar()'],['../classSVF_1_1SVFIRBuilder.html#ad0b30ca8fc2939bb7360a3ff08727d58',1,'SVF::SVFIRBuilder::getGepValVar()']]],
-  ['getglobalblocknode',['getGlobalBlockNode',['../classSVF_1_1ICFG.html#a51917fa4244cdb46f06ab647b5c2656f',1,'SVF::ICFG']]],
+  ['getglobalicfgnode',['getGlobalICFGNode',['../classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0',1,'SVF::ICFG']]],
   ['getglobalrep',['getGlobalRep',['../classSVF_1_1LLVMModuleSet.html#a757bf149437cce22163c764ea9993e12',1,'SVF::LLVMModuleSet::getGlobalRep()'],['../namespaceSVF_1_1SVFUtil.html#a4b55d5252da1f316f505cf6ce2078b28',1,'SVF::SVFUtil::getGlobalRep()']]],
   ['getglobalsvfstmtset',['getGlobalSVFStmtSet',['../classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687',1,'SVF::SVFIR']]],
   ['getglobalvarfield',['getGlobalVarField',['../classSVF_1_1SVFIRBuilder.html#a8e2440b87147a9d1380876d6beb410ae',1,'SVF::SVFIRBuilder']]],
@@ -298,7 +297,7 @@ var searchData=
   ['geticfg',['getICFG',['../classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e',1,'SVF::PointerAnalysis::getICFG()'],['../classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da',1,'SVF::SVFIR::getICFG()']]],
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
   ['geticfgkind',['getICFGKind',['../classSVF_1_1ICFGPrinter.html#a2c022308f9c7ae3bf33d9482fcb51e03',1,'SVF::ICFGPrinter']]],
-  ['geticfgnode',['getICFGNode',['../classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b',1,'SVF::ICFG::getICFGNode()'],['../classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829',1,'SVF::VFGNode::getICFGNode()'],['../classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b',1,'SVF::SVFStmt::getICFGNode()']]],
+  ['geticfgnode',['getICFGNode',['../classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b',1,'SVF::ICFG::getICFGNode(NodeID id) const'],['../classSVF_1_1ICFG.html#a489d4265c87304402bb3a20654ab4b99',1,'SVF::ICFG::getICFGNode(const Instruction *inst)'],['../classSVF_1_1VFGNode.html#a0675465e11d1d42ee7e2b7ab3c5de829',1,'SVF::VFGNode::getICFGNode()'],['../classSVF_1_1SVFStmt.html#aa809a57c8cdaaa35dfc3cc0f3b33b52b',1,'SVF::SVFStmt::getICFGNode()']]],
   ['getid',['getId',['../classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895',1,'SVF::GenericNode::getId()'],['../classSVF_1_1MemObj.html#a3ab6f65ffbf6442daac4d3f70f2d3cb1',1,'SVF::MemObj::getId()'],['../classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438',1,'SVF::CondExpr::getId()'],['../classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc',1,'SVF::MRVer::getID()']]],
   ['getidfset',['getIDFSet',['../classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22',1,'SVF::IteratedDominanceFrontier']]],
   ['getimplty',['getImplTy',['../classSVF_1_1PointerAnalysis.html#ac0f821cfe4fb9c9c8816e7a1b1bc0c5e',1,'SVF::PointerAnalysis']]],
@@ -329,8 +328,8 @@ var searchData=
   ['getintervfedgeatindcsfromfouttoaout',['getInterVFEdgeAtIndCSFromFOutToAOut',['../classSVF_1_1SVFG.html#a7a88391e0c2cf8a57238dec32c2474a3',1,'SVF::SVFG']]],
   ['getintervfedgeatindcsfromfrtoar',['getInterVFEdgeAtIndCSFromFRToAR',['../classSVF_1_1SVFG.html#ab2b969b7d5922427622dd875e6b8fe14',1,'SVF::SVFG']]],
   ['getintervfedgesforindirectcallsite',['getInterVFEdgesForIndirectCallSite',['../classSVF_1_1SVFG.html#a49fc2c505720d5cfa57231529d1c7534',1,'SVF::SVFG']]],
-  ['getintrablockicfgnode',['getIntraBlockICFGNode',['../classSVF_1_1ICFG.html#a5f29490c8c18873fa80fc6b1c40b68bd',1,'SVF::ICFG']]],
-  ['getintrablocknode',['getIntraBlockNode',['../classSVF_1_1ICFG.html#ad0ad7f96fe2b8f772e7d667d5ba3e9a3',1,'SVF::ICFG']]],
+  ['getintrablock',['getIntraBlock',['../classSVF_1_1ICFG.html#aedb66c7897f1d73185979e1297d1976d',1,'SVF::ICFG']]],
+  ['getintraicfgnode',['getIntraICFGNode',['../classSVF_1_1ICFG.html#a2b3a5a9c3c4c623a6d45ab1eac3c6a8b',1,'SVF::ICFG']]],
   ['getintralockset',['getIntraLockSet',['../classSVF_1_1LockAnalysis.html#ad8e7c32cb1163f4917124fed5cf6c3ab',1,'SVF::LockAnalysis']]],
   ['getintrapagedge',['getIntraPAGEdge',['../classSVF_1_1SVFIR.html#a6f41676ae91ba7fad38cc7387dd1c255',1,'SVF::SVFIR::getIntraPAGEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)'],['../classSVF_1_1SVFIR.html#ac1dbd64071f9822b0404f4ed9c8bd2cd',1,'SVF::SVFIR::getIntraPAGEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)']]],
   ['getintraphivfgnode',['getIntraPHIVFGNode',['../classSVF_1_1VFG.html#a688c0cc4a67c7cd9afbef2f0c264c85b',1,'SVF::VFG']]],
@@ -444,7 +443,7 @@ var searchData=
   ['getocgrep',['getOCGRep',['../classSVF_1_1OfflineConsG.html#a3f390900ee8761055c6d59107bc0ad27',1,'SVF::OfflineConsG']]],
   ['getocgrepmap',['getOCGRepMap',['../classSVF_1_1OfflineConsG.html#a4c27bd33977816db33d0e7d92036239a',1,'SVF::OfflineConsG']]],
   ['getofflinerep',['getOfflineRep',['../classSVF_1_1AndersenHCD.html#ac2e6a5acffff567e729b6aa9e9beeb55',1,'SVF::AndersenHCD']]],
-  ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet']]],
+  ['getoffsetvaluevec',['getOffsetValueVec',['../classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c',1,'SVF::LocationSet::getOffsetValueVec()'],['../classSVF_1_1GepStmt.html#a37811e62495493454405cb33e4a2b904',1,'SVF::GepStmt::getOffsetValueVec()']]],
   ['getopcode',['getOpcode',['../classSVF_1_1BinaryOPStmt.html#ad0a7c5e87355d7a83176343322db448f',1,'SVF::BinaryOPStmt::getOpcode()'],['../classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6',1,'SVF::UnaryOPStmt::getOpcode()']]],
   ['getoperand',['getOperand',['../classllvm_1_1generic__bridge__gep__type__iterator.html#a9494bbdc909dab98dd3fd23a416f3a31',1,'llvm::generic_bridge_gep_type_iterator']]],
   ['getopincomingbb',['getOpIncomingBB',['../classSVF_1_1IntraPHIVFGNode.html#a3a6ef9d2b10a6f2f1ac1b25590f56a70',1,'SVF::IntraPHIVFGNode']]],
@@ -456,10 +455,8 @@ var searchData=
   ['getopvernum',['getOpVerNum',['../classSVF_1_1MSSAPHISVFGNode.html#af7bd2cd776dcdbd1aee11569ec9f4a4f',1,'SVF::MSSAPHISVFGNode::getOpVerNum()'],['../classSVF_1_1CmpVFGNode.html#ad95b04c10a54b38344863e6552fc7775',1,'SVF::CmpVFGNode::getOpVerNum()'],['../classSVF_1_1BinaryOPVFGNode.html#a16511457605363135685cf3cf3a474dd',1,'SVF::BinaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5',1,'SVF::UnaryOPVFGNode::getOpVerNum()'],['../classSVF_1_1PHIVFGNode.html#aa147f43ddf3efac3e0143235ab611cf2',1,'SVF::PHIVFGNode::getOpVerNum()'],['../classSVF_1_1MSSAPHI.html#adbefc58750f87cf1c30dd5d445b50feb',1,'SVF::MSSAPHI::getOpVerNum()']]],
   ['getoraddblockicfgnode',['getOrAddBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a42f190f697284e6da7a6211ce7adecfe',1,'SVF::ICFGBuilder']]],
   ['getoraddbranchcond',['getOrAddBranchCond',['../classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab',1,'SVF::CondManager']]],
-  ['getoraddcallicfgnode',['getOrAddCallICFGNode',['../classSVF_1_1ICFGBuilder.html#af0b1627b91de8d007d95ee90c6bfb8da',1,'SVF::ICFGBuilder']]],
   ['getoraddinterblockicfgnode',['getOrAddInterBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a1c07cce4cae9bfc8884b37cbda06d8ac',1,'SVF::ICFGBuilder']]],
   ['getoraddintrablockicfgnode',['getOrAddIntraBlockICFGNode',['../classSVF_1_1ICFGBuilder.html#a91599e3ddb71462ec61a50fad91288da',1,'SVF::ICFGBuilder']]],
-  ['getoraddreticfgnode',['getOrAddRetICFGNode',['../classSVF_1_1ICFGBuilder.html#afbf56b40d45f14b3a846d840f44d1681',1,'SVF::ICFGBuilder']]],
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a787e815e9c7e53566ce56127dd31a3a9',1,'SVF::TCT']]],
   ['getoriginalfieldtype',['getOriginalFieldType',['../classSVF_1_1SymbolTableInfo.html#a866085ff37b7841606c523817c621f49',1,'SVF::SymbolTableInfo::getOriginalFieldType()'],['../classSVF_1_1StInfo.html#acf1ba3bc3ffbd2f7d457b613b6c5f4be',1,'SVF::StInfo::getOriginalFieldType()']]],
@@ -531,8 +528,8 @@ var searchData=
   ['getresid',['getResID',['../classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e',1,'SVF::MultiOpndStmt::getResID()'],['../classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856',1,'SVF::UnaryOPStmt::getResID()']]],
   ['getresver',['getResVer',['../classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50',1,'SVF::MSSAPHISVFGNode::getResVer()'],['../classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282',1,'SVF::MSSADEF::getResVer()']]],
   ['getret',['getRet',['../classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262',1,'SVF::FormalRetVFGNode']]],
-  ['getretblocknode',['getRetBlockNode',['../classSVF_1_1ICFG.html#a392e5ea7c356763a988407f91343f034',1,'SVF::ICFG']]],
-  ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#a26ee40d30efc126734b7fb081db5da54',1,'SVF::ICFG::getRetICFGNode()'],['../classSVF_1_1CallICFGNode.html#ae23a7540609879ac0379fc53b4e7eead',1,'SVF::CallICFGNode::getRetICFGNode()']]],
+  ['getretblock',['getRetBlock',['../classSVF_1_1ICFG.html#a3b59f9ba22e03d323bc2fa5928902243',1,'SVF::ICFG::getRetBlock()'],['../classSVF_1_1CallICFGNode.html#a37c483e7ef957a59bfe9d37e401827a9',1,'SVF::CallICFGNode::getRetBlock()']]],
+  ['getreticfgnode',['getRetICFGNode',['../classSVF_1_1ICFG.html#a66cb50d8c176f800f06d9cb8924eb896',1,'SVF::ICFG::getRetICFGNode()'],['../classSVF_1_1ICFGBuilder.html#a7c1125c992eec20e118e6bfc12cb8bfb',1,'SVF::ICFGBuilder::getRetICFGNode()']]],
   ['getretparmatjoinedsite',['getRetParmAtJoinedSite',['../classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(const Instruction *inst) const'],['../classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12',1,'SVF::ThreadAPI::getRetParmAtJoinedSite(CallSite cs) const']]],
   ['getretsite',['getRetSite',['../classSVF_1_1ProgSlice.html#a07ce77afbf69d5e2a47afaa39eaea886',1,'SVF::ProgSlice']]],
   ['getretsym',['getRetSym',['../classSVF_1_1SymbolTableInfo.html#afc8b0b6aea972f34a0c099b75114b81e',1,'SVF::SymbolTableInfo']]],

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

@@ -128,7 +128,7 @@ var searchData=
   ['isconstantdata',['isConstantData',['../classSVF_1_1SVFVar.html#ab51b134720986c39fce7f033a49df6f0',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',['../classSVF_1_1SymbolTableInfo.html#a61bda1c1c52fb765d0027d8141d35c35',1,'SVF::SymbolTableInfo']]],
-  ['isconstantoffset',['isConstantOffset',['../classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d',1,'SVF::LocationSet']]],
+  ['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']]],

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

@@ -37,7 +37,7 @@ var searchData=
   ['plainmap',['plainMap',['../classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b',1,'SVF::FlowSensitive']]],
   ['pmx',['PMX',['../cuddInt_8c.html#a6e6108316d27c8e3b393f65362e5e37b',1,'cuddInt.c']]],
   ['pointeranalysis',['PointerAnalysis',['../classSVF_1_1PointerAnalysis.html#a14e2a209cb594f91a24ef09b12f82f3f',1,'SVF::PointerAnalysis']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
+  ['pointsto',['pointsTo',['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
   ['pointstoiterator',['PointsToIterator',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a3974dee7680da3a43b58932766e77a16',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(void)=delete'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a19f371ccb5b1c84fb4adfd5b0c8a3eec',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsToIterator &pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#abe128c47fb16093756195f789e5f68d5',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(PointsToIterator &&pt)'],['../classSVF_1_1PointsTo_1_1PointsToIterator.html#ad9efcd9fb0c8201b9166a1560d06a71b',1,'SVF::PointsTo::PointsToIterator::PointsToIterator(const PointsTo *pt, bool end=false)']]],
   ['pop',['pop',['../classSVF_1_1List.html#a6e85bd3d8b23ccc7752a72e2a5b171ab',1,'SVF::List::pop()'],['../classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6',1,'SVF::FIFOWorkList::pop()'],['../classSVF_1_1FILOWorkList.html#a3fd9acb6d09fd142bfd402fdf8cac93b',1,'SVF::FILOWorkList::pop()']]],
   ['popen',['popen',['../util_8h.html#a7a377e01cff8d8243569ddc8bfef959b',1,'util.h']]],

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

@@ -25,14 +25,14 @@ 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']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
-  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
+  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1PTAStat.html#a3724756ac0527ba3d199be32e38c6337',1,'SVF::PTAStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -71,7 +71,7 @@ var searchData=
   ['numofentrychi',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
   ['numofentrynodes',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
   ['numofexitnodes',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
-  ['numoffieldexpand',['NumOfFieldExpand',['../classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1',1,'SVF::PTAStat::NumOfFieldExpand()'],['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase::numOfFieldExpand()']]],
+  ['numoffieldexpand',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase::numOfFieldExpand()'],['../classSVF_1_1PTAStat.html#a1745e5c3c026a130a70954da9c0074b1',1,'SVF::PTAStat::NumOfFieldExpand()']]],
   ['numofflattenelements',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
   ['numofflattenfields',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
   ['numofformalin',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
@@ -142,7 +142,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/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html

@@ -114,7 +114,7 @@ Static Public Member Functions</h2></td></tr>
 struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
 
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00467">467</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00472">472</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
 <a id="a7ef3894da60c3e3350b8d2de3e94a562"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a7ef3894da60c3e3350b8d2de3e94a562">&#9670;&nbsp;</a></span>NodeType</h2>
@@ -128,7 +128,7 @@ struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00470">470</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00475">475</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
 
 </div>
 </div>
@@ -157,8 +157,8 @@ struct llvm::DOTGraphTraits&lt; ICFG * &gt;</h3>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00471">471</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;                                          :</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(isSimple)</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;    {</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00476">476</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;                                          :</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;        DOTGraphTraits&lt;SVFIR*&gt;(isSimple)</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;    {</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -204,8 +204,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00577">577</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;    {</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallCFGEdge&gt;(edge))</div><div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=red&quot;</span>;</div><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetCFGEdge&gt;(edge))</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=blue&quot;</span>;</div><div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div><div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00582">582</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;    {</div><div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;CallCFGEdge&gt;(edge))</div><div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=red&quot;</span>;</div><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (SVFUtil::isa&lt;RetCFGEdge&gt;(edge))</div><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid,color=blue&quot;</span>;</div><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;            <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div><div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -246,8 +246,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00591">591</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;    {</div><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;</div><div class="line"><a name="l00596"></a><span class="lineno">  596</span>&#160;        std::string str;</div><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>* dirCall = SVFUtil::dyn_cast&lt;CallCFGEdge&gt;(edge))</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;            rawstr &lt;&lt; dirCall-&gt;getCallSite();</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a>* dirRet = SVFUtil::dyn_cast&lt;RetCFGEdge&gt;(edge))</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;            rawstr &lt;&lt; dirRet-&gt;getCallSite();</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;</div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00596">596</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;    {</div><div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;        std::string str;</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a>* dirCall = SVFUtil::dyn_cast&lt;CallCFGEdge&gt;(edge))</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;            rawstr &lt;&lt; dirCall-&gt;getCallSite();</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a>* dirRet = SVFUtil::dyn_cast&lt;RetCFGEdge&gt;(edge))</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;            rawstr &lt;&lt; dirRet-&gt;getCallSite();</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1CallCFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallCFGEdge.html">SVF::CallCFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00162">ICFGEdge.h:162</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
@@ -281,8 +281,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return name of the graph. </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00477">477</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;    {</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;ICFG&quot;</span>;</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00482">482</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    {</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;ICFG&quot;</span>;</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aef77eaa614a202f39964d0a0917b5140"></a>
@@ -319,8 +319,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00539">539</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;    {</div><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;        std::string str;</div><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;        {</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;        }</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;        {</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;        }</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        {</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;        }</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        {</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        }</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;        {</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        }</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(node))</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        {</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        }</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00544">544</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;    {</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        std::string str;</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        {</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=black&quot;</span>;</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        }</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;        {</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=yellow&quot;</span>;</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        }</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        {</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=green&quot;</span>;</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        }</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        {</div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=red&quot;</span>;</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        }</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        {</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=blue&quot;</span>;</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        }</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(SVFUtil::isa&lt;GlobalICFGNode&gt;(node))</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        {</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;            rawstr &lt;&lt;  <span class="stringliteral">&quot;color=purple&quot;</span>;</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        }</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;no such kind of node!!&quot;</span>);</div><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;</div><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        rawstr &lt;&lt;  <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;</div><div class="line"><a name="l00578"></a><span class="lineno">  578</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -359,8 +359,8 @@ template&lt;class EdgeIter &gt; </div>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00482">482</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    {</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;        <span class="keywordflow">return</span> getSimpleNodeLabel(node, graph);</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00487">487</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    {</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;        <span class="keywordflow">return</span> getSimpleNodeLabel(node, graph);</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a1cf0470d3e9821152416e3bf5236e553"></a>
@@ -399,8 +399,8 @@ template&lt;class EdgeIter &gt; </div>
 
 <p>Return the label of an ICFG node. </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00488">488</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    {</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;        std::string str;</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a>* bNode = SVFUtil::dyn_cast&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;        {</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;IntraICFGNode ID: &quot;</span> &lt;&lt; bNode-&gt;getId() &lt;&lt; <span class="stringliteral">&quot; \t&quot;</span>;</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;            <a class="code" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFIR::SVFStmtList</a>&amp;  edges = SVFIR::getPAG()-&gt;getSVFStmtList(bNode);</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;            <span class="keywordflow">if</span> (edges.empty()) {</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;                rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(bNode-&gt;getInst()) &lt;&lt; <span class="stringliteral">&quot; \t&quot;</span>;</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;            } <span class="keywordflow">else</span> {</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;                <span class="keywordflow">for</span> (SVFIR::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)</div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;                {</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;                    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">PAGEdge</a>* edge = *it;</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;                    rawstr &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">toString</a>();</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;                }</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;            }</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; bNode-&gt;getFun()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;        }</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a>* <a class="code" href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">entry</a> = SVFUtil::dyn_cast&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;        {</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;            rawstr &lt;&lt; <a class="code" href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">entry</a>-&gt;toString();</div><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;        }</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a>* <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a> = SVFUtil::dyn_cast&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;        {</div><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;            rawstr &lt;&lt; <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>-&gt;toString();</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        }</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* call = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;        {</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;            rawstr &lt;&lt; call-&gt;toString();</div><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;        }</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a>* ret = SVFUtil::dyn_cast&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        {</div><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            rawstr &lt;&lt; ret-&gt;toString();</div><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;        }</div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a>* glob  = SVFUtil::dyn_cast&lt;GlobalICFGNode&gt;(node) )</div><div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;        {</div><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            <a class="code" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFIR::SVFStmtList</a>&amp;  edges = SVFIR::getPAG()-&gt;getSVFStmtList(glob);</div><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;            <span class="keywordflow">for</span> (SVFIR::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;            {</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">PAGEdge</a>* edge = *it;</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;                rawstr &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">toString</a>();</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;            }</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;        }</div><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;what else kinds of nodes do we have??&quot;</span>);</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;</div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
+<p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00493">493</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    {</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;        std::string str;</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a>* bNode = SVFUtil::dyn_cast&lt;IntraICFGNode&gt;(node))</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;        {</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot;IntraICFGNode ID: &quot;</span> &lt;&lt; bNode-&gt;getId() &lt;&lt; <span class="stringliteral">&quot; \t&quot;</span>;</div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;            <a class="code" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFIR::SVFStmtList</a>&amp;  edges = SVFIR::getPAG()-&gt;getSVFStmtList(bNode);</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;            <span class="keywordflow">if</span> (edges.empty()) {</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;                rawstr &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(bNode-&gt;getInst()) &lt;&lt; <span class="stringliteral">&quot; \t&quot;</span>;</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;            } <span class="keywordflow">else</span> {</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;                <span class="keywordflow">for</span> (SVFIR::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;                {</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;                    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">PAGEdge</a>* edge = *it;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;                    rawstr &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">toString</a>();</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;                }</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;            }</div><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; {fun: &quot;</span> &lt;&lt; bNode-&gt;getFun()-&gt;getName() &lt;&lt; <span class="stringliteral">&quot;}&quot;</span>;</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        }</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a>* <a class="code" href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">entry</a> = SVFUtil::dyn_cast&lt;FunEntryICFGNode&gt;(node))</div><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;        {</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;            rawstr &lt;&lt; <a class="code" href="cuddInt_8c.html#a936a27e51e66afb57c2b3a12d78a238e">entry</a>-&gt;toString();</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        }</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a>* <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a> = SVFUtil::dyn_cast&lt;FunExitICFGNode&gt;(node))</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;        {</div><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;            rawstr &lt;&lt; <a class="code" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a>-&gt;toString();</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;        }</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* call = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node))</div><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;        {</div><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;            rawstr &lt;&lt; call-&gt;toString();</div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;        }</div><div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a>* ret = SVFUtil::dyn_cast&lt;RetICFGNode&gt;(node))</div><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;        {</div><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;            rawstr &lt;&lt; ret-&gt;toString();</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;        }</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a>* glob  = SVFUtil::dyn_cast&lt;GlobalICFGNode&gt;(node) )</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;        {</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;            <a class="code" href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVFIR::SVFStmtList</a>&amp;  edges = SVFIR::getPAG()-&gt;getSVFStmtList(glob);</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;            <span class="keywordflow">for</span> (SVFIR::SVFStmtList::iterator it = edges.begin(), eit = edges.end(); it != eit; ++it)</div><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;            {</div><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;                <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">PAGEdge</a>* edge = *it;</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;                rawstr &lt;&lt; edge-&gt;<a class="code" href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">toString</a>();</div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;            }</div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;        }</div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;what else kinds of nodes do we have??&quot;</span>);</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;</div><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    }</div><div class="ttc" id="util_8h_html_a43b6ea6be735bb828bc062c70cadeff8"><div class="ttname"><a href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">exit</a></div><div class="ttdeci">VOID_OR_INT exit()</div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a6bc360d2604ae4a0af74530b263b10d9"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a6bc360d2604ae4a0af74530b263b10d9">SVF::SVFIR::SVFStmtList</a></div><div class="ttdeci">std::vector&lt; const SVFStmt * &gt; SVFStmtList</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00056">SVFIR.h:56</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html_ad0b4dbe87e009518f22360c48b0d0c22"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#ad0b4dbe87e009518f22360c48b0d0c22">SVF::SVFStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00061">SVFStatements.cpp:61</a></div></div>

package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html

@@ -266,10 +266,10 @@ template&lt;class EdgeIter &gt; </div>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="IRGraph_8cpp_source.html#l00268">268</a> of file <a class="el" href="IRGraph_8cpp_source.html">IRGraph.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        {</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00521">SVFStatements.h:521</a></div></div>
+<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    {</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFStmt.html">SVFStmt</a>* edge = *(EI.getCurrent());</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(edge &amp;&amp; <span class="stringliteral">&quot;No edge found!!&quot;</span>);</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>* calledge = SVFUtil::dyn_cast&lt;CallPE&gt;(edge))</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        {</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= calledge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;        }</div><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>* retedge = SVFUtil::dyn_cast&lt;RetPE&gt;(edge))</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        {</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">Instruction</a>* callInst= retedge-&gt;getCallSite()-&gt;getCallSite();</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVFUtil::getSourceLoc</a>(callInst);</div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        }</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;    }</div><div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00529">SVFStatements.h:529</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a28c0ede7e4765d2a686fc8ae0f5641a4"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a28c0ede7e4765d2a686fc8ae0f5641a4">SVF::SVFUtil::getSourceLoc</a></div><div class="ttdeci">std::string getSourceLoc(const Value *val)</div><div class="ttdoc">Return source code including line number and file name from debug information. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00269">SVFUtil.cpp:269</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00469">SVFStatements.h:469</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00477">SVFStatements.h:477</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00047">SVFStatements.h:47</a></div></div>
 </div><!-- fragment -->

package/SVF-doxygen/html/html/svf-ex_8cpp.html

@@ -300,18 +300,18 @@ Functions</h2></td></tr>
 <p>Traverse along VFG </p>
 
 <p class="definition">Definition at line <a class="el" href="svf-ex_8cpp_source.html#l00080">80</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="l00081"></a><span class="lineno">   81</span>&#160;{</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* iNode = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b">getBlockICFGNode</a>(inst);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const ICFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode*&gt;</a> visited;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(iNode);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">ICFGNode::const_iterator</a> it = iNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                    iNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *it;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(succNode);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
+<div class="fragment"><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;{</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* iNode = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">getICFGNode</a>(inst);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    <a class="code" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList&lt;const ICFGNode*&gt;</a> worklist;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set&lt;const ICFGNode*&gt;</a> visited;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(iNode);</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    <span class="keywordflow">while</span> (!worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>())</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* vNode = worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">for</span> (<a class="code" href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">ICFGNode::const_iterator</a> it = iNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">OutEdgeBegin</a>(), eit =</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;                    iNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">OutEdgeEnd</a>(); it != eit; ++it)</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            <a class="code" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a>* edge = *it;</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <a class="code" href="classSVF_1_1ICFGNode.html">ICFGNode</a>* succNode = edge-&gt;<a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">getDstNode</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;            <span class="keywordflow">if</span> (visited.find(succNode) == visited.end())</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            {</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                visited.insert(succNode);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                worklist.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(succNode);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            }</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        }</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFGEdge_html"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00042">ICFGEdge.h:42</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_aa4f103330118c8976bf95e4bf53416eb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode::OutEdgeBegin</a></div><div class="ttdeci">iterator OutEdgeBegin()</div><div class="ttdoc">iterators </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00202">GenericGraph.h:202</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
 <div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a5f2c0aaba07d6fdd63058da0fb60ca8b"><div class="ttname"><a href="classSVF_1_1ICFG.html#a5f2c0aaba07d6fdd63058da0fb60ca8b">SVF::ICFG::getICFGNode</a></div><div class="ttdeci">ICFGNode * getICFGNode(NodeID id) const</div><div class="ttdoc">Get a ICFG node. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00084">ICFG.h:84</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html_ac16c5a3227a44d3b9f7c3209156d9df2"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ac16c5a3227a44d3b9f7c3209156d9df2">SVF::ICFGNode::const_iterator</a></div><div class="ttdeci">ICFGEdge::ICFGEdgeSetTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00066">ICFGNode.h:66</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html">SVF::FIFOWorkList</a></div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00137">WorkList.h:137</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00206">GenericGraph.h:206</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFG_html_ab7b0b3088b46ad65451905cc4f567a7b"><div class="ttname"><a href="classSVF_1_1ICFG.html#ab7b0b3088b46ad65451905cc4f567a7b">SVF::ICFG::getBlockICFGNode</a></div><div class="ttdeci">ICFGNode * getBlockICFGNode(const Instruction *inst)</div><div class="ttdoc">Get a basic block ICFGNode. </div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00193">ICFG.cpp:193</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>