svf-lib 1.0.1817 → 1.0.1819

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,7 +76,6 @@ 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,7 +94,6 @@ public:
         return bb;
     }
 
-
     /// Overloading operator << for dumping ICFG node ID
     //@{
     friend OutStream &operator<<(OutStream &o, const ICFGNode &node)
@@ -254,7 +253,6 @@ public:
     //@}
 };
 
-
 /*!
  * Function entry ICFGNode containing a set of FormalParmVFGNodes of a function
  */
@@ -480,7 +478,6 @@ 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,7 +123,6 @@ public:
             else if (SVFUtil::isa<FunExitICFGNode>(node))
                 numOfExitNodes++;
 
-
             ICFGEdge::ICFGEdgeSetTy::iterator edgeIt =
                 it->second->OutEdgeBegin();
             ICFGEdge::ICFGEdgeSetTy::iterator edgeEit =
@@ -161,4 +160,3 @@ public:
 } // End namespace SVF
 
 #endif /* INCLUDE_UTIL_ICFGSTAT_H_ */
-

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

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

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

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

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

@@ -32,11 +32,9 @@
  *
  */
 
-
 #ifndef SVFGOPT_H_
 #define SVFGOPT_H_
 
-
 #include "Graphs/SVFG.h"
 #include "Util/WorkList.h"
 
@@ -345,7 +343,6 @@ 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,7 +32,6 @@
  *
  */
 
-
 #ifndef SVFGSTAT_H_
 #define SVFGSTAT_H_
 
@@ -88,7 +87,6 @@ private:
     MemSSA* mssa;
 };
 
-
 class SVFGStat : public PTAStat
 {
 public:

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

@@ -153,7 +153,6 @@ public:
     typedef GenericNode<PTACallGraphNode, HareParForEdge>::GEdgeSetTy ParForEdgeSet;
 };
 
-
 /*!
  * Thread sensitive call graph
  */
@@ -197,7 +196,6 @@ 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
@@ -362,7 +360,6 @@ 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,7 +30,6 @@
 #ifndef INCLUDE_UTIL_VFG_H_
 #define INCLUDE_UTIL_VFG_H_
 
-
 #include "SVFIR/SVFIR.h"
 #include "Graphs/PTACallGraph.h"
 #include "Graphs/VFGNode.h"
@@ -83,7 +82,6 @@ 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,7 +134,6 @@ public:
     virtual const std::string toString() const;
 };
 
-
 /*!
  * SVFG edge representing direct value-flows
  */
@@ -169,7 +168,6 @@ public:
     virtual const std::string toString() const;
 };
 
-
 /*!
  * Intra SVFG edge representing direct intra-procedural value-flows
  */
@@ -204,7 +202,6 @@ 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,7 +316,6 @@ public:
     const std::string toString() const override;
 };
 
-
 /*!
  * VFGNode for compare instruction, e.g., bool b = (a!=c);
  */
@@ -388,7 +387,6 @@ public:
     const std::string toString() const override;
 };
 
-
 /*!
  * VFGNode for binary operator instructions, e.g., a = b + c;
  */
@@ -703,7 +701,6 @@ public:
     const std::string toString() const override;
 };
 
-
 /*
  * Intra LLVM PHI Node
  */
@@ -756,7 +753,6 @@ public:
     const std::string toString() const override;
 };
 
-
 class AddrVFGNode: public StmtVFGNode
 {
 private:
@@ -795,7 +791,6 @@ public:
     const std::string toString() const override;
 };
 
-
 class ArgumentVFGNode : public VFGNode
 {
 
@@ -891,7 +886,6 @@ public:
     const std::string toString() const override;
 };
 
-
 /*
  * ICFG Node stands for formal parameter node (top level pointers)
  */
@@ -1146,8 +1140,6 @@ private:
     const CallICFGNode* callInst;
 };
 
-
-
 /*!
  * Dummy Definition for undef and null pointers
  */

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

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

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

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

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

@@ -335,7 +335,6 @@ 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,7 +32,6 @@
  * 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,7 +34,6 @@
 #ifndef FSPTANALYSIS_H_
 #define FSPTANALYSIS_H_
 
-
 #include "WPA/FlowSensitive.h"
 #include "MSSA/SVFGBuilder.h"
 #include "MTA/LockAnalysis.h"
@@ -47,7 +46,6 @@ namespace SVF
 class MHP;
 class LockAnalysis;
 
-
 class SVFGNodeLockSpan
 {
 public:
@@ -173,7 +171,6 @@ private:
     Set<NodeIDPair> recordedges;
     Map<NodeIDPair, PointsTo> edge2pts;
 
-
     Map<const StmtSVFGNode*, SVFGNodeIDSet> prevset;
     Map<const StmtSVFGNode*, SVFGNodeIDSet> succset;
 
@@ -183,7 +180,6 @@ 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;
@@ -195,14 +191,12 @@ private:
 
 };
 
-
 /*!
  * Flow-sensitive pointer analysis for multithreaded programs
  */
 class FSMPTA : public FlowSensitive
 {
 
-
 public:
 
     /// Constructor

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

@@ -266,8 +266,6 @@ public:
     }
     //@}
 
-
-
     /// Check if one instruction's context stmt is in a lock span
     inline bool hasOneCxtInLockSpan(const SVFInstruction *I, LockSpan lspan) const
     {
@@ -299,7 +297,6 @@ 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.
@@ -469,7 +466,6 @@ private:
     /// Map a statement to all its context-sensitive statements
     InstToCxtStmtSet instToCxtStmtSet;
 
-
     /// Context-sensitive locks
     CxtLockSet cxtLockset;
 
@@ -504,7 +500,6 @@ private:
     InstToInstSetMap instTocondCILocksMap;
     //@}
 
-
 public:
     double lockTime;
     u32_t numOfTotalQueries;

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

@@ -272,7 +272,6 @@ 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
@@ -280,8 +279,6 @@ public:
     double interleavingQueriesTime;
 };
 
-
-
 /*!
  *
  */

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

@@ -66,7 +66,6 @@ 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,8 +148,6 @@ private:
     //@}
 };
 
-
-
 /*!
  * \brief Validate the result of concurrent analysis.
  *

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

@@ -42,7 +42,6 @@ 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,7 +20,6 @@
 //
 //===----------------------------------------------------------------------===//
 
-
 /// 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.
@@ -39,7 +38,6 @@
 ///                                                |
 ///                                        MutableIncDFPTData
 
-
 /*
  * AbstractPointsToDS.h
  *

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

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

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

@@ -791,7 +791,6 @@ private:
     }
     ///@}
 
-
 private:
     UpdatedVarMap outUpdatedVarMap;
     UpdatedVarMap inUpdatedVarMap;

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

@@ -48,7 +48,6 @@ namespace SVF
 
 class CommonCHGraph;
 
-class TypeSystem;
 class SVFModule;
 class ICFG;
 class PTAStat;
@@ -86,7 +85,6 @@ public:
         PathS_DDA,		///< Guarded value-flow DDA
         Cxt_DDA,		///< context sensitive DDA
 
-
         Default_PTA		///< default pta without any analysis
     };
 
@@ -156,8 +154,6 @@ protected:
     ICFG* icfg;
     /// CHGraph
     CommonCHGraph *chgraph;
-    /// TypeSystem
-    TypeSystem *typeSystem;
 
 public:
     /// Get ICFG
@@ -433,12 +429,6 @@ public:
     virtual void resolveCPPIndCalls(const CallICFGNode* cs,
                                     const PointsTo& target,
                                     CallEdgeMap& newEdges);
-
-    /// get TypeSystem
-    const TypeSystem *getTypeSystem() const
-    {
-        return typeSystem;
-    }
 };
 
 } // End namespace SVF

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

@@ -157,7 +157,6 @@ protected:
         return ptD.get();
     }
 
-
     /// Finalization of pointer analysis, and normalize points-to information to Bit Vector representation
     void finalize() override;
 

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

@@ -251,5 +251,4 @@ struct std::hash<SVF::PointsTo>
     }
 };
 
-
 #endif  // POINTSTO_H_

package/SVF-osx/svf/include/SABER/DoubleFreeChecker.h

@@ -64,7 +64,6 @@ public:
     /// Report file/close bugs
     void reportBug(ProgSlice* slice) override;
 
-
     /// Validate test cases for regression test purpose
     void testsValidation(ProgSlice* slice);
     void validateSuccessTests(ProgSlice* slice, const SVFFunction* fun);

package/SVF-osx/svf/include/SABER/ProgSlice.h

@@ -60,7 +60,6 @@ public:
 
     typedef SaberCondAllocator::SVFGNodeToSVFGNodeSetMap SVFGNodeToSVFGNodeSetMap;
 
-
     /// Constructor
     ProgSlice(const SVFGNode* src, SaberCondAllocator* pa, const SVFG* graph):
         root(src), partialReachable(false), fullReachable(false), reachGlob(false),