svf-lib 1.0.1820 → 1.0.1821

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

@@ -34,11 +34,11 @@
 #ifndef MEMORYREGION_H_
 #define MEMORYREGION_H_
 
-#include "SVFIR/SVFIR.h"
+#include "Graphs/ICFG.h"
 #include "Graphs/PTACallGraph.h"
-#include "Util/SCC.h"
+#include "Graphs/SCC.h"
+#include "SVFIR/SVFIR.h"
 #include "Util/WorkList.h"
-#include "Graphs/ICFG.h"
 
 #include <set>
 
@@ -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

@@ -30,10 +30,10 @@
 #ifndef TCTNodeDetector_H_
 #define TCTNodeDetector_H_
 
-#include "Util/SCC.h"
-#include "Util/SVFUtil.h"
+#include "Graphs/SCC.h"
 #include "Graphs/ThreadCallGraph.h"
 #include "Util/CxtStmt.h"
+#include "Util/SVFUtil.h"
 #include <set>
 #include <vector>
 
@@ -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)

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

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

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

@@ -33,15 +33,15 @@
 #include <unistd.h>
 #include <signal.h>
 
-#include "SVFIR/SVFIR.h"
-#include "MemoryModel/ConditionalPT.h"
+#include "Graphs/CHG.h"
+#include "Graphs/PTACallGraph.h"
+#include "Graphs/SCC.h"
 #include "MemoryModel/AbstractPointsToDS.h"
+#include "MemoryModel/ConditionalPT.h"
 #include "MemoryModel/MutablePointsToDS.h"
 #include "MemoryModel/PersistentPointsToDS.h"
-#include "Graphs/PTACallGraph.h"
-#include "Graphs/CHG.h"
-#include "Util/SCC.h"
 #include "MemoryModel/PointsTo.h"
+#include "SVFIR/SVFIR.h"
 
 namespace SVF
 {
@@ -85,6 +85,7 @@ 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,6 +157,7 @@ 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,4 +251,5 @@ struct std::hash<SVF::PointsTo>
     }
 };
 
+
 #endif  // POINTSTO_H_

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

@@ -64,6 +64,7 @@ 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,6 +60,7 @@ 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,6 +36,7 @@
 #include "Graphs/SVFG.h"
 #include "Util/Z3Expr.h"
 
+
 namespace SVF
 {
 
@@ -57,6 +58,7 @@ public:
     typedef FIFOWorkList<const SVFBasicBlock*> CFWorkList;	///< worklist for control-flow guard computation
     typedef Map<const SVFGNode*, Set<const SVFGNode*>> SVFGNodeToSVFGNodeSetMap;
 
+
     /// Constructor
     SaberCondAllocator();
 
@@ -231,6 +233,7 @@ public:
     }
     //@}
 
+
     /// mark neg Z3 expression
     inline void setNegCondInst(const Condition &condition, const SVFInstruction* inst)
     {
@@ -295,6 +298,7 @@ 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,6 +34,7 @@
 #include "SVFIR/SVFValue.h"
 #include "Util/WorkList.h"
 
+
 namespace SVF
 {
 

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

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

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

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

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

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

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

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

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

@@ -73,6 +73,7 @@ public:
         DummyObjNode,
     };
 
+
 protected:
     const SVFValue* value; ///< value of this SVFIR node
     SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap;
@@ -253,6 +254,8 @@ public:
     //@}
 };
 
+
+
 /*
  * Value (Pointer) variable
  */
@@ -368,6 +371,7 @@ 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
@@ -436,6 +440,7 @@ 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,6 +30,7 @@
 #ifndef INCLUDE_SVFIR_SYMBOLTABLEINFO_H_
 #define INCLUDE_SVFIR_SYMBOLTABLEINFO_H_
 
+
 #include "Util/SVFUtil.h"
 #include "MemoryModel/AccessPath.h"
 #include "SVFIR/SVFModule.h"
@@ -241,6 +242,7 @@ public:
     }
     //@}
 
+
     /// Statistics
     //@{
     inline u32_t getTotalSymNum() const
@@ -371,6 +373,7 @@ protected:
     Set<const StInfo*> stInfos;
 };
 
+
 /*!
  * Memory object symbols or MemObj (address-taken variables in LLVM-based languages)
  */
@@ -441,6 +444,7 @@ public:
     /// Check if byte size is a const value
     bool isConstantByteSize() const;
 
+
     /// object attributes methods
     //@{
     bool isFunction() const;
@@ -643,6 +647,7 @@ public:
     //@}
 };
 
+
 } // End namespace SVF
 
 #endif /* INCLUDE_SVFIR_SYMBOLTABLEINFO_H_ */

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

@@ -60,8 +60,11 @@ public:
     /// build map at icfg node level
     void buildICFGNodeControlMap();
 
+
+
 private:
 
+
     /// extract basic block edges to be processed
     static void
     extractBBS(const SVFFunction *func,
@@ -72,14 +75,17 @@ 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)
     {
@@ -87,6 +93,7 @@ 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)
@@ -96,4 +103,5 @@ private:
 };
 }
 
+
 #endif //SVF_CDGBUILDER_H

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

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /*
  * CallGraphBuilder.h
  *
@@ -69,4 +70,5 @@ public:
 
 } // End namespace SVF
 
+
 #endif /* INCLUDE_UTIL_CALLGRAPHBUILDER_H_ */

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

@@ -8,6 +8,7 @@
 #ifndef INCLUDE_UTIL_CASTING_H_
 #define INCLUDE_UTIL_CASTING_H_
 
+
 //===- llvm/Support/Casting.h - Allow flexible, checked, casts --*- C++ -*-===//
 //
 //                     The LLVM Compiler Infrastructure
@@ -381,7 +382,7 @@ inline typename cast_retty<X, Y *>::ret_type cast(Y *Val)
 
 template <class X, class Y>
 inline typename cast_retty<X, std::unique_ptr<Y>>::ret_type
-        cast(std::unique_ptr<Y> &&Val)
+cast(std::unique_ptr<Y> &&Val)
 {
     assert(SVFUtil::isa<X>(Val.get()) && "cast<Ty>() argument of incompatible type!");
     using ret_type = typename cast_retty<X, std::unique_ptr<Y>>::ret_type;

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

@@ -311,6 +311,7 @@ protected:
         return options;
     }
 
+
 protected:
     std::string name;
     std::string description;

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

@@ -116,6 +116,7 @@ protected:
     const SVFInstruction* inst;
 };
 
+
 /*!
  * Context-sensitive thread statement <t,c,s>
  */
@@ -180,6 +181,7 @@ private:
     NodeID tid;
 };
 
+
 /*!
  * Context-sensitive thread <c,t>
  */
@@ -297,6 +299,7 @@ protected:
     bool incycle;
 };
 
+
 /*!
  * Context-sensitive procedure <c,m>
  * c represent current context
@@ -382,6 +385,7 @@ protected:
     const SVFFunction* fun;
 };
 
+
 /*!
  * Context-sensitive procedure <t,c,m>
  * t represent current thread during traversing

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

@@ -123,6 +123,7 @@ public:
     }
 };
 
+
 /*!
  * FlowSensitive DPItem
  */
@@ -130,6 +131,7 @@ template<class LocCond>
 class StmtDPItem : public DPItem
 {
 
+
 protected:
     const LocCond* curloc;