From 698707086bd57866a357df33e2d2922f16e0a45f Mon Sep 17 00:00:00 2001
From: GitHub Actions Build <rockysui@gmail.com>
Date: Tue, 20 Aug 2024 22:59:22 +0000
Subject: [PATCH] Update svflib

---
 SVF-linux/Release-build/bin/saber             | Bin 8246536 -> 8246536 bytes
 .../Release-build/include/Util/SVFBugReport.h |   6 +++---
 SVF-linux/Release-build/lib/libSvfCore.a      | Bin 13371830 -> 13371830 bytes
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/SVF-linux/Release-build/bin/saber b/SVF-linux/Release-build/bin/saber
index 8da99a18a566c1b34f41dadca8c2a62e72820108..dec081185b23dc704e48fa9bd9adad1351b08461 100755
GIT binary patch
delta 562
zcmWm1$umL$0D$p%y~+|1580PwP1#FXvhPHe>_qnL%6c-R{sUKMV{mBZb#!y-V8-}c
z99(=3znSj~KmCYdygiCiz~j|D|7x^f`fvaJ$BQ-gE}8ElVkjaCP~g9nP(h72#3KQT
z&>#uP&>{t?&>;=!kdT2)WI>N?<RBM$$VUMRQG{ZYz<^R1QHF9<pb}N6h6yz=!-87W
zp&kurL=&1}g$*roM6?HEf>Jhp+HGz@CHo8xi$YL8@P<&-=s+vl(2fo`(TOf}qX)g{
zLq7&Eh#?GP1fv+kI9!;(B;1(7G-fah59TnB1uS9-%UHoG*5JiDHsHf1wy=#I>|zi5
f@Z$i7IKnYbaEddWBY+?-aEU8i<3^4eZ(Xl{*G=5&

delta 562
zcmWm1$u>f90D$px`<v$>^Ay)LB$6>jGS5V0o@E|Gk*pl2_7-i~+OX)H+at8F@DyIb
z)@SiM=leqMzaoUsSD|(3Vs`I~TPJ%I+ne9?^Q;fVo+2U`5fU``?>NLG0f|ULGE$I=
zG^8T~naDyma*zux@{o@L6ru>lC_yR8P>u@dP>CwYsD^?X)S?dc(4zqcG@=PcG{b}z
zw4x2|=s+jT=u#uX;`@?>YWTL8osvd%%T}XC5@B8rMinc%(E}TLVMibOF@Qk~VHhJA
z#Tdphfk{kZ8Z&TU7ISc79t&_`5ldLc3Rba(b!=c0TiC`9cCiOH_Hlqi9N`!zIK>&x
cae+%*!Gmku;1*u^aEE*N@qmCDRURE5f204~-T(jq

diff --git a/SVF-linux/Release-build/include/Util/SVFBugReport.h b/SVF-linux/Release-build/include/Util/SVFBugReport.h
index 809e8c61..43377249 100644
--- a/SVF-linux/Release-build/include/Util/SVFBugReport.h
+++ b/SVF-linux/Release-build/include/Util/SVFBugReport.h
@@ -209,7 +209,7 @@ class DoubleFreeBug : public GenericBug
 {
 public:
     DoubleFreeBug(const EventStack &bugEventStack):
-        GenericBug(GenericBug::PARTIALLEAK, bugEventStack) { }
+        GenericBug(GenericBug::DOUBLEFREE, bugEventStack) { }
 
     cJSON *getBugDescription() const;
     void printBugToTerminal() const;
@@ -225,7 +225,7 @@ class FileNeverCloseBug : public GenericBug
 {
 public:
     FileNeverCloseBug(const EventStack &bugEventStack):
-        GenericBug(GenericBug::NEVERFREE, bugEventStack) {  };
+        GenericBug(GenericBug::FILENEVERCLOSE, bugEventStack) {  };
 
     cJSON *getBugDescription() const;
     void printBugToTerminal() const;
@@ -241,7 +241,7 @@ class FilePartialCloseBug : public GenericBug
 {
 public:
     FilePartialCloseBug(const EventStack &bugEventStack):
-        GenericBug(GenericBug::PARTIALLEAK, bugEventStack) { }
+        GenericBug(GenericBug::FILEPARTIALCLOSE, bugEventStack) { }
 
     cJSON *getBugDescription() const;
     void printBugToTerminal() const;
diff --git a/SVF-linux/Release-build/lib/libSvfCore.a b/SVF-linux/Release-build/lib/libSvfCore.a
index aab50fa43b86d07d00af613d0ce4f6fb516c1288..de30135128e9afb60d64257efeb58c179ddd8742 100644
GIT binary patch
delta 584
zcmWN_Ra=t*06^hq2%pKYyTK0Z4s6Bl!tU-a)FZPC6+5xe=@i`TPW%)5DV&S<=8YG|
zg1GVtkwPU>Nh6>#Rj5ies#Ak>!emgBTGXZvb*V>v8qknNG^PnnX-0Ee(2`cPCX+1M
z(3W<zrvn}7L}$9tm2A4vogVb07rp62U;5FX0SsgigBik5au~*NMlh05jAjgD8AmST
znZQIQF_|e$Wg63&!Axc`n>oy79`ng#0Sj5gVwSL!Wh`d}D_O;A*07d!tY-ro*~DhH
zu$66WX9qjk#cuYnmwoK#00%ilK8HEN(K6DLq0~q?Ng|v)R$LxROO%!rWT%9JA}=!%
zL<<zrah=dfoziKY(OI3-d0o&&73z{M>xznWRo8S~H*{0CbX#|HSNC*Z4^*s&dZfpC
zqNgg+Gd)*SFZ5C|z0zxys!VSbS3+;~PVe<WAN5I}^+jLxP2crHKlMw$^+$j8Pvwaq
I`ahOe0r>Izy8r+H

delta 584
zcmWN_)mjq(0D#eNo6clnx2RwTcDESVo!H&oh5F0vLd8xjbUFn$yAxkxkHUX(Zcd^w
z9!@Bq06{`jqB3EsP?c&_rv^1iBSJ0GsZAZ~QjhvHpdpQDOcR>YjOMf;gO;?SHJN15
zhPJe$Jss#sCpy!Gu4L1V?)0E1z35FJ`qGd73}7IG7|alcGK}GjU?e$=Vl-nIOD^LW
z&jcniiOEc1D$|(G3}!Nm+00=s^O#Q_3s}e^7PEw<EMqw<Sjj3@vxc>-V?7(#$R;+k
zg{^F3J3H9PE_Snrz3gK@2RO(f@;S^Aj+T*@3WTDO6v;^HSaEqEm@F+R$PNZVMP6n!
z94k;%$8|y{bxNmoMrU<S=XF6BRj5n4tSc(gRbA6{-Ox?l(rw+*UER}tJy5Y8>X9Dn
ziJq!N&-7d|z0ga=^-8Z*sxrM%LP@>VJH6Kjebgs?))#%%H+|O+{nRi0)*t=VKb0rL
IvH$VB3h?Fov;Y7A