svf-tools 1.0.913 → 1.0.915

package/SVF-doxygen/html/dir_9a8e7a56f4029a0d9f62b1c6d1f6e85b.html

@@ -80,8 +80,6 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:RelExeState_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="RelExeState_8cpp.html">RelExeState.cpp</a> <a href="RelExeState_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:SVFIR2Relation_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="SVFIR2Relation_8cpp.html">SVFIR2Relation.cpp</a> <a href="SVFIR2Relation_8cpp_source.html">[code]</a></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/files.html

@@ -227,7 +227,6 @@ $(function() {
 <tr id="row_0_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BoundedZ3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BoundedZ3Expr_8cpp.html" target="_self">BoundedZ3Expr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelationSolver_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelationSolver_8cpp.html" target="_self">RelationSolver.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="RelExeState_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="RelExeState_8cpp.html" target="_self">RelExeState.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_0_0_4_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="SVFIR2Relation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFIR2Relation_8cpp.html" target="_self">SVFIR2Relation.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_0_1_0_1_" class="arrow" onclick="toggleFolder('0_1_0_1_')">&#9658;</span><span id="img_0_1_0_1_" class="iconfclosed" onclick="toggleFolder('0_1_0_1_')">&#160;</span><a class="el" href="dir_81caa96ab1d3de93b353e2bbe80e6067.html" target="_self">Svfexe</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="AbstractInterpretation_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AbstractInterpretation_8cpp.html" target="_self">AbstractInterpretation.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_0_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:80px;display:inline-block;">&#160;</span><a href="BufOverflowChecker_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BufOverflowChecker_8cpp.html" target="_self">BufOverflowChecker.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/functions.html

@@ -188,9 +188,6 @@ $(function() {
 <li>_entry
 : <a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">SVF::WTO&lt; GraphT &gt;</a>
 </li>
-<li>_es
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad487088a4456b3f1d712c25756fe71e9">SVF::SVFIR2AbsState</a>
-</li>
 <li>_extAPIBufOverflowCheckRules
 : <a class="el" href="classSVF_1_1BufOverflowChecker.html#af83b65ed98cd4e0f6cd92962e7392d4d">SVF::BufOverflowChecker</a>
 </li>
@@ -428,14 +425,14 @@ $(function() {
 <li>_pag
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a5521918cc06c182c821b9fae8136e4fe">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>_postAbstractTrace
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bcfbde64bd51082e8c587e0bc708377">SVF::AbstractInterpretation</a>
+<li>_postAbsTrace
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a6371af4c3c07ced109be8c2f28dcaa09">SVF::AbstractInterpretation</a>
 </li>
 <li>_PotentialNumOfVarHaveINOUTPts
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a08ea2c3d891337992291123a1bb4da97">SVF::FlowSensitiveStat</a>
 </li>
-<li>_preAbstractTrace
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac97c5979efd3049d18b6edb83f359a20">SVF::AbstractInterpretation</a>
+<li>_preAbsTrace
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a16ac184f8cbbeba3622ee9e5f84d4bec">SVF::AbstractInterpretation</a>
 </li>
 <li>_pta
 : <a class="el" href="classSVF_1_1DDAPass.html#a7a4bd29396855329972f928107521c86">SVF::DDAPass</a>

package/SVF-doxygen/html/functions_a.html

@@ -98,7 +98,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaLoadStmt()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac60581a57407fa4c65b1975f5be687b8">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af7f57fc112a86d2710d011d37b496350">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaRetNode()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a29fe7c63c61a7aec8ae1477a061f5bf2">SVF::AbstractInterpretation</a>
@@ -1436,7 +1436,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader</a>
 </li>
 <li>applySummary()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aedb9ed0802f5aabb3dff760615600678">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab1172cf5c51b84c2a5c70f8642cfc51b">SVF::SVFIR2AbsState</a>
 </li>
 <li>ARet
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">SVF::VFGNode</a>

package/SVF-doxygen/html/functions_f.html

@@ -686,12 +686,12 @@ $(function() {
 <li>FunToPAGEdgeSetMap
 : <a class="el" href="classSVF_1_1SVFIR.html#ac918466df08a2ab30472f3e57935f005">SVF::SVFIR</a>
 </li>
-<li>FunToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
-</li>
 <li>funToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a05c7a5ddbe3079f63be76c35298d1c2b">SVF::MRGenerator</a>
 </li>
+<li>FunToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#ad492e2940936fc7df06127f0cb94d47a">SVF::MRGenerator</a>
+</li>
 <li>FunToPointsTosMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a6b8bbb60126105cc77c1a6a4c46677fd">SVF::MRGenerator</a>
 </li>

package/SVF-doxygen/html/functions_func.html

@@ -92,7 +92,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaLoadStmt()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac60581a57407fa4c65b1975f5be687b8">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#af7f57fc112a86d2710d011d37b496350">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaRetNode()
 : <a class="el" href="classSVF_1_1AbstractInterpretation.html#a29fe7c63c61a7aec8ae1477a061f5bf2">SVF::AbstractInterpretation</a>
@@ -1179,7 +1179,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader</a>
 </li>
 <li>applySummary()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aedb9ed0802f5aabb3dff760615600678">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab1172cf5c51b84c2a5c70f8642cfc51b">SVF::SVFIR2AbsState</a>
 </li>
 <li>arg_empty()
 : <a class="el" href="classSVF_1_1CallSite.html#ad084f7734007db7b14444b20bb980dd3">SVF::CallSite</a>

package/SVF-doxygen/html/functions_func_g.html

@@ -155,7 +155,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Z3Expr.html#a8b2b5fa74704d776a2cd415b599a1393">SVF::Z3Expr</a>
 </li>
 <li>getAbsState()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a99b526db536fb241ff755a82a45123fa">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a57e4ee3fde79c408dffe98894210d7c9">SVF::AbstractInterpretation</a>
 </li>
 <li>getAccessLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#a9c169e68b0c793909d643e3e266434fe">SVF::BufOverflowException</a>
@@ -209,7 +209,7 @@ $(function() {
 <li>getAddrs()
 : <a class="el" href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">SVF::AbstractState</a>
 , <a class="el" href="structSVF_1_1AbstractValue.html#a8b2de4798013716c6cf420817fead0ac">SVF::AbstractValue</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa3e62b9ef912def502b95992199f5d8c">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a611ac228efd661b301ea1dd675cd1c0c">SVF::SVFIR2AbsState</a>
 </li>
 <li>getAggs()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a159e158c794fff115d5642b85963f43b">SVF::DCHGraph</a>
@@ -229,7 +229,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR</a>
 </li>
 <li>getAllocaInstByteSize()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a0e8b546f608417e218c2fab5a5893135">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a60a21908a08864f01a66a3ac113c4a35">SVF::AbstractInterpretation</a>
 </li>
 <li>getAllocLb()
 : <a class="el" href="structSVF_1_1BufOverflowException.html#af8a7272c33f826f0079d5a31f6c5d547">SVF::BufOverflowException</a>
@@ -406,7 +406,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a94f3e4d073b8c5bab3c46058ddba3f43">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>getByteOffset()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a21e927af79c73460ff5629cbd4961163">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aec9a351850857fa3c6fb23c58317cb0d">SVF::SVFIR2AbsState</a>
 </li>
 <li>getByteSize()
 : <a class="el" href="classSVF_1_1SVFType.html#a95b8031f1e15d49c7d68628be1d05aae">SVF::SVFType</a>
@@ -1189,13 +1189,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">SVF::ProgSlice</a>
 </li>
 <li>getFPToSIntValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af48bab5352f5d1927aa467e1eb59c09f">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#accc3a4574ab5dd71149b4266dd19ca2f">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPToUIntValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae6a36e79bdc4506f9f011ad100125444">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a8ceffd42b533a28fffa665537e14d4e8">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPTruncValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a5ba833f2f98f5b1b1a8a7ff7ecdb72b9">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a0bdeaa3dac43c85cfac9195592db3fc9">SVF::SVFIR2AbsState</a>
 </li>
 <li>getFPValue()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#aeb4e17aacb17c53ff5663175dd762abc">SVF::SVFConstantFP</a>
@@ -1301,7 +1301,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ac645cf2114161981cd4465c83cbc31f5">SVF::ConstraintNode</a>
 </li>
 <li>getGepObjAddress()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a10a83572bf5dee369b54cda74f402073">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aaca7dc6ee9a3c8ea6e3eca094c7c3045">SVF::SVFIR2AbsState</a>
 </li>
 <li>getGepObjNodeMap()
 : <a class="el" href="classSVF_1_1SVFIR.html#ac1674bd25a17cae24141e6bff24a411e">SVF::SVFIR</a>
@@ -1527,7 +1527,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">SVF::VFG</a>
 </li>
 <li>getItvOfFlattenedElemIndex()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a928b35a6ea960a94470b0983008bfa9d">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af3f15bd1ccf90a4e11a4dcfda2f2aa47">SVF::SVFIR2AbsState</a>
 </li>
 <li>getJoinEdgeBegin()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#af848d7cb8a9f756ff45cca45adbf3b84">SVF::ThreadCallGraph</a>
@@ -2132,7 +2132,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#a82ab0d35c95aeefbc4dfc8eb59033dca">SVF::MemSSA</a>
 </li>
 <li>getPointeeElement()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2057e8e1c0aaf39e74f0a8fb2a1b580c">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#abb8dd7424d62b56b899d3f4d218eeaac">SVF::AbstractInterpretation</a>
 </li>
 <li>getPointsTo()
 : <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#a30aca718d25924f1babdf348bb0ace71">SVF::IndirectSVFGEdge</a>
@@ -2399,7 +2399,7 @@ $(function() {
 </li>
 <li>getSExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4">SVF::SVFConstantInt</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aa925878721ae7028c3edae0c7fe8e127">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a7dbb2fcda16a2879d4b508ab41d6919d">SVF::SVFIR2AbsState</a>
 </li>
 <li>getSiblingThread()
 : <a class="el" href="classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f">SVF::TCT</a>
@@ -2422,7 +2422,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96">SVF::SrcSnkDDA</a>
 </li>
 <li>getSIntToFPValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#af38b6e392cfd91b3516f2bc9feacce34">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#aba8911ddb22a7e9736f7676ed1d99a82">SVF::SVFIR2AbsState</a>
 </li>
 <li>getSolver()
 : <a class="el" href="classSVF_1_1Z3Expr.html#a16721e960145864d0835eb95f2ae4681">SVF::Z3Expr</a>
@@ -2526,7 +2526,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a75057911bf08c167ead4232c4a2b25f4">SVF::MTAResultValidator</a>
 </li>
 <li>getStrlen()
-: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a5bba3c0570d73acc743742a30af1b0b4">SVF::AbstractInterpretation</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ab076eddb7908768126c190c23b91eb85">SVF::AbstractInterpretation</a>
 </li>
 <li>getStrongUpdateStores()
 : <a class="el" href="classSVF_1_1DDAStat.html#a26b018fc5677e33876bee1200c270e60">SVF::DDAStat</a>
@@ -2746,7 +2746,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt</a>
 </li>
 <li>getTruncValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a38a62cdec2fac4ad2e64b86b4eb3b0bf">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a8bc2d298ea7a239cd06f5462045da14f">SVF::SVFIR2AbsState</a>
 </li>
 <li>getType()
 : <a class="el" href="structSVF_1_1AbstractValue.html#aa4eedea82ef602431a17973afadff0a6">SVF::AbstractValue</a>
@@ -2782,7 +2782,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
 <li>getUIntToFPValue()
-: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ae247497ab346e612f645d39041b2ce32">SVF::SVFIR2AbsState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ab6c5effe0a781740bdee4d12583c5c8e">SVF::SVFIR2AbsState</a>
 </li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
@@ -2924,7 +2924,7 @@ $(function() {
 </li>
 <li>getZExtValue()
 : <a class="el" href="classSVF_1_1SVFConstantInt.html#aabc3c47a6e4036bf993fe29fa195bf1e">SVF::SVFConstantInt</a>
-, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a1e270574a1d6f0894868cfb098ffbb8b">SVF::SVFIR2AbsState</a>
+, <a class="el" href="classSVF_1_1SVFIR2AbsState.html#a037e4c0e35b1fd45df3a969c6d054a1e">SVF::SVFIR2AbsState</a>
 </li>
 <li>global_begin()
 : <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>

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#a1c1d065a7cbee526ecdefdb1407c3c83">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#ab50b8867cfb0feb3ae0727e1c11f5d25">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#a47e6ec5a99f0818c23a13976e553a848">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#aae9a6382cb20ddc6837ea086fbeb96bc">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#a58a20f54a14628ca4e94cbb608b307af">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>

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>