svf-lib 1.0.1218 → 1.0.1221

package/SVF-linux/include/SABER/FileChecker.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

package/SVF-linux/include/SABER/LeakChecker.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

package/SVF-linux/include/SABER/ProgSlice.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
@@ -25,6 +25,13 @@
  *
  *  Created on: Apr 1, 2014
  *      Author: Yulei Sui
+ *
+ *  The implementation is based on
+ * (1) Yulei Sui, Ding Ye, and Jingling Xue. "Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis".
+ * 2012 International Symposium on Software Testing and Analysis (ISSTA'12)
+ *
+ * (2) Yulei Sui, Ding Ye, and Jingling Xue. "Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis".
+ * IEEE Transactions on Software Engineering (TSE'14)
  */
 
 #ifndef PROGSLICE_H_

package/SVF-linux/include/SABER/SaberAnnotator.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

package/SVF-linux/include/SABER/SaberCheckerAPI.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

package/SVF-linux/include/SABER/SaberCondAllocator.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

package/SVF-linux/include/SABER/SaberSVFGBuilder.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

package/SVF-linux/include/SABER/SrcSnkDDA.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
@@ -25,6 +25,13 @@
  *
  *  Created on: Apr 1, 2014
  *      Author: Yulei Sui
+ *
+ * The implementation is based on
+ * (1) Yulei Sui, Ding Ye, and Jingling Xue. "Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis".
+ * 2012 International Symposium on Software Testing and Analysis (ISSTA'12)
+ *
+ * (2) Yulei Sui, Ding Ye, and Jingling Xue. "Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis".
+ * IEEE Transactions on Software Engineering (TSE'14)
  */
 
 #ifndef SRCSNKANALYSIS_H_

package/SVF-linux/include/SABER/SrcSnkSolver.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

package/SVF-linux/include/WPA/Andersen.h

@@ -25,6 +25,11 @@
  *
  *  Created on: Nov 12, 2013
  *      Author: Yulei Sui
+ *
+ * The field-sensitive implementation is improved based on
+ *
+ * Yuxiang Lei and Yulei Sui. "Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis".
+ * 26th International Static Analysis Symposium (SAS'19)
  */
 
 #ifndef INCLUDE_WPA_ANDERSEN_H_

package/SVF-linux/include/WPA/TypeAnalysis.h

@@ -1,4 +1,4 @@
-//===- Andersen.h -- Field-sensitive Andersen's pointer analysis-------------//
+//===- TypeAnalysis.h -- Fast type-based analysis without pointer analysis---------//
 //
 //                     SVF: Static Value-Flow Analysis
 //

package/SVF-linux/include/WPA/VersionedFlowSensitive.h

@@ -5,6 +5,10 @@
  *
  *  Created on: Jun 26, 2020
  *      Author: Mohamad Barbar
+ *
+ * The implementation is based on
+ * Mohamad Barbar, Yulei Sui and Shiping Chen. "Object Versioning for Flow-Sensitive Pointer Analysis".
+ * International Symposium on Code Generation and Optimization (CGO'21)
  */
 
 #ifndef VFS_H_

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

@@ -155,6 +155,15 @@ public:
     /// Build Bidirectional graph by copying nodes and edges from any graph inherited from GenericGraph
     /// And transfer Load Store to copy edge and address edge to construct PEG style CFG
     CFLGraph* buildBiPEGgraph(ConstraintGraph *graph, Kind startKind, GrammarBase *grammar, SVFIR* pag);
+
+private:
+    void connectVGep(CFLGraph *cflGraph,  ConstraintGraph *graph, ConstraintNode *src, ConstraintNode *dst, u32_t level, SVFIR* pag);
+
+    /// Handle edge except for the GEP
+    void addBiCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Kind label);
+
+    /// Add Bidirectional GEP edge with attribute
+    void addBiGepCFLEdge(CFLGraph *cflGraph,  ConstraintNode* src, ConstraintNode* dst, CFLGrammar::Attribute attri);
 };
 
 }// SVF

package/SVF-osx/include/CFL/PEGGrammar.txt

@@ -1,7 +1,7 @@
 Start:  
    V
 Terminal:
-   Addr Copy Store Load Gep Vgep 
+   Addr Copy Store Load Gep
 Productions:
    F -> epsilon;
    M -> Addr V Addrbar;
@@ -14,15 +14,11 @@ Productions:
    Fbar -> epsilon;
    Fbar -> Copybar Fbar;
    Fbar -> M Copybar Fbar;
-   Gep_1 -> Gep_0 F Vgep;
-   Gepbar_1 -> Vgepbar Fbar Gepbar_0;
-   Gepbarpath -> Gepbar_0 Gepbar_0;
-   Gepbarpath -> Gepbarpath Gepbar_0;
-   Gep_3 -> Gep_0;
-   Gepbar_3 -> Gepbar_0;
+   ArrayPath -> Gepbar_0 Gepbar_0;
+   ArrayPath -> ArrayPath Gepbar_0;
    Memcpy -> Addrbar V Addr;
    Memcpy -> Gep_i Memcpy Gepbar_i;
    Memcpy -> F Memcpy Fbar;
    V -> Gepbar_i Memcpy Gep_i;
    V -> Gep_i Memcpy Gepbar_i;
-   V -> Gepbarpath V Gep_0;
+   V -> ArrayPath V Gep_0;

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

@@ -1,8 +1,37 @@
+//===- ContextDDA.h -- Context-sensitive demand-driven analysis-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * ContextDDA.h
  *
  *  Created on: Aug 17, 2014
  *      Author: Yulei Sui
+ *
+ * The implementation is based on
+ * (1) Yulei Sui and Jingling Xue. "On-Demand Strong Update Analysis via Value-Flow Refinement".
+ * ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE'16)
+ *
+ * (2) Yulei Sui and Jingling Xue. "Value-Flow-Based Demand-Driven Pointer Analysis for C and C++".
+ * IEEE Transactions on Software Engineering (TSE'18)
  */
 
 #ifndef ContextDDA_H_

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

@@ -1,3 +1,26 @@
+//===- DDAClient.h -- Clients of demand-driven analysis-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
+
 /*
  * @file: DDAClient.h
  * @author: yesen

package/SVF-osx/include/DDA/DDAPass.h

@@ -1,3 +1,25 @@
+//===- DDAPass.h -- Demand-driven analysis driver pass-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * @file: DDAPass.h
  * @author: Yulei Sui

package/SVF-osx/include/DDA/DDAStat.h

@@ -1,3 +1,25 @@
+//===- DDAStat.h -- Statistics for demand-driven pass-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * DDAStat.h
  *

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

@@ -1,3 +1,25 @@
+//===- DDAVFSolver.h -- Demand-driven analysis value-flow solver------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * DDAVFSolver.h
  *

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

@@ -1,8 +1,37 @@
+//===- FlowDDA.h -- Flow-sensitive demand-driven analysis -------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * FlowDDA.h
  *
  *  Created on: Jun 30, 2014
  *      Author: Yulei Sui, Sen Ye
+ *
+ * The implementation is based on
+ * (1) Yulei Sui and Jingling Xue. "On-Demand Strong Update Analysis via Value-Flow Refinement".
+ * ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE'16)
+ *
+ * (2) Yulei Sui and Jingling Xue. "Value-Flow-Based Demand-Driven Pointer Analysis for C and C++".
+ * IEEE Transactions on Software Engineering (TSE'18)
  */
 
 #ifndef FlowDDA_H_

package/SVF-osx/include/MSSA/MSSAMuChi.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

package/SVF-osx/include/MSSA/MemPartition.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

package/SVF-osx/include/MSSA/MemRegion.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
@@ -25,6 +25,10 @@
  *
  *  Created on: Jul 14, 2013
  *      Author: Yulei Sui
+ * The implementation is based on
+ * Yulei Sui, Hua Yan, Yunpeng Zhang, Jingling Xue and Zheng Zheng.
+ * "Parallel Construction of Interprocedural Memory SSA Form".
+ * Journal of Systems and Software (JSS'16)
  */
 
 #ifndef MEMORYREGION_H_

package/SVF-osx/include/MSSA/MemSSA.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
@@ -25,8 +25,14 @@
  *
  *  Created on: Jul 14, 2013
  *      Author: Yulei Sui
+ *
+ * The implementation is based on
+ * Yulei Sui, Hua Yan, Yunpeng Zhang, Jingling Xue and Zheng Zheng.
+ * "Parallel Construction of Interprocedural Memory SSA Form".
+ * Journal of Systems and Software (JSS'16), Algorithm 3 in the paper
  */
 
+
 #ifndef MEMORYSSAPASS_H_
 #define MEMORYSSAPASS_H_
 

package/SVF-osx/include/MSSA/SVFGBuilder.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

package/SVF-osx/include/MTA/FSMPTA.h

@@ -1,8 +1,34 @@
+//===- FSMPTA.h -- Flow-sensitive analysis of multithreaded programs-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * FSMPTA.h
  *
  *  Created on: Jul 29, 2015
  *      Author: Yulei Sui, Peng Di
+ *
+ * The implementation is based on
+ * Yulei Sui, Peng Di, and Jingling Xue. "Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs".
+ * 2016 International Symposium on Code Generation and Optimization (CGO'16)
  */
 
 #ifndef FSPTANALYSIS_H_

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

@@ -1,3 +1,25 @@
+//===- LockAnalysis.h -- Analysis of locksets-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * LockAnalysis.h
  *

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

@@ -1,3 +1,25 @@
+//===- MHP.h -- May-happen-in-parallel analysis-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * MHP.h
  *

package/SVF-osx/include/MTA/MTA.h

@@ -1,8 +1,34 @@
+//===- MTA.h -- Analysis of multithreaded programs-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
- * RaceDetector.h
+ * MTA.h
  *
  *  Created on: May 14, 2014
  *      Author: Yulei Sui, Peng Di
+ *
+ * The implementation is based on
+ * Yulei Sui, Peng Di, and Jingling Xue. "Sparse Flow-Sensitive Pointer Analysis for Multithreaded Programs".
+ * 2016 International Symposium on Code Generation and Optimization (CGO'16)
  */
 
 #ifndef MTA_H_

package/SVF-osx/include/MTA/MTAStat.h

@@ -1,3 +1,25 @@
+//===- MTAStat.h -- Statistics for MTA-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * MTAStat.h
  *

package/SVF-osx/include/MTA/PCG.h

@@ -1,3 +1,25 @@
+//===- PCG.h -- Procedure creation graph-------------//
+//
+//                     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/>.
+//
+//===----------------------------------------------------------------------===//
+
 /*
  * MHP.h
  *