svf-lib 1.0.1159 → 1.0.1160

package/SVF-linux/include/MemoryModel/PointsTo.h

@@ -240,7 +240,7 @@ PointsTo operator&(const PointsTo &lhs, const PointsTo &rhs);
 /// Returns a new lhs - rhs.
 PointsTo operator-(const PointsTo &lhs, const PointsTo &rhs);
 
-};
+} // End namespace SVF
 
 template <>
 struct std::hash<SVF::PointsTo>

package/SVF-linux/include/MemoryModel/SVFLoop.h

@@ -34,6 +34,7 @@
 
 namespace SVF
 {
+
 class SVFLoop
 {
     typedef Set<const ICFGEdge *> ICFGEdgeSet;
@@ -158,6 +159,6 @@ public:
     }
 };
 
-}
+} // End namespace SVF
 
 #endif //SVF_SVFLOOP_H

package/SVF-linux/include/SVF-FE/BasicTypes.h

@@ -24,6 +24,9 @@
 
 #include <llvm/Support/SourceMgr.h>
 
+namespace SVF
+{
+
 typedef llvm::LLVMContext LLVMContext;
 typedef llvm::GlobalObject GlobalObject;
 typedef llvm::Use Use;
@@ -127,4 +130,6 @@ typedef llvm::VectorType VectorType;
 typedef llvm::FunctionCallee FunctionCallee;
 #endif
 
+} // End namespace SVF
+
 #endif  // SVF_FE_BASIC_TYPES_H

package/SVF-linux/include/SVF-FE/CHGBuilder.h

@@ -68,4 +68,5 @@ public:
     void addFuncToFuncVector(CHNode::FuncVector &v, const SVFFunction *f);
 };
 
-}
+} // End namespace SVF
+

package/SVF-linux/include/SVF-FE/LLVMLoopAnalysis.h

@@ -54,6 +54,6 @@ public:
     /// Build SVF loops based on llvm loops
     virtual void buildSVFLoops(ICFG *icfg, std::vector<const Loop *> &llvmLoops);
 };
-} // end fo SVF
+} // End namespace SVF
 
 #endif //SVF_LLVMLOOPANALYSIS_H

package/SVF-linux/include/SVF-FE/SymbolTableBuilder.h

@@ -92,6 +92,6 @@ public:
     u32_t getObjSize(const Type* type);
 };
 
-}
+} // End namespace SVF
 
 #endif /* SymbolTableBuilder_H_ */

package/SVF-linux/include/Util/CoreBitVector.h

@@ -209,6 +209,6 @@ struct Hash<CoreBitVector>
     }
 };
 
-};
+} // End namespace SVF
 
 #endif  // COREBITVECTOR_H_

package/SVF-linux/include/Util/DPItem.h

@@ -559,7 +559,7 @@ public:
     }
 
 };
-}
+} // End namespace SVF
 
 /// Specialise hash for CxtDPItem.
 template <>

package/SVF-linux/include/Util/ExeState.h

@@ -166,7 +166,7 @@ protected:
         return locToVal[objId];
     }
 };
-}
+} // End namespace SVF
 
 template<>
 struct std::hash<SVF::ExeState>

package/SVF-linux/include/Util/SparseBitVector.h

@@ -1203,6 +1203,6 @@ void dump(const SparseBitVector<ElementSize> &LHS, std::ostream &out)
     out << "]\n";
 }
 
-}
+} // End namespace SVF
 
 #endif // SPARSEBITVECTOR_H

package/SVF-linux/include/Util/SymState.h

@@ -101,7 +101,7 @@ private:
     ExeState exeState;
     AbstractState absState;
 };
-}
+} // End namespace SVF
 
 template<>
 struct std::hash<SVF::SymState>

package/SVF-linux/include/Util/Z3Expr.h

@@ -302,7 +302,7 @@ public:
     /// compute OR, used for branch condition
     static Z3Expr OR(const Z3Expr &lhs, const Z3Expr &rhs);
 };
-}
+} // End namespace SVF
 
 /// Specialise hash for AbsCxtDPItem.
 template<>
@@ -314,4 +314,5 @@ struct std::hash<SVF::Z3Expr>
     }
 };
 
-#endif //Z3_EXAMPLE_Z3EXPR_H
+#endif //Z3_EXAMPLE_Z3EXPR_H
+

package/package.json

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