svf-tools 1.0.913 → 1.0.915

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#a5e687d6247e396f77d523fb55e5b5627">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#a90b54f715dfa24657bd3e058617bffac">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>

package/SVF-doxygen/html/functions_g.html

@@ -226,7 +226,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>
@@ -280,7 +280,7 @@ $(function() {
 <li>getAddrs()
 : <a class="el" href="classSVF_1_1AbstractState.html#a234d0b11624febec605bc028f093240b">SVF::AbstractState</a>
 , <a class="el" href="structSVF_1_1AbstractValue.html#ab1fe6a57f784971b3bc603dbfda746e8">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>
@@ -300,7 +300,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>
@@ -477,7 +477,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>
@@ -1260,13 +1260,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>
@@ -1372,7 +1372,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>
@@ -1598,7 +1598,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>
@@ -2203,7 +2203,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>
@@ -2470,7 +2470,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>
@@ -2493,7 +2493,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>
@@ -2597,7 +2597,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MTAResultValidator.html#a1ac51d2847f9bdee27092ab22211bb61">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>
@@ -2817,7 +2817,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>
@@ -2853,7 +2853,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>
@@ -2995,7 +2995,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#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>

package/SVF-doxygen/html/functions_h.html

@@ -71,13 +71,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>
@@ -91,10 +88,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>
@@ -110,21 +104,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>
@@ -159,7 +147,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>
@@ -194,20 +182,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>
@@ -218,25 +203,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>
@@ -246,7 +222,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>
@@ -257,9 +233,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>
@@ -316,9 +289,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>
@@ -343,9 +313,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>
@@ -376,7 +343,7 @@ $(function() {
 </li>
 <li>hasDFInSet()
 : <a class="el" href="classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutableDFPTData.html#aa8b85dee2b70031a2f97e1a36c9b25de">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1MutableDFPTData.html#a9a9641305c9d670e09f02b71a3e384a9">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>hasDFOutSet()
@@ -388,7 +355,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711">SVF::Annotator</a>
 </li>
 <li>hasDRNotCheckFlag()
-: <a class="el" href="classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe">SVF::Annotator</a>
 </li>
 <li>hasEdge()
 : <a class="el" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">SVF::CFLGraph</a>
@@ -486,10 +453,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT</a>
 </li>
 <li>hasLabeledEdge()
-: <a class="el" href="classSVF_1_1IRGraph.html#a192e584440eb141e0d35d8fed671bbe0">SVF::IRGraph</a>
+: <a class="el" href="classSVF_1_1IRGraph.html#a1c999e2fd771e4fda192af096e3ec92c">SVF::IRGraph</a>
 </li>
 <li>hasLoop()
-: <a class="el" href="classSVF_1_1TCT.html#a79e221b4bc173c089aba46101b20a512">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a103d85882e753fe90893a4f0e78dda26">SVF::TCT</a>
 </li>
 <li>hasLoopInfo()
 : <a class="el" href="classSVF_1_1SVFFunction.html#aee05370109d7667c40ca34c454c66714">SVF::SVFFunction</a>
@@ -517,7 +484,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#a0931220d7a38e03f206cbdc6465d32ad">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa0c40cb708b39300b3cb7354194e4993">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>hasOutgoingEdges()
 : <a class="el" href="classSVF_1_1SVFVar.html#a9b00f9b5f8ad2422162f4396e2d8fa42">SVF::SVFVar</a>
@@ -577,9 +544,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>