npm - svf-tools - Versions diffs - 1.0.342 → 1.0.346 - Mend

svf-tools 1.0.342 → 1.0.346

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (420) hide show

package/SVF-doxygen/html/html/functions_type_c.html CHANGED Viewed

@@ -68,8 +68,8 @@ $(function() {
 <li>CallEdgeMap
 : <a class="el" href="classSVF_1_1FlowDDA.html#a5a5548577e4a3e225185c4001386fc84">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5bbc071046b2a81bd23ba084d30230e5">SVF::MTASVFGBuilder</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#aa9661d26d1ae9c829a9296d1b6d874f4">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1PTACallGraph.html#a47bfbae96294592f4e6060deddbe5700">SVF::PTACallGraph</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PTACallGraph.html#a4948c9e7ff7f1c86d0f27c49e7208aa3">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#ae12f803f5ccdb47232043c8c5ae129bf">SVF::SVFGBuilder</a>
 </li>
 <li>CallGraphEdgeConstIter
@@ -90,20 +90,20 @@ $(function() {
 <li>CallInstSet
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#ac227096ad71dfda8bc48c139fccb3af2">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1PCG.html#a866cab5d550f60984d66068474755e2d">SVF::PCG</a>
-, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#aca11d1b778309a72e9d345bd02324459">SVF::PTACallGraphEdge</a>
+, <a class="el" href="classSVF_1_1PTACallGraphEdge.html#adbedb15ac0f9395c5264f087a63bad3b">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1TCTEdge.html#a7b3463c5a458ac6472f2a4e531b80a94">SVF::TCTEdge</a>
 </li>
 <li>CallInstToCallGraphEdgesMap
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a16d115dd425ec02ab6d91c711fab7fd9">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a09245c929079024095cfe0d6570b70e8">SVF::PTACallGraph</a>
 </li>
 <li>CallInstToForkEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ad0d6585b7d26cd4597466a79e2fedacd">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aec88ec07a721b120290a7dde94ae1b51">SVF::ThreadCallGraph</a>
 </li>
 <li>CallInstToJoinEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a2f24d314b211151182bee38b61731749">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ab446ddd20cf46eeb76fcd5789faef521">SVF::ThreadCallGraph</a>
 </li>
 <li>CallInstToParForEdgesMap
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac6eb68444968f7bfc3e1e16099454cab">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554">SVF::ThreadCallGraph</a>
 </li>
 <li>CALLMU
 : <a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">SVF::MemSSA</a>
@@ -118,34 +118,34 @@ $(function() {
 : <a class="el" href="classSVF_1_1Andersen.html#a0f65f1881111167bffe1cb2ad05c0a51">SVF::Andersen</a>
 </li>
 <li>CallSitePair
-: <a class="el" href="classSVF_1_1PTACallGraph.html#a1d1ea71cb29e190ad3c6817810bd57c7">SVF::PTACallGraph</a>
+: <a class="el" href="classSVF_1_1PTACallGraph.html#a178d9971028e8ce26ab8894c5c6b5784">SVF::PTACallGraph</a>
 </li>
 <li>CallSiteSet
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a0c590e9d56b6d37cb6e0c9081363a0ef">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a5f51c3ba53410fa31225b8ff6fb5e4b4">SVF::FlowDDA</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a6a56d37d832ebe1d98ea32120b58bc1e">SVF::MTASVFGBuilder</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#a1f5f2ecf1e893759633ffec1b23d5650">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SrcSnkDDA.html#af254f2a00cabb91c61a0a592bdb7f0f1">SVF::SrcSnkDDA</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a5583b5fc0db461a0138b1f2f1c9a89a0">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1SrcSnkDDA.html#a47a4be28c625bf4d079a04ac24132165">SVF::SrcSnkDDA</a>
 , <a class="el" href="classSVF_1_1SVFGBuilder.html#a77bc88750823c8a0d19aad002e56ce07">SVF::SVFGBuilder</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#ab4c2e6d44c679a9ba117843f2234784b">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a2b237e55fd8d7fd61eb3ac6968e4a76e">SVF::SVFIR</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a1b5fe6a59527983c80906261190fc864">SVF::SymbolTableInfo</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#a0d560b811f8df1a710c627e1ac100155">SVF::ThreadCallGraph</a>
 </li>
 <li>CallSiteToActualINsMapTy
-: <a class="el" href="classSVF_1_1SVFG.html#a9ccf41f90af56c89f2acb59a6ca9b0dc">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a727af89a305e48f399ad33cc7149dbcb">SVF::SVFG</a>
 </li>
 <li>CallSiteToActualOUTsMapTy
-: <a class="el" href="classSVF_1_1SVFG.html#a8c7dea646606e723e6cf5055611e43c8">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a7c4e9c0fad457a2dc81a85f96fcec9ec">SVF::SVFG</a>
 </li>
 <li>CallSiteToCHISetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#ab985012d7730beed71a5e77595d29548">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">SVF::MemSSA</a>
 </li>
 <li>CallSiteToCHNodesMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a3740a239432a5c7237109aa72aa28eff">SVF::CHGraph</a>
 </li>
 <li>CallSiteToFunPtrMap
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">SVF::PointerAnalysis</a>
-, <a class="el" href="classSVF_1_1SVFIR.html#a0f5732647f3f44ec12617029354fca11">SVF::SVFIR</a>
+, <a class="el" href="classSVF_1_1SVFIR.html#a51bf00bfd1d32ea8a4a280cf99725d7d">SVF::SVFIR</a>
 </li>
 <li>CallSiteToIdMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ae4e3e5f108bc1e47af8f58d2e43345d2">SVF::PTACallGraph</a>
@@ -154,16 +154,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a52fa7c8a2c7064b415f373fdea0fdf69">SVF::SymbolTableInfo</a>
 </li>
 <li>CallSiteToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a71b5ce2c754ffff5a84fdb0c3aa16819">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#af9872d1175874a920e6df10268518233">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToMUSetMap
-: <a class="el" href="classSVF_1_1MemSSA.html#af7d3abb0b38f83c6f0a3c6a9e1ebff97">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a5d4ba728fb55e615cacfc5278e6bc4b7">SVF::MemSSA</a>
 </li>
 <li>CallSiteToNodeBSMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a55ca7850e00f57a8a4b83bc969493046">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a934a90164cc1364ea6aba5b4ae3cf2a9">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a9d22e9d113393c536c5fe473fd76f388">SVF::MRGenerator</a>
+: <a class="el" href="classSVF_1_1MRGenerator.html#a255e42c2b2062bbc799517c77ec25336">SVF::MRGenerator</a>
 </li>
 <li>CallSiteToVFunSetMap
 : <a class="el" href="classSVF_1_1CHGraph.html#a0397e5da88106dc8b4a1e207ae455e74">SVF::CHGraph</a>
@@ -280,19 +280,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#ab2d02695cc8e6fc9e9a46d9d26466fb1">SVF::MTAResultValidator</a>
 </li>
 <li>CSToArgsListMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a0321197dcaf5b00189b6dec732a799ef">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a32f7ac512aa8d34923dabfe0f0867fca">SVF::SVFIR</a>
 </li>
 <li>CSToCallNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a13694bd3990dd29ebce641a7c827a370">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ac603cd3bb9c52c4261bba04e2c8ea193">SVF::ICFG</a>
 </li>
 <li>CSToRetMap
-: <a class="el" href="classSVF_1_1SVFIR.html#a8a7156b1182e8d32b3899d510514ae42">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3c7f0dff03671f71e0a453a4de722681">SVF::SVFIR</a>
 </li>
 <li>CSToRetNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a3d519765c4bbc1479b64ef211f845edd">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a8ca1b5e8478ffefed30d3dc138a67a8e">SVF::ICFG</a>
 </li>
 <li>CSWorkList
-: <a class="el" href="classSVF_1_1LeakChecker.html#ae4622afe7eae8f6d8a3616de70c09fe0">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#aa0d4c66929f8ae39cf5efc77e873f642">SVF::LeakChecker</a>
 </li>
 <li>CtxSet
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc">SVF::ThreadCallGraph</a>

package/SVF-doxygen/html/html/functions_type_f.html CHANGED Viewed

@@ -78,7 +78,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#acb7262c3b9161c77eb1b491048152fb0">SVF::SVFG</a>
 </li>
 <li>FormalParmNodeVec
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a44354534e0f2fc7626e5ed11126f2549">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a0e8ff24e445a670f5ea1fef66ea928c5">SVF::FunEntryICFGNode</a>
 </li>
 <li>FuncPair
 : <a class="el" href="classSVF_1_1MHP.html#a570f93674511a93cdf2afb96df4947b6">SVF::MHP</a>
@@ -138,10 +138,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#a0753fb35cb8fd37cfe8fd795d01e5275">SVF::PathCondAllocator</a>
 </li>
 <li>FunToFunEntryNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a05067e577bfcdcd37b94198ee97e7eb7">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a44a95ca43a7b3148c1aee9ad5da6e9d1">SVF::ICFG</a>
 </li>
 <li>FunToFunExitNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a456ecdf6f28e6325613833ac07a9ca4d">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a25f4e5330af9d3fba19ad70520b2ec7f">SVF::ICFG</a>
 </li>
 <li>FunToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ada2191cb0e3798ba29aa442dca762290">SVF::SymbolTableInfo</a>

package/SVF-doxygen/html/html/functions_type_i.html CHANGED Viewed

@@ -102,10 +102,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAStat.html#a424ec97192aa5681f9f92a0a6f3ee8a8">SVF::MTAStat</a>
 , <a class="el" href="classSVF_1_1MTASVFGBuilder.html#acff9054fd525a5358532dd2e812171ce">SVF::MTASVFGBuilder</a>
 , <a class="el" href="classSVF_1_1TCT.html#a3238d12557309967f8bdfdfc275b6710">SVF::TCT</a>
-, <a class="el" href="classSVF_1_1ThreadCallGraph.html#ad48fad1fec75346c9eb79bbd6e8caee4">SVF::ThreadCallGraph</a>
+, <a class="el" href="classSVF_1_1ThreadCallGraph.html#a57b69bfb5d468bd1a81a55468f845de0">SVF::ThreadCallGraph</a>
 </li>
 <li>InstToBlockNodeMapTy
-: <a class="el" href="classSVF_1_1ICFG.html#a8be76aeee4701852f907b5c93a207c38">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ab3e25c26fb0fef0fc41d7ba6a84be0af">SVF::ICFG</a>
 </li>
 <li>InstToCxtStmt
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af940303bf8ebb679aa6e50475873eaa1">SVF::LockAnalysis</a>

package/SVF-doxygen/html/html/functions_type_p.html CHANGED Viewed

@@ -78,7 +78,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#ab12de81e2912f06551ca7a6693f5046b">SVF::VFG</a>
 </li>
 <li>PAGNodeToActualParmMapTy
-: <a class="el" href="classSVF_1_1VFG.html#abec730a1ec61532cd164f3d42aa107b0">SVF::VFG</a>
+: <a class="el" href="classSVF_1_1VFG.html#a6d0a91e8c2cd18d846870c7e062a1bb4">SVF::VFG</a>
 </li>
 <li>PAGNodeToActualRetMapTy
 : <a class="el" href="classSVF_1_1VFG.html#a999654aa377639db5c1e40f603e655a7">SVF::VFG</a>

package/SVF-doxygen/html/html/functions_type_s.html CHANGED Viewed

@@ -142,7 +142,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVF::ProgSlice</a>
 </li>
 <li>SVFGNodeToCSIDMap
-: <a class="el" href="classSVF_1_1LeakChecker.html#a47a79514e1fdc402453b864407aacd6a">SVF::LeakChecker</a>
+: <a class="el" href="classSVF_1_1LeakChecker.html#a90c7275babe222f006233d2f2d2b6700">SVF::LeakChecker</a>
 </li>
 <li>SVFGNodeToDPItemsMap
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a4f9de61860db86668606f0c276ce8117">SVF::SrcSnkDDA</a>

package/SVF-doxygen/html/html/functions_type_v.html CHANGED Viewed

@@ -109,8 +109,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">SVF::ProgSlice</a>
 </li>
 <li>VTablePtrToCallSiteMap
-: <a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">SVF::AliasDDAClient</a>
-, <a class="el" href="classSVF_1_1FunptrDDAClient.html#aaff8353fea6337d6236189d4a08a91e9">SVF::FunptrDDAClient</a>
+: <a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">SVF::AliasDDAClient</a>
+, <a class="el" href="classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671">SVF::FunptrDDAClient</a>
 </li>
 <li>VTableSet
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#af46f4b99fc2d5061c9266a7f45aafaca">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_u.html CHANGED Viewed

@@ -184,9 +184,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFG.html#a0c0a7c8f0bd27bc9e88ce54c0809b11b">SVF::VFG</a>
 </li>
 <li>updateCallGraphAndSVFG()
-: <a class="el" href="classSVF_1_1ContextDDA.html#a4b8466d2e8e885fea2f41b5713f785bd">SVF::ContextDDA</a>
-, <a class="el" href="classSVF_1_1DDAVFSolver.html#a4f63b6b3a06633675ae99667cbaa6cdc">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1FlowDDA.html#ad6f9b84e18367f40c7c2d26bedda7684">SVF::FlowDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a6fb1be7eef65008c7fbab6bdfe186061">SVF::ContextDDA</a>
+, <a class="el" href="classSVF_1_1DDAVFSolver.html#a637dddedd96942d56de6fd6d10c09169">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
+, <a class="el" href="classSVF_1_1FlowDDA.html#ae6257ef91e9d1c5aa95fdf5333c528b0">SVF::FlowDDA</a>
 </li>
 <li>updateCallGraphTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#afc140b6c8e78dc2d962f64fdf53b1e07">SVF::FlowSensitive</a>

package/SVF-doxygen/html/html/functions_v.html CHANGED Viewed

@@ -129,24 +129,24 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>ValueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
-</li>
 <li>valueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
 </li>
+<li>ValueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>
 <li>ValVar()
 : <a class="el" href="classSVF_1_1ValVar.html#ae5dc21b3327a100ffe3e0e2c876ba1bb">SVF::ValVar</a>
 </li>
-<li>var2LabelMap
-: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
-</li>
 <li>Var2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</a>
 </li>
+<li>var2LabelMap
+: <a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">SVF::SVFStmt</a>
+</li>
 <li>VAR_ARRAY_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830adedc43e0fcaebf433120869aa9307b1c">SVF::ObjTypeInfo</a>
 </li>
@@ -484,8 +484,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a620ac2c6a9095510be5999431ff54b6d">SVF::DCHNode</a>
 </li>
 <li>VTablePtrToCallSiteMap
-: <a class="el" href="classSVF_1_1AliasDDAClient.html#aa9bb92cc906c04a82eba69494b05516c">SVF::AliasDDAClient</a>
-, <a class="el" href="classSVF_1_1FunptrDDAClient.html#aaff8353fea6337d6236189d4a08a91e9">SVF::FunptrDDAClient</a>
+: <a class="el" href="classSVF_1_1AliasDDAClient.html#a1eb12d17470a8b1ae7131470ace2daa2">SVF::AliasDDAClient</a>
+, <a class="el" href="classSVF_1_1FunptrDDAClient.html#ad195fbe1a6b422e67f16c9fde9d8e671">SVF::FunptrDDAClient</a>
 </li>
 <li>VTableSet
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#af46f4b99fc2d5061c9266a7f45aafaca">SVF::PointerAnalysis</a>

package/SVF-doxygen/html/html/functions_vars_a.html CHANGED Viewed

@@ -71,7 +71,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a9741514d915bf7f14787cc346b9d7c98">SVF::SVFGOPT</a>
 </li>
 <li>actualRet
-: <a class="el" href="classSVF_1_1RetBlockNode.html#a74ea1e2e7765016e0a07720d9c2e0a81">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#ab11aa45c33cdcf5836fa2ee88bda9a9c">SVF::RetICFGNode</a>
 </li>
 <li>addAddrTakenNodeTimeEnd
 : <a class="el" href="classSVF_1_1SVFGStat.html#a2f7a49d2b3aae6cdb1cbc0e8ae18d1c2">SVF::SVFGStat</a>
@@ -215,7 +215,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat</a>
 </li>
 <li>APNodes
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a1caa9664587eb96c575af2f293b4cd1e">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a07615cb6245a9dccbba2cc70bde9bf22">SVF::CallICFGNode</a>
 </li>
 <li>arcviolation
 : <a class="el" href="structDdManager.html#aa0b71843baf33ac9815c7bddeb327aa6">DdManager</a>

package/SVF-doxygen/html/html/functions_vars_c.html CHANGED Viewed

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="structDdManager.html#ac977e490cd2ff8e2c4a0dc734c1b533b">DdManager</a>
 </li>
 <li>callBlockNode
-: <a class="el" href="classSVF_1_1RetBlockNode.html#aa135efaadc44746c585cb295b8b2bf77">SVF::RetBlockNode</a>
+: <a class="el" href="classSVF_1_1RetICFGNode.html#a42f4b87f590b3a393059bcca5736c596">SVF::RetICFGNode</a>
 </li>
 <li>callEdgeLabelCounter
 : <a class="el" href="classSVF_1_1SVFStmt.html#a24227d7f1dd472f47bf94cb5db8505c4">SVF::SVFStmt</a>
@@ -121,8 +121,8 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae3b651799345d9d92b6d736dafb03f63">SVF::PointerAnalysis</a>
 </li>
 <li>callInst
-: <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aabcc62d4f7750bd8c24f7b2a9fff5bc6">SVF::InterMSSAPHISVFGNode</a>
-, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a4a32f56cda476a323db8c7ebd2831431">SVF::InterPHIVFGNode</a>
+: <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aac74080dd5078d31d6f43edc2caf3c08">SVF::InterMSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a6a8b370c8de218abf89cf00a72d3cd0c">SVF::InterPHIVFGNode</a>
 </li>
 <li>callinstToCallGraphEdgesMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#ab29003352d8152b9d0fd37919ac212c5">SVF::PTACallGraph</a>
@@ -140,8 +140,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a8d124f42c320d38ddd08ed4948d63517">SVF::FormalParmVFGNode</a>
 </li>
 <li>callsite
-: <a class="el" href="classSVF_1_1CallCHI.html#adfecaac7c36b56b7eac321d6066cdb9d">SVF::CallCHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1CallMU.html#ae748ea61422184b513c09b842be9b076">SVF::CallMU&lt; Cond &gt;</a>
+: <a class="el" href="classSVF_1_1CallCHI.html#a30f1f8f2b23df3bad70d8083397e28eb">SVF::CallCHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CallMU.html#aa90a06c9e44914a7a8e104aa80bf1374">SVF::CallMU&lt; Cond &gt;</a>
 </li>
 <li>callsite2DummyValPN
 : <a class="el" href="classSVF_1_1Andersen.html#a2f88b6035ecb480f7d11afe6bc666541">SVF::Andersen</a>
@@ -374,14 +374,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab4d1ff0357d389a65ff1c2112ce631a1">SVF::MRGenerator</a>
 </li>
 <li>cs
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a2c98367f823ddbc091674b50b877c7e5">SVF::ActualINSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a0c305793d2c1ed2c27fb28dafe6927ff">SVF::ActualOUTSVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#afec49cb3b0f571edc4c35823ca5b55eb">SVF::ActualParmVFGNode</a>
-, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#a17a849feee552005bed5ac7c6410009e">SVF::ActualRetVFGNode</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#a4236d60c129adc0d959bed14dce71053">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a7260c36cd5a063e3c1de2b2ca7bd0802">SVF::ActualINSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a075773fa5b13cc067d24fbbb35c1d042">SVF::ActualOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualParmVFGNode.html#a652f865955c1f345c656c9178376228a">SVF::ActualParmVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a2939111c1df48ca33b46a61d273b9a7d">SVF::CallCFGEdge</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#a9ed7b40bb07977642484362673e7ba2d">SVF::RetBlockNode</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#ae1af4091b0f7f2c34f4909b96ab17586">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#a9fd322ebb9aec43f9f49feb2b593c9b6">SVF::RetCFGEdge</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#abd7b5e9cdb73b6e52b4fcb8b5e1b2b23">SVF::RetICFGNode</a>
 </li>
 <li>csc
 : <a class="el" href="classSVF_1_1AndersenSFR.html#aa39c668b1473ac4fb99da3aa736c9edb">SVF::AndersenSFR</a>

package/SVF-doxygen/html/html/functions_vars_f.html CHANGED Viewed

@@ -147,7 +147,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#abbd6ac28826b9cc4c4981271393c8b19">SVF::SVFGOPT</a>
 </li>
 <li>formalRet
-: <a class="el" href="classSVF_1_1FunExitBlockNode.html#ae759d153ed7d3296b67574c888b99e4f">SVF::FunExitBlockNode</a>
+: <a class="el" href="classSVF_1_1FunExitICFGNode.html#ac3765c6a34ddff0018e38ce644d96641">SVF::FunExitICFGNode</a>
 </li>
 <li>forwardslice
 : <a class="el" href="classSVF_1_1ProgSlice.html#ac12dc4caa0c764ae69175e787efad2ab">SVF::ProgSlice</a>
@@ -156,7 +156,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a1e5ec005dda8dc918422eaf33f3145f8">SVF::SVFGStat</a>
 </li>
 <li>FPNodes
-: <a class="el" href="classSVF_1_1FunEntryBlockNode.html#afc829a259f3c15524a71cef27d294949">SVF::FunEntryBlockNode</a>
+: <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a30e8c63bf2ae7a7528b9d8a516340ade">SVF::FunEntryICFGNode</a>
 </li>
 <li>freelist
 : <a class="el" href="structDdLevelQueue.html#aa70e5645d52749160c718d38ea0c06ba">DdLevelQueue</a>
@@ -188,7 +188,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1EntryCHI.html#afd2b2d4a7198f62467b4062740e5196c">SVF::EntryCHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ad8f56074e213d2e7dc1d22a1b0765f8c">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ae267daf3681188e6e74f656a73d21be3">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#a0d18e92e60f6060ee188d4e4947f8097">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#adfcebc33f3c36b8145074d370dfa1cb9">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#a03587dbd558d8fffe25307b42e3195be">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#aa7ccd369a342e151e22062c92bf1f978">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#a5aa8e8a10a5c30f2f4669c9190e18740">SVF::InterPHIVFGNode</a>
@@ -227,10 +227,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a377cefaad4b688ab6edf94ba4abe00ee">SVF::LLVMModuleSet</a>
 </li>
 <li>funEntryNode
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#ace06f0de65274270f993b810e27943db">SVF::FormalINSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a4a574589ae53d38e63fc4a26a5b9af61">SVF::FormalINSVFGNode</a>
 </li>
 <li>funExitNode
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a0d888af907e0c434b968653e09f05938">SVF::FormalOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#af5235111849f826880c10d7bcc635748">SVF::FormalOUTSVFGNode</a>
 </li>
 <li>funPtrToCallSitesMap
 : <a class="el" href="classSVF_1_1SVFIR.html#af9c840e4b82fe9fd9493eabaa2b52bd5">SVF::SVFIR</a>

package/SVF-doxygen/html/html/functions_vars_g.html CHANGED Viewed

@@ -110,7 +110,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1GepValVar.html#aaf5f5d3734e1db83c6d4f38d560b2f45">SVF::GepValVar</a>
 </li>
 <li>globalBlockNode
-: <a class="el" href="classSVF_1_1ICFG.html#a37ec47cd95cf25b18720c4267a9fd40c">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#a8e43b27d4484a4acb575e4c1c6c8fd02">SVF::ICFG</a>
 </li>
 <li>GlobalDefToRepMap
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae2a1fa0b908cf372c50af90e62c4bf2b">SVF::LLVMModuleSet</a>

package/SVF-doxygen/html/html/functions_vars_i.html CHANGED Viewed

@@ -168,11 +168,11 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#a942e79dced48bd284a58540a2fb778b9">SVF::ContextDDA</a>
 </li>
 <li>inst
-: <a class="el" href="classSVF_1_1CallPE.html#a86b76d7390dc0f650ec2428c394bf41a">SVF::CallPE</a>
+: <a class="el" href="classSVF_1_1CallPE.html#a60e8280eb3e77e67e3dfa4dcee943edf">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#a237b8738885e57d5a9b984221f611567">SVF::CxtStmt</a>
-, <a class="el" href="classSVF_1_1IntraBlockNode.html#a2381ce8fea9eb3213bd2f2d00db0086d">SVF::IntraBlockNode</a>
+, <a class="el" href="classSVF_1_1IntraICFGNode.html#ac160eae9228d5b6627a6ca74da0b03e4">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#a7bbac3ff5455aa1340f348c7cb239c46">SVF::LoadMU&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1RetPE.html#ad78a287bde15c03eec8d633d363e2ed2">SVF::RetPE</a>
+, <a class="el" href="classSVF_1_1RetPE.html#a028363b55fa19897a93f1c78ec905723">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1StoreCHI.html#a6e58e7cde1f417ec3feaef98f6f74be2">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>inst2LabelMap

package/SVF-doxygen/html/html/functions_vars_r.html CHANGED Viewed

@@ -162,7 +162,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a72560a998968ae2dbc6e5aa8a7e9f813">SVF::MSSADEF</a>
 </li>
 <li>ret
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a3d0f509f08dd017efecc949f0a98e1af">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a6c27c0d796b3d4becdebeba93f4fc785">SVF::CallICFGNode</a>
 </li>
 <li>retPEs
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a5fa2fc654385d0fab018053e89565157">SVF::FormalRetVFGNode</a>

package/SVF-doxygen/html/html/functions_w.html CHANGED Viewed

@@ -79,12 +79,14 @@ $(function() {
 <li>WordSize
 : <a class="el" href="classSVF_1_1CoreBitVector.html#a63f5e4a36359ae62401e5f8dfecb86a3">SVF::CoreBitVector</a>
 </li>
+<li>WorkList
+: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
+</li>
 <li>worklist
 : <a class="el" href="classSVF_1_1CFLSolver.html#a9d3cbcb9db049e3069b6553ab17ccf5b">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1CFLSolver.html#a802e04eafce9adfd60506c44951c3d53">SVF::CFLSolver&lt; GraphType, DPIm &gt;</a>
-, <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
 , <a class="el" href="classSVF_1_1CHGraph.html#af1b638faf888898cdf168c25e008ab12">SVF::CHGraph</a>
 , <a class="el" href="classSVF_1_1ConstraintGraph.html#ae80fc7e5d68e103d8f3a82bc9ffb0f00">SVF::ConstraintGraph</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#a2dc4467008cdd6eb896e98b67457082a">SVF::ICFGBuilder</a>
@@ -92,14 +94,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#a68d50c752252bd40c402c7b99b95f0fc">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a8e07c6afc4ae6e2792431065c2948039">SVF::SaberSVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a3c0d8850c4dae49a760ce5f80fb8822a">SVF::SrcSnkDDA</a>
-, <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
 </li>
 <li>worklist
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a925f39665e13b18dfe66c2dded44c194">SVF::SVFGOPT</a>
-, <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkList
-: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+: <a class="el" href="classSVF_1_1SVFGOPT.html#a3ee399dc45e90a512be7575642855f40">SVF::SVFGOPT</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
+</li>
+<li>worklist
+: <a class="el" href="classSVF_1_1WPASolver.html#a1775717a8c8d5d125b7561bc1ae6abf5">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>

package/SVF-doxygen/html/html/hierarchy.html CHANGED Viewed

@@ -243,13 +243,13 @@ $(function() {
 <tr id="row_81_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_81_" class="arrow" onclick="toggleFolder('81_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a></td><td class="desc"></td></tr>
 <tr id="row_81_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CHNode.html" target="_self">SVF::CHNode</a></td><td class="desc"></td></tr>
 <tr id="row_81_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_81_1_" class="arrow" onclick="toggleFolder('81_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">SVF::ICFGNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalBlockNode.html" target="_self">SVF::GlobalBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_81_1_1_" class="arrow" onclick="toggleFolder('81_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterBlockNode.html" target="_self">SVF::InterBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallBlockNode.html" target="_self">SVF::CallBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunEntryBlockNode.html" target="_self">SVF::FunEntryBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunExitBlockNode.html" target="_self">SVF::FunExitBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetBlockNode.html" target="_self">SVF::RetBlockNode</a></td><td class="desc"></td></tr>
-<tr id="row_81_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraBlockNode.html" target="_self">SVF::IntraBlockNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalICFGNode.html" target="_self">SVF::GlobalICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_81_1_1_" class="arrow" onclick="toggleFolder('81_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterICFGNode.html" target="_self">SVF::InterICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CallICFGNode.html" target="_self">SVF::CallICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunEntryICFGNode.html" target="_self">SVF::FunEntryICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunExitICFGNode.html" target="_self">SVF::FunExitICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetICFGNode.html" target="_self">SVF::RetICFGNode</a></td><td class="desc"></td></tr>
+<tr id="row_81_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraICFGNode.html" target="_self">SVF::IntraICFGNode</a></td><td class="desc"></td></tr>
 <tr id="row_81_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphNode.html" target="_self">SVF::PTACallGraphNode</a></td><td class="desc"></td></tr>
 <tr id="row_81_3_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_81_3_" class="arrow" onclick="toggleFolder('81_3_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVar.html" target="_self">SVF::SVFVar</a></td><td class="desc"></td></tr>
 <tr id="row_81_3_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_81_3_0_" class="arrow" onclick="toggleFolder('81_3_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjVar.html" target="_self">SVF::ObjVar</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/namespaceSVF.html CHANGED Viewed

@@ -138,8 +138,6 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1BVDataPTAImpl.html">BVDataPTAImpl</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallCHI.html">CallCHI</a></td></tr>
@@ -148,6 +146,8 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallGraphBuilder.html">CallGraphBuilder</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallIndSVFGEdge.html">CallIndSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CallMU.html">CallMU</a></td></tr>
@@ -292,9 +292,9 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FSMPTA.html">FSMPTA</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunEntryBlockNode.html">FunEntryBlockNode</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitBlockNode.html">FunExitBlockNode</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -314,7 +314,7 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GlobalBlockNode.html">GlobalBlockNode</a></td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1HareParForEdge.html">HareParForEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -341,22 +341,22 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterBlockNode.html">InterBlockNode</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterICFGNode.html">InterICFGNode</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html">InterMSSAPHISVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraBlockNode.html">IntraBlockNode</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">IntraIndSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">IntraMSSAPHISVFGNode</a></td></tr>
@@ -517,12 +517,12 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RaceValidator.html">RaceValidator</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetIndSVFGEdge.html">RetIndSVFGEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1RetMU.html">RetMU</a></td></tr>