svf-tools 1.0.769 → 1.0.771

package/SVF-doxygen/html/html/namespacemembers_func_g.html

@@ -80,6 +80,9 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097">SVF::LLVMUtil</a>
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a13d4f8034c444986da7c57cb5338f851">SVF::SVFUtil</a>
 </li>
+<li>getCaseValue()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a33e8378ae1a911169394e545a4ba2220">SVF::LLVMUtil</a>
+</li>
 <li>getClassNameFromType()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a416bcb6da0650f546cb7d83e6be850b6">SVF::LLVMUtil</a>
 </li>
@@ -99,7 +102,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a3d34fcdfc98add848a34fd5259c11eb2">SVF::LLVMUtil</a>
 </li>
 <li>getForkedFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a40f4fe34203246d99a565930d1240c15">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2790c5289dad1d6e80f7597a2ea458ab">SVF::SVFUtil</a>
 </li>
 <li>getFunAnnotations()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8cd4d6410017b9e5f47f2f88450b78d8">SVF::LLVMUtil</a>
@@ -153,8 +156,11 @@ $(function() {
 <li>getSourceLocOfFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c">SVF::LLVMUtil</a>
 </li>
+<li>getSuccBBandCondValPairVec()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a9001722dd27bf487351725c3d7b65f2f">SVF::LLVMUtil</a>
+</li>
 <li>getSVFCallSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#af985ceea64e3e61cf1b5c78467248c2d">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil</a>
 </li>
 <li>getTaskDataAtHareParForSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">SVF::SVFUtil</a>
@@ -169,7 +175,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">SVF::LLVMUtil</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d">SVF::LLVMUtil</a>
 </li>
 <li>getUniqueUseViaCastInst()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_func_i.html

@@ -144,9 +144,6 @@ $(function() {
 <li>isHeapAllocExtFunViaRet()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil</a>
 </li>
-<li>isHeapAllocOrStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">SVF::SVFUtil</a>
-</li>
 <li>isInt2PtrConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil</a>
 </li>
@@ -204,7 +201,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a07c785d931cef3c61e3dab4c615770be">SVF::LLVMUtil</a>
 </li>
 <li>isReallocExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a21eb8acf4b7f876507ff02c65fff0869">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6740e7686ba111ae525c6c093cbbaf46">SVF::SVFUtil</a>
 </li>
 <li>isReallocExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a97c74c642ad43d955ac8a3f3ad8907b4">SVF::SVFUtil</a>
@@ -215,12 +212,6 @@ $(function() {
 <li>isSelectConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">SVF::LLVMUtil</a>
 </li>
-<li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae62938f722543d6d7fc201b685be1abf">SVF::SVFUtil</a>
-</li>
-<li>isStaticExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
-</li>
 <li>isThreadExitCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a916f308f05ef0711f0aa32a8e6f96986">SVF::SVFUtil</a>
 </li>
@@ -228,7 +219,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae3abb438b0182c32abfbd6a625a24041">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_g.html

@@ -167,6 +167,9 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ad56c48be3ba6ebb95416623256524097">SVF::LLVMUtil</a>
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a145abbd2958629718fbca41d25c3124d">SVF::SVFUtil</a>
 </li>
+<li>getCaseValue()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a33e8378ae1a911169394e545a4ba2220">SVF::LLVMUtil</a>
+</li>
 <li>getClassNameFromType()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a416bcb6da0650f546cb7d83e6be850b6">SVF::LLVMUtil</a>
 </li>
@@ -207,7 +210,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a9e0c786488dfdc4605d4cbcf9943c85a">SVF::LLVMUtil</a>
 </li>
 <li>getHeapAllocHoldingArgPosition()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59">SVF::SVFUtil</a>
 </li>
 <li>getLLVMCallSite()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a0095d23a9c9d5d62ec4a23c56824b5f0">SVF::LLVMUtil</a>
@@ -219,7 +222,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil</a>
 </li>
 <li>getNextInsts()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a7fa1f910598426330f08da19e9efdfa3">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#afbd60d5443c7fa1448813d00bb5d0fa7">SVF::LLVMUtil</a>
 </li>
 <li>getPrevInsts()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a4c94a6c02fb89c1a1604c87414956acd">SVF::LLVMUtil</a>
@@ -235,7 +238,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#abba4111230f6009bbf50518ee36a9870">SVF::LLVMUtil</a>
 </li>
 <li>getRefTypeOfHeapAllocOrStatic()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a6c5f2f951463494af2e7b0d3267f2772">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aa81614cdb6a2a912638d5dc980480af7">SVF::LLVMUtil</a>
 </li>
 <li>getSourceLoc()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a8e4add30bd0ce00d3f2aa2e31c64fef8">SVF::LLVMUtil</a>
@@ -243,6 +246,9 @@ $(function() {
 <li>getSourceLocOfFunction()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b32283ee2dbb9cef1d17ab6f2719e0c">SVF::LLVMUtil</a>
 </li>
+<li>getSuccBBandCondValPairVec()
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a9001722dd27bf487351725c3d7b65f2f">SVF::LLVMUtil</a>
+</li>
 <li>getSVFCallSite()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9815a5b31ac7dc21239d08e5b9f61106">SVF::SVFUtil</a>
 </li>
@@ -250,7 +256,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2f74db48793a0db76c000ffecf9e1bd2">SVF::SVFUtil</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#aa45cda6380bdd53ba88268aa8cf336e5">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5cee46f58bdab3f9b1c698e97290152f">SVF::SVFUtil</a>
 </li>
 <li>getThunkTarget()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#aab1cb59036d181e20a477bf1eebd81ff">SVF::LLVMUtil</a>
@@ -259,7 +265,7 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae368713463c84425f9a1ad27ff401a47">SVF::LLVMUtil</a>
 </li>
 <li>getTypeSizeInBytes()
-: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a2b5fdf455c5dd40c0baa60185e5e41c6">SVF::LLVMUtil</a>
+: <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a09683d4d88a50fa621809c734465f94d">SVF::LLVMUtil</a>
 </li>
 <li>getUniqueUseViaCastInst()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a837d19c740902c419206287bdb21273b">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_i.html

@@ -192,9 +192,6 @@ $(function() {
 <li>isHeapAllocExtFunViaRet()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a19b96a872d9096037f20e25122e469ea">SVF::SVFUtil</a>
 </li>
-<li>isHeapAllocOrStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a61ed4bb80d88b0f8dbc02535c224fdfb">SVF::SVFUtil</a>
-</li>
 <li>isInt2PtrConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#adfa4a4e6d13004d14137d9168bd32463">SVF::LLVMUtil</a>
 </li>
@@ -212,10 +209,10 @@ $(function() {
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a45da980cb7c085942bb8e6010db9d84f">SVF::LLVMUtil</a>
 </li>
 <li>isLockAquireCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5f3ecd0770991b6e84afe47a3934f0d2">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9cf550008fb5f051983003ee105738b1">SVF::SVFUtil</a>
 </li>
 <li>isLockReleaseCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5b17fb3f5997e269938a368105592cbf">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1241ef1c19df14f7db0bd62dd68f14f9">SVF::SVFUtil</a>
 </li>
 <li>isMemcpyExtFun()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a688bd5e1bf36b3e75bfcea9388871dc4">SVF::SVFUtil</a>
@@ -240,7 +237,7 @@ $(function() {
 , <a class="el" href="namespaceSVF_1_1SVFUtil.html#a2c97c2b79b795465490512e267a9309b">SVF::SVFUtil</a>
 </li>
 <li>isProgExitCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a6528edf9a1750df4a84d1a60d4d0bbe4">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a81e9fe00756a3f42395261c87e64de02">SVF::SVFUtil</a>
 </li>
 <li>isProgExitFunction()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#aec7ee60be22e8f9397db108131696d57">SVF::SVFUtil</a>
@@ -263,20 +260,14 @@ $(function() {
 <li>isSelectConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#ae59b0dc7f29dbd2018e819f77465f66e">SVF::LLVMUtil</a>
 </li>
-<li>isStaticExtCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a9236e11e62bde33d6ab1f309300c488a">SVF::SVFUtil</a>
-</li>
-<li>isStaticExtFun()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a1bc9bb7bd6c9682debf3ffab7182abf5">SVF::SVFUtil</a>
-</li>
 <li>isThreadExitCall()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a916f308f05ef0711f0aa32a8e6f96986">SVF::SVFUtil</a>
 </li>
 <li>isThreadForkCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a5c2abeb363081381c3dc939ab511e3f0">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ae3abb438b0182c32abfbd6a625a24041">SVF::SVFUtil</a>
 </li>
 <li>isThreadJoinCall()
-: <a class="el" href="namespaceSVF_1_1SVFUtil.html#ad96e4550fca39e3edb362326a4cf1913">SVF::SVFUtil</a>
+: <a class="el" href="namespaceSVF_1_1SVFUtil.html#a194a8cf292726bd6cd54307b555c068a">SVF::SVFUtil</a>
 </li>
 <li>isTruncConstantExpr()
 : <a class="el" href="namespaceSVF_1_1LLVMUtil.html#a946a2b51b848c45c6c52f03581ee05b8">SVF::LLVMUtil</a>

package/SVF-doxygen/html/html/namespacemembers_s.html

@@ -130,6 +130,12 @@ $(function() {
 <li>succ_const_iterator
 : <a class="el" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF</a>
 </li>
+<li>SuccBBAndCondValPair
+: <a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF</a>
+</li>
+<li>SuccBBAndCondValPairVec
+: <a class="el" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF</a>
+</li>
 <li>sucMsg()
 : <a class="el" href="namespaceSVF_1_1SVFUtil.html#a05dc00b2bd9a8176aae31b6cfffe725d">SVF::SVFUtil</a>
 </li>

package/SVF-doxygen/html/html/namespacemembers_type_s.html

@@ -115,6 +115,12 @@ $(function() {
 <li>succ_const_iterator
 : <a class="el" href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF</a>
 </li>
+<li>SuccBBAndCondValPair
+: <a class="el" href="namespaceSVF.html#a255efa5be786996cbdd0c1f3d98b8400">SVF</a>
+</li>
+<li>SuccBBAndCondValPairVec
+: <a class="el" href="namespaceSVF.html#a8de26e1810ea0c3b1e8ad62f1c8a864d">SVF</a>
+</li>
 <li>SVFGEdge
 : <a class="el" href="namespaceSVF.html#aa4745cf70b26e17d59752356f0b19dd9">SVF</a>
 </li>