svf-lib 1.0.2143 → 1.0.2145

package/SVF-osx/Release-build/include/CFL/CFGrammar.h

@@ -192,7 +192,7 @@ public:
         return this->rawProductions;
     }
 
-    inline const Map<Kind, Set<Attribute>>& getKindToAttrsMap() const
+    inline const Map<Kind,  Set<Attribute>>& getKindToAttrsMap() const
     {
         return this->kindToAttrsMap;
     }
@@ -223,7 +223,7 @@ public:
 
     void setRawProductions(SymbolMap<Symbol, Productions>& rawProductions);
 
-    void setKindToAttrsMap(const Map<Kind, Set<Attribute>>& kindToAttrsMap);
+    void setKindToAttrsMap(const Map<Kind,  Set<Attribute>>& kindToAttrsMap);
 
     void setAttributeKinds(const Set<Kind>& attributeKind);
 
@@ -282,7 +282,7 @@ private:
     Map<std::string, Kind> terminals;
     Map<std::string, Kind> EBNFSigns; /// Map contains Signs' String and associated Symbols
     Set<Kind> attributeKinds;
-    Map<Kind, Set<Attribute>> kindToAttrsMap;
+    Map<Kind,  Set<Attribute>> kindToAttrsMap;
     SymbolMap<Symbol, Productions> rawProductions;
     u32_t totalKind;
 };

package/SVF-osx/Release-build/include/CFL/CFLGraphBuilder.h

@@ -60,7 +60,7 @@ protected:
     Map<Kind, std::string> kindToLabelMap;
 
     /// Map to maintain attributes associated with each kind
-    Map<CFGrammar::Kind, Set<CFGrammar::Attribute>> kindToAttrsMap;
+    Map<CFGrammar::Kind,  Set<CFGrammar::Attribute>> kindToAttrsMap;
 
     Kind current;
     CFLGraph *cflGraph;
@@ -87,7 +87,7 @@ public:
     /// Method to build a CFL graph by copying nodes and edges from any graph
     /// inherited from GenericGraph
     template<class N, class E>
-    CFLGraph* build(GenericGraph<N, E>* graph, GrammarBase *grammar, BuildDirection direction = BuildDirection::plain);
+    CFLGraph* build(GenericGraph<N,E>* graph, GrammarBase *grammar, BuildDirection direction = BuildDirection::plain);
 
     /// Method to build a CFL graph from external file
     CFLGraph* build(std::string fileName, GrammarBase *grammar, BuildDirection direction = BuildDirection::plain);
@@ -108,7 +108,7 @@ public:
     }
 
     /// Returns a reference to the map that associates Kinds with their corresponding attributes
-    Map<CFGrammar::Kind, Set<CFGrammar::Attribute>>& getKindToAttrsMap()
+    Map<CFGrammar::Kind,  Set<CFGrammar::Attribute>>& getKindToAttrsMap()
     {
         return this->kindToAttrsMap;
     }
@@ -130,13 +130,13 @@ public:
 
 private:
     /// Connects VGep (Variable GEP)
-    void connectVGep(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
+    void connectVGep(CFLGraph *cflGraph,  ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
 
     /// Handles edges, with the exception of the GEP
-    void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode* src, ConstraintNode* dst, CFGrammar::Kind label);
+    void addBiCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFGrammar::Kind label);
 
     /// Adds bidirectional GEP edges with attributes
-    void addBiGepCFLEdge(CFLGraph *cflGraph, ConstraintNode* src, ConstraintNode* dst, CFGrammar::Attribute attri);
+    void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFGrammar::Attribute attri);
 };
 
 /// VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow
@@ -153,13 +153,13 @@ public:
 
 private:
     /// Connects VGep (Variable GEP)
-    void connectVGep(CFLGraph *cflGraph, ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
+    void connectVGep(CFLGraph *cflGraph,  ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
 
     /// Handles edges, with the exception of the GEP
-    void addBiCFLEdge(CFLGraph *cflGraph, ConstraintNode* src, ConstraintNode* dst, CFGrammar::Kind label);
+    void addBiCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFGrammar::Kind label);
 
     /// Adds bidirectional GEP edges with attributes
-    void addBiGepCFLEdge(CFLGraph *cflGraph, ConstraintNode* src, ConstraintNode* dst, CFGrammar::Attribute attri);
+    void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFGrammar::Attribute attri);
 };
 
 

package/SVF-osx/Release-build/include/DDA/ContextDDA.h

@@ -51,7 +51,7 @@ typedef CxtStmtDPItem<SVFGNode> CxtLocDPItem;
 /*!
  * Context-, Flow- Sensitive Demand-driven Analysis
  */
-class ContextDDA : public CondPTAImpl<ContextCond>, public DDAVFSolver<CxtVar, CxtPtSet, CxtLocDPItem>
+class ContextDDA : public CondPTAImpl<ContextCond>, public DDAVFSolver<CxtVar,CxtPtSet,CxtLocDPItem>
 {
 
 public:
@@ -90,7 +90,7 @@ public:
         ContextCond cxt;
         for (PointsTo::iterator piter = pts.begin(); piter != pts.end(); ++piter)
         {
-            CxtVar var(cxt, *piter);
+            CxtVar var(cxt,*piter);
             tmpCPts.set(var);
         }
         return tmpCPts;

package/SVF-osx/Release-build/include/DDA/DDAClient.h

@@ -125,7 +125,7 @@ private:
 class FunptrDDAClient : public DDAClient
 {
 private:
-    typedef OrderedMap<NodeID, const CallICFGNode*> VTablePtrToCallSiteMap;
+    typedef OrderedMap<NodeID,const CallICFGNode*> VTablePtrToCallSiteMap;
     VTablePtrToCallSiteMap vtableToCallSiteMap;
 public:
     FunptrDDAClient(SVFModule* module) : DDAClient(module) {}
@@ -156,7 +156,7 @@ public:
     virtual void performStat(PointerAnalysis* pta);
 
 private:
-    typedef OrderedMap<NodeID, const CallICFGNode*> VTablePtrToCallSiteMap;
+    typedef OrderedMap<NodeID,const CallICFGNode*> VTablePtrToCallSiteMap;
     VTablePtrToCallSiteMap vtableToCallSiteMap;
     PAGNodeSet loadSrcNodes;
     PAGNodeSet storeDstNodes;

package/SVF-osx/Release-build/include/DDA/DDAVFSolver.h

@@ -54,8 +54,8 @@ public:
     typedef SVFIR::CallSiteSet CallSiteSet;
     typedef OrderedSet<DPIm> DPTItemSet;
     typedef OrderedMap<DPIm, CPtSet> DPImToCPtSetMap;
-    typedef OrderedMap<DPIm, CVar> DPMToCVarMap;
-    typedef OrderedMap<DPIm, DPIm> DPMToDPMMap;
+    typedef OrderedMap<DPIm,CVar> DPMToCVarMap;
+    typedef OrderedMap<DPIm,DPIm> DPMToDPMMap;
     typedef OrderedMap<NodeID, DPTItemSet> LocToDPMVecMap;
     typedef OrderedSet<const SVFGEdge* > ConstSVFGEdgeSet;
     typedef SVFGEdge::SVFGEdgeSetTy SVFGEdgeSet;
@@ -198,7 +198,7 @@ protected:
             startNewPTCompFromLoadSrc(loadpts,dpm);
             for(typename CPtSet::iterator it = loadpts.begin(), eit = loadpts.end(); it!=eit; ++it)
             {
-                backtraceAlongIndirectVF(pts,getDPImWithOldCond(dpm, *it,load));
+                backtraceAlongIndirectVF(pts,getDPImWithOldCond(dpm,*it,load));
             }
         }
         else if(const StoreSVFGNode* store = SVFUtil::dyn_cast<StoreSVFGNode>(node))
@@ -223,7 +223,7 @@ protected:
                 {
                     if(propagateViaObj(*it,getLoadCVar(dpm)))
                     {
-                        backtraceToStoreSrc(pts,getDPImWithOldCond(dpm, *it,store));
+                        backtraceToStoreSrc(pts,getDPImWithOldCond(dpm,*it,store));
 
                         if(isStrongUpdate(storepts,store))
                         {
@@ -233,7 +233,7 @@ protected:
                         else
                         {
                             DOSTAT(rmSUStat(dpm,store);)
-                            backtraceAlongIndirectVF(pts,getDPImWithOldCond(dpm, *it,store));
+                            backtraceAlongIndirectVF(pts,getDPImWithOldCond(dpm,*it,store));
                         }
                     }
                     else

package/SVF-osx/Release-build/include/DDA/FlowDDA.h

@@ -50,7 +50,7 @@ typedef StmtDPItem<SVFGNode> LocDPItem;
 /*!
  * Flow sensitive demand-driven analysis on value-flow graph
  */
-class FlowDDA : public BVDataPTAImpl, public DDAVFSolver<NodeID, PointsTo, LocDPItem>
+class FlowDDA : public BVDataPTAImpl, public DDAVFSolver<NodeID,PointsTo,LocDPItem>
 {
 
 public:
@@ -59,7 +59,7 @@ public:
     typedef BVDataPTAImpl::FunctionSet	FunctionSet;
     /// Constructor
     FlowDDA(SVFIR* _pag, DDAClient* client): BVDataPTAImpl(_pag, PointerAnalysis::FlowS_DDA),
-        DDAVFSolver<NodeID, PointsTo, LocDPItem>(),
+        DDAVFSolver<NodeID,PointsTo,LocDPItem>(),
         _client(client)
     {
     }

package/SVF-osx/Release-build/include/Graphs/CFLGraph.h

@@ -72,7 +72,7 @@ public:
 };
 
 
-typedef GenericNode<CFLNode, CFLEdge> GenericCFLNodeTy;
+typedef GenericNode<CFLNode,CFLEdge> GenericCFLNodeTy;
 class CFLNode: public GenericCFLNodeTy
 {
 public:
@@ -169,13 +169,13 @@ public:
 };
 
 /// Edge-labeled graph for CFL Reachability analysis
-typedef GenericGraph<CFLNode, CFLEdge> GenericCFLGraphTy;
+typedef GenericGraph<CFLNode,CFLEdge> GenericCFLGraphTy;
 class CFLGraph: public GenericCFLGraphTy
 {
 public:
     typedef CFGrammar::Symbol Symbol;
     typedef CFGrammar::Kind Kind;
-    typedef GenericNode<CFLNode, CFLEdge>::GEdgeSetTy CFLEdgeSet;
+    typedef GenericNode<CFLNode,CFLEdge>::GEdgeSetTy CFLEdgeSet;
     Kind startKind;
 
     CFLGraph(Kind kind)
@@ -213,17 +213,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::CFLNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::CFLNode, SVF::CFLEdge>*  >
+template<> struct GenericGraphTraits<SVF::CFLNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::CFLNode,SVF::CFLEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::CFLNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::CFLNode, SVF::CFLEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::CFLNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::CFLNode,SVF::CFLEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::CFLGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::CFLNode, SVF::CFLEdge>* >
+template<> struct GenericGraphTraits<SVF::CFLGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::CFLNode,SVF::CFLEdge>* >
 {
     typedef SVF::CFLNode *NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/CallGraph.h

@@ -244,17 +244,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::CallGraphNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::CallGraphNode, SVF::CallGraphEdge>*  >
+template<> struct GenericGraphTraits<SVF::CallGraphNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::CallGraphNode,SVF::CallGraphEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::CallGraphNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::CallGraphNode, SVF::CallGraphEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::CallGraphNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::CallGraphNode,SVF::CallGraphEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::CallGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::CallGraphNode, SVF::CallGraphEdge>* >
+template<> struct GenericGraphTraits<SVF::CallGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::CallGraphNode,SVF::CallGraphEdge>* >
 {
     typedef SVF::CallGraphNode*NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/ConsG.h

@@ -41,7 +41,7 @@ namespace SVF
  * ConstraintNodes are same as PAGNodes
  * ConstraintEdges are self-defined edges (initialized with ConstraintEdges)
  */
-class ConstraintGraph :  public GenericGraph<ConstraintNode, ConstraintEdge>
+class ConstraintGraph :  public GenericGraph<ConstraintNode,ConstraintEdge>
 {
 
 public:
@@ -387,17 +387,17 @@ public:
  * GenericGraphTraits specializations for the generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::ConstraintNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::ConstraintNode, SVF::ConstraintEdge>*  >
+template<> struct GenericGraphTraits<SVF::ConstraintNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::ConstraintNode,SVF::ConstraintEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::ConstraintNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::ConstraintNode, SVF::ConstraintEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::ConstraintNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::ConstraintNode,SVF::ConstraintEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::ConstraintGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::ConstraintNode, SVF::ConstraintEdge>* >
+template<> struct GenericGraphTraits<SVF::ConstraintGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::ConstraintNode,SVF::ConstraintEdge>* >
 {
     typedef SVF::ConstraintNode *NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/ConsGEdge.h

@@ -82,7 +82,7 @@ public:
         edge->getEdgeKind() == VariantGep;
     }
     /// Constraint edge type
-    typedef GenericNode<ConstraintNode, ConstraintEdge>::GEdgeSetTy ConstraintEdgeSetTy;
+    typedef GenericNode<ConstraintNode,ConstraintEdge>::GEdgeSetTy ConstraintEdgeSetTy;
 
 };
 

package/SVF-osx/Release-build/include/Graphs/ConsGNode.h

@@ -36,7 +36,7 @@ namespace SVF
 /*!
  * Constraint node
  */
-typedef GenericNode<ConstraintNode, ConstraintEdge> GenericConsNodeTy;
+typedef GenericNode<ConstraintNode,ConstraintEdge> GenericConsNodeTy;
 class ConstraintNode : public GenericConsNodeTy
 {
 

package/SVF-osx/Release-build/include/Graphs/GenericGraph.h

@@ -389,7 +389,7 @@ protected:
 /*!
  * Generic node on the graph as base class
  */
-template<class NodeTy, class EdgeTy>
+template<class NodeTy,class EdgeTy>
 class GenericNode: public SVFBaseNode
 {
     friend class SVFIRWriter;
@@ -753,7 +753,7 @@ inline mapped_iter<ItTy, FuncTy> map_iter(ItTy I, FuncTy F)
 /*!
  * GenericGraphTraits for nodes
  */
-template<class NodeTy, class EdgeTy> struct GenericGraphTraits<SVF::GenericNode<NodeTy, EdgeTy>*  >
+template<class NodeTy,class EdgeTy> struct GenericGraphTraits<SVF::GenericNode<NodeTy,EdgeTy>*  >
 {
     typedef NodeTy NodeType;
     typedef EdgeTy EdgeType;
@@ -764,7 +764,7 @@ template<class NodeTy, class EdgeTy> struct GenericGraphTraits<SVF::GenericNode<
     }
 
     // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
-    typedef mapped_iter<typename SVF::GenericNode<NodeTy, EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
+    typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
 
     static NodeType* getEntryNode(NodeType* pagN)
     {
@@ -792,8 +792,8 @@ template<class NodeTy, class EdgeTy> struct GenericGraphTraits<SVF::GenericNode<
 /*!
  * Inverse GenericGraphTraits for node which is used for inverse traversal.
  */
-template<class NodeTy, class EdgeTy>
-struct GenericGraphTraits<Inverse<SVF::GenericNode<NodeTy, EdgeTy>* > >
+template<class NodeTy,class EdgeTy>
+struct GenericGraphTraits<Inverse<SVF::GenericNode<NodeTy,EdgeTy>* > >
 {
     typedef NodeTy NodeType;
     typedef EdgeTy EdgeType;
@@ -804,7 +804,7 @@ struct GenericGraphTraits<Inverse<SVF::GenericNode<NodeTy, EdgeTy>* > >
     }
 
     // nodes_iterator/begin/end - Allow iteration over all nodes in the graph
-    typedef mapped_iter<typename SVF::GenericNode<NodeTy, EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
+    typedef mapped_iter<typename SVF::GenericNode<NodeTy,EdgeTy>::iterator, decltype(&edge_dest)> ChildIteratorType;
 
     static inline NodeType* getEntryNode(Inverse<NodeType* > G)
     {
@@ -829,9 +829,9 @@ struct GenericGraphTraits<Inverse<SVF::GenericNode<NodeTy, EdgeTy>* > >
 /*!
  * GraphTraints
  */
-template<class NodeTy, class EdgeTy> struct GenericGraphTraits<SVF::GenericGraph<NodeTy, EdgeTy>* > : public GenericGraphTraits<SVF::GenericNode<NodeTy, EdgeTy>*  >
+template<class NodeTy,class EdgeTy> struct GenericGraphTraits<SVF::GenericGraph<NodeTy,EdgeTy>* > : public GenericGraphTraits<SVF::GenericNode<NodeTy,EdgeTy>*  >
 {
-    typedef SVF::GenericGraph<NodeTy, EdgeTy> GenericGraphTy;
+    typedef SVF::GenericGraph<NodeTy,EdgeTy> GenericGraphTy;
     typedef NodeTy NodeType;
     typedef EdgeTy EdgeType;
 

package/SVF-osx/Release-build/include/Graphs/ICFG.h

@@ -43,7 +43,7 @@ class PTACallGraph;
 /*!
  * Interprocedural Control-Flow Graph (ICFG)
  */
-typedef GenericGraph<ICFGNode, ICFGEdge> GenericICFGTy;
+typedef GenericGraph<ICFGNode,ICFGEdge> GenericICFGTy;
 class ICFG : public GenericICFGTy
 {
     friend class ICFGBuilder;
@@ -311,17 +311,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::ICFGNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::ICFGNode, SVF::ICFGEdge>*  >
+template<> struct GenericGraphTraits<SVF::ICFGNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::ICFGNode,SVF::ICFGEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::ICFGNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::ICFGNode, SVF::ICFGEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::ICFGNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::ICFGNode,SVF::ICFGEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::ICFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::ICFGNode, SVF::ICFGEdge>* >
+template<> struct GenericGraphTraits<SVF::ICFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::ICFGNode,SVF::ICFGEdge>* >
 {
     typedef SVF::ICFGNode *NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/IRGraph.h

@@ -53,7 +53,7 @@ class IRGraph : public GenericGraph<SVFVar, SVFStmt>
 
 public:
     typedef Set<const SVFStmt*> SVFStmtSet;
-    typedef Map<const SVFValue*, SVFStmtSet> ValueToEdgeMap;
+    typedef Map<const SVFValue*,SVFStmtSet> ValueToEdgeMap;
 
 protected:
     SVFStmt::KindToSVFStmtMapTy KindToSVFStmtSetMap; ///< SVFIR edge map containing all PAGEdges
@@ -234,16 +234,16 @@ namespace SVF
  * GenericGraphTraits specializations of SVFIR to be used for the generic graph algorithms.
  * Provide graph traits for traversing from a SVFIR node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::SVFVar*> : public GenericGraphTraits<SVF::GenericNode<SVF::SVFVar, SVF::SVFStmt>*  >
+template<> struct GenericGraphTraits<SVF::SVFVar*> : public GenericGraphTraits<SVF::GenericNode<SVF::SVFVar,SVF::SVFStmt>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for SVFIR node, it is used for inverse traversal.
-template<> struct GenericGraphTraits<Inverse<SVF::SVFVar *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::SVFVar, SVF::SVFStmt>* > >
+template<> struct GenericGraphTraits<Inverse<SVF::SVFVar *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::SVFVar,SVF::SVFStmt>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::IRGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::SVFVar, SVF::SVFStmt>* >
+template<> struct GenericGraphTraits<SVF::IRGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::SVFVar,SVF::SVFStmt>* >
 {
     typedef SVF::SVFVar* NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/PTACallGraph.h

@@ -474,17 +474,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::PTACallGraphNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::PTACallGraphNode, SVF::PTACallGraphEdge>*  >
+template<> struct GenericGraphTraits<SVF::PTACallGraphNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::PTACallGraphNode,SVF::PTACallGraphEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::PTACallGraphNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::PTACallGraphNode, SVF::PTACallGraphEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::PTACallGraphNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::PTACallGraphNode,SVF::PTACallGraphEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::PTACallGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::PTACallGraphNode, SVF::PTACallGraphEdge>* >
+template<> struct GenericGraphTraits<SVF::PTACallGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::PTACallGraphNode,SVF::PTACallGraphEdge>* >
 {
     typedef SVF::PTACallGraphNode*NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/SCC.h

@@ -113,7 +113,7 @@ public:
         NodeBS _subNodes; /// nodes in the scc represented by this node
     };
 
-    typedef Map<NodeID, GNodeSCCInfo > GNODESCCInfoMap;
+    typedef Map<NodeID,GNodeSCCInfo > GNODESCCInfoMap;
     typedef Map<NodeID, NodeID> NodeToNodeMap;
 
     SCCDetection(const GraphType &GT)

package/SVF-osx/Release-build/include/Graphs/SVFG.h

@@ -434,8 +434,8 @@ protected:
     }
 
     /// Add memory SSA PHI SVFG node
-    inline void addIntraMSSAPHISVFGNode(ICFGNode* BlockICFGNode, const Map<u32_t, const MRVer*>::const_iterator opVerBegin,
-                                        const  Map<u32_t, const MRVer*>::const_iterator opVerEnd, const MRVer* resVer, const NodeID nodeId)
+    inline void addIntraMSSAPHISVFGNode(ICFGNode* BlockICFGNode, const Map<u32_t,const MRVer*>::const_iterator opVerBegin,
+                                        const  Map<u32_t,const MRVer*>::const_iterator opVerEnd, const MRVer* resVer, const NodeID nodeId)
     {
         IntraMSSAPHISVFGNode* sNode = new IntraMSSAPHISVFGNode(nodeId, resVer);
         addSVFGNode(sNode, BlockICFGNode);
@@ -481,7 +481,7 @@ namespace SVF
 //struct GenericGraphTraits<Inverse<SVF::SVFGNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::SVFGNode,SVF::SVFGEdge>* > > {
 //};
 
-template<> struct GenericGraphTraits<SVF::SVFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::SVFGNode, SVF::SVFGEdge>* >
+template<> struct GenericGraphTraits<SVF::SVFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::SVFGNode,SVF::SVFGEdge>* >
 {
     typedef SVF::SVFGNode *NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/SVFGNode.h

@@ -264,7 +264,7 @@ public:
 class MSSAPHISVFGNode : public MRSVFGNode
 {
 public:
-    typedef Map<u32_t, const MRVer*> OPVers;
+    typedef Map<u32_t,const MRVer*> OPVers;
 
 protected:
     const MRVer* ver;

package/SVF-osx/Release-build/include/Graphs/VFG.h

@@ -46,7 +46,7 @@ class CallICFGNode;
 /*!
  *  Value Flow Graph (VFG)
  */
-typedef GenericGraph<VFGNode, VFGEdge> GenericVFGTy;
+typedef GenericGraph<VFGNode,VFGEdge> GenericVFGTy;
 class VFG : public GenericVFGTy
 {
 
@@ -60,7 +60,7 @@ public:
     typedef OrderedMap<NodeID, VFGNode *> VFGNodeIDToNodeMapTy;
     typedef Set<VFGNode*> VFGNodeSet;
     typedef Map<const PAGNode*, NodeID> PAGNodeToDefMapTy;
-    typedef Map<std::pair<NodeID, const CallICFGNode*>, ActualParmVFGNode *> PAGNodeToActualParmMapTy;
+    typedef Map<std::pair<NodeID,const CallICFGNode*>, ActualParmVFGNode *> PAGNodeToActualParmMapTy;
     typedef Map<const PAGNode*, ActualRetVFGNode *> PAGNodeToActualRetMapTy;
     typedef Map<const PAGNode*, FormalParmVFGNode *> PAGNodeToFormalParmMapTy;
     typedef Map<const PAGNode*, FormalRetVFGNode *> PAGNodeToFormalRetMapTy;
@@ -644,17 +644,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::VFGNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::VFGNode, SVF::VFGEdge>*  >
+template<> struct GenericGraphTraits<SVF::VFGNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::VFGNode,SVF::VFGEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::VFGNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::VFGNode, SVF::VFGEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::VFGNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::VFGNode,SVF::VFGEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::VFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::VFGNode, SVF::VFGEdge>* >
+template<> struct GenericGraphTraits<SVF::VFG*> : public GenericGraphTraits<SVF::GenericGraph<SVF::VFGNode,SVF::VFGEdge>* >
 {
     typedef SVF::VFGNode *NodeRef;
 };

package/SVF-osx/Release-build/include/Graphs/VFGEdge.h

@@ -114,7 +114,7 @@ public:
         return getEdgeKind() == TheadMHPIndirectVF;
     }
     //@}
-    typedef GenericNode<VFGNode, VFGEdge>::GEdgeSetTy VFGEdgeSetTy;
+    typedef GenericNode<VFGNode,VFGEdge>::GEdgeSetTy VFGEdgeSetTy;
     typedef VFGEdgeSetTy SVFGEdgeSetTy;
     /// Compute the unique edgeFlag value from edge kind and CallSiteID.
     static inline GEdgeFlag makeEdgeFlagWithInvokeID(GEdgeKind k, CallSiteID cs)

package/SVF-osx/Release-build/include/Graphs/VFGNode.h

@@ -42,7 +42,7 @@ namespace SVF
  * Interprocedural control-flow graph node, representing different kinds of program statements
  * including top-level pointers (ValVar) and address-taken objects (ObjVar)
  */
-typedef GenericNode<VFGNode, VFGEdge> GenericVFGNodeTy;
+typedef GenericNode<VFGNode,VFGEdge> GenericVFGNodeTy;
 class VFGNode : public GenericVFGNodeTy
 {
 
@@ -337,7 +337,7 @@ public:
 class CmpVFGNode: public VFGNode
 {
 public:
-    typedef Map<u32_t, const PAGNode*> OPVers;
+    typedef Map<u32_t,const PAGNode*> OPVers;
 protected:
     const PAGNode* res;
     OPVers opVers;
@@ -412,7 +412,7 @@ public:
 class BinaryOPVFGNode: public VFGNode
 {
 public:
-    typedef Map<u32_t, const PAGNode*> OPVers;
+    typedef Map<u32_t,const PAGNode*> OPVers;
 protected:
     const PAGNode* res;
     OPVers opVers;
@@ -486,7 +486,7 @@ public:
 class UnaryOPVFGNode: public VFGNode
 {
 public:
-    typedef Map<u32_t, const PAGNode*> OPVers;
+    typedef Map<u32_t,const PAGNode*> OPVers;
 protected:
     const PAGNode* res;
     OPVers opVers;
@@ -669,7 +669,7 @@ class PHIVFGNode : public VFGNode
 {
 
 public:
-    typedef Map<u32_t, const PAGNode*> OPVers;
+    typedef Map<u32_t,const PAGNode*> OPVers;
 protected:
     const PAGNode* res;
     OPVers opVers;
@@ -748,7 +748,7 @@ class IntraPHIVFGNode : public PHIVFGNode
 {
 
 public:
-    typedef Map<u32_t, const ICFGNode*> OPIncomingBBs;
+    typedef Map<u32_t,const ICFGNode*> OPIncomingBBs;
 
 private:
     OPIncomingBBs opIncomingBBs;

package/SVF-osx/Release-build/include/MSSA/MSSAMuChi.h

@@ -448,7 +448,7 @@ public:
     virtual void dump()
     {
         SVFUtil::outs() << "MR_" << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
-                        " = CHI(MR_" << this->getMR()->getMRID() << "V_" << opVer->getSSAVersion() << ") \t" <<
+                           " = CHI(MR_" << this->getMR()->getMRID() << "V_" << opVer->getSSAVersion() << ") \t" <<
                         this->getMR()->dumpStr() << "\n";
     }
 };
@@ -507,7 +507,7 @@ public:
     virtual void dump()
     {
         SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
-                        " = STCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
+                                                       " = STCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
                         this->getMR()->dumpStr() << "\n";
     }
 };
@@ -566,7 +566,7 @@ public:
     virtual void dump()
     {
         SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
-                        " = CALCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
+                                                       " = CALCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
                         this->getMR()->dumpStr() << "\n";
     }
 };
@@ -617,7 +617,7 @@ public:
     virtual void dump()
     {
         SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
-                        " = ENCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
+                                                       " = ENCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
                         this->getMR()->dumpStr() << "\n";
     }
 };
@@ -630,7 +630,7 @@ class MSSAPHI : public MSSADEF
 {
 
 public:
-    typedef Map<u32_t, const MRVer*> OPVers;
+    typedef Map<u32_t,const MRVer*> OPVers;
 private:
     const SVFBasicBlock* bb;
     OPVers opVers;
@@ -708,7 +708,7 @@ public:
     virtual void dump()
     {
         SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
-                        " = PHI(";
+                                                       " = PHI(";
         for(OPVers::iterator it = opVers.begin(), eit = opVers.end(); it!=eit; ++it)
             SVFUtil::outs() << "MR_" << this->getMR()->getMRID() << "V_" << it->second->getSSAVersion() << ", ";
 

package/SVF-osx/Release-build/include/MSSA/MemRegion.h

@@ -310,7 +310,7 @@ protected:
     {
         for(MRSet::const_iterator it = funToMRsMap[fun].begin(), eit = funToMRsMap[fun].end(); it!=eit; ++it)
         {
-            if(isAliasedMR(cpts, *it))
+            if(isAliasedMR(cpts,*it))
                 aliasMRs.insert(*it);
         }
     }

package/SVF-osx/Release-build/include/MSSA/MemSSA.h

@@ -189,27 +189,27 @@ private:
     inline void AddLoadMU(const SVFBasicBlock* bb, const LoadStmt* load, const MRSet& mrSet)
     {
         for (MRSet::iterator iter = mrSet.begin(), eiter = mrSet.end(); iter != eiter; ++iter)
-            AddLoadMU(bb,load, *iter);
+            AddLoadMU(bb,load,*iter);
     }
     inline void AddStoreCHI(const SVFBasicBlock* bb, const StoreStmt* store, const MRSet& mrSet)
     {
         for (MRSet::iterator iter = mrSet.begin(), eiter = mrSet.end(); iter != eiter; ++iter)
-            AddStoreCHI(bb,store, *iter);
+            AddStoreCHI(bb,store,*iter);
     }
     inline void AddCallSiteMU(const CallICFGNode* cs,  const MRSet& mrSet)
     {
         for (MRSet::iterator iter = mrSet.begin(), eiter = mrSet.end(); iter != eiter; ++iter)
-            AddCallSiteMU(cs, *iter);
+            AddCallSiteMU(cs,*iter);
     }
     inline void AddCallSiteCHI(const CallICFGNode* cs,  const MRSet& mrSet)
     {
         for (MRSet::iterator iter = mrSet.begin(), eiter = mrSet.end(); iter != eiter; ++iter)
-            AddCallSiteCHI(cs, *iter);
+            AddCallSiteCHI(cs,*iter);
     }
     inline void AddMSSAPHI(const SVFBasicBlock* bb, const MRSet& mrSet)
     {
         for (MRSet::iterator iter = mrSet.begin(), eiter = mrSet.end(); iter != eiter; ++iter)
-            AddMSSAPHI(bb, *iter);
+            AddMSSAPHI(bb,*iter);
     }
     inline void AddLoadMU(const SVFBasicBlock* bb, const LoadStmt* load, const MemRegion* mr)
     {

package/SVF-osx/Release-build/include/MTA/LockAnalysis.h

@@ -183,7 +183,7 @@ public:
             const CxtLock& lock = *it;
             for(CxtLockSet::const_iterator lit = lockset2.begin(), elit = lockset2.end(); lit!=elit; ++lit)
             {
-                if(isAliasedLocks(lock, *lit))
+                if(isAliasedLocks(lock,*lit))
                     return true;
             }
         }
@@ -362,7 +362,7 @@ private:
         {
             for(CxtLockSet::const_iterator it = srclockset.begin(), eit = srclockset.end(); it!=eit; ++it)
             {
-                addCxtStmtToSpan(tgr, *it);
+                addCxtStmtToSpan(tgr,*it);
             }
             pushToCTSWorkList(tgr);
         }

package/SVF-osx/Release-build/include/MTA/MHP.h

@@ -49,13 +49,13 @@ public:
     typedef Set<const SVFFunction*> FunSet;
     typedef FIFOWorkList<CxtThreadStmt> CxtThreadStmtWorkList;
     typedef Set<CxtThreadStmt> CxtThreadStmtSet;
-    typedef Map<CxtThreadStmt, NodeBS> ThreadStmtToThreadInterleav;
-    typedef Map<const ICFGNode*, CxtThreadStmtSet> InstToThreadStmtSetMap;
+    typedef Map<CxtThreadStmt,NodeBS> ThreadStmtToThreadInterleav;
+    typedef Map<const ICFGNode*,CxtThreadStmtSet> InstToThreadStmtSetMap;
     typedef SVFLoopAndDomInfo::LoopBBs LoopBBs;
 
     typedef Set<CxtStmt> LockSpan;
 
-    typedef std::pair<const SVFFunction*, const SVFFunction*> FuncPair;
+    typedef std::pair<const SVFFunction*,const SVFFunction*> FuncPair;
     typedef Map<FuncPair, bool> FuncPairToBool;
 
     /// Constructor
@@ -284,8 +284,8 @@ public:
 
     typedef SVFLoopAndDomInfo::LoopBBs LoopBBs;
     typedef TCT::InstVec InstVec;
-    typedef Map<CxtStmt, ValDomain> CxtStmtToAliveFlagMap;
-    typedef Map<CxtStmt, NodeBS> CxtStmtToTIDMap;
+    typedef Map<CxtStmt,ValDomain> CxtStmtToAliveFlagMap;
+    typedef Map<CxtStmt,NodeBS> CxtStmtToTIDMap;
     typedef Set<NodePair> ThreadPairSet;
     typedef Map<CxtStmt, LoopBBs> CxtStmtToLoopMap;
     typedef FIFOWorkList<CxtStmt> CxtStmtWorkList;

package/SVF-osx/Release-build/include/MTA/TCT.h

@@ -161,9 +161,9 @@ public:
     typedef std::vector<const ICFGNode*> InstVec;
     typedef Set<const ICFGNode*> InstSet;
     typedef Set<const PTACallGraphNode*> PTACGNodeSet;
-    typedef Map<CxtThread, TCTNode*> CxtThreadToNodeMap;
-    typedef Map<CxtThread, CallStrCxt> CxtThreadToForkCxt;
-    typedef Map<CxtThread, const SVFFunction*> CxtThreadToFun;
+    typedef Map<CxtThread,TCTNode*> CxtThreadToNodeMap;
+    typedef Map<CxtThread,CallStrCxt> CxtThreadToForkCxt;
+    typedef Map<CxtThread,const SVFFunction*> CxtThreadToFun;
     typedef Map<const ICFGNode*, LoopBBs> InstToLoopMap;
     typedef FIFOWorkList<CxtThreadProc> CxtThreadProcVec;
     typedef Set<CxtThreadProc> CxtThreadProcSet;
@@ -606,17 +606,17 @@ namespace SVF
  * graphs by the generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::TCTNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::TCTNode, SVF::TCTEdge>*  >
+template<> struct GenericGraphTraits<SVF::TCTNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::TCTNode,SVF::TCTEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::TCTNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::TCTNode, SVF::TCTEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::TCTNode *> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::TCTNode,SVF::TCTEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::TCT*> : public GenericGraphTraits<SVF::GenericGraph<SVF::TCTNode, SVF::TCTEdge>* >
+template<> struct GenericGraphTraits<SVF::TCT*> : public GenericGraphTraits<SVF::GenericGraph<SVF::TCTNode,SVF::TCTEdge>* >
 {
     typedef SVF::TCTNode *NodeRef;
 };

package/SVF-osx/Release-build/include/MemoryModel/PointerAnalysisImpl.h

@@ -249,9 +249,9 @@ public:
     typedef CondStdSet<CVar>  CPtSet;
     typedef PTData<CVar, Set<CVar>, CVar, CPtSet> PTDataTy;
     typedef MutablePTData<CVar, Set<CVar>, CVar, CPtSet> MutPTDataTy;
-    typedef Map<NodeID, PointsTo> PtrToBVPtsMap; /// map a pointer to its BitVector points-to representation
+    typedef Map<NodeID,PointsTo> PtrToBVPtsMap; /// map a pointer to its BitVector points-to representation
     typedef Map<NodeID, NodeSet> PtrToNSMap;
-    typedef Map<NodeID, CPtSet> PtrToCPtsMap;	 /// map a pointer to its conditional points-to set
+    typedef Map<NodeID,CPtSet> PtrToCPtsMap;	 /// map a pointer to its conditional points-to set
 
     /// Constructor
     CondPTAImpl(SVFIR* pag, PointerAnalysis::PTATY type) : PointerAnalysis(pag, type), normalized(false)
@@ -332,7 +332,7 @@ public:
         {
             for (typename CPtSet::const_iterator it2 = cpts2.begin(); it2 != cpts2.end(); ++it2)
             {
-                if(isSameVar(*it1, *it2))
+                if(isSameVar(*it1,*it2))
                     return true;
             }
         }
@@ -350,7 +350,7 @@ public:
                 NodeBS& fields = pag->getAllFieldsObjVars(cit->get_id());
                 for(NodeBS::iterator it = fields.begin(), eit = fields.end(); it!=eit; ++it)
                 {
-                    CVar cvar(cit->get_cond(), *it);
+                    CVar cvar(cit->get_cond(),*it);
                     expandedCpts.set(cvar);
                 }
             }
@@ -411,7 +411,7 @@ protected:
             bool hasObj = false;
             for (typename CPtSet::const_iterator it1 = cpts1.begin(); it1 != cpts1.end(); ++it1)
             {
-                if(isSameVar(*it1, *it2))
+                if(isSameVar(*it1,*it2))
                 {
                     hasObj = true;
                     break;

package/SVF-osx/Release-build/include/SABER/LeakChecker.h

@@ -43,7 +43,7 @@ class LeakChecker : public SrcSnkDDA
 {
 
 public:
-    typedef Map<const SVFGNode*, const CallICFGNode*> SVFGNodeToCSIDMap;
+    typedef Map<const SVFGNode*,const CallICFGNode*> SVFGNodeToCSIDMap;
     typedef FIFOWorkList<const CallICFGNode*> CSWorkList;
     typedef ProgSlice::VFWorkList WorkList;
     typedef NodeBS SVFGNodeBS;

package/SVF-osx/Release-build/include/SABER/SaberCondAllocator.h

@@ -50,10 +50,10 @@ public:
 
     typedef Z3Expr Condition;   /// z3 condition
     typedef Map<u32_t, const ICFGNode*> IndexToTermInstMap; /// id to instruction map for z3
-    typedef Map<u32_t, Condition> CondPosMap;		///< map a branch to its Condition
+    typedef Map<u32_t,Condition> CondPosMap;		///< map a branch to its Condition
     typedef Map<const SVFBasicBlock*, CondPosMap > BBCondMap;	/// map bb to a Condition
     typedef Set<const SVFBasicBlock*> BasicBlockSet;
-    typedef Map<const SVFFunction*, BasicBlockSet> FunToExitBBsMap;  ///< map a function to all its basic blocks calling program exit
+    typedef Map<const SVFFunction*,  BasicBlockSet> FunToExitBBsMap;  ///< map a function to all its basic blocks calling program exit
     typedef Map<const SVFBasicBlock*, Condition> BBToCondMap;	///< map a basic block to its condition during control-flow guard computation
     typedef FIFOWorkList<const SVFBasicBlock*> CFWorkList;	///< worklist for control-flow guard computation
     typedef Map<const SVFGNode*, Set<const SVFGNode*>> SVFGNodeToSVFGNodeSetMap;
@@ -86,11 +86,11 @@ public:
     //@{
     inline Condition condAnd(const Condition& lhs, const Condition& rhs)
     {
-        return Condition::AND(lhs, rhs);
+        return Condition::AND(lhs,rhs);
     }
     inline Condition condOr(const Condition& lhs, const Condition& rhs)
     {
-        return Condition::OR(lhs, rhs);
+        return Condition::OR(lhs,rhs);
     }
     inline Condition condNeg(const Condition& cond)
     {
@@ -151,7 +151,7 @@ public:
         bool funcEq = (keyFunc == valueFunc);
         (void)funcEq; // Suppress warning of unused variable under release build
         assert(funcEq && "two basicblocks should be in the same function!");
-        return keyFunc->postDominate(bbKey, bbValue);
+        return keyFunc->postDominate(bbKey,bbValue);
     }
 
     inline bool dominate(const SVFBasicBlock* bbKey, const SVFBasicBlock* bbValue) const
@@ -161,7 +161,7 @@ public:
         bool funcEq = (keyFunc == valueFunc);
         (void)funcEq; // Suppress warning of unused variable under release build
         assert(funcEq && "two basicblocks should be in the same function!");
-        return keyFunc->dominate(bbKey, bbValue);
+        return keyFunc->dominate(bbKey,bbValue);
     }
 
     /// Guard Computation for a value-flow (between two basic blocks)

package/SVF-osx/Release-build/include/SABER/SrcSnkDDA.h

@@ -46,7 +46,7 @@
 namespace SVF
 {
 
-typedef GraphReachSolver<SVFG*, CxtDPItem> CFLSrcSnkSolver;
+typedef GraphReachSolver<SVFG*,CxtDPItem> CFLSrcSnkSolver;
 
 /*!
  * General source-sink analysis, which serves as a base analysis to be extended for various clients
@@ -56,7 +56,7 @@ class SrcSnkDDA : public CFLSrcSnkSolver
 
 public:
     typedef ProgSlice::SVFGNodeSet SVFGNodeSet;
-    typedef Map<const SVFGNode*, ProgSlice*> SVFGNodeToSliceMap;
+    typedef Map<const SVFGNode*,ProgSlice*> SVFGNodeToSliceMap;
     typedef SVFGNodeSet::const_iterator SVFGNodeSetIter;
     typedef CxtDPItem DPIm;
     typedef Set<DPIm> DPImSet;							///< dpitem set

package/SVF-osx/Release-build/include/SABER/SrcSnkSolver.h

@@ -104,7 +104,7 @@ protected:
             child_iterator EE = GTraits::child_end(v);
             for (; EI != EE; ++EI)
             {
-                FWProcessOutgoingEdge(item, *(EI.getCurrent()) );
+                FWProcessOutgoingEdge(item,*(EI.getCurrent()) );
             }
         }
     }
@@ -123,7 +123,7 @@ protected:
             inv_child_iterator EE = InvGTraits::child_end(v);
             for (; EI != EE; ++EI)
             {
-                BWProcessIncomingEdge(item, *(EI.getCurrent()) );
+                BWProcessIncomingEdge(item,*(EI.getCurrent()) );
             }
         }
     }

package/SVF-osx/Release-build/include/SVF-LLVM/DCHG.h

@@ -458,17 +458,17 @@ namespace SVF
  * GenericGraphTraits specializations for generic graph algorithms.
  * Provide graph traits for traversing from a constraint node using standard graph traversals.
  */
-template<> struct GenericGraphTraits<SVF::DCHNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::DCHNode, SVF::DCHEdge>*  >
+template<> struct GenericGraphTraits<SVF::DCHNode*> : public GenericGraphTraits<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>*  >
 {
 };
 
 /// Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal.
 template<>
-struct GenericGraphTraits<Inverse<SVF::DCHNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::DCHNode, SVF::DCHEdge>* > >
+struct GenericGraphTraits<Inverse<SVF::DCHNode*> > : public GenericGraphTraits<Inverse<SVF::GenericNode<SVF::DCHNode,SVF::DCHEdge>* > >
 {
 };
 
-template<> struct GenericGraphTraits<SVF::DCHGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::DCHNode, SVF::DCHEdge>* >
+template<> struct GenericGraphTraits<SVF::DCHGraph*> : public GenericGraphTraits<SVF::GenericGraph<SVF::DCHNode,SVF::DCHEdge>* >
 {
     typedef SVF::DCHNode *NodeRef;
 };

package/SVF-osx/Release-build/include/SVF-LLVM/GEPTypeBridgeIterator.h

@@ -17,9 +17,9 @@ template<typename ItTy = User::const_op_iterator>
 class generic_bridge_gep_type_iterator : public std::iterator<std::forward_iterator_tag, Type*, ptrdiff_t>
 {
 
-    typedef std::iterator<std::forward_iterator_tag, Type*, ptrdiff_t> super;
+    typedef std::iterator<std::forward_iterator_tag,Type*, ptrdiff_t> super;
     ItTy OpIt;
-    PointerIntPair<Type*, 1> CurTy;
+    PointerIntPair<Type*,1> CurTy;
     unsigned AddrSpace;
     generic_bridge_gep_type_iterator() {}
 public:

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -168,22 +168,22 @@ public:
     inline void addFunctionMap(const Function* func, SVFFunction* svfFunc)
     {
         LLVMFunc2SVFFunc[func] = svfFunc;
-        setValueAttr(func, svfFunc);
+        setValueAttr(func,svfFunc);
     }
     inline void addBasicBlockMap(const BasicBlock* bb, SVFBasicBlock* svfBB)
     {
         LLVMBB2SVFBB[bb] = svfBB;
-        setValueAttr(bb, svfBB);
+        setValueAttr(bb,svfBB);
     }
     inline void addInstructionMap(const Instruction* inst, SVFInstruction* svfInst)
     {
         LLVMInst2SVFInst[inst] = svfInst;
-        setValueAttr(inst, svfInst);
+        setValueAttr(inst,svfInst);
     }
     inline void addArgumentMap(const Argument* arg, SVFArgument* svfArg)
     {
         LLVMArgument2SVFArgument[arg] = svfArg;
-        setValueAttr(arg, svfArg);
+        setValueAttr(arg,svfArg);
     }
     inline void addGlobalValueMap(const GlobalValue* glob, SVFGlobalValue* svfglob)
     {

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

@@ -53,27 +53,27 @@ class SVFIR : public IRGraph
 
 public:
     typedef Set<const CallICFGNode*> CallSiteSet;
-    typedef OrderedMap<const CallICFGNode*, NodeID> CallSiteToFunPtrMap;
-    typedef Map<NodeID, CallSiteSet> FunPtrToCallSitesMap;
-    typedef Map<NodeID, NodeBS> MemObjToFieldsMap;
+    typedef OrderedMap<const CallICFGNode*,NodeID> CallSiteToFunPtrMap;
+    typedef Map<NodeID,CallSiteSet> FunPtrToCallSitesMap;
+    typedef Map<NodeID,NodeBS> MemObjToFieldsMap;
     typedef std::vector<const SVFStmt*> SVFStmtList;
     typedef std::vector<const SVFVar*> SVFVarList;
-    typedef Map<const SVFVar*, PhiStmt*> PHINodeMap;
-    typedef Map<const SVFFunction*, SVFVarList> FunToArgsListMap;
-    typedef Map<const CallICFGNode*, SVFVarList> CSToArgsListMap;
-    typedef Map<const RetICFGNode*, const SVFVar*> CSToRetMap;
-    typedef Map<const SVFFunction*, const SVFVar*> FunToRetMap;
-    typedef Map<const SVFFunction*, SVFStmtSet> FunToPAGEdgeSetMap;
-    typedef Map<const ICFGNode*, SVFStmtList> ICFGNode2SVFStmtsMap;
+    typedef Map<const SVFVar*,PhiStmt*> PHINodeMap;
+    typedef Map<const SVFFunction*,SVFVarList> FunToArgsListMap;
+    typedef Map<const CallICFGNode*,SVFVarList> CSToArgsListMap;
+    typedef Map<const RetICFGNode*,const SVFVar*> CSToRetMap;
+    typedef Map<const SVFFunction*,const SVFVar*> FunToRetMap;
+    typedef Map<const SVFFunction*,SVFStmtSet> FunToPAGEdgeSetMap;
+    typedef Map<const ICFGNode*,SVFStmtList> ICFGNode2SVFStmtsMap;
     typedef Map<NodeID, NodeID> NodeToNodeMap;
     typedef std::pair<NodeID, APOffset> NodeOffset;
     typedef std::pair<NodeID, AccessPath> NodeAccessPath;
-    typedef Map<NodeOffset, NodeID> NodeOffsetMap;
-    typedef Map<NodeAccessPath, NodeID> NodeAccessPathMap;
+    typedef Map<NodeOffset,NodeID> NodeOffsetMap;
+    typedef Map<NodeAccessPath,NodeID> NodeAccessPathMap;
     typedef Map<const SVFValue*, NodeAccessPathMap> GepValueVarMap;
     typedef std::pair<const SVFType*, std::vector<AccessPath>> SVFTypeLocSetsPair;
     typedef Map<NodeID, SVFTypeLocSetsPair> TypeLocSetsMap;
-    typedef Map<NodePair, NodeID> NodePairSetMap;
+    typedef Map<NodePair,NodeID> NodePairSetMap;
 
 private:
     /// ValueNodes - This map indicates the Node that a particular SVFValue* is

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

@@ -214,7 +214,7 @@ public:
     }
     //@}
 
-    typedef GenericNode<SVFVar, SVFStmt>::GEdgeSetTy SVFStmtSetTy;
+    typedef GenericNode<SVFVar,SVFStmt>::GEdgeSetTy SVFStmtSetTy;
     typedef Map<EdgeID, SVFStmtSetTy> PAGEdgeToSetMapTy;
     typedef PAGEdgeToSetMapTy KindToSVFStmtMapTy;
     typedef SVFStmtSetTy PAGEdgeSetTy;

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

@@ -58,9 +58,9 @@ public:
 
 private:
     BBList reachableBBs;    ///< reachable BasicBlocks from the function entry.
-    Map<const SVFBasicBlock*, BBSet> dtBBsMap;   ///< map a BasicBlock to BasicBlocks it Dominates
-    Map<const SVFBasicBlock*, BBSet> pdtBBsMap;   ///< map a BasicBlock to BasicBlocks it PostDominates
-    Map<const SVFBasicBlock*, BBSet> dfBBsMap;    ///< map a BasicBlock to its Dominate Frontier BasicBlocks
+    Map<const SVFBasicBlock*,BBSet> dtBBsMap;   ///< map a BasicBlock to BasicBlocks it Dominates
+    Map<const SVFBasicBlock*,BBSet> pdtBBsMap;   ///< map a BasicBlock to BasicBlocks it PostDominates
+    Map<const SVFBasicBlock*,BBSet> dfBBsMap;    ///< map a BasicBlock to its Dominate Frontier BasicBlocks
     Map<const SVFBasicBlock*, LoopBBs> bb2LoopMap;  ///< map a BasicBlock (if it is in a loop) to all the BasicBlocks in this loop
     Map<const SVFBasicBlock*, u32_t> bb2PdomLevel;  ///< map a BasicBlock to its level in pdom tree, used in findNearestCommonPDominator
     Map<const SVFBasicBlock*, const SVFBasicBlock*> bb2PIdom;  ///< map a BasicBlock to its immediate dominator in pdom tree, used in findNearestCommonPDominator
@@ -72,12 +72,12 @@ public:
 
     virtual ~SVFLoopAndDomInfo() {}
 
-    inline const Map<const SVFBasicBlock*, BBSet>& getDomFrontierMap() const
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomFrontierMap() const
     {
         return dfBBsMap;
     }
 
-    inline Map<const SVFBasicBlock*, BBSet>& getDomFrontierMap()
+    inline Map<const SVFBasicBlock*,BBSet>& getDomFrontierMap()
     {
         return dfBBsMap;
     }
@@ -105,43 +105,43 @@ public:
         bb2LoopMap[bb].push_back(loopBB);
     }
 
-    inline const Map<const SVFBasicBlock*, BBSet>& getPostDomTreeMap() const
+    inline const Map<const SVFBasicBlock*,BBSet>& getPostDomTreeMap() const
     {
         return pdtBBsMap;
     }
 
-    inline Map<const SVFBasicBlock*, BBSet>& getPostDomTreeMap()
+    inline Map<const SVFBasicBlock*,BBSet>& getPostDomTreeMap()
     {
         return pdtBBsMap;
     }
 
-    inline const Map<const SVFBasicBlock*, u32_t>& getBBPDomLevel() const
+    inline const Map<const SVFBasicBlock*,u32_t>& getBBPDomLevel() const
     {
         return bb2PdomLevel;
     }
 
-    inline Map<const SVFBasicBlock*, u32_t>& getBBPDomLevel()
+    inline Map<const SVFBasicBlock*,u32_t>& getBBPDomLevel()
     {
         return bb2PdomLevel;
     }
 
-    inline const Map<const SVFBasicBlock*, const SVFBasicBlock*>& getBB2PIdom() const
+    inline const Map<const SVFBasicBlock*,const SVFBasicBlock*>& getBB2PIdom() const
     {
         return bb2PIdom;
     }
 
-    inline Map<const SVFBasicBlock*, const SVFBasicBlock*>& getBB2PIdom()
+    inline Map<const SVFBasicBlock*,const SVFBasicBlock*>& getBB2PIdom()
     {
         return bb2PIdom;
     }
 
 
-    inline Map<const SVFBasicBlock*, BBSet>& getDomTreeMap()
+    inline Map<const SVFBasicBlock*,BBSet>& getDomTreeMap()
     {
         return dtBBsMap;
     }
 
-    inline const Map<const SVFBasicBlock*, BBSet>& getDomTreeMap() const
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomTreeMap() const
     {
         return dtBBsMap;
     }
@@ -487,12 +487,12 @@ public:
         return loopAndDom->loopContainsBB(lp,bb);
     }
 
-    inline const Map<const SVFBasicBlock*, BBSet>& getDomTreeMap() const
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomTreeMap() const
     {
         return loopAndDom->getDomTreeMap();
     }
 
-    inline const Map<const SVFBasicBlock*, BBSet>& getDomFrontierMap() const
+    inline const Map<const SVFBasicBlock*,BBSet>& getDomFrontierMap() const
     {
         return loopAndDom->getDomFrontierMap();
     }

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

@@ -228,7 +228,7 @@ struct isa_impl_wrap<To, FromTy, FromTy>
     // When From == SimpleType, we are as simple as we are going to get.
     static bool doit(const FromTy &Val)
     {
-        return isa_impl_cl<To, FromTy>::doit(Val);
+        return isa_impl_cl<To,FromTy>::doit(Val);
     }
 };
 
@@ -306,7 +306,7 @@ template<class To, class FromTy>
 struct cast_retty_wrap<To, FromTy, FromTy>
 {
     // When the simplified type is equal to the from type, use it directly.
-    using ret_type = typename cast_retty_impl<To, FromTy>::ret_type;
+    using ret_type = typename cast_retty_impl<To,FromTy>::ret_type;
 };
 
 template<class To, class From>
@@ -330,7 +330,7 @@ template<class To, class From, class SimpleFrom> struct cast_convert_val
     }
 };
 
-template<class To, class FromTy> struct cast_convert_val<To, FromTy, FromTy>
+template<class To, class FromTy> struct cast_convert_val<To,FromTy,FromTy>
 {
     // This _is_ a simple type, just cast it.
     static typename cast_retty<To, FromTy>::ret_type doit(const FromTy &Val)

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

@@ -104,7 +104,7 @@ protected:
             child_iterator EE = GTraits::child_end(v);
             for (; EI != EE; ++EI)
             {
-                FWProcessOutgoingEdge(item, *(EI.getCurrent()) );
+                FWProcessOutgoingEdge(item,*(EI.getCurrent()) );
             }
         }
     }
@@ -123,7 +123,7 @@ protected:
             inv_child_iterator EE = InvGTraits::child_end(v);
             for (; EI != EE; ++EI)
             {
-                BWProcessIncomingEdge(item, *(EI.getCurrent()) );
+                BWProcessIncomingEdge(item,*(EI.getCurrent()) );
             }
         }
     }

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.2143",
+  "version": "1.0.2145",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {