svf-tools 1.0.340 → 1.0.344

package/SVF-doxygen/html/html/functions_t.html

@@ -196,18 +196,18 @@ $(function() {
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a2faebd2e481362b11ccce4256f81c32d">SVF::ThreadAPI</a>
 , <a class="el" href="classSVF_1_1ThreadCallGraph.html#af1146c3d8e8b8885a1c48701e5b5a27f">SVF::ThreadCallGraph</a>
 </li>
-<li>TDAPIMap
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
-</li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a62471599cba4bde20d2696a91fa064ec">SVF::SaberCheckerAPI</a>
 </li>
 <li>TDAPIMap
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a3115116dc595c4b157f2cfc0a6ea89fc">SVF::SaberCheckerAPI</a>
 </li>
 <li>tdAPIMap
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a4277abaae24b43d83470054c247f479c">SVF::ThreadAPI</a>
 </li>
+<li>TDAPIMap
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae9721b91bd60d27ae3dd48cb058301b2">SVF::ThreadAPI</a>
+</li>
 <li>TDDead
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8d40e687caf8999369621ed385dfc631ad5af2a561c196e33d88fc63363d0d8f4">SVF::ForkJoinAnalysis</a>
 </li>
@@ -221,7 +221,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a2d65840140263a0808f5b9d553a4bff5">SVF::PTACallGraphEdge</a>
 </li>
 <li>TDJoinPE()
-: <a class="el" href="classSVF_1_1TDJoinPE.html#a0f995bd01463f201d7760641275dc33a">SVF::TDJoinPE</a>
+: <a class="el" href="classSVF_1_1TDJoinPE.html#afb9137169d75204a09975a219334b752">SVF::TDJoinPE</a>
 </li>
 <li>TDLocked
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac2fbbabca4506e28f706cf54b1614791a2709e7eb7ea9829c7e649e6dd86d6a48">SVF::LockAnalysis</a>
@@ -252,7 +252,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PointsTo.html#a1161d97df5ffc8f11d1a34df9a4d5bdf">SVF::PointsTo</a>
 </li>
 <li>testIndCallReachability()
-: <a class="el" href="classSVF_1_1ContextDDA.html#aa440bf9abda3f353bf91e5e64462b818">SVF::ContextDDA</a>
+: <a class="el" href="classSVF_1_1ContextDDA.html#a05ac33ca33efb58099839f72050bb008">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#ae48534b36222578855708c298f81f554">SVF::FlowDDA</a>
 </li>
 <li>testOutOfBudget()
@@ -406,9 +406,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aa743cf19c5dc91dbb0c7b8981fecc6c4">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt</a>
 , <a class="el" href="classSVF_1_1BranchVFGNode.html#a131fe96308f67b307ea08e645b019e13">SVF::BranchVFGNode</a>
-, <a class="el" href="classSVF_1_1CallBlockNode.html#ae4ea32a63a095f27e973bc8bf6e38262">SVF::CallBlockNode</a>
 , <a class="el" href="classSVF_1_1CallCFGEdge.html#a2ad72b065dcb752e0779de9ff69c443a">SVF::CallCFGEdge</a>
 , <a class="el" href="classSVF_1_1CallDirSVFGEdge.html#af07decd05375f56baa4a1c4fe70bc3f1">SVF::CallDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1CallICFGNode.html#ab07e504bbc100fa3e111d62de815a88c">SVF::CallICFGNode</a>
 , <a class="el" href="classSVF_1_1CallIndSVFGEdge.html#a06cc5ba2c5be41bf38e4fad0c031138e">SVF::CallIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1CallPE.html#aecdf349bde9547dae7eb88c6cfd34bab">SVF::CallPE</a>
 , <a class="el" href="classSVF_1_1CloneDummyObjVar.html#a72249d18032dfcd866d0519da3c0999b">SVF::CloneDummyObjVar</a>
@@ -429,21 +429,21 @@ $(function() {
 , <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a45b1aafb8a2464c868c5249b37e9ff0a">SVF::FormalOUTSVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc">SVF::FormalParmVFGNode</a>
 , <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ab1ae2339d7408d9156cdfe5ab4559e66">SVF::FormalRetVFGNode</a>
-, <a class="el" href="classSVF_1_1FunEntryBlockNode.html#a9ee511954fe72f47c247dc481fd5d751">SVF::FunEntryBlockNode</a>
-, <a class="el" href="classSVF_1_1FunExitBlockNode.html#aea51f9cb9a1563dfb375962a9a4b8f65">SVF::FunExitBlockNode</a>
+, <a class="el" href="classSVF_1_1FunEntryICFGNode.html#a3e9032ea2388682e568b6324fe8e4882">SVF::FunEntryICFGNode</a>
+, <a class="el" href="classSVF_1_1FunExitICFGNode.html#aa73e5a5e577b789842987fec2fb307f9">SVF::FunExitICFGNode</a>
 , <a class="el" href="classSVF_1_1GepObjVar.html#aa7bfd42a92e9ebc34613818e70689218">SVF::GepObjVar</a>
 , <a class="el" href="classSVF_1_1GepStmt.html#acae68ff97d408a1dd929b0348415c81d">SVF::GepStmt</a>
 , <a class="el" href="classSVF_1_1GepValVar.html#ac9016b61dde44eb89ea715a0619994de">SVF::GepValVar</a>
 , <a class="el" href="classSVF_1_1GepVFGNode.html#ad27376633c939952878d5d73621ec638">SVF::GepVFGNode</a>
-, <a class="el" href="classSVF_1_1GlobalBlockNode.html#af5e1261e34359955150337c61073e76a">SVF::GlobalBlockNode</a>
+, <a class="el" href="classSVF_1_1GlobalICFGNode.html#ada960e5bdba75c165a67b33c09819c47">SVF::GlobalICFGNode</a>
 , <a class="el" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge</a>
 , <a class="el" href="classSVF_1_1ICFGNode.html#af1b6fd9ea200ab0ff51d48a4872c921a">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a33e6221e5005fda68903f4cdadf58ce8">SVF::IndirectSVFGEdge</a>
 , <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a286e9064de854a84bdd2efe8f7d73688">SVF::InterMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1InterPHIVFGNode.html#aff35aebdc8d955df160e51da7b666a7e">SVF::InterPHIVFGNode</a>
-, <a class="el" href="classSVF_1_1IntraBlockNode.html#a5be129203e65edc4e1222b5e04d1c148">SVF::IntraBlockNode</a>
 , <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de">SVF::IntraCFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa">SVF::IntraDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraICFGNode.html#a85d3e05cb5a95c2f9d678d9f010419a5">SVF::IntraICFGNode</a>
 , <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ae148fda488b6505a6cc4103aae30e291">SVF::IntraIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#ad463be283dcad18654cee4311d071a47">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a145413d87e9174b5eb70b871b9dfa13e">SVF::IntraPHIVFGNode</a>
@@ -459,9 +459,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a7fb9cbed3718922cd81b18d069c79aea">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a27979e812ced26f114369b46e1536b02">SVF::PTACallGraphEdge</a>
 , <a class="el" href="classSVF_1_1PTACallGraphNode.html#a57f173a28c2a153d37cb63d451e62973">SVF::PTACallGraphNode</a>
-, <a class="el" href="classSVF_1_1RetBlockNode.html#ae1d596a9a6ad9f5d4cdaaab0a8a931a2">SVF::RetBlockNode</a>
 , <a class="el" href="classSVF_1_1RetCFGEdge.html#aca97e28617505e482b014dc805cb70aa">SVF::RetCFGEdge</a>
 , <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#a6282c2619d843cf90575886a0ef81edf">SVF::RetDirSVFGEdge</a>
+, <a class="el" href="classSVF_1_1RetICFGNode.html#ab0b54268167a593e2db9d02d3dd9c4f1">SVF::RetICFGNode</a>
 , <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#a58502c0881d2d8dccf9dd09385e08dc5">SVF::RetIndSVFGEdge</a>
 , <a class="el" href="classSVF_1_1RetPE.html#a68aa24dcabeae26bcc4184110fbb50ef">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1RetPN.html#a9824061477c142e5dba14af14fa53aa2">SVF::RetPN</a>
@@ -603,13 +603,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
-<li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_type.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFG.html#a2f6ed8a9f14657abc1e2a89247a84b99">SVF::SVFG</a>
 </li>
 <li>ActualParmNodeVec
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a058711bcf2ae9bc15106c8d99ce02c1c">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#aa9bdf2b575f08976dcd0ba815a70f841">SVF::CallICFGNode</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>

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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -141,12 +141,12 @@ $(function() {
 <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#ad178ccbc7800527c3dc406ad5fa069bb">SVF::SVFStmt</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>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

@@ -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

@@ -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

@@ -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

@@ -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

@@ -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_p.html

@@ -73,9 +73,6 @@ $(function() {
 <li>PAGDotGraph
 : <a class="el" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">SVF::Options</a>
 </li>
-<li>PAGDotGraphShorter
-: <a class="el" href="classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c">SVF::Options</a>
-</li>
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
 </li>

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

@@ -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_vars_s.html

@@ -130,6 +130,9 @@ $(function() {
 <li>ShowHiddenNode
 : <a class="el" href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options</a>
 </li>
+<li>ShowSVFIRValue
+: <a class="el" href="classSVF_1_1Options.html#a63c2ff1420867ea4ef0a94d28b3f0558">SVF::Options</a>
+</li>
 <li>siftMaxSwap
 : <a class="el" href="structDdManager.html#a6521157f9436fb77fcc6327b2035e422">DdManager</a>
 </li>

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

@@ -79,14 +79,12 @@ $(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_1CHGBuilder.html#a727a1737e7290536b29b05e03d8b85ac">SVF::CHGBuilder</a>
+: <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_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>
@@ -94,16 +92,14 @@ $(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_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>
+: <a class="el" href="classSVF_1_1WPASolver.html#a624e9156b2d3a4f284548cbaaf650334">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>WorkStack
 : <a class="el" href="classSVF_1_1CSC.html#a0490b9998987d245ee6e56bc68db4f1e">SVF::CSC</a>