svf-lib 1.0.2357 → 1.0.2359

package/SVF-linux-x86_64/include/AE/Core/NumericValue.h

@@ -446,7 +446,10 @@ public:
     friend BoundedInt operator/(const BoundedInt& lhs, const BoundedInt& rhs)
     {
         if (rhs.is_zero())
+        {
             assert(false && "divide by zero");
+            abort();
+        }
         else if (!lhs.is_infinity() && !rhs.is_infinity())
             return lhs._iVal / rhs._iVal;
         else if (!lhs.is_infinity() && rhs.is_infinity())

package/SVF-linux-x86_64/include/AE/Svfexe/AEDetector.h

@@ -215,7 +215,10 @@ public:
         if (hasGepObjOffsetFromBase(obj))
             return gepObjOffsetFromBase.at(obj);
         else
+        {
             assert(false && "GepObjVar not found in gepObjOffsetFromBase");
+            abort();
+        }
     }
 
     /**

package/SVF-linux-x86_64/include/AE/Svfexe/AbstractInterpretation.h

@@ -168,6 +168,7 @@ public:
         if (abstractTrace.count(repNode) == 0)
         {
             assert(false && "No preAbsTrace for this node");
+            abort();
         }
         else
         {

package/SVF-linux-x86_64/include/SVF-LLVM/SVFIRBuilder.h

@@ -408,6 +408,7 @@ protected:
             }
         }
         assert (false && "Unknown cast inst!");
+        abort();
     }
 
     /// Add Copy edge

package/SVF-linux-x86_64/include/WPA/WPAStat.h

@@ -104,8 +104,8 @@ public:
 private:
     enum ENUM_INOUT
     {
-        IN,
-        OUT
+        IN_SET,
+        OUT_SET
     };
 
     void clearStat();

package/SVF-osx/include/Graphs/GraphPrinter.h

@@ -66,7 +66,7 @@ public:
             return;
         }
 
-        O << "Writing '" << Filename << "'...";
+        O << "Writing '" << Filename << "'...\n";
 
         WriteGraph(outFile, GT, simple);
         outFile.close();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2357",
+  "version": "1.0.2359",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {