svf-lib 1.0.2154 → 1.0.2156

package/SVF-linux/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -251,8 +251,8 @@ private:
     AEStat* stat;
 
     std::vector<const CallICFGNode*> callSiteStack;
-    Map<const SVFFunction*, ICFGWTO*> funcToWTO;
-    Set<const SVFFunction*> recursiveFuns;
+    Map<const CallGraphNode*, ICFGWTO*> funcToWTO;
+    Set<const CallGraphNode*> recursiveFuns;
 
 
     AbstractState& getAbsStateFromTrace(const ICFGNode* node)

package/SVF-linux/Release-build/include/Graphs/CallGraph.h

@@ -202,6 +202,8 @@ public:
 
     void addCallGraphNode(const SVFFunction* fun);
 
+    const CallGraphNode* getCallGraphNode(const std::string& name);
+
     /// Destructor
     virtual ~CallGraph()
     {

package/SVF-linux/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -172,7 +172,7 @@ public:
         LLVMFunc2SVFFunc[func] = svfFunc;
         setValueAttr(func,svfFunc);
     }
-    void addFunctionMap(const Function* func, CallGraphNode* svfFunc);
+    void addFunctionMap(const Function* func, CallGraphNode* cgNode);
 
     inline void addBasicBlockMap(const BasicBlock* bb, SVFBasicBlock* svfBB)
     {

package/SVF-linux/Release-build/include/SVFIR/SVFValue.h

@@ -40,7 +40,7 @@ namespace SVF
 /// LLVM Aliases and constants
 typedef SVF::GraphPrinter GraphPrinter;
 
-
+class CallGraphNode;
 class SVFInstruction;
 class SVFBasicBlock;
 class SVFArgument;
@@ -320,8 +320,14 @@ private:
     std::vector<const SVFBasicBlock*> allBBs;   /// all BasicBlocks of this function
     std::vector<const SVFArgument*> allArgs;    /// all formal arguments of this function
     SVFBasicBlock *exitBlock;             /// a 'single' basic block having no successors and containing return instruction in a function
+    const CallGraphNode *callGraphNode;          /// call graph node for this function
 
 protected:
+    inline void setCallGraphNode(CallGraphNode *cgn)
+    {
+        callGraphNode = cgn;
+    }
+
     ///@{ attributes to be set only through Module builders e.g., LLVMModule
     inline void addBasicBlock(const SVFBasicBlock* bb)
     {
@@ -354,6 +360,11 @@ public:
     SVFFunction(void) = delete;
     virtual ~SVFFunction();
 
+    inline const CallGraphNode* getCallGraphNode() const
+    {
+        return callGraphNode;
+    }
+
     static inline bool classof(const SVFValue *node)
     {
         return node->getKind() == SVFFunc;

package/SVF-osx/Release-build/include/AE/Svfexe/AbstractInterpretation.h

@@ -251,8 +251,8 @@ private:
     AEStat* stat;
 
     std::vector<const CallICFGNode*> callSiteStack;
-    Map<const SVFFunction*, ICFGWTO*> funcToWTO;
-    Set<const SVFFunction*> recursiveFuns;
+    Map<const CallGraphNode*, ICFGWTO*> funcToWTO;
+    Set<const CallGraphNode*> recursiveFuns;
 
 
     AbstractState& getAbsStateFromTrace(const ICFGNode* node)

package/SVF-osx/Release-build/include/Graphs/CallGraph.h

@@ -202,6 +202,8 @@ public:
 
     void addCallGraphNode(const SVFFunction* fun);
 
+    const CallGraphNode* getCallGraphNode(const std::string& name);
+
     /// Destructor
     virtual ~CallGraph()
     {

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

@@ -172,7 +172,7 @@ public:
         LLVMFunc2SVFFunc[func] = svfFunc;
         setValueAttr(func,svfFunc);
     }
-    void addFunctionMap(const Function* func, CallGraphNode* svfFunc);
+    void addFunctionMap(const Function* func, CallGraphNode* cgNode);
 
     inline void addBasicBlockMap(const BasicBlock* bb, SVFBasicBlock* svfBB)
     {

package/SVF-osx/Release-build/include/SVFIR/SVFValue.h

@@ -40,7 +40,7 @@ namespace SVF
 /// LLVM Aliases and constants
 typedef SVF::GraphPrinter GraphPrinter;
 
-
+class CallGraphNode;
 class SVFInstruction;
 class SVFBasicBlock;
 class SVFArgument;
@@ -320,8 +320,14 @@ private:
     std::vector<const SVFBasicBlock*> allBBs;   /// all BasicBlocks of this function
     std::vector<const SVFArgument*> allArgs;    /// all formal arguments of this function
     SVFBasicBlock *exitBlock;             /// a 'single' basic block having no successors and containing return instruction in a function
+    const CallGraphNode *callGraphNode;          /// call graph node for this function
 
 protected:
+    inline void setCallGraphNode(CallGraphNode *cgn)
+    {
+        callGraphNode = cgn;
+    }
+
     ///@{ attributes to be set only through Module builders e.g., LLVMModule
     inline void addBasicBlock(const SVFBasicBlock* bb)
     {
@@ -354,6 +360,11 @@ public:
     SVFFunction(void) = delete;
     virtual ~SVFFunction();
 
+    inline const CallGraphNode* getCallGraphNode() const
+    {
+        return callGraphNode;
+    }
+
     static inline bool classof(const SVFValue *node)
     {
         return node->getKind() == SVFFunc;

package/package.json

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