diff --git a/src/plugins/alias/.gitattributes b/src/plugins/alias/.gitattributes
deleted file mode 100644
index b2e0207ec33c14320f88b4dac0dfd5ac57744d28..0000000000000000000000000000000000000000
--- a/src/plugins/alias/.gitattributes
+++ /dev/null
@@ -1,54 +0,0 @@
-################
-# MERGE: union #
-################
-
-Changelog merge=union
-
-################################
-# HEADER_SPEC: LICENSE.Alias #
-################################
-
-dune-project header_spec=LICENSE.Alias
-dune header_spec=LICENSE.Alias
-dune-workspace header_spec=LICENSE.Alias
-
-Make* header_spec=LICENSE.Alias
-
-*.ml header_spec=LICENSE.Alias
-*.mli header_spec=LICENSE.Alias
-
-########################
-# HEADER_SPEC: .ignore #
-########################
-
-# CI
-
-/.gitlab-ci.yml header_spec=.ignore
-/nix/ci.sh header_spec=.ignore
-/nix/*.nix header_spec=.ignore
-
-# Doc
-
-/Changelog header_spec=.ignore
-README* header_spec=.ignore
-
-# Git
-
-.gitattributes header_spec=.ignore
-.gitignore header_spec=.ignore
-.gitkeep header_spec=.ignore
-.git-blame-ignore-revs header_spec=.ignore
-
-# Headers
-
-/LICENSE.Alias header_spec=.ignore
-/headers/open-source/* header_spec=.ignore
-/headers/close-source/* header_spec=.ignore
-
-# OCaml
-
-/*.opam* header_spec=.ignore
-
-#Tests
-
-/tests/**/* header_spec=.ignore
diff --git a/src/plugins/alias/API.ml b/src/plugins/alias/API.ml
index 2b77720334f40c9d71c2a9bb80d2ea4437f51698..5835322fd107ecba1b6b77f0d2b04c02247bd19e 100644
--- a/src/plugins/alias/API.ml
+++ b/src/plugins/alias/API.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/API.mli b/src/plugins/alias/API.mli
index ca429be02ec70ee7ff6836ea9ec6794b867da0f6..12352199c29d99afbf57a5bbaa205d3bce317a41 100644
--- a/src/plugins/alias/API.mli
+++ b/src/plugins/alias/API.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/Alias.ml b/src/plugins/alias/Alias.ml
index 0d38459c28ab0731dfc4ba3486309aed13df9030..fe144bb2b96ff10ef8b8f29240892e52c4dd1390 100644
--- a/src/plugins/alias/Alias.ml
+++ b/src/plugins/alias/Alias.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/Alias.mli b/src/plugins/alias/Alias.mli
index 96a5e0094acff8b7eca10c4ad525dc3b15fa98b8..32413b01810b62d778604e2c0b9c6188b7498db3 100644
--- a/src/plugins/alias/Alias.mli
+++ b/src/plugins/alias/Alias.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/LICENSE.Alias b/src/plugins/alias/LICENSE.Alias
deleted file mode 100644
index 57a2745d01d2fc7935756153dc194f934af4ebf5..0000000000000000000000000000000000000000
--- a/src/plugins/alias/LICENSE.Alias
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-you can redistribute it and/or modify it under the terms of the GNU
-Lesser General Public License as published by the Free Software
-Foundation, version 2.1.
-
-It 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 Lesser General Public License for more details.
-
-See the GNU Lesser General Public License version 2.1
-for more details (enclosed in the file LICENSE)
-
diff --git a/src/plugins/alias/abstract_state.ml b/src/plugins/alias/abstract_state.ml
index 081e221dac1947625cb8195ae4dfe84eb53a214d..98e30f62157409b7473277af7d0c98cadfd7a532 100644
--- a/src/plugins/alias/abstract_state.ml
+++ b/src/plugins/alias/abstract_state.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/abstract_state.mli b/src/plugins/alias/abstract_state.mli
index 1faf7e9cf19ebc7661ec34bc3911413acf6c34d3..a3a843f817276e33cca790ed9facc5a4f34118fe 100644
--- a/src/plugins/alias/abstract_state.mli
+++ b/src/plugins/alias/abstract_state.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/analysis.ml b/src/plugins/alias/analysis.ml
index 8583500ff435d1dddeed6e2578b278baac1a2ab7..b966e32c2e830481a385a4fd089378364c972ec7 100644
--- a/src/plugins/alias/analysis.ml
+++ b/src/plugins/alias/analysis.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/analysis.mli b/src/plugins/alias/analysis.mli
index e68e807f4c52960915b5a6f1c0b1be5085a22348..f1bb2652e88fdb27f7c590589b3dcfb6a252438b 100644
--- a/src/plugins/alias/analysis.mli
+++ b/src/plugins/alias/analysis.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/dune b/src/plugins/alias/dune
index 872016edccb5ea0218828cf57edf49678ddef685..63d49ab5cc95c628ad7d0cf25789504a89d9b823 100644
--- a/src/plugins/alias/dune
+++ b/src/plugins/alias/dune
@@ -1,8 +1,8 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
-;; This file is part of the Frama-C plug-in 'Alias' (alias). ;;
+;; This file is part of Frama-C. ;;
;; ;;
-;; Copyright (C) 2022-2023 ;;
+;; Copyright (C) 2007-2023 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
@@ -16,7 +16,7 @@
;; GNU Lesser General Public License for more details. ;;
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
-;; for more details (enclosed in the file LICENSE) ;;
+;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/src/plugins/alias/dune-project b/src/plugins/alias/dune-project
index d430593c6ec5eb7c526a90b66c582458ba20b92b..c934d313d775e41dbb3ccc769d0dba2d1439110a 100644
--- a/src/plugins/alias/dune-project
+++ b/src/plugins/alias/dune-project
@@ -1,9 +1,9 @@
(lang dune 3.2)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; ;;
-;; This file is part of the Frama-C plug-in 'Alias' (alias). ;;
+;; This file is part of Frama-C. ;;
;; ;;
-;; Copyright (C) 2022-2023 ;;
+;; Copyright (C) 2007-2023 ;;
;; CEA (Commissariat à l'énergie atomique et aux énergies ;;
;; alternatives) ;;
;; ;;
@@ -17,7 +17,7 @@
;; GNU Lesser General Public License for more details. ;;
;; ;;
;; See the GNU Lesser General Public License version 2.1 ;;
-;; for more details (enclosed in the file LICENSE) ;;
+;; for more details (enclosed in the file licenses/LGPLv2.1). ;;
;; ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
diff --git a/src/plugins/alias/headers/Makefile.generate-headers b/src/plugins/alias/headers/Makefile.generate-headers
deleted file mode 100644
index 54abb31b1f519ceb23ef75f65dd97ebd80eb6908..0000000000000000000000000000000000000000
--- a/src/plugins/alias/headers/Makefile.generate-headers
+++ /dev/null
@@ -1,48 +0,0 @@
-##########################################################################
-# #
-# This file is part of the Frama-C plug-in 'Alias' (alias). #
-# #
-# Copyright (C) 2022-2023 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
-# alternatives) #
-# #
-# you can redistribute it and/or modify it under the terms of the GNU #
-# Lesser General Public License as published by the Free Software #
-# Foundation, version 2.1. #
-# #
-# It 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 Lesser General Public License for more details. #
-# #
-# See the GNU Lesser General Public License version 2.1 #
-# for more details (enclosed in the file LICENSE) #
-# #
-##########################################################################
-
-YEAR:=$(shell date +%Y)
-
-ifeq (${HEADER_OPEN_SOURCE},yes)
-DEFAULT_HEADER_DIR:=headers/open-source
-else
-DEFAULT_HEADER_DIR:=headers/close-source
-endif
-
-headers/%/LICENSE.${PLUGIN_NAME}: headers/%/LICENSE.template FORCE_LICENSES
- @sed -e "s/@SHORT_NAME@/${SHORT_NAME}/" \
- -e "s/@LONG_NAME@/${LONG_NAME}/" \
- -e "s/@FROM_YEAR@/${FROM_YEAR}/" \
- -e "s/@YEAR@/${YEAR}/" \
- $< > $@
-
-LICENSE.${PLUGIN_NAME}: ${DEFAULT_HEADER_DIR}/LICENSE.${PLUGIN_NAME} FORCE_LICENSES
- cp $< $@
-
-.PHONY: FORCE_LICENSES
-FORCE_LICENSES:
-
-# Extend headers rule dependencies, make sure to update all license files
-headers: \
- headers/open-source/LICENSE.${PLUGIN_NAME} \
- headers/close-source/LICENSE.${PLUGIN_NAME} \
- LICENSE.${PLUGIN_NAME}
diff --git a/src/plugins/alias/headers/close-source/LICENSE.Alias b/src/plugins/alias/headers/close-source/LICENSE.Alias
deleted file mode 100644
index c95856054e39110c49f28537befb0feffebcde37..0000000000000000000000000000000000000000
--- a/src/plugins/alias/headers/close-source/LICENSE.Alias
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-
diff --git a/src/plugins/alias/headers/close-source/LICENSE.template b/src/plugins/alias/headers/close-source/LICENSE.template
deleted file mode 100755
index 674cd9bba33d1a8f21bd6faf01c90c6943d00413..0000000000000000000000000000000000000000
--- a/src/plugins/alias/headers/close-source/LICENSE.template
+++ /dev/null
@@ -1,10 +0,0 @@
-
-This file is part of the Frama-C plug-in '@LONG_NAME@' (@SHORT_NAME@).
-
-Copyright (C) @FROM_YEAR@-@YEAR@
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-All rights reserved.
-Contact CEA LIST for licensing.
-
diff --git a/src/plugins/alias/headers/open-source/LICENSE.Alias b/src/plugins/alias/headers/open-source/LICENSE.Alias
deleted file mode 100644
index 57a2745d01d2fc7935756153dc194f934af4ebf5..0000000000000000000000000000000000000000
--- a/src/plugins/alias/headers/open-source/LICENSE.Alias
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in 'Alias' (alias).
-
-Copyright (C) 2022-2023
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-you can redistribute it and/or modify it under the terms of the GNU
-Lesser General Public License as published by the Free Software
-Foundation, version 2.1.
-
-It 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 Lesser General Public License for more details.
-
-See the GNU Lesser General Public License version 2.1
-for more details (enclosed in the file LICENSE)
-
diff --git a/src/plugins/alias/headers/open-source/LICENSE.template b/src/plugins/alias/headers/open-source/LICENSE.template
deleted file mode 100644
index 80fe4ef40c50d17af0e98eddc038f98ea6e0b3e8..0000000000000000000000000000000000000000
--- a/src/plugins/alias/headers/open-source/LICENSE.template
+++ /dev/null
@@ -1,19 +0,0 @@
-
-This file is part of the Frama-C plug-in '@LONG_NAME@' (@SHORT_NAME@).
-
-Copyright (C) @FROM_YEAR@-@YEAR@
- CEA (Commissariat à l'énergie atomique et aux énergies
- alternatives)
-
-you can redistribute it and/or modify it under the terms of the GNU
-Lesser General Public License as published by the Free Software
-Foundation, version 2.1.
-
-It 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 Lesser General Public License for more details.
-
-See the GNU Lesser General Public License version 2.1
-for more details (enclosed in the file LICENSE)
-
diff --git a/src/plugins/alias/options.ml b/src/plugins/alias/options.ml
index 2f70a980efbec330d5124899c0070f6b9b86f612..2e2eae57482979b5394fcf968a26aca98bc24c4a 100644
--- a/src/plugins/alias/options.ml
+++ b/src/plugins/alias/options.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/options.mli b/src/plugins/alias/options.mli
index 1a5dd44638c084c430049a9b2c81dc85dc3dd199..bfe5800b537c1a318d743ab9f19ba389a1031700 100644
--- a/src/plugins/alias/options.mli
+++ b/src/plugins/alias/options.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/simplified.ml b/src/plugins/alias/simplified.ml
index 3a639dee7bd54b6bb7535091a5a45eec5170cf04..a396f4bd21bb96cf7df37eeef6e4e870517d996f 100644
--- a/src/plugins/alias/simplified.ml
+++ b/src/plugins/alias/simplified.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
diff --git a/src/plugins/alias/simplified.mli b/src/plugins/alias/simplified.mli
index 3757c46d4f21d6a78b1fb615f5c8569f6904f3e2..499038fdebf073fe7c01b0342616a3f639ac5c89 100644
--- a/src/plugins/alias/simplified.mli
+++ b/src/plugins/alias/simplified.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of the Frama-C plug-in 'Alias' (alias). *)
+(* This file is part of Frama-C. *)
(* *)
-(* Copyright (C) 2022-2023 *)
+(* Copyright (C) 2007-2023 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
-(* for more details (enclosed in the file LICENSE) *)
+(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)