svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/functions_func_i.html

@@ -228,15 +228,15 @@ $(function() {
 <li>insertPHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#acc6f72d96cf29e36093ba08ea86b8983">SVF::MemSSA</a>
 </li>
-<li>InterBlockNode()
-: <a class="el" href="classSVF_1_1InterBlockNode.html#a02b79c6ff51262d4c92a69597a8b46db">SVF::InterBlockNode</a>
-</li>
 <li>InterDisjointMRG()
 : <a class="el" href="classSVF_1_1InterDisjointMRG.html#a91e89081103f451945baadaea370b428">SVF::InterDisjointMRG</a>
 </li>
 <li>interferenceAnalysis()
 : <a class="el" href="classSVF_1_1PCG.html#a057887f3d5fd3b9b414e573b3f9f4548">SVF::PCG</a>
 </li>
+<li>InterICFGNode()
+: <a class="el" href="classSVF_1_1InterICFGNode.html#a192826ba075a80add6a39a039a32bc05">SVF::InterICFGNode</a>
+</li>
 <li>InterMSSAPHISVFGNode()
 : <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a6deba5e75858c16682d4a21fa851d353">SVF::InterMSSAPHISVFGNode</a>
 </li>
@@ -265,9 +265,6 @@ $(function() {
 <li>intraBackwardTraverse()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a5f693c893f3701e1e025881f91193d53">SVF::LockAnalysis</a>
 </li>
-<li>IntraBlockNode()
-: <a class="el" href="classSVF_1_1IntraBlockNode.html#a498e59de4ef7bc2ec8f76de43608a778">SVF::IntraBlockNode</a>
-</li>
 <li>IntraCFGEdge()
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49">SVF::IntraCFGEdge</a>
 </li>
@@ -280,6 +277,9 @@ $(function() {
 <li>intraForwardTraverse()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a6febb0bb12f4983cd54b3bd310ce65d2">SVF::LockAnalysis</a>
 </li>
+<li>IntraICFGNode()
+: <a class="el" href="classSVF_1_1IntraICFGNode.html#ad8a53409330e7ea74c50cdeaf37acef8">SVF::IntraICFGNode</a>
+</li>
 <li>IntraIndSVFGEdge()
 : <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110">SVF::IntraIndSVFGEdge</a>
 </li>
@@ -402,7 +402,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFGEdge.html#ae14a5f58064e6c08b53a3cffcc050077">SVF::VFGEdge</a>
 </li>
 <li>isCallSiteRetSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#ac75b83bdf3bcfecaae579716ab33dd61">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ad189e45b0c810e68566ccc3bdb3f2e59">SVF::SVFG</a>
 </li>
 <li>isCallVFGEdge()
 : <a class="el" href="classSVF_1_1VFGEdge.html#a4352297ef44c4eff1efe2f348cce6fe9">SVF::VFGEdge</a>
@@ -514,7 +514,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#aa5c29ac668359942a9bc31cacd0cd9c4">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">SVF::ThreadCallGraph</a>
 </li>
 <li>isFormalINPHI()
 : <a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html#a47d870a6c0f515139b1950e8985dc2d1">SVF::InterMSSAPHISVFGNode</a>
@@ -596,13 +596,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCTNode.html#a42dde4c3714cc5605f7c0e76cfd4a74c">SVF::TCTNode</a>
 </li>
 <li>isIndirectCall()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a285c517dfd7fee5467606663a0fdd035">SVF::CallBlockNode</a>
+: <a class="el" href="classSVF_1_1CallICFGNode.html#aa11226a2e4fa6a7b1d78006cc8ca0518">SVF::CallICFGNode</a>
 </li>
 <li>isIndirectCallEdge()
 : <a class="el" href="classSVF_1_1PTACallGraphEdge.html#a74692d47f929dc2188eede497acb91b7">SVF::PTACallGraphEdge</a>
 </li>
 <li>isIndirectCallSites()
-: <a class="el" href="classSVF_1_1SVFIR.html#ad44e1ef13d047f8aea8f6ddf5510bd6c">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a3dbe0b17694daa74f648a70e77efaf23">SVF::SVFIR</a>
 </li>
 <li>isIndirectEdge()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a8c3e6dca7bf12fa941c4411f6a1f52c0">SVF::ConstraintNode</a>
@@ -672,7 +672,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a65d0260b37ab60debb7fa84fa0b7a5d4">SVF::TCT</a>
 </li>
 <li>isJoinsite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac9dde4936d04321a17656af1af1108da">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ac75a38384cda8379c32b4d01d4d5d20a">SVF::ThreadCallGraph</a>
 </li>
 <li>isJoinSiteInRecursion()
 : <a class="el" href="classSVF_1_1TCT.html#a4ff016e5933a4d094989c600ad25dd99">SVF::TCT</a>
@@ -763,7 +763,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a7994236bff84ba8244592fdf5e546734">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>isParForSite()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#af5ad00c7a5362aa288bddf4824601ab8">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#ae18f0b3245694145f6d9262ee28c6453">SVF::ThreadCallGraph</a>
 </li>
 <li>isPartialReachable()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2">SVF::ProgSlice</a>

package/SVF-doxygen/html/html/functions_func_m.html

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockResultValidator.html#aa1b48d5792e596703f3283316e9f4c07">SVF::LockResultValidator</a>
 </li>
 <li>matchArgs()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a521f99705f67e3fea7167728a4e37129">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ab541df6fc703c0b21c2c308584c0b7ff">SVF::PointerAnalysis</a>
 </li>
 <li>matchContext()
 : <a class="el" href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">SVF::ContextCond</a>

package/SVF-doxygen/html/html/functions_func_p.html

@@ -252,7 +252,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFGPrinter.html#a5ef3cd8fa4c2dd99289725f1aa781721">SVF::ICFGPrinter</a>
 </li>
 <li>printIndCSTargets()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a28bcd16249c04eea2d13fafd2bcaf9d9">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">SVF::PointerAnalysis</a>
 </li>
 <li>printInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP</a>

package/SVF-doxygen/html/html/functions_func_r.html

@@ -330,13 +330,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5fe3815a7990e16b99cf46e90529f8b3">SVF::ConstraintGraph</a>
 </li>
 <li>resolveCPPIndCalls()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac9f54859eabff4c1e1f5785d57a0c818">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac04b64a5884710508b304f93da88c7ba">SVF::PointerAnalysis</a>
 </li>
 <li>resolveFunPtr()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#afcc074be34dd0c45418ff16b3d9d4192">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
 <li>resolveIndCalls()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a40738643202ca6301671f51da3fc1137">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#aa0a14fd11d7e69b2a3f91a3862f172cd">SVF::PointerAnalysis</a>
 </li>
 <li>reTargetDstOfEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a4db3484e3710c3f5cc86ec32dd643722">SVF::ConstraintGraph</a>
@@ -350,15 +350,15 @@ $(function() {
 <li>reTargetSrcOfEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aaae56afed424f7cd59fddb3fcb2f7214">SVF::ConstraintGraph</a>
 </li>
-<li>RetBlockNode()
-: <a class="el" href="classSVF_1_1RetBlockNode.html#a7a35666782fd9fff6954ad6b5fd284ee">SVF::RetBlockNode</a>
-</li>
 <li>RetCFGEdge()
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#a4754147b969bd3cd912b98dfd3fbe48a">SVF::RetCFGEdge</a>
 </li>
 <li>RetDirSVFGEdge()
 : <a class="el" href="classSVF_1_1RetDirSVFGEdge.html#a5998569c23747ef9dbe6f86b5a04ce5c">SVF::RetDirSVFGEdge</a>
 </li>
+<li>RetICFGNode()
+: <a class="el" href="classSVF_1_1RetICFGNode.html#a663ed651c2e0eb3a8ae2da0bc52e1b6f">SVF::RetICFGNode</a>
+</li>
 <li>RetIndSVFGEdge()
 : <a class="el" href="classSVF_1_1RetIndSVFGEdge.html#ae07d99d4156d999512e75b5d5fa207c4">SVF::RetIndSVFGEdge</a>
 </li>
@@ -366,7 +366,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetMU.html#a8cd41b018ddef450d17a20ea83ce3fee">SVF::RetMU&lt; Cond &gt;</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#a03739021e33640699ab54220c9a7f16d">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#afed855f9ee0dfddc4808672ae32263b2">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>

package/SVF-doxygen/html/html/functions_func_s.html

@@ -344,8 +344,8 @@ $(function() {
 <li>setResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a343eb4c9515dfbbbdadaacf5500e5f05">SVF::MSSADEF</a>
 </li>
-<li>setRetBlockNode()
-: <a class="el" href="classSVF_1_1CallBlockNode.html#a8ad5091c13a0dc2f6518a0e3340dcb05">SVF::CallBlockNode</a>
+<li>setRetICFGNode()
+: <a class="el" href="classSVF_1_1CallICFGNode.html#a91b38c6930f3c15b9b38121662fded20">SVF::CallICFGNode</a>
 </li>
 <li>setScalar()
 : <a class="el" href="classSVF_1_1DCHNode.html#a917265fa44ed08b66a6bd722f318bfa4">SVF::DCHNode</a>

package/SVF-doxygen/html/html/functions_func_t.html

@@ -92,7 +92,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()
@@ -144,9 +144,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>
@@ -167,21 +167,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>
@@ -197,9 +197,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>

package/SVF-doxygen/html/html/functions_func_u.html

@@ -156,9 +156,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>updateConnectedNodes()
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a1886b4964efa92cfff761493d12768b8">SVF::FlowSensitive</a>