svf-lib 1.0.1921 → 1.0.1923

package/SVF-linux/Release-build/include/Util/Options.h

@@ -267,8 +267,16 @@ public:
     static const Option<u32_t> Timeout;
     /// bug info output file, Default: output.db
     static const Option<std::string> OutputName;
-    /// open buffer overflow checker, Default: false
+    /// buffer overflow checker, Default: false
     static const Option<bool> BufferOverflowCheck;
+    /// memory leak check, Default: false
+    static const Option<bool> MemoryLeakCheck;
+    /// file open close checker, Default: false
+    static const Option<bool> FileCheck;
+    /// double free checker, Default: false
+    static const Option<bool> DFreeCheck;
+    /// data race checker, Default: false
+    static const Option<bool> RaceCheck;
     /// if the access index of gepstmt is unknown, skip it, Default: false
     static const Option<bool> GepUnknownIdx;
     static const Option<bool> RunUncallFuncs;

package/SVF-osx/Release-build/include/SVF-LLVM/BasicTypes.h

@@ -191,7 +191,7 @@ typedef llvm::IntrinsicInst IntrinsicInst;
 typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
 typedef llvm::DbgVariableIntrinsic DbgVariableIntrinsic;
 typedef llvm::DbgDeclareInst DbgDeclareInst;
-typedef llvm::DbgAddrIntrinsic DbgAddrIntrinsic;
+typedef llvm::DbgInfoIntrinsic DbgInfoIntrinsic;
 typedef llvm::DbgValueInst DbgValueInst;
 typedef llvm::DbgLabelInst DbgLabelInst;
 typedef llvm::VPIntrinsic VPIntrinsic;

package/package.json

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