svf-lib 1.0.1819 → 1.0.1821

package/SVF-osx/svf/include/Graphs/SVFGOPT.h

@@ -32,9 +32,11 @@
  *
  */
 
+
 #ifndef SVFGOPT_H_
 #define SVFGOPT_H_
 
+
 #include "Graphs/SVFG.h"
 #include "Util/WorkList.h"
 
@@ -343,6 +345,7 @@ private:
     }
     //@}
 
+
     NodeIDToNodeIDMap actualInToDefMap;	///< map actual-in to its def-site node
     NodeIDToNodeIDMap formalOutToDefMap;	///< map formal-out to its def-site node
     NodeBS defNodes;	///< preserved def nodes of formal-in/actual-out

package/SVF-osx/svf/include/Graphs/SVFGStat.h

@@ -32,12 +32,13 @@
  *
  */
 
+
 #ifndef SVFGSTAT_H_
 #define SVFGSTAT_H_
 
 #include "Graphs/SVFG.h"
+#include "SCC.h"
 #include "Util/PTAStat.h"
-#include "Util/SCC.h"
 
 namespace SVF
 {
@@ -87,6 +88,7 @@ private:
     MemSSA* mssa;
 };
 
+
 class SVFGStat : public PTAStat
 {
 public:

package/SVF-osx/svf/include/Graphs/ThreadCallGraph.h

@@ -153,6 +153,7 @@ public:
     typedef GenericNode<PTACallGraphNode, HareParForEdge>::GEdgeSetTy ParForEdgeSet;
 };
 
+
 /*!
  * Thread sensitive call graph
  */
@@ -196,6 +197,7 @@ public:
     /// Update join edge using pointer analysis results
     void updateJoinEdge(PointerAnalysis* pta);
 
+
     /// Get call graph edge via call instruction
     //@{
     /// whether this call instruction has a valid call graph edge
@@ -360,6 +362,7 @@ public:
     void addIndirectParForEdge(const CallICFGNode* cs, const SVFFunction* callee);
     //@}
 
+
     /// map call instruction to its CallGraphEdge map
     inline void addThreadForkEdgeSetMap(const CallICFGNode* cs, ThreadForkEdge* edge)
     {

package/SVF-osx/svf/include/Graphs/VFG.h

@@ -30,6 +30,7 @@
 #ifndef INCLUDE_UTIL_VFG_H_
 #define INCLUDE_UTIL_VFG_H_
 
+
 #include "SVFIR/SVFIR.h"
 #include "Graphs/PTACallGraph.h"
 #include "Graphs/VFGNode.h"
@@ -82,6 +83,7 @@ public:
     typedef Set<const VFGNode*> GlobalVFGNodeSet;
     typedef Set<const PAGNode*> PAGNodeSet;
 
+
 protected:
     NodeID totalVFGNode;
     PAGNodeToDefMapTy PAGNodeToDefMap;	///< map a pag node to its definition SVG node

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

@@ -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

@@ -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
  */