svf-lib 1.0.2125 → 1.0.2127

package/SVF-osx/Release-build/include/SVFIR/SVFValue.h

@@ -149,7 +149,7 @@ public:
     inline bool isUnreachable(const SVFBasicBlock* bb) const
     {
         return std::find(reachableBBs.begin(), reachableBBs.end(), bb) ==
-               reachableBBs.end();
+                   reachableBBs.end();
     }
 
     inline const BBList& getReachableBBs() const
@@ -215,7 +215,7 @@ protected:
     /// Constructor without name
     SVFValue(const SVFType* ty, SVFValKind k)
         : kind(k), ptrInUncalledFun(false),
-          constDataOrAggData(SVFConstData == k), type(ty), sourceLoc("NoLoc")
+        constDataOrAggData(SVFConstData == k), type(ty), sourceLoc("NoLoc")
     {
     }
 
@@ -540,7 +540,7 @@ protected:
     inline void addICFGNode(const ICFGNode* icfgNode)
     {
         assert(std::find(getICFGNodeList().begin(), getICFGNodeList().end(),
-                         icfgNode) == getICFGNodeList().end() && "duplicated icfgnode");
+        icfgNode) == getICFGNodeList().end() && "duplicated icfgnode");
         allICFGNodes.push_back(icfgNode);
     }
 
@@ -641,8 +641,8 @@ public:
     static inline bool classof(const SVFValue *node)
     {
         return node->getKind() == SVFInst ||
-               node->getKind() == SVFCall ||
-               node->getKind() == SVFVCall;
+        node->getKind() == SVFCall ||
+        node->getKind() == SVFVCall;
     }
 
     inline const SVFBasicBlock* getParent() const
@@ -808,12 +808,12 @@ public:
     static inline bool classof(const SVFValue *node)
     {
         return node->getKind() == SVFConst ||
-               node->getKind() == SVFGlob ||
-               node->getKind() == SVFConstData ||
-               node->getKind() == SVFConstInt ||
-               node->getKind() == SVFConstFP ||
-               node->getKind() == SVFNullPtr ||
-               node->getKind() == SVFBlackHole;
+        node->getKind() == SVFGlob ||
+        node->getKind() == SVFConstData ||
+        node->getKind() == SVFConstInt ||
+        node->getKind() == SVFConstFP ||
+        node->getKind() == SVFNullPtr ||
+        node->getKind() == SVFBlackHole;
     }
 
 };
@@ -913,18 +913,18 @@ public:
     static inline bool classof(const SVFValue *node)
     {
         return node->getKind() == SVFConstData ||
-               node->getKind() == SVFConstInt ||
-               node->getKind() == SVFConstFP ||
-               node->getKind() == SVFNullPtr ||
-               node->getKind() == SVFBlackHole;
+        node->getKind() == SVFConstInt ||
+        node->getKind() == SVFConstFP ||
+        node->getKind() == SVFNullPtr ||
+        node->getKind() == SVFBlackHole;
     }
     static inline bool classof(const SVFConstantData *node)
     {
         return node->getKind() == SVFConstData ||
-               node->getKind() == SVFConstInt ||
-               node->getKind() == SVFConstFP ||
-               node->getKind() == SVFNullPtr ||
-               node->getKind() == SVFBlackHole;
+        node->getKind() == SVFConstInt ||
+        node->getKind() == SVFConstFP ||
+        node->getKind() == SVFNullPtr ||
+        node->getKind() == SVFBlackHole;
     }
 };
 

package/SVF-osx/Release-build/include/SVFIR/SVFVariables.h

@@ -83,8 +83,8 @@ public:
     inline const SVFValue* getValue() const
     {
         assert(this->getNodeKind() != DummyValNode &&
-               this->getNodeKind() != DummyObjNode &&
-               "dummy node do not have value!");
+                                      this->getNodeKind() != DummyObjNode &&
+                                          "dummy node do not have value!");
         assert(!SymbolTableInfo::isBlkObjOrConstantObj(this->getId()) &&
                "blackhole and constant obj do not have value");
         assert(value &&

package/SVF-osx/Release-build/include/Util/Casting.h

@@ -217,8 +217,8 @@ struct isa_impl_wrap
     static bool doit(const From &Val)
     {
         return isa_impl_wrap<To, SimpleFrom,
-               typename simplify_type<SimpleFrom>::SimpleType>::doit(
-                   simplify_type<const From>::getSimplifiedValue(Val));
+        typename simplify_type<SimpleFrom>::SimpleType>::doit(
+            simplify_type<const From>::getSimplifiedValue(Val));
     }
 };
 
@@ -285,11 +285,11 @@ template<class To, class From> struct cast_retty_impl<To, const From*const>
 template <class To, class From>
 struct cast_retty_impl<To, std::unique_ptr<From>>
 {
-private:
+    private:
     using PointerType = typename cast_retty_impl<To, From *>::ret_type;
     using ResultType = typename std::remove_pointer<PointerType>::type;
 
-public:
+    public:
     using ret_type = std::unique_ptr<ResultType>;
 };
 
@@ -325,8 +325,8 @@ template<class To, class From, class SimpleFrom> struct cast_convert_val
     static typename cast_retty<To, From>::ret_type doit(From &Val)
     {
         return cast_convert_val<To, SimpleFrom,
-               typename simplify_type<SimpleFrom>::SimpleType>::doit(
-                   simplify_type<From>::getSimplifiedValue(Val));
+        typename simplify_type<SimpleFrom>::SimpleType>::doit(
+            simplify_type<From>::getSimplifiedValue(Val));
     }
 };
 

package/SVF-osx/Release-build/include/Util/GeneralType.h

@@ -98,30 +98,30 @@ using Set = std::unordered_set<Key, Hash, KeyEqual, Allocator>;
 template <typename Key, typename Value, typename Hash = Hash<Key>,
           typename KeyEqual = std::equal_to<Key>,
           typename Allocator = std::allocator<std::pair<const Key, Value>>>
-              using Map = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;
-
-          template <typename Key, typename Compare = std::less<Key>,
-                    typename Allocator = std::allocator<Key>>
-          using OrderedSet = std::set<Key, Compare, Allocator>;
-
-          template <typename Key, typename Value, typename Compare = std::less<Key>,
-                    typename Allocator = std::allocator<std::pair<const Key, Value>>>
-                        using OrderedMap = std::map<Key, Value, Compare, Allocator>;
-
-                    typedef std::pair<NodeID, NodeID> NodePair;
-                    typedef OrderedSet<NodeID> OrderedNodeSet;
-                    typedef Set<NodeID> NodeSet;
-                    typedef Set<NodePair> NodePairSet;
-                    typedef Map<NodePair, NodeID> NodePairMap;
-                    typedef std::vector<NodeID> NodeVector;
-                    typedef std::vector<EdgeID> EdgeVector;
-                    typedef std::stack<NodeID> NodeStack;
-                    typedef std::list<NodeID> NodeList;
-                    typedef std::deque<NodeID> NodeDeque;
-                    typedef NodeSet EdgeSet;
-                    typedef std::vector<u32_t> CallStrCxt;
-                    typedef unsigned Version;
-                    typedef Set<Version> VersionSet;
-                    typedef std::pair<NodeID, Version> VersionedVar;
-                    typedef Set<VersionedVar> VersionedVarSet;
+using Map = std::unordered_map<Key, Value, Hash, KeyEqual, Allocator>;
+
+template <typename Key, typename Compare = std::less<Key>,
+          typename Allocator = std::allocator<Key>>
+using OrderedSet = std::set<Key, Compare, Allocator>;
+
+template <typename Key, typename Value, typename Compare = std::less<Key>,
+          typename Allocator = std::allocator<std::pair<const Key, Value>>>
+using OrderedMap = std::map<Key, Value, Compare, Allocator>;
+
+typedef std::pair<NodeID, NodeID> NodePair;
+typedef OrderedSet<NodeID> OrderedNodeSet;
+typedef Set<NodeID> NodeSet;
+typedef Set<NodePair> NodePairSet;
+typedef Map<NodePair, NodeID> NodePairMap;
+typedef std::vector<NodeID> NodeVector;
+typedef std::vector<EdgeID> EdgeVector;
+typedef std::stack<NodeID> NodeStack;
+typedef std::list<NodeID> NodeList;
+typedef std::deque<NodeID> NodeDeque;
+typedef NodeSet EdgeSet;
+typedef std::vector<u32_t> CallStrCxt;
+typedef unsigned Version;
+typedef Set<Version> VersionSet;
+typedef std::pair<NodeID, Version> VersionedVar;
+typedef Set<VersionedVar> VersionedVarSet;
 }

package/SVF-osx/Release-build/include/Util/SVFUtil.h

@@ -356,8 +356,8 @@ inline const SVFFunction* getProgEntryFunction(SVFModule* svfModule)
 inline bool isProgExitFunction (const SVFFunction * fun)
 {
     return fun && (fun->getName() == "exit" ||
-                   fun->getName() == "__assert_rtn" ||
-                   fun->getName() == "__assert_fail" );
+    fun->getName() == "__assert_rtn" ||
+    fun->getName() == "__assert_fail" );
 }
 
 /// Return true if this argument belongs to an uncalled function
@@ -480,7 +480,7 @@ template <typename... Ts> using void_t = typename make_void<Ts...>::type;
 template <typename T, typename = void> struct is_iterable : std::false_type {};
 template <typename T>
 struct is_iterable<T, void_t<decltype(std::begin(std::declval<T&>()) !=
-                                      std::end(std::declval<T&>()))>>
+        std::end(std::declval<T&>()))>>
     : std::true_type {};
 template <typename T> constexpr bool is_iterable_v = is_iterable<T>::value;
 ///@}

package/SVF-osx/Release-build/include/Util/SparseBitVector.h

@@ -388,7 +388,7 @@ public:
         unsigned BitPos = Curr % BITWORD_SIZE;
         BitWord Copy = Bits[WordPos];
         assert(WordPos <= BITWORDS_PER_ELEMENT
-               && "Word Position outside of element");
+                          && "Word Position outside of element");
 
         // Mask off previous bits.
         Copy &= ~0UL << BitPos;
@@ -552,13 +552,13 @@ class SparseBitVector
         else if (CurrElementIter->index() > ElementIndex)
         {
             while (ElementIter != Begin
-                    && ElementIter->index() > ElementIndex)
+                                  && ElementIter->index() > ElementIndex)
                 --ElementIter;
         }
         else
         {
             while (ElementIter != End &&
-                    ElementIter->index() < ElementIndex)
+                                  ElementIter->index() < ElementIndex)
                 ++ElementIter;
         }
         CurrElementIter = ElementIter;
@@ -758,7 +758,7 @@ public:
         // If we can't find an element that is supposed to contain this bit, there
         // is nothing more to do.
         if (ElementIter == Elements.end() ||
-                ElementIter->index() != ElementIndex)
+                           ElementIter->index() != ElementIndex)
             return false;
         return ElementIter->test(Idx % ElementSize);
     }
@@ -774,7 +774,7 @@ public:
         // If we can't find an element that is supposed to contain this bit, there
         // is nothing more to do.
         if (ElementIter == Elements.end() ||
-                ElementIter->index() != ElementIndex)
+                           ElementIter->index() != ElementIndex)
             return;
         ElementIter->reset(Idx % ElementSize);
 
@@ -799,13 +799,13 @@ public:
             ElementIter = FindLowerBound(ElementIndex);
 
             if (ElementIter == Elements.end() ||
-                    ElementIter->index() != ElementIndex)
+                               ElementIter->index() != ElementIndex)
             {
                 // We may have hit the beginning of our SparseBitVector, in which case,
                 // we may need to insert right after this element, which requires moving
                 // the current iterator forward one, because insert does insert before.
                 if (ElementIter != Elements.end() &&
-                        ElementIter->index() < ElementIndex)
+                                   ElementIter->index() < ElementIndex)
                     ++ElementIter;
                 ElementIter = Elements.emplace(ElementIter, ElementIndex);
             }

package/SVF-osx/Release-build/include/Util/iterator.h

@@ -173,7 +173,7 @@ public:
             IsRandomAccess,
             "Relational operators are only defined for random access iterators.");
         return !(static_cast<const DerivedT &>(*this) < RHS) &&
-               !(static_cast<const DerivedT &>(*this) == RHS);
+        !(static_cast<const DerivedT &>(*this) == RHS);
     }
     bool operator<=(const DerivedT &RHS) const
     {

package/SVF-osx/Release-build/include/WPA/Andersen.h

@@ -109,12 +109,12 @@ public:
     static inline bool classof(const PointerAnalysis *pta)
     {
         return ( pta->getAnalysisTy() == Andersen_BASE
-                 || pta->getAnalysisTy() == Andersen_WPA
-                 || pta->getAnalysisTy() == AndersenWaveDiff_WPA
-                 || pta->getAnalysisTy() == AndersenSCD_WPA
-                 || pta->getAnalysisTy() == AndersenSFR_WPA
-                 || pta->getAnalysisTy() == TypeCPP_WPA
-                 || pta->getAnalysisTy() == Steensgaard_WPA);
+        || pta->getAnalysisTy() == Andersen_WPA
+        || pta->getAnalysisTy() == AndersenWaveDiff_WPA
+        || pta->getAnalysisTy() == AndersenSCD_WPA
+        || pta->getAnalysisTy() == AndersenSFR_WPA
+        || pta->getAnalysisTy() == TypeCPP_WPA
+        || pta->getAnalysisTy() == Steensgaard_WPA);
     }
     //@}
 
@@ -229,9 +229,9 @@ public:
     static inline bool classof(const PointerAnalysis *pta)
     {
         return (pta->getAnalysisTy() == Andersen_WPA
-                || pta->getAnalysisTy() == AndersenWaveDiff_WPA
-                || pta->getAnalysisTy() == AndersenSCD_WPA
-                || pta->getAnalysisTy() == AndersenSFR_WPA);
+        || pta->getAnalysisTy() == AndersenWaveDiff_WPA
+        || pta->getAnalysisTy() == AndersenSCD_WPA
+        || pta->getAnalysisTy() == AndersenSFR_WPA);
     }
     //@}
 

package/SVF-osx/Release-build/include/WPA/FlowSensitive.h

@@ -247,11 +247,11 @@ protected:
     //@{
     inline const PointsTo& getDFInPtsSet(const SVFGNode* stmt, const NodeID node)
     {
-        return getDFPTDataTy()->getDFInPtsSet(stmt->getId(),node);
+        return getDFPTDataTy()->getDFInPtsSet(stmt->getId(), node);
     }
     inline const PointsTo& getDFOutPtsSet(const SVFGNode* stmt, const NodeID node)
     {
-        return getDFPTDataTy()->getDFOutPtsSet(stmt->getId(),node);
+        return getDFPTDataTy()->getDFOutPtsSet(stmt->getId(), node);
     }
     //@}
 

package/package.json

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