svf-lib 1.0.1041 → 1.0.1044

package/SVF-linux/include/MemoryModel/SymbolTableInfo.h

@@ -88,6 +88,8 @@ private:
     IDToMemMapTy		objMap;		///< map a memory sym id to its obj
 
     CallSiteSet callSiteSet;
+    Set<const Value*> nullPtrSyms;
+    Set<const Value*> blackholeSyms;
 
     // Singleton pattern here to enable instance of SymbolTableInfo can only be created once.
     static SymbolTableInfo* symInfo;
@@ -162,8 +164,7 @@ public:
     /// special value
     // @{
     static bool isNullPtrSym(const Value *val);
-
-    bool isConstantObjSym(const Value *val);
+    static bool isBlackholeSym(const Value *val);
 
     static inline bool isBlkPtr(NodeID id)
     {

package/SVF-linux/include/SVF-FE/LLVMUtil.h

@@ -44,15 +44,25 @@ namespace SVFUtil
 {
 
 
-
-
 /// Check whether this value is a black hole
 inline bool isBlackholeSym(const Value *val)
 {
     return (SVFUtil::isa<UndefValue>(val));
 }
 
-//@}
+/// Check whether this value is a black hole
+inline bool isNullPtrSym(const Value *val)
+{
+    if (const Constant* v = SVFUtil::dyn_cast<Constant>(val))
+    {
+        return v->isNullValue() && v->getType()->isPointerTy();
+    }
+    return false;
+}
+
+/// Check whether this value points-to a constant object
+bool isConstantObjSym(const Value *val);
+
 
 /// Whether an instruction is a return instruction
 inline bool isReturn(const Instruction* inst)

package/SVF-linux/include/SVF-FE/SymbolTableBuilder.h

@@ -56,6 +56,8 @@ public:
 
     /// collect the syms
     //@{
+    void collectNullPtrBlackholeSyms(const Value *val);
+
     void collectSym(const Value *val);
 
     void collectVal(const Value *val);

package/SVF-osx/include/SVF-FE/SymbolTableBuilder.h

@@ -56,6 +56,8 @@ public:
 
     /// collect the syms
     //@{
+    void collectNullPtrBlackholeSyms(const Value *val);
+
     void collectSym(const Value *val);
 
     void collectVal(const Value *val);

package/package.json

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