svf-tools 1.0.913 → 1.0.914

package/SVF-doxygen/html/functions_func_h.html

@@ -68,13 +68,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ContextDDA.html#a26031c81d3eba5b3ff3ebd51d89510ae">SVF::ContextDDA</a>
 , <a class="el" href="classSVF_1_1DDAVFSolver.html#acfe7d961caac8f0f558881a9a006b1fa">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1FlowDDA.html#a1b8d66dbe8c6587e74d70f5d231eb69d">SVF::FlowDDA</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a2cc9783b020cb3b019d2691ab38e243a">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af09515297cb9c31153ed7f32bc3febd2">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleBinary()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a82afa83da1b1b17140b5b9c0b7eca153">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleBinaryRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ac2001071c306817cd52355e1d3b9154e">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a9db48252f099848d0f152e9fa523333a">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleBKCondition()
 : <a class="el" href="classSVF_1_1ContextDDA.html#aa8a7b6e99b92abfa5c2404515b703a2d">SVF::ContextDDA</a>
@@ -88,10 +85,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#ab636777379aca0b53a06e4888d4b4c6b">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a97b186f9417144557bb17c41d515a9f4">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#af769afe6ba6baccda5a497df181c9fb0">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a175a43f33d55e812ec61a349eb175157">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleCallRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab57524c8490ffb84ac7ebe629f5149b6">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ac5d31c2e3387c04749195d6cdb417a7a">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleCallRelation()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab99ef73905f35d4c20ca408586fc8680">SVF::LockAnalysis</a>
@@ -107,21 +101,15 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#abe39a7a3557899b4991bcc60d436dc50">SVF::SymbolTableBuilder</a>
 </li>
 <li>handleCmp()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af13e2b1c28a16e046776187de62d3c20">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleCmpRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aebb9e9209fc4abe36b71a0498dc1045e">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a729cc61337cfe055adc49d04676f5717">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleCopy()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae9cabdfecbc7773c1b15aafc4abf15e5">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#abce457a32553584eb656ff0fa4e52a64">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleCopyGep()
 : <a class="el" href="classSVF_1_1Andersen.html#ab069683dd6ca563113efbde2813ab35e">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenSCD.html#aa0a496376f7bea2c417ef83c51d19a61">SVF::AndersenSCD</a>
 </li>
-<li>handleCopyRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4b584ca677ccf79c18f4b9521a151c0a">SVF::SVFIR2AbsState</a>
-</li>
 <li>handleCycle()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a71dff5d6a5b291014c0a65d3a6d7c8c1">SVF::AbstractInterpretation</a>
 </li>
@@ -156,7 +144,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2e2253149e2bf114825a4e838118e012">SVF::AbstractInterpretation</a>
 </li>
 <li>handleGep()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa36938b22e2d3521f2af9d13c2697d83">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a74c008c44d3181d20819323aa83ec0ae">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleGlobalCE()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#a72732ec0392d9d5b900fc12177890779">SVF::SymbolTableBuilder</a>
@@ -191,20 +179,17 @@ $(function() {
 </li>
 <li>handleLoad()
 : <a class="el" href="classSVF_1_1AndersenWaveDiff.html#a7f2af504c4fb96e64371a8533c0525fe">SVF::AndersenWaveDiff</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a1930df3df0fa3f955a30beb25204438c">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleLoadRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a0a0ad0b3f12c5297f4d2ee48624914ea">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4478a7e793920ec543d32314f13a5bb9">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleLoadStore()
 : <a class="el" href="classSVF_1_1Andersen.html#a0f32ba8cb1109c257552fa775a007ffd">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1AndersenSCD.html#a7ae683eb8c607a0e742b44e3019b8cbc">SVF::AndersenSCD</a>
 </li>
 <li>handleMemcpy()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adf02c5bf1b86f00163b114a78e03120c">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac92d914537ca8c4aefe7d184a2f1bb59">SVF::AbstractInterpretation</a>
 </li>
 <li>handleMemset()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a568e2247536de76694dabfc5a5052b57">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a77568411669f9354c6593095ea1f2282">SVF::AbstractInterpretation</a>
 </li>
 <li>handleNonCandidateFun()
 : <a class="el" href="classSVF_1_1MHP.html#a2c1e4fac7b810021939ed26307d37816">SVF::MHP</a>
@@ -215,25 +200,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowDDA.html#a8930c3b8f3b58dca8da6017310bb74ae">SVF::FlowDDA</a>
 </li>
 <li>handlePhi()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a44deea0e4cbc98bf999598d7862fe115">SVF::SVFIR2AbsState</a>
-</li>
-<li>handlePhiRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a72ed908d877abe23b899bb5052b56b5d">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a151cd00e030b8e9b51b907a3da8428e5">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleRet()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a30e5ef1322216857513047d23b525829">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#acc3d402c68b9c22ab6d576b38c994fc6">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a76ac9d388529f090ab6dad5829dd0753">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a839a881ecff03f73102c1b48d9dbfb88">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleRetRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aed83aeb1d918eb3584641ab95a82df66">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a8d4535dae277ade2d1e75678ad89d950">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleSelect()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#acce4bce2322fe1cdcab369d906b9aee2">SVF::SVFIR2AbsState</a>
-</li>
-<li>handleSelectRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a588d02aee4d770fe6019197896fb405e">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a05673fde6e9f697fa6ffb8bc32fb6baa">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleSingleStatement()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a99f631cf1bc438e3f08f7f935e98e38d">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -243,7 +219,7 @@ $(function() {
 </li>
 <li>handleStore()
 : <a class="el" href="classSVF_1_1AndersenWaveDiff.html#a775a74d57842b85301daeafe64c8a5c4">SVF::AndersenWaveDiff</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4d614da483954db61664603cf0cf72e0">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a75204b54b40f1402d670691c0355d6b5">SVF::SVFIR2AbsState</a>
 </li>
 <li>handleStoreLoad()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a24921d1b1d79d7ef0b358be8d7a9e2c4">SVF::MTASVFGBuilder</a>
@@ -254,9 +230,6 @@ $(function() {
 <li>handleStoreLoadWithLockPrecisely()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#aa861922932233ab547b63c87551b8fd3">SVF::MTASVFGBuilder</a>
 </li>
-<li>handleStoreRel()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a41cb305781a119d0551c112023bbf88b">SVF::SVFIR2AbsState</a>
-</li>
 <li>handleStoreStore()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a29a14309cfa1d7c4454fb1237704e487">SVF::MTASVFGBuilder</a>
 </li>
@@ -309,9 +282,6 @@ $(function() {
 <li>hasBlackHoleConstObjAddrAsDef()
 : <a class="el" href="classSVF_1_1VFG.html#a88f6468b9b43bbb06ef757d884580a50">SVF::VFG</a>
 </li>
-<li>hasBranchES()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a12cba4105a721ff73a7b13b70ee9c5b2">SVF::AbstractInterpretation</a>
-</li>
 <li>hasCallGraphEdge()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#af8df9ca6d906453fa3f7168aa84fd087">SVF::PTACallGraph</a>
 </li>
@@ -336,9 +306,6 @@ $(function() {
 <li>hasCHI()
 : <a class="el" href="classSVF_1_1MemSSA.html#abfb338ce36ad46a9654d50dd6e2b07f1">SVF::MemSSA</a>
 </li>
-<li>hasCmpBranchES()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a01650b2a16e327408ce180b2d1bc9631">SVF::AbstractInterpretation</a>
-</li>
 <li>hasConstraintNode()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#aad6c37476edfd9ae92dc8c0d004d782d">SVF::ConstraintGraph</a>
 </li>
@@ -373,15 +340,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>hasDFOutSet()
-: <a class="el" href="classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDFPTData.html#af6d234ae2b0aa91b510f3a2fba877340">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>hasDRCheckFlag()
-: <a class="el" href="classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c">SVF::Annotator</a>
 </li>
 <li>hasDRNotCheckFlag()
-: <a class="el" href="classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48">SVF::Annotator</a>
 </li>
 <li>hasEdge()
 : <a class="el" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">SVF::CFLGraph</a>
@@ -479,7 +446,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
 : <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
@@ -495,7 +462,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f">SVF::MRGenerator</a>
 </li>
 <li>hasMU()
-: <a class="el" href="classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc">SVF::MemSSA</a>
 </li>
 <li>hasNode()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25">SVF::DCHGraph</a>
@@ -510,7 +477,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a7d2072c3c0ae571077a2aa2c3586451d">SVF::LockAnalysis</a>
 </li>
 <li>hasOutgoingEdge()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -570,9 +537,6 @@ $(function() {
 <li>hasSVFTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#af678e138df136d6f3cd53826dfa4486c">SVF::SymbolTableInfo</a>
 </li>
-<li>hasSwitchBranchES()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac3f8e4602627135c6fb03ba843893d6a">SVF::AbstractInterpretation</a>
-</li>
 <li>hasTCTNode()
 : <a class="el" href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT</a>
 </li>
@@ -583,7 +547,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>

package/SVF-doxygen/html/functions_func_i.html

@@ -265,7 +265,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#ae825e01893d3304379f72380d314f09c">SVF::SVFGOPT</a>
 </li>
 <li>initObjVar()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae1490bd3f93a4fcbb2390a3f30539b8a">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae0801d4df0304e422ee4cc1b60d2ffb3">SVF::SVFIR2AbsState</a>
 </li>
 <li>initSnks()
 : <a class="el" href="classSVF_1_1LeakChecker.html#a36613a8c07cbc3d50a764c9f37162d6c">SVF::LeakChecker</a>
@@ -285,7 +285,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#ac6a5540354696f4c9170e0a5832ba70e">SVF::LLVMModuleSet</a>
 </li>
 <li>initSVFVar()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aaecd2f39d5038009cb41b849fd8fe55f">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa992d91842053a6a651976cdb49199e4">SVF::SVFIR2AbsState</a>
 </li>
 <li>initTypeInfo()
 : <a class="el" href="classSVF_1_1SymbolTableBuilder.html#ae938564e6a36848cb848a5badc15a1de">SVF::SymbolTableBuilder</a>
@@ -296,11 +296,11 @@ $(function() {
 </li>
 <li>inLocToAddrsTable()
 : <a class="el" href="classSVF_1_1AbstractState.html#aff46e9d0fb20cedd54323c808d06f7cf">SVF::AbstractState</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a8eb06c3e65594dbcb602ec472258f09c">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aff41668736469523873f0407bcbb70fd">SVF::SVFIR2AbsState</a>
 </li>
 <li>inLocToValTable()
 : <a class="el" href="classSVF_1_1AbstractState.html#aa2ac2ba25a9859232717ee22192feb35">SVF::AbstractState</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a847a9d505d3ed722b5b3d32cbcbd72ee">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a378bc7aabe87501e3fbc9920f5f13e66">SVF::SVFIR2AbsState</a>
 </li>
 <li>inSameCallGraphSCC()
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ae58c2b25494ec51e714c83c6cfd5dd67">SVF::PointerAnalysis</a>
@@ -428,11 +428,11 @@ $(function() {
 </li>
 <li>inVarToAddrsTable()
 : <a class="el" href="classSVF_1_1AbstractState.html#aa34516a95191c5ec56ce44a117e8b018">SVF::AbstractState</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a62baa9403069a9b1e010eaeb2f6b9b34">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad42ca3cab47612c78a5d99cedea2f4ba">SVF::SVFIR2AbsState</a>
 </li>
 <li>inVarToValTable()
 : <a class="el" href="classSVF_1_1AbstractState.html#ab4d209d0739f2c45dbc2a7e61318e2e3">SVF::AbstractState</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a26afaf14db3b2a56e2d325630e5ba841">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a48e57f3511afd03c76dd0fe4b87b61e9">SVF::SVFIR2AbsState</a>
 </li>
 <li>Inverse()
 : <a class="el" href="structSVF_1_1Inverse.html#a9bff8acbcb891eeaeb6a9324312358a0">SVF::Inverse&lt; GraphType &gt;</a>
@@ -598,6 +598,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1AddressValue.html#a95338ecda5ff5b6e75934db032caaf2c">SVF::AddressValue</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a674f9bb98053f8658e246863d6561072">SVF::IntervalValue</a>
 </li>
+<li>isBranchFeasible()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af37a9016e602813fe6749d600024a141">SVF::AbstractInterpretation</a>
+</li>
 <li>isBuiltFromFile()
 : <a class="el" href="classSVF_1_1IRGraph.html#a41423da58a07b344bc7ca8dd96d48f98">SVF::IRGraph</a>
 </li>
@@ -625,6 +628,9 @@ $(function() {
 <li>isCFGEdge()
 : <a class="el" href="classSVF_1_1ICFGEdge.html#a3d3813be0b873335b17bb590e130d173">SVF::ICFGEdge</a>
 </li>
+<li>isCmpBranchFeasible()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a0d79146cc50ba4ba5334ae730c9d40a2">SVF::AbstractInterpretation</a>
+</li>
 <li>isConcreteCxt()
 : <a class="el" href="classSVF_1_1ContextCond.html#ac5f7388c0bbcee1878201819b9cd199f">SVF::ContextCond</a>
 </li>
@@ -708,7 +714,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2eb84610d9a9eca6565e4a8a1e1156d1">SVF::AbstractInterpretation</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -782,7 +788,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>isHeadofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ad0c3ea19875191721cd466fe85b91a8c">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
 </li>
 <li>isHeap()
 : <a class="el" href="classSVF_1_1MemObj.html#a898c5bb3956402578266a6fb142e02b1">SVF::MemObj</a>
@@ -939,7 +945,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#acd2486bcf4cf413e63afed7884a0719e">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -1177,18 +1183,21 @@ $(function() {
 <li>isSVFGNodeInCycle()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#add7daee4a0ecae479a5ab015130c8c93">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
+<li>isSwitchBranchFeasible()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a7886452f6573084948a3b4782925c52d">SVF::AbstractInterpretation</a>
+</li>
 <li>isTailofSpan()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a608f0cb60a665745748b6a6654a6e837">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
@@ -1301,10 +1310,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CopyStmt.html#a3b86c7bb4d9d59af3195537a932958b9">SVF::CopyStmt</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_range()
-: <a class="el" href="classSVF_1_1iter__range.html#ac3a12d857b57fbe7b81987f56655cb3b">SVF::iter_range&lt; IteratorT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__range.html#aa4d5bc9762f2d7686b9ab36078e0a319">SVF::iter_range&lt; IteratorT &gt;</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/functions_func_n.html

@@ -69,7 +69,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalValue.html#a6c175067e5573ae7180ae4d872c49c8f">SVF::IntervalValue</a>
 </li>
 <li>narrowAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a6292b9ebe6dd7e6857641210984bb815">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a4abde8e78108675a6980c362857cc7f0">SVF::SVFIR2AbsState</a>
 </li>
 <li>narrowFixpointPass()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a8a4b07e6c999bea0b0e69dcab0346933">SVF::AbstractInterpretation</a>

package/SVF-doxygen/html/functions_func_s.html

@@ -266,9 +266,6 @@ $(function() {
 <li>setEdgeFlag()
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aec95a42a5e46be50457fb3a8e9de7fbf">SVF::SVFIRReader</a>
 </li>
-<li>setEs()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a7d0fdfbb8d5b38d29aaded6cf803150c">SVF::SVFIR2AbsState</a>
-</li>
 <li>setExitBlock()
 : <a class="el" href="classSVF_1_1SVFFunction.html#abd458bb5a035d3f7db32fac5f01b57f3">SVF::SVFFunction</a>
 </li>
@@ -383,7 +380,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166">SVF::DCHNode</a>
 </li>
 <li>setName()
-: <a class="el" href="classSVF_1_1SVFStructType.html#a6283d212e48c08c9bcf5ade551a79a50">SVF::SVFStructType</a>
+: <a class="el" href="classSVF_1_1SVFStructType.html#ad397c1ef657691c0dae0c093a9b0a5e8">SVF::SVFStructType</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#a8325774df9d65d78ef6a66fef59b9a97">SVF::SVFValue</a>
 </li>
 <li>setNegCondInst()
@@ -602,9 +599,6 @@ $(function() {
 <li>SkipRecursiveCall()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#af966130d5cb8d7db786c3ec056cc2dd4">SVF::AbstractInterpretation</a>
 </li>
-<li>SkipRecursiveFunc()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2b0a2f7a662909d999634d0ec08cb29c">SVF::AbstractInterpretation</a>
-</li>
 <li>sliceState()
 : <a class="el" href="classSVF_1_1AbstractState.html#ae9897b85e3cb2dc675d3a2df76c44878">SVF::AbstractState</a>
 </li>
@@ -667,8 +661,8 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a8dcd94e8f996fdb2197159ea95226817">SVF::PCG</a>
 </li>
 <li>split()
-: <a class="el" href="classSVF_1_1LockResultValidator.html#ad26006e14c866d694bc6e2ebaa41ded9">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a73db9ad234b263b6e644e4b38be14fe6">SVF::MTAResultValidator</a>
+: <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -711,10 +705,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
@@ -724,7 +718,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
 </li>
 <li>StoreCGEdge()
-: <a class="el" href="classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79">SVF::StoreCGEdge</a>
+: <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
 </li>
 <li>StoreCHI()
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
@@ -748,7 +742,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a8ebe4342c1496b906ee1b6450558c3e8">SVF::FlowSensitive</a>
 </li>
 <li>strRead()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a7dfd11b987d9ff9528277e23191ed95d">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a37e6d17f92156f74f36136d369ac54ae">SVF::AbstractInterpretation</a>
 </li>
 <li>strToKind()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase</a>
@@ -760,7 +754,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFArgument()
@@ -773,7 +767,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBlackHoleValue()
-: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2">SVF::SVFBlackHoleValue</a>
+: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c">SVF::SVFBlackHoleValue</a>
 </li>
 <li>SVFBugEvent()
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent</a>
@@ -797,7 +791,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a494434af0d933dfd926bedcb8937f0f8">SVF::SVFFunction</a>
@@ -812,7 +806,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGBuilder.html#a003c6d9e13e5f73e0648d97400f1854e">SVF::SVFGBuilder</a>
 </li>
 <li>SVFGlobalValue()
-: <a class="el" href="classSVF_1_1SVFGlobalValue.html#a18dc40d9d9007c928a5b9d92c269cd87">SVF::SVFGlobalValue</a>
+: <a class="el" href="classSVF_1_1SVFGlobalValue.html#ac004fb727468898e90673328119b6059">SVF::SVFGlobalValue</a>
 </li>
 <li>SVFGNodeLockSpan()
 : <a class="el" href="classSVF_1_1SVFGNodeLockSpan.html#a43f4d595b31259576b141cb99883938e">SVF::SVFGNodeLockSpan</a>
@@ -884,10 +878,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
 </li>
 <li>SVFVirtualCallInst()
 : <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a57fa2d35c2df09e607b5d23852fca2fd">SVF::SVFVirtualCallInst</a>

package/SVF-doxygen/html/functions_func_t.html

@@ -298,7 +298,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1RelExeState.html#a8045abc5e96d0c7b373587c796180d3e">SVF::RelExeState</a>
 </li>
 <li>traceMemoryAllocationSize()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac9e8bc430cd530e47811e28f5a9fe963">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#aef497844d2988de7b223a5bc4d669c1c">SVF::AbstractInterpretation</a>
 </li>
 <li>traverseDendrogram()
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#abd44e3b07b0482bacf6b1a080fe650c6">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/functions_func_w.html

@@ -75,7 +75,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1IntervalValue.html#ab7ddcc29a116944a91db24af90d4c144">SVF::IntervalValue</a>
 </li>
 <li>widenAddrs()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad41b11a2a046f253353f5e888c0004ca">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad4ae901d5e3fe20c155e508884a5bf7f">SVF::SVFIR2AbsState</a>
 </li>
 <li>widenFixpointPass()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a1b8e1e0cc9803687a0eb951015ac59af">SVF::AbstractInterpretation</a>