npm - svf-tools - Versions diffs - 1.0.558 → 1.0.561 - Mend

@@ -1,6 +1,38 @@
+//===- MutablePointsToDS.h -- Mutable points-to data structure-------------//
+//
+//                     SVF: Static Value-Flow Analysis
+//
+// Copyright (C) <2013->  <Yulei Sui>
+//
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+// You should have received a copy of the GNU General Public License
+// along with this program.  If not, see <http://www.gnu.org/licenses/>.
+//
+//===----------------------------------------------------------------------===//
 /// PTData (AbstractPointsToDS.h) implementations with a mutable backend.
 /// Each Key is given a points-to set which is itself updated till the analysis terminates.
+/*
+ * MutablePointsToDS.h
+ *
+ * Authors: Mohamad Barbar and Yulei Sui
+ *
+ * The implementation is based on
+ * Mohamad Barbar and Yulei Sui. Hash Consed Points-To Sets.
+ * 28th Static Analysis Symposium (SAS'21)
+ */
 #ifndef MUTABLE_POINTSTO_H_
 #define MUTABLE_POINTSTO_H_

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2018>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 // This program is free software: you can redistribute it and/or modify
@@ -24,7 +24,7 @@
  * PAGBuilderFromFile.h
  *
  *  Created on: 20 Sep. 2018
- *      Author: 136884
+ *      Author: Yulei Sui
  */
 #ifndef INCLUDE_MEMORYMODEL_PAGBUILDERFROMFILE_H_

@@ -3,7 +3,9 @@
 /*
  * PersistentPointsToCache.h
  *
- *  Persistent, hash-consed points-to sets
+ * The implementation is based on
+ * Mohamad Barbar and Yulei Sui. Hash Consed Points-To Sets.
+ * 28th Static Analysis Symposium (SAS'21)
  *
  *  Created on: Sep 28, 2020
  *      Author: Mohamad Barbar

@@ -1,6 +1,16 @@
 /// PTData (AbstractPointsToDS.h) implementations with a persistent backend.
 /// Each Key is given a cheap points-to ID which refers to some real points-to set.
+/*
+ * PersistentPointsToDS.h
+ *
+ * Authors: Mohamad Barbar
+ *
+ * The implementation is based on
+ * Mohamad Barbar and Yulei Sui. Hash Consed Points-To Sets.
+ * 28th Static Analysis Symposium (SAS'21)
+ */
 #ifndef PERSISTENT_POINTSTO_H_
 #define PERSISTENT_POINTSTO_H_

@@ -2,7 +2,7 @@
 //
 //                     SVF: Static Value-Flow Analysis
 //
-// Copyright (C) <2013-2017>  <Yulei Sui>
+// Copyright (C) <2013->  <Yulei Sui>
 //
 // This program is free software: you can redistribute it and/or modify

@@ -1,4 +1,4 @@
-//===- PointerAnalysis.h -- Base class of pointer analyses--------------------//
+//===- PointerAnalysisImpl.h -- Pointer analysis implementation--------------------//
 //
 //                     SVF: Static Value-Flow Analysis
 //

@@ -302,6 +302,9 @@ public:
     // Does (F) reallocate a new object?
     bool is_realloc(const SVFFunction *F);
+    // Does (F) have the same return type(pointer or nonpointer) and same number of arguments
+    bool is_sameSignature(const SVFFunction *F);
     // Should (F) be considered "external" (either not defined in the program
     //   or a user-defined version of a known alloc or no-op)?
     bool is_ext(const SVFFunction *F);

svf-tools 1.0.558 → 1.0.561