svf-lib 1.0.1508 → 1.0.1510

package/SVF-linux/svf/include/SVFIR/SVFIR.h

@@ -69,6 +69,8 @@ public:
     typedef Map<NodeOffset,NodeID> NodeOffsetMap;
     typedef Map<NodeLocationSet,NodeID> NodeLocationSetMap;
     typedef Map<const SVFValue*, NodeLocationSetMap> GepValueVarMap;
+    typedef std::pair<const SVFType*, std::vector<LocationSet>> SVFTypeLocSetsPair;
+    typedef Map<NodeID, SVFTypeLocSetsPair> TypeLocSetsMap;
     typedef Map<NodePair,NodeID> NodePairSetMap;
 
 private:
@@ -77,6 +79,7 @@ private:
     ICFGNode2SVFStmtsMap icfgNode2SVFStmtsMap;	///< Map an ICFGNode to its SVFStmts
     ICFGNode2SVFStmtsMap icfgNode2PTASVFStmtsMap;	///< Map an ICFGNode to its PointerAnalysis related SVFStmts
     GepValueVarMap GepValObjMap;	///< Map a pair<base,off> to a gep value node id
+    TypeLocSetsMap typeLocSetsMap;	///< Map an arg to its base SVFType* and all its field location sets
     NodeLocationSetMap GepObjVarMap;	///< Map a pair<base,off> to a gep obj node id
     MemObjToFieldsMap memToFieldsMap;	///< Map a mem object id to all its fields
     SVFStmtSet globSVFStmtSet;	///< Global PAGEdges without control flow information
@@ -218,6 +221,16 @@ public:
         if (edge->isPTAEdge())
             icfgNode2PTASVFStmtsMap[inst].push_back(edge);
     }
+    /// Add a base SVFType* and all its field location sets to an arg NodeId
+    inline void addToTypeLocSetsMap(NodeID argId, SVFTypeLocSetsPair& locSets)
+    {
+        typeLocSetsMap[argId]=locSets;
+    }
+    /// Given an arg NodeId, get its base SVFType* and all its field location sets
+    inline SVFTypeLocSetsPair& getTypeLocSetsMap(NodeID argId)
+    {
+        return typeLocSetsMap[argId];
+    }
     /// Get global PAGEdges (not in a procedure)
     inline SVFStmtSet& getGlobalSVFStmtSet()
     {

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

@@ -306,6 +306,9 @@ public:
     // Assuming hasStatic(F), does (F) have a second static Y where X -> Y?
     bool has_static2(const SVFFunction *F);
 
+    // Does (F) have a memset_like or memcpy_like operation?
+    bool is_memset_or_memcpy(const SVFFunction *F);
+
     // Does (F) allocate a new object and return it?
     bool is_alloc(const SVFFunction *F);
 

package/SVF-linux/svf/include/Util/ExtAPI.json

@@ -5096,13 +5096,6 @@
 			"dst": "Ret"
 		}
     },
-    "dlsym":    {
-        "return":  "void *",
-        "arguments":  "(void *, const char *)",
-        "type": "EFT_L_A1__FunPtr",
-        "overwrite_app_function": 0,
-        "funptr_ops":   ["Arg1"]
-    },
     "bcopy":    {
         "return":  "void",
         "arguments":  "(const void *, void *, size_t)",

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

@@ -299,6 +299,12 @@ inline bool isExtCall(const SVFFunction* fun)
     return fun && ExtAPI::getExtAPI()->is_ext(fun);
 }
 
+// Return true if extern function contains memset_like or memcpy_like operations
+inline bool isMemSetOrCpyExtFun(const SVFFunction* fun)
+{
+    return fun && ExtAPI::getExtAPI()->is_memset_or_memcpy(fun);
+}
+
 /// Return true if the call is a heap allocator/reallocator
 //@{
 /// note that these two functions are not suppose to be used externally

package/SVF-linux/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h

@@ -235,9 +235,10 @@ protected:
 
     /// Handle external call
     //@{
-    virtual void parseOperations(std::vector<ExtAPI::Operation>  &operations, CallBase* cs);
-    virtual void handleExtCall(CallBase* cs, const Function *F);
-    void addComplexConsForExt(const Value* D, const Value* S, const Value* sz);
+    virtual void parseOperations(std::vector<ExtAPI::Operation>  &operations, const SVFCallInst* svfcall);
+    virtual void preProcessExtCall(CallBase* cs);
+    virtual void handleExtCall(SVFInstruction* svfinst, const SVFFunction* svfcallee);
+    void addComplexConsForExt(const SVFValue* D, const SVFValue* S, const SVFValue* sz);
     //@}
 
     /// Set current basic block in order to keep track of control flow information
@@ -281,7 +282,7 @@ protected:
         return nullPtr;
     }
 
-    NodeID getGepValVar(const Value* val, const LocationSet& ls, const SVFType* baseType);
+    NodeID getGepValVar(const SVFValue* val, const LocationSet& ls, const SVFType* baseType);
 
     void setCurrentBBAndValueForPAGEdge(PAGEdge* edge);
 

package/package.json

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