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.
 #