svf-lib 1.0.1815 → 1.0.1817

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

@@ -86,6 +86,7 @@ public:
 
 };
 
+
 /*!
  * Copy edge
  */
@@ -116,6 +117,7 @@ public:
     AddrCGEdge(ConstraintNode* s, ConstraintNode* d, EdgeID id);
 };
 
+
 /*!
  * Copy edge
  */
@@ -148,6 +150,7 @@ public:
     }
 };
 
+
 /*!
  * Store edge
  */
@@ -181,6 +184,7 @@ public:
     }
 };
 
+
 /*!
  * Load edge
  */
@@ -214,6 +218,7 @@ public:
     }
 };
 
+
 /*!
  * Gep edge
  */

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

@@ -383,6 +383,7 @@ public:
     }
     //@}
 
+
 };
 
 } // End namespace SVF

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

@@ -172,6 +172,7 @@ public:
     static void addCustomGraphFeatures(const GraphType &, GraphWriter &) {}
 };
 
+
 /// DOTGraphTraits - Template class that can be specialized to customize how
 /// graphs are converted to 'dot' graphs.  When specializing, you may inherit
 /// from DefaultDOTGraphTraits if you don't need to override everything.

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

@@ -133,6 +133,7 @@ protected:
     static constexpr u64_t EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits);
 };
 
+
 /*!
  * Generic node on the graph as base class
  */

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

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /*
  * GraphPrinter.h
  *
@@ -105,4 +106,6 @@ public:
 
 } // End namespace llvm
 
+
+
 #endif /* INCLUDE_GRAPHS_GRAPHPRINTER_H_ */

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

@@ -115,7 +115,7 @@ nodes(const GraphType &G)
 }
 template <class GraphType>
 iter_range<typename GenericGraphTraits<Inverse<GraphType>>::nodes_iterator>
-        inverse_nodes(const GraphType &G)
+inverse_nodes(const GraphType &G)
 {
     return make_range(GenericGraphTraits<Inverse<GraphType>>::nodes_begin(G),
                       GenericGraphTraits<Inverse<GraphType>>::nodes_end(G));
@@ -131,7 +131,7 @@ children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
 
 template <class GraphType>
 iter_range<typename GenericGraphTraits<Inverse<GraphType>>::ChildIteratorType>
-        inverse_children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
+inverse_children(const typename GenericGraphTraits<GraphType>::NodeRef &G)
 {
     return make_range(GenericGraphTraits<Inverse<GraphType>>::child_begin(G),
                       GenericGraphTraits<Inverse<GraphType>>::child_end(G));

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

@@ -76,6 +76,7 @@ private:
     GlobalICFGNode* globalBlockNode; ///< unique basic block for all globals
     ICFGNodeToSVFLoopVec icfgNodeToSVFLoopVec; ///< map ICFG node to the SVF loops where it resides
 
+
 public:
     /// Constructor
     ICFG();

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

@@ -94,6 +94,7 @@ public:
         return bb;
     }
 
+
     /// Overloading operator << for dumping ICFG node ID
     //@{
     friend OutStream &operator<<(OutStream &o, const ICFGNode &node)
@@ -253,6 +254,7 @@ public:
     //@}
 };
 
+
 /*!
  * Function entry ICFGNode containing a set of FormalParmVFGNodes of a function
  */
@@ -478,6 +480,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*!
  * Return ICFGNode containing (at most one) ActualRetVFGNode at a callsite
  */

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

@@ -123,6 +123,7 @@ public:
             else if (SVFUtil::isa<FunExitICFGNode>(node))
                 numOfExitNodes++;
 
+
             ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =
                 it->second->OutEdgeBegin();
             ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =
@@ -160,3 +161,4 @@ public:
 } // End namespace SVF
 
 #endif /* INCLUDE_UTIL_ICFGSTAT_H_ */
+

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

@@ -27,6 +27,7 @@
  *      Author: Yulei Sui
  */
 
+
 #ifndef IRGRAPH_H_
 #define IRGRAPH_H_
 

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

@@ -41,6 +41,7 @@ namespace SVF
 class PTACallGraphNode;
 class SVFModule;
 
+
 /*
  * Call Graph edge representing a calling relation between two functions
  * Multiple calls from function A to B are merged into one call edge
@@ -57,6 +58,7 @@ public:
         CallRetEdge,TDForkEdge,TDJoinEdge,HareParForEdge
     };
 
+
 private:
     CallInstSet directCalls;
     CallInstSet indirectCalls;
@@ -196,6 +198,7 @@ public:
     /// Return TRUE if this function can be reached from main.
     bool isReachableFromProgEntry() const;
 
+
     /// Overloading operator << for dumping ICFG node ID
     //@{
     friend OutStream& operator<< (OutStream &o, const PTACallGraphNode &node)

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

@@ -57,6 +57,7 @@ typedef PHIVFGNode PHISVFGNode;
 typedef IntraPHIVFGNode IntraPHISVFGNode;
 typedef InterPHIVFGNode InterPHISVFGNode;
 
+
 /*!
  * Sparse value flow graph
  * Each node stands for a definition, each edge stands for value flow relations
@@ -345,6 +346,7 @@ protected:
     }
     //@}
 
+
     /// Given a PAGNode, set/get its def SVFG node (definition of top level pointers)
     //@{
     inline void setDef(const PAGNode* pagNode, const SVFGNode* node)

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

@@ -198,6 +198,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*!
  * MHP SVFG edge representing indirect value-flows between
  * two memory access may-happen-in-parallel in multithreaded program

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

@@ -131,6 +131,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*
  * SVFG Node stands for return mu node (address-taken variables)
  */
@@ -172,6 +173,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*
  * SVFG Node stands for callsite mu node (address-taken variables)
  */
@@ -200,6 +202,7 @@ public:
         return ver;
     }
 
+
     /// Methods for support type inquiry through isa, cast, and dyn_cast:
     //@{
     static inline bool classof(const ActualINSVFGNode *)
@@ -219,6 +222,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*
  * SVFG Node stands for callsite chi node (address-taken variables)
  */
@@ -265,6 +269,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*
  * SVFG Node stands for a memory ssa phi node or formalIn or ActualOut
  */
@@ -392,6 +397,7 @@ public:
     virtual const std::string toString() const;
 };
 
+
 /*
  * Inter MSSA PHI (formalIN/ActualOUT)
  */
@@ -501,6 +507,7 @@ private:
     const Version version;
 };
 
+
 } // End namespace SVF
 
 #endif /* INCLUDE_MSSA_SVFGNODE_H_ */

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,6 +32,7 @@
  *
  */
 
+
 #ifndef SVFGSTAT_H_
 #define SVFGSTAT_H_
 
@@ -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
  */

package/SVF-osx/svf/include/MSSA/MSSAMuChi.h

@@ -84,6 +84,7 @@ public:
     }
 };
 
+
 /*!
  * Indirect Memory Read
  * 1) LoadMU at each store instruction
@@ -268,6 +269,7 @@ public:
     }
 };
 
+
 /*!
  * RetMU is annotated at function return, representing memory objects returns to callers
  */
@@ -312,6 +314,7 @@ public:
     }
 };
 
+
 /*!
  * Indirect Memory Definition
  * 1) MSSACHI indirect memory object is modified
@@ -509,6 +512,7 @@ public:
     }
 };
 
+
 /*!
  *
  *  StoreCHI is annotated at each store instruction, representing a memory object is modified here

package/SVF-osx/svf/include/MSSA/MemPartition.h

@@ -32,6 +32,7 @@
  *
  */
 
+
 #ifndef DISNCTMRGENERATOR_H_
 #define DISNCTMRGENERATOR_H_
 

package/SVF-osx/svf/include/MSSA/MemRegion.h

@@ -335,6 +335,7 @@ protected:
     /// Get Mod-Ref of a callee function
     virtual bool handleCallsiteModRef(NodeBS& mod, NodeBS& ref, const CallICFGNode* cs, const SVFFunction* fun);
 
+
     /// Add cpts to store/load
     //@{
     inline void addCPtsToStore(NodeBS& cpts, const StoreStmt *st, const SVFFunction* fun)

package/SVF-osx/svf/include/MSSA/MemSSA.h

@@ -32,6 +32,7 @@
  * Journal of Systems and Software (JSS'16), Algorithm 3 in the paper
  */
 
+
 #ifndef MEMORYSSAPASS_H_
 #define MEMORYSSAPASS_H_
 

package/SVF-osx/svf/include/MTA/FSMPTA.h

@@ -34,6 +34,7 @@
 #ifndef FSPTANALYSIS_H_
 #define FSPTANALYSIS_H_
 
+
 #include "WPA/FlowSensitive.h"
 #include "MSSA/SVFGBuilder.h"
 #include "MTA/LockAnalysis.h"
@@ -46,6 +47,7 @@ namespace SVF
 class MHP;
 class LockAnalysis;
 
+
 class SVFGNodeLockSpan
 {
 public:
@@ -171,6 +173,7 @@ private:
     Set<NodeIDPair> recordedges;
     Map<NodeIDPair, PointsTo> edge2pts;
 
+
     Map<const StmtSVFGNode*, SVFGNodeIDSet> prevset;
     Map<const StmtSVFGNode*, SVFGNodeIDSet> succset;
 
@@ -180,6 +183,7 @@ private:
     PairToBoolMap pairheadmap;
     PairToBoolMap pairtailmap;
 
+
     static const u32_t ADDEDGE_NOEDGE= 0;
     static const u32_t ADDEDGE_NONSPARSE= 1;
     static const u32_t ADDEDGE_ALLOPT= 2;
@@ -191,12 +195,14 @@ private:
 
 };
 
+
 /*!
  * Flow-sensitive pointer analysis for multithreaded programs
  */
 class FSMPTA : public FlowSensitive
 {
 
+
 public:
 
     /// Constructor

package/SVF-osx/svf/include/MTA/LockAnalysis.h

@@ -266,6 +266,8 @@ public:
     }
     //@}
 
+
+
     /// Check if one instruction's context stmt is in a lock span
     inline bool hasOneCxtInLockSpan(const SVFInstruction *I, LockSpan lspan) const
     {
@@ -297,6 +299,7 @@ public:
         return true;
     }
 
+
     /// Check if two Instructions are protected by common locks
     /// echo inst may have multiple cxt stmt
     /// we check whether every cxt stmt of instructions is protected by a common lock.
@@ -466,6 +469,7 @@ private:
     /// Map a statement to all its context-sensitive statements
     InstToCxtStmtSet instToCxtStmtSet;
 
+
     /// Context-sensitive locks
     CxtLockSet cxtLockset;
 
@@ -500,6 +504,7 @@ private:
     InstToInstSetMap instTocondCILocksMap;
     //@}
 
+
 public:
     double lockTime;
     u32_t numOfTotalQueries;

package/SVF-osx/svf/include/MTA/MHP.h

@@ -272,6 +272,7 @@ private:
     InstToThreadStmtSetMap instToTSMap; ///< Map an instruction to its ThreadStmtSet
     FuncPairToBool nonCandidateFuncMHPRelMap;
 
+
 public:
     u32_t numOfTotalQueries;		///< Total number of queries
     u32_t numOfMHPQueries;			///< Number of queries are answered as may-happen-in-parallel
@@ -279,6 +280,8 @@ public:
     double interleavingQueriesTime;
 };
 
+
+
 /*!
  *
  */

package/SVF-osx/svf/include/MTA/MTA.h

@@ -66,6 +66,7 @@ public:
     /// Destructor
     virtual ~MTA();
 
+
     /// We start the pass here
     virtual bool runOnModule(SVFIR* module);
     /// Compute MHP

package/SVF-osx/svf/include/MTA/MTAResultValidator.h

@@ -148,6 +148,8 @@ private:
     //@}
 };
 
+
+
 /*!
  * \brief Validate the result of concurrent analysis.
  *

package/SVF-osx/svf/include/MTA/TCT.h

@@ -42,6 +42,7 @@ namespace SVF
 
 class TCTNode;
 
+
 /*
  * Thread creation edge represents a spawning relation between two context sensitive threads
  */

package/SVF-osx/svf/include/MemoryModel/AbstractPointsToDS.h

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /// Contains abstract classes for:
 /// PTData: basic points-to data structure derived by all others.
 /// DiffPTData: PTData which only propagates new changes, not entire points-to sets.
@@ -38,6 +39,7 @@
 ///                                                |
 ///                                        MutableIncDFPTData
 
+
 /*
  * AbstractPointsToDS.h
  *

package/SVF-osx/svf/include/MemoryModel/AccessPath.h

@@ -29,16 +29,20 @@
  *
  */
 
+
 #ifndef AccessPath_H_
 #define AccessPath_H_
 
+
 #include "SVFIR/SVFValue.h"
 
+
 namespace SVF
 {
 
 class SVFVar;
 
+
 /*
 * Location set represents a set of locations in a memory block with following offsets:
 *     { offset + \sum_{i=0}^N (stride_i * j_i) | 0 \leq j_i < M_i }
@@ -141,6 +145,7 @@ public:
     /// Return element number of a type.
     u32_t getElementNum(const SVFType* type) const;
 
+
     bool addOffsetVarAndGepTypePair(const SVFVar* var, const SVFType* gepIterType);
 
     /// Return TRUE if this is a constant location set.

package/SVF-osx/svf/include/MemoryModel/ConditionalPT.h

@@ -74,6 +74,7 @@ public:
     }
     ///@}
 
+
     inline CondVar& operator= (const CondVar& rhs)
     {
         if(*this!=rhs)
@@ -84,6 +85,7 @@ public:
         return *this;
     }
 
+
     /**
      * Less than implementation.
      */
@@ -294,6 +296,7 @@ private:
     ElementSet elements;
 };
 
+
 /*!
  * Conditional Points-to set
  */
@@ -397,6 +400,7 @@ public:
         return numElement()==0;
     }
 
+
     /// Overloading operators
     //@{
     inline CondPointsToSet<Cond>& operator=(
@@ -600,6 +604,7 @@ public:
     }
     //@}
 
+
     /// Overloading operator |=
     /// Merge CondPointsToSet of RHS into this one.
     inline bool operator |= (const CondPointsToSet<Cond>& rhs)