From c669c87abd9595d20afdce06816f9af8392f0314 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Thu, 14 Dec 2023 14:27:27 -0800 Subject: [PATCH] Bump copyright years (#246). The copyright years of IKOS only go up to 2019. This commit bumps the upper bound of the Copyright years in all the copyright notices for all files modified since IKOS 3.1 was released. --- analyzer/CMakeLists.txt | 2 +- analyzer/python/ikos/highlight.py | 2 +- analyzer/python/ikos/http.py | 2 +- analyzer/python/ikos/output_db.py | 2 +- analyzer/python/ikos/report.py | 2 +- analyzer/python/ikos/scan.py | 2 +- analyzer/python/ikos/view.py | 2 +- analyzer/python/setup.py.in | 2 +- analyzer/script/ikos-config.py.in | 2 +- analyzer/script/ikos-report.py.in | 2 +- analyzer/script/ikos-scan-c++.py.in | 2 +- analyzer/script/ikos-scan-cc.py.in | 2 +- analyzer/script/ikos-scan-extract.py.in | 2 +- analyzer/script/ikos-scan.py.in | 2 +- analyzer/script/ikos-view.py.in | 2 +- analyzer/script/ikos.py.in | 2 +- ar/include/ikos/ar/semantic/data_layout.hpp | 2 +- ar/src/pass/add_partitioning_variables.cpp | 2 +- cmake/FindSQLite3.cmake | 2 +- script/bootstrap | 2 +- 20 files changed, 20 insertions(+), 20 deletions(-) diff --git a/analyzer/CMakeLists.txt b/analyzer/CMakeLists.txt index c083cb92..1df5dcf3 100644 --- a/analyzer/CMakeLists.txt +++ b/analyzer/CMakeLists.txt @@ -6,7 +6,7 @@ # # Notices: # -# Copyright (c) 2011-2019 United States Government as represented by the +# Copyright (c) 2011-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/highlight.py b/analyzer/python/ikos/highlight.py index 67d766c1..2726c327 100644 --- a/analyzer/python/ikos/highlight.py +++ b/analyzer/python/ikos/highlight.py @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/http.py b/analyzer/python/ikos/http.py index 7e682d4c..5bb13d68 100644 --- a/analyzer/python/ikos/http.py +++ b/analyzer/python/ikos/http.py @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/output_db.py b/analyzer/python/ikos/output_db.py index e121d257..e69471be 100644 --- a/analyzer/python/ikos/output_db.py +++ b/analyzer/python/ikos/output_db.py @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/report.py b/analyzer/python/ikos/report.py index c3e3bd62..e47ba564 100644 --- a/analyzer/python/ikos/report.py +++ b/analyzer/python/ikos/report.py @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2011-2019 United States Government as represented by the +# Copyright (c) 2011-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/scan.py b/analyzer/python/ikos/scan.py index 80941b95..99db1dc2 100644 --- a/analyzer/python/ikos/scan.py +++ b/analyzer/python/ikos/scan.py @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/ikos/view.py b/analyzer/python/ikos/view.py index 21e4f5a4..4e9ed5d6 100644 --- a/analyzer/python/ikos/view.py +++ b/analyzer/python/ikos/view.py @@ -10,7 +10,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/python/setup.py.in b/analyzer/python/setup.py.in index 6b3fe527..99b6d835 100644 --- a/analyzer/python/setup.py.in +++ b/analyzer/python/setup.py.in @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2017-2019 United States Government as represented by the +# Copyright (c) 2017-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-config.py.in b/analyzer/script/ikos-config.py.in index 31f31d81..39f3299c 100755 --- a/analyzer/script/ikos-config.py.in +++ b/analyzer/script/ikos-config.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2017-2019 United States Government as represented by the +# Copyright (c) 2017-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-report.py.in b/analyzer/script/ikos-report.py.in index 4b5c8648..d24aeedf 100755 --- a/analyzer/script/ikos-report.py.in +++ b/analyzer/script/ikos-report.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2011-2019 United States Government as represented by the +# Copyright (c) 2011-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-scan-c++.py.in b/analyzer/script/ikos-scan-c++.py.in index f9761629..634defd6 100755 --- a/analyzer/script/ikos-scan-c++.py.in +++ b/analyzer/script/ikos-scan-c++.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-scan-cc.py.in b/analyzer/script/ikos-scan-cc.py.in index d1ce7574..42851f7e 100755 --- a/analyzer/script/ikos-scan-cc.py.in +++ b/analyzer/script/ikos-scan-cc.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-scan-extract.py.in b/analyzer/script/ikos-scan-extract.py.in index f7bef818..3eb58a8e 100755 --- a/analyzer/script/ikos-scan-extract.py.in +++ b/analyzer/script/ikos-scan-extract.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2019 United States Government as represented by the +# Copyright (c) 2019-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-scan.py.in b/analyzer/script/ikos-scan.py.in index 6af4641b..9808a42c 100755 --- a/analyzer/script/ikos-scan.py.in +++ b/analyzer/script/ikos-scan.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos-view.py.in b/analyzer/script/ikos-view.py.in index 14faedd1..155344fa 100755 --- a/analyzer/script/ikos-view.py.in +++ b/analyzer/script/ikos-view.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/analyzer/script/ikos.py.in b/analyzer/script/ikos.py.in index 9f8c122e..c88e1692 100755 --- a/analyzer/script/ikos.py.in +++ b/analyzer/script/ikos.py.in @@ -9,7 +9,7 @@ # # Notices: # -# Copyright (c) 2011-2019 United States Government as represented by the +# Copyright (c) 2011-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/ar/include/ikos/ar/semantic/data_layout.hpp b/ar/include/ikos/ar/semantic/data_layout.hpp index 1d3edf23..a931d93f 100644 --- a/ar/include/ikos/ar/semantic/data_layout.hpp +++ b/ar/include/ikos/ar/semantic/data_layout.hpp @@ -11,7 +11,7 @@ * * Notices: * - * Copyright (c) 2017-2019 United States Government as represented by the + * Copyright (c) 2017-2023 United States Government as represented by the * Administrator of the National Aeronautics and Space Administration. * All Rights Reserved. * diff --git a/ar/src/pass/add_partitioning_variables.cpp b/ar/src/pass/add_partitioning_variables.cpp index a20d3c4d..0b2ad6ab 100644 --- a/ar/src/pass/add_partitioning_variables.cpp +++ b/ar/src/pass/add_partitioning_variables.cpp @@ -13,7 +13,7 @@ * * Notices: * - * Copyright (c) 2019 United States Government as represented by the + * Copyright (c) 2019-2023 United States Government as represented by the * Administrator of the National Aeronautics and Space Administration. * All Rights Reserved. * diff --git a/cmake/FindSQLite3.cmake b/cmake/FindSQLite3.cmake index b6010792..6d3a7daf 100644 --- a/cmake/FindSQLite3.cmake +++ b/cmake/FindSQLite3.cmake @@ -8,7 +8,7 @@ # # Notices: # -# Copyright (c) 2018-2019 United States Government as represented by the +# Copyright (c) 2018-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. # diff --git a/script/bootstrap b/script/bootstrap index 1ee4ed22..d6c1beb7 100755 --- a/script/bootstrap +++ b/script/bootstrap @@ -10,7 +10,7 @@ # # Notices: # -# Copyright (c) 2011-2019 United States Government as represented by the +# Copyright (c) 2011-2023 United States Government as represented by the # Administrator of the National Aeronautics and Space Administration. # All Rights Reserved. #