npm - svf-lib - Versions diffs - 1.0.1820 → 1.0.1821 - Mend

svf-lib 1.0.1820 → 1.0.1821

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (109) hide show

package/SVF-osx/svf/include/Graphs/VFGEdge.h CHANGED Viewed

@@ -134,6 +134,7 @@ public:
     virtual const std::string toString() const;
 };
 /*!
  * SVFG edge representing direct value-flows
  */
@@ -168,6 +169,7 @@ public:
     virtual const std::string toString() const;
 };
 /*!
  * Intra SVFG edge representing direct intra-procedural value-flows
  */
@@ -202,6 +204,7 @@ public:
     virtual const std::string toString() const;
 };
 /*!
  * SVFG call edge representing direct value-flows from a caller to its callee at a callsite
  */

package/SVF-osx/svf/include/Graphs/VFGNode.h CHANGED Viewed

@@ -316,6 +316,7 @@ public:
     const std::string toString() const override;
 };
 /*!
  * VFGNode for compare instruction, e.g., bool b = (a!=c);
  */
@@ -387,6 +388,7 @@ public:
     const std::string toString() const override;
 };
 /*!
  * VFGNode for binary operator instructions, e.g., a = b + c;
  */
@@ -701,6 +703,7 @@ public:
     const std::string toString() const override;
 };
 /*
  * Intra LLVM PHI Node
  */
@@ -753,6 +756,7 @@ public:
     const std::string toString() const override;
 };
 class AddrVFGNode: public StmtVFGNode
 {
 private:
@@ -791,6 +795,7 @@ public:
     const std::string toString() const override;
 };
 class ArgumentVFGNode : public VFGNode
 {
@@ -886,6 +891,7 @@ public:
     const std::string toString() const override;
 };
 /*
  * ICFG Node stands for formal parameter node (top level pointers)
  */
@@ -1140,6 +1146,8 @@ private:
     const CallICFGNode* callInst;
 };
 /*!
  * Dummy Definition for undef and null pointers
  */