svf-lib 1.0.1421 → 1.0.1423

package/SVF-linux/svf/include/Util/Options.h

@@ -223,6 +223,9 @@ public:
     // SaberCondAllocator.cpp
     static const Option<bool> PrintPathCond;
 
+    // SaberSVFGBuilder.cpp
+    static const Option<bool> CollectExtRetGlobals;
+
     // SVFUtil.cpp
     static const Option<bool> DisableWarn;
 

package/SVF-osx/svf/include/SVFIR/SVFType.h

@@ -243,7 +243,7 @@ public:
     {
         SVFTy,
         SVFPointerTy,
-        SVFIntergerTy,
+        SVFIntegerTy,
         SVFFunctionTy,
         SVFStructTy,
         SVFArrayTy,
@@ -337,13 +337,13 @@ public:
     }
 };
 
-class SVFIntergerType : public SVFType
+class SVFIntegerType : public SVFType
 {
 public:
-    SVFIntergerType() : SVFType(true, SVFIntergerTy) {}
+    SVFIntegerType() : SVFType(true, SVFIntegerTy) {}
     static inline bool classof(const SVFType* node)
     {
-        return node->getKind() == SVFIntergerTy;
+        return node->getKind() == SVFIntegerTy;
     }
 };
 

package/SVF-osx/svf/include/SVFIR/SVFValue.h

@@ -266,7 +266,7 @@ public:
 
 private:
     bool isDecl;   /// return true if this function does not have a body
-    bool intricsic; /// return true if this function is an intricsic function (e.g., llvm.dbg), which does not reside in the application code
+    bool intrinsic; /// return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the application code
     bool addrTaken; /// return true if this function is address-taken (for indirect call purposes)
     bool isUncalled;    /// return true if this function is never called
     bool isNotRet;   /// return true if this function never returns
@@ -307,7 +307,7 @@ protected:
     /// @}
 
 public:
-    SVFFunction(const std::string& f, const SVFType* ty,const SVFFunctionType* ft, bool declare, bool intricsic, bool addrTaken, bool varg, SVFLoopAndDomInfo* ld);
+    SVFFunction(const std::string& f, const SVFType* ty,const SVFFunctionType* ft, bool declare, bool intrinsic, bool addrTaken, bool varg, SVFLoopAndDomInfo* ld);
     SVFFunction(const std::string& f) = delete;
     SVFFunction(void) = delete;
     virtual ~SVFFunction();
@@ -328,7 +328,7 @@ public:
 
     inline bool isIntrinsic() const
     {
-        return intricsic;
+        return intrinsic;
     }
 
     inline bool hasAddressTaken() const

package/package.json

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