svf-lib 1.0.1820 → 1.0.1821

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

@@ -192,8 +192,8 @@ public:
 
         // From all the candidates, returns the best mapping for pointsToSets (points-to set -> # occurrences).
         static inline std::pair<hclust_fast_methods, std::vector<NodeID>> determineBestMapping(
-                    const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
-                    Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
+            const std::vector<std::pair<hclust_fast_methods, std::vector<NodeID>>> &candidates,
+            Map<PointsTo, unsigned> pointsToSets, const std::string &evalSubtitle, double &evalTime);
 
     };
 };

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

@@ -69,6 +69,7 @@ public:
 
     void callgraphStat() override;
 
+
 protected:
     PointerAnalysis* pta;
     u32_t _vmrssUsageBefore;

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

@@ -47,6 +47,7 @@ namespace SVF
  * Bug Detector Recoder
  */
 
+
 class SVFBugEvent
 {
 public:

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

@@ -33,6 +33,7 @@
 namespace SVF
 {
 
+
 /*!
  * Pointer Analysis Statistics
  */

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

@@ -671,6 +671,7 @@ template <typename... Ts>
 constexpr bool is_sequence_container_v = is_sequence_container<Ts...>::value;
 ///@}
 
+
 } // End namespace SVFUtil
 
 } // End namespace SVF

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

@@ -253,6 +253,7 @@ public:
     }
     //@}
 
+
     /// Return true if this call exits/terminate a thread
     //@{
     inline bool isTDExit(const SVFInstruction *inst) const

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

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

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

@@ -93,6 +93,7 @@ public:
     /// release z3 solver
     static void releaseSolver();
 
+
     /// null expression
     static z3::expr nullExpr()
     {
@@ -272,6 +273,7 @@ public:
     /// output Z3 expression as a string
     static std::string dumpStr(const Z3Expr &z3Expr);
 
+
     /// get the number of subexpression of a Z3 expression
     static u32_t getExprSize(const Z3Expr &z3Expr);
 
@@ -281,6 +283,7 @@ public:
         return getContext().bool_val(true);
     }
 
+
     /// Return the unique false condition
     static inline Z3Expr getFalseCond()
     {
@@ -312,3 +315,4 @@ struct std::hash<SVF::Z3Expr>
 };
 
 #endif //Z3_EXAMPLE_Z3EXPR_H
+

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

@@ -352,7 +352,7 @@ struct pointee_iter
 template <typename RangeT, typename WrappedIteratorT =
           decltype(std::begin(std::declval<RangeT>()))>
 iter_range<pointee_iter<WrappedIteratorT>>
-                                        make_pointee_range(RangeT &&Range)
+make_pointee_range(RangeT &&Range)
 {
     using PointeeIteratorT = pointee_iter<WrappedIteratorT>;
     return make_range(PointeeIteratorT(std::begin(std::forward<RangeT>(Range))),
@@ -388,7 +388,7 @@ public:
 template <typename RangeT, typename WrappedIteratorT =
           decltype(std::begin(std::declval<RangeT>()))>
 iter_range<pointer_iterator<WrappedIteratorT>>
-        make_pointer_range(RangeT &&Range)
+make_pointer_range(RangeT &&Range)
 {
     using PointerIteratorT = pointer_iterator<WrappedIteratorT>;
     return make_range(PointerIteratorT(std::begin(std::forward<RangeT>(Range))),

package/SVF-osx/svf/include/WPA/Andersen.h

@@ -156,6 +156,7 @@ protected:
 class Andersen:  public AndersenBase
 {
 
+
 public:
     typedef SCCDetection<ConstraintGraph*> CGSCC;
     typedef OrderedMap<CallSite, NodeID> CallSite2DummyValPN;
@@ -231,6 +232,7 @@ public:
         return getPTDataTy()->unionPts(id,ptd);
     }
 
+
     void dumpTopLevelPtsTo();
 
     void setDetectPWC(bool flag)
@@ -339,6 +341,8 @@ protected:
     /// SCC detection
     virtual NodeStack& SCCDetect();
 
+
+
     /// Sanitize pts for field insensitive objects
     void sanitizePts()
     {
@@ -372,6 +376,8 @@ protected:
     virtual void cluster(void) const;
 };
 
+
+
 /**
  * Wave propagation with diff points-to set.
  */

package/SVF-osx/svf/include/WPA/AndersenPWC.h

@@ -30,6 +30,7 @@
 #ifndef PROJECT_ANDERSENSFR_H
 #define PROJECT_ANDERSENSFR_H
 
+
 #include "WPA/Andersen.h"
 #include "WPA/CSC.h"
 #include "MemoryModel/PointsTo.h"
@@ -93,6 +94,8 @@ protected:
 
 };
 
+
+
 /*!
  * Selective Cycle Detection with Stride-based Field Representation
  */

package/SVF-osx/svf/include/WPA/CSC.h

@@ -30,13 +30,13 @@
 #ifndef PROJECT_CSC_H
 #define PROJECT_CSC_H
 
-#include "Util/SCC.h"
-#include "SVFIR/SVFValue.h"    // for NodeBS
 #include "Graphs/ConsG.h"
+#include "Graphs/SCC.h"
+#include "SVFIR/SVFValue.h" // for NodeBS
 #include "Util/WorkList.h"
 #include <limits.h>
-#include <stack>
 #include <map>
+#include <stack>
 
 namespace SVF
 {

package/SVF-osx/svf/include/WPA/WPAFSSolver.h

@@ -32,6 +32,7 @@
  *
  */
 
+
 #ifndef WPAFSSOLVER_H_
 #define WPAFSSOLVER_H_
 
@@ -97,6 +98,8 @@ protected:
     }
 };
 
+
+
 /*!
  * Solver based on SCC cycles.
  */
@@ -168,6 +171,8 @@ protected:
     NodeID curSCCID;	///< index of current SCC.
 };
 
+
+
 /*!
  * Only solve nodes which need to be analyzed.
  */

package/SVF-osx/svf/include/WPA/WPAPass.h

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /*
  * @file: WPA.h
  * @author: yesen
@@ -32,6 +33,7 @@
  *
  */
 
+
 #ifndef WPA_H_
 #define WPA_H_
 

package/SVF-osx/svf/include/WPA/WPASolver.h

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /*
  * WPASolver.h
  *
@@ -171,6 +172,7 @@ protected:
     /// print out statistics for i-th iteration
     u32_t iterationForPrintStat;
 
+
     /// Get node on the graph
     inline GNODE* Node(NodeID id)
     {

package/SVF-osx/svf/include/WPA/WPAStat.h

@@ -20,6 +20,7 @@
 //
 //===----------------------------------------------------------------------===//
 
+
 /*
  * FlowSensitiveStat.h
  *

package/SVF-osx/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h

@@ -44,6 +44,7 @@ public:
     virtual bool runOnModule (Module & M);
 };
 
+
 //
 // Pass: MergeFunctionRets
 //

package/SVF-osx/svf-llvm/include/SVF-LLVM/DCHG.h

@@ -447,6 +447,7 @@ private:
         return nullptr;
     }
 
+
     /// Creates an edge between from t1 to t2.
     DCHEdge* addEdge(const DIType* t1, const DIType* t2, DCHEdge::GEdgeKind et);
     /// Returns the edge between t1 and t2 if it exists, returns nullptr otherwise.

package/SVF-osx/svf-llvm/include/SVF-LLVM/GEPTypeBridgeIterator.h

@@ -100,6 +100,7 @@ public:
         return const_cast<Value*>(&**OpIt);
     }
 
+
     generic_bridge_gep_type_iterator& operator++()
     {
         if ( CurTy.getInt() )
@@ -132,6 +133,7 @@ public:
         return *this;
     }
 
+
     generic_bridge_gep_type_iterator operator++(int)
     {
         generic_bridge_gep_type_iterator tmp = *this;
@@ -141,6 +143,7 @@ public:
 
 };
 
+
 typedef generic_bridge_gep_type_iterator<> bridge_gep_iterator;
 
 inline bridge_gep_iterator bridge_gep_begin(const User* GEP)

package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMModule.h

@@ -322,6 +322,7 @@ public:
         return it->second;
     }
 
+
     Module* getMainLLVMModule() const
     {
         return getModule(0);

package/SVF-osx/svf-llvm/include/SVF-LLVM/LLVMUtil.h

@@ -466,6 +466,7 @@ std::string dumpValue(const Value* val);
 
 std::string dumpType(const Type* type);
 
+
 /**
  * See more: https://github.com/SVF-tools/SVF/pull/1191
  *

package/SVF-osx/svf-llvm/include/SVF-LLVM/SVFIRBuilder.h

@@ -114,6 +114,7 @@ public:
     }
     //@}
 
+
     /// Our visit overrides.
     //@{
     // Instructions that cannot be folded away.

package/SVF-osx/svf-llvm/include/SVF-LLVM/SymbolTableBuilder.h

@@ -57,6 +57,7 @@ public:
     /// Return size of this object based on LLVM value
     u32_t getNumOfElements(const Type* ety);
 
+
 protected:
 
     /// collect the syms

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.1820",
+  "version": "1.0.1821",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {