svf-lib 1.0.1806 → 1.0.1807

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

@@ -86,7 +86,6 @@ public:
         PathS_DDA,		///< Guarded value-flow DDA
         Cxt_DDA,		///< context sensitive DDA
 
-
         Default_PTA		///< default pta without any analysis
     };
 

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),

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

@@ -36,7 +36,6 @@
 #include "Graphs/SVFG.h"
 #include "Util/Z3Expr.h"
 
-
 namespace SVF
 {
 
@@ -58,7 +57,6 @@ public:
     typedef FIFOWorkList<const SVFBasicBlock*> CFWorkList;	///< worklist for control-flow guard computation
     typedef Map<const SVFGNode*, Set<const SVFGNode*>> SVFGNodeToSVFGNodeSetMap;
 
-
     /// Constructor
     SaberCondAllocator();
 
@@ -233,7 +231,6 @@ public:
     }
     //@}
 
-
     /// mark neg Z3 expression
     inline void setNegCondInst(const Condition &condition, const SVFInstruction* inst)
     {
@@ -298,7 +295,6 @@ private:
     /// extract subexpression from a Z3 expression
     void extractSubConds(const Condition &condition, NodeBS &support) const;
 
-
     FunToExitBBsMap funToExitBBsMap;		///< map a function to all its basic blocks calling program exit
     BBToCondMap bbToCondMap;				///< map a basic block to its path condition starting from root
     const SVFGNode* curEvalSVFGNode{};			///< current llvm value to evaluate branch condition when computing guards

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

@@ -34,7 +34,6 @@
 #include "SVFIR/SVFValue.h"
 #include "Util/WorkList.h"
 
-
 namespace SVF
 {
 

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

@@ -687,6 +687,4 @@ typedef SVFIR PAG;
 
 } // End namespace SVF
 
-
-
 #endif /* INCLUDE_SVFIR_H_ */

package/SVF-osx/svf/include/SVFIR/SVFStatements.h

@@ -20,7 +20,6 @@
 //
 //===----------------------------------------------------------------------===//
 
-
 /*
  * SVFStatements.h
  *
@@ -538,7 +537,6 @@ public:
 
 };
 
-
 /*!
  * Call
  */

package/SVF-osx/svf/include/SVFIR/SVFType.h

@@ -300,7 +300,6 @@ public:
         return getPointerToTy;
     }
 
-
     inline void setTypeInfo(StInfo* ti)
     {
         typeinfo = ti;
@@ -503,7 +502,6 @@ public:
         numOfElement = elemNum;
     }
 
-
 };
 
 class SVFOtherType : public SVFType

package/SVF-osx/svf/include/SVFIR/SVFValue.h

@@ -40,7 +40,6 @@ namespace SVF
 /// LLVM Aliases and constants
 typedef SVF::GraphPrinter GraphPrinter;
 
-
 class SVFInstruction;
 class SVFBasicBlock;
 class SVFArgument;
@@ -135,7 +134,6 @@ public:
         return bb2PIdom;
     }
 
-
     inline Map<const SVFBasicBlock*,BBSet>& getDomTreeMap()
     {
         return dtBBsMap;
@@ -1104,7 +1102,6 @@ public:
     }
 };
 
-
 class CallSite
 {
     friend class SVFIRReader;

package/SVF-osx/svf/include/SVFIR/SVFVariables.h

@@ -73,7 +73,6 @@ public:
         DummyObjNode,
     };
 
-
 protected:
     const SVFValue* value; ///< value of this SVFIR node
     SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap;
@@ -254,8 +253,6 @@ public:
     //@}
 };
 
-
-
 /*
  * Value (Pointer) variable
  */
@@ -371,7 +368,6 @@ public:
     virtual const std::string toString() const;
 };
 
-
 /*
  * Gep Value (Pointer) variable, this variable can be dynamic generated for field sensitive analysis
  * e.g. memcpy, temp gep value variable needs to be created
@@ -440,7 +436,6 @@ public:
     virtual const std::string toString() const;
 };
 
-
 /*
  * Gep Obj variable, this is dynamic generated for field sensitive analysis
  * Each gep obj variable is one field of a MemObj (base)

package/SVF-osx/svf/include/SVFIR/SymbolTableInfo.h

@@ -30,7 +30,6 @@
 #ifndef INCLUDE_SVFIR_SYMBOLTABLEINFO_H_
 #define INCLUDE_SVFIR_SYMBOLTABLEINFO_H_
 
-
 #include "Util/SVFUtil.h"
 #include "MemoryModel/AccessPath.h"
 #include "SVFIR/SVFModule.h"
@@ -242,7 +241,6 @@ public:
     }
     //@}
 
-
     /// Statistics
     //@{
     inline u32_t getTotalSymNum() const
@@ -373,7 +371,6 @@ protected:
     Set<const StInfo*> stInfos;
 };
 
-
 /*!
  * Memory object symbols or MemObj (address-taken variables in LLVM-based languages)
  */
@@ -444,7 +441,6 @@ public:
     /// Check if byte size is a const value
     bool isConstantByteSize() const;
 
-
     /// object attributes methods
     //@{
     bool isFunction() const;
@@ -647,7 +643,6 @@ public:
     //@}
 };
 
-
 } // End namespace SVF
 
 #endif /* INCLUDE_SVFIR_SYMBOLTABLEINFO_H_ */

package/SVF-osx/svf/include/Util/CDGBuilder.h

@@ -60,11 +60,8 @@ public:
     /// build map at icfg node level
     void buildICFGNodeControlMap();
 
-
-
 private:
 
-
     /// extract basic block edges to be processed
     static void
     extractBBS(const SVFFunction *func,
@@ -75,17 +72,14 @@ private:
     extractNodesBetweenPdomNodes(const SVFBasicBlock *succ, const SVFBasicBlock *LCA,
                                  std::vector<const SVFBasicBlock *> &tgtNodes);
 
-
     void dfsNodesBetweenPdomNodes(const SVFBasicBlock *cur,
                                   const SVFBasicBlock *tgt,
                                   std::vector<const SVFBasicBlock *> &path,
                                   std::vector<const SVFBasicBlock *> &tgtNodes,
                                   SVFLoopAndDomInfo *ld);
 
-
     s64_t getBBSuccessorBranchID(const SVFBasicBlock *BB, const SVFBasicBlock *Succ);
 
-
     /// update map
     inline void updateMap(const SVFBasicBlock *pred, const SVFBasicBlock *bb, s32_t pos)
     {
@@ -93,7 +87,6 @@ private:
         _svfdependentOnMap[bb][pred].insert(pos);
     }
 
-
 private:
     CDG *_controlDG;
     Map<const SVFBasicBlock *, Map<const SVFBasicBlock *, Set<s32_t>>> _svfcontrolMap; ///< map a basicblock to its controlling BBs (position, set of BBs)
@@ -103,5 +96,4 @@ private:
 };
 }
 
-
 #endif //SVF_CDGBUILDER_H