svf-lib 1.0.749 → 1.0.753

package/SVF-linux/include/SABER/PathCondAllocator.h

@@ -138,6 +138,10 @@ public:
     }
     //@}
 
+    bool isNegCond(const Condition *condition) {
+        return condMgr->isNegCond(condition);
+    }
+
     /// Get dominators
     inline DominatorTree* getDT(const Function* fun)
     {

package/SVF-linux/include/Util/Conditions.h

@@ -287,6 +287,15 @@ public:
         assert(condToInstMap.find(cond)==condToInstMap.end() && "this should be a fresh condition");
         condToInstMap[cond] = inst;
     }
+
+    inline void setNegCondInst(const CondExpr *cond, const Instruction *inst) {
+        setCondInst(cond, inst);
+        negConds.set(cond->getId());
+    }
+
+    inline bool isNegCond(const CondExpr *cond) const {
+        return negConds.test(cond->getId());
+    }
     //@}
 
 private:
@@ -298,6 +307,7 @@ private:
     BranchCondToCondExprMap branchCondToCondExpr; ///< map branch condition to its Condition wrapper
     CondToTermInstMap condToInstMap; ///< map condition to llvm instruction
     BranchCondManager branchCondManager; ///< branch condition manager
+    NodeBS negConds;
 };
 
 } // End namespace SVF

package/SVF-osx/include/SABER/PathCondAllocator.h

@@ -138,6 +138,10 @@ public:
     }
     //@}
 
+    bool isNegCond(const Condition *condition) {
+        return condMgr->isNegCond(condition);
+    }
+
     /// Get dominators
     inline DominatorTree* getDT(const Function* fun)
     {

package/SVF-osx/include/Util/Conditions.h

@@ -287,6 +287,15 @@ public:
         assert(condToInstMap.find(cond)==condToInstMap.end() && "this should be a fresh condition");
         condToInstMap[cond] = inst;
     }
+
+    inline void setNegCondInst(const CondExpr *cond, const Instruction *inst) {
+        setCondInst(cond, inst);
+        negConds.set(cond->getId());
+    }
+
+    inline bool isNegCond(const CondExpr *cond) const {
+        return negConds.test(cond->getId());
+    }
     //@}
 
 private:
@@ -298,6 +307,7 @@ private:
     BranchCondToCondExprMap branchCondToCondExpr; ///< map branch condition to its Condition wrapper
     CondToTermInstMap condToInstMap; ///< map condition to llvm instruction
     BranchCondManager branchCondManager; ///< branch condition manager
+    NodeBS negConds;
 };
 
 } // End namespace SVF

package/SVF-osx/include/Util/ExtAPI.h

@@ -120,6 +120,15 @@ public:
         return extAPI;
     }
 
+    static void destory()
+    {   
+        if (extAPI != nullptr)
+        {
+            delete extAPI;
+            extAPI = nullptr;
+        }
+    }
+
     //Return the extf_t of (F).
     extf_t get_type(const SVFFunction* F) const
     {

package/SVF-osx/include/Util/Options.h

@@ -243,13 +243,15 @@ public:
     // TypeAnalysis.cpp
     static const llvm::cl::opt<bool> GenICFG;
 
-    //WPAPass.cpp
+    // WPAPass.cpp
     static const llvm::cl::opt<bool> AnderSVFG;
     static const llvm::cl::opt<bool> SABERFULLSVFG;
     static const llvm::cl::opt<bool> PrintAliases;
     static llvm::cl::bits<PointerAnalysis::PTATY> PASelected;
     static llvm::cl::bits<WPAPass::AliasCheckRule> AliasRule;
 
+    // DOTGraphTraits
+    static const llvm::cl::opt<bool> ShowHiddenNode;
 };
 }  // namespace SVF
 

package/SVF-osx/include/Util/SVFModule.h

@@ -75,14 +75,9 @@ public:
     {
       for (auto * f : FunctionSet)
         delete f;
-
-      auto * extAPI = ExtAPI::getExtAPI();
-      delete extAPI;
-      extAPI = nullptr;
       NodeIDAllocator::unset();
-      auto * threadAPI = SVF::ThreadAPI::getThreadAPI();
-      delete threadAPI;
-      threadAPI = nullptr;
+      ThreadAPI::destroy();
+      ExtAPI::destory();
     }
 
     static inline void setPagFromTXT(std::string txt)

package/SVF-osx/include/Util/ThreadAPI.h

@@ -108,6 +108,15 @@ public:
         return tdAPI;
     }
 
+    static void destroy()
+    {
+        if(tdAPI != nullptr)
+        {
+            delete tdAPI;
+            tdAPI = nullptr;
+        }
+    }
+
     /// Return the callee/callsite/func
     //@{
     const SVFFunction* getCallee(const Instruction *inst) const;

package/package.json

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