Update svflib

SVF-tools · Aug 20, 2024 · 6987070 · 6987070
1 parent 81afbe6
commit 6987070
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/SVF-linux/Release-build/bin/saber b/SVF-linux/Release-build/bin/saber
diff --git 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