From f21087cc54b63a9a078794f7df1023678f0a4f47 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 2 Oct 2018 10:51:09 +0200
Subject: [PATCH] [headers] compilation mode:   internal: use of hdrck for
 targets headers, check-headers and src-distrib   external: reviewed target
 headers

---
 src/plugins/e-acsl/E_ACSL.mli                 |  4 +-
 src/plugins/e-acsl/Makefile.in                | 42 ++++----
 src/plugins/e-acsl/builtins.ml                |  4 +-
 src/plugins/e-acsl/builtins.mli               |  4 +-
 src/plugins/e-acsl/configure.ac               |  4 +-
 .../e-acsl/contrib/libdlmalloc/dlmalloc.c     | 34 ++++---
 src/plugins/e-acsl/contrib/libgmp/mini-gmp.c  | 69 +++++++------
 src/plugins/e-acsl/contrib/libgmp/mini-gmp.h  | 67 +++++++------
 src/plugins/e-acsl/dup_functions.ml           |  4 +-
 src/plugins/e-acsl/dup_functions.mli          |  4 +-
 src/plugins/e-acsl/env.ml                     |  4 +-
 src/plugins/e-acsl/env.mli                    |  4 +-
 src/plugins/e-acsl/error.ml                   |  4 +-
 src/plugins/e-acsl/error.mli                  |  4 +-
 src/plugins/e-acsl/exit_points.ml             |  4 +-
 src/plugins/e-acsl/exit_points.mli            |  4 +-
 src/plugins/e-acsl/functions.ml               |  4 +-
 src/plugins/e-acsl/functions.mli              |  4 +-
 src/plugins/e-acsl/gmpz.ml                    |  4 +-
 src/plugins/e-acsl/gmpz.mli                   |  4 +-
 .../CEA_LGPL_OR_PROPRIETARY.E_ACSL            | 10 ++
 .../headers/close-source/MODIFIED_DLMALLOC    | 14 +++
 .../headers/close-source/MODIFIED_LIB_GMP     | 36 +++++++
 .../close-source/MODIFIED_SPARETIMELABS       | 35 +++++++
 src/plugins/e-acsl/headers/header_spec.txt    | 99 +++++++++++++++++++
 .../CEA_LGPL_OR_PROPRIETARY.E_ACSL            | 19 ++++
 .../headers/open-source/MODIFIED_DLMALLOC     | 14 +++
 .../headers/open-source/MODIFIED_LIB_GMP      | 36 +++++++
 .../open-source/MODIFIED_SPARETIMELABS        | 35 +++++++
 src/plugins/e-acsl/interval.ml                |  4 +-
 src/plugins/e-acsl/interval.mli               |  4 +-
 src/plugins/e-acsl/keep_status.ml             |  4 +-
 src/plugins/e-acsl/keep_status.mli            |  4 +-
 src/plugins/e-acsl/label.ml                   |  4 +-
 src/plugins/e-acsl/label.mli                  |  4 +-
 .../e-acsl/license/headache_config.txt        | 68 +++++++++++--
 src/plugins/e-acsl/literal_strings.ml         |  4 +-
 src/plugins/e-acsl/literal_strings.mli        |  4 +-
 src/plugins/e-acsl/local_config.mli           |  4 +-
 src/plugins/e-acsl/loops.ml                   |  4 +-
 src/plugins/e-acsl/loops.mli                  |  4 +-
 src/plugins/e-acsl/main.ml                    |  4 +-
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1        |  8 +-
 src/plugins/e-acsl/misc.ml                    |  4 +-
 src/plugins/e-acsl/misc.mli                   |  4 +-
 src/plugins/e-acsl/mmodel_analysis.ml         |  4 +-
 src/plugins/e-acsl/mmodel_analysis.mli        |  4 +-
 src/plugins/e-acsl/options.ml                 |  4 +-
 src/plugins/e-acsl/options.mli                |  4 +-
 src/plugins/e-acsl/prepare_ast.ml             |  4 +-
 src/plugins/e-acsl/prepare_ast.mli            |  4 +-
 src/plugins/e-acsl/quantif.ml                 |  4 +-
 src/plugins/e-acsl/quantif.mli                |  4 +-
 src/plugins/e-acsl/rte.ml                     |  4 +-
 src/plugins/e-acsl/rte.mli                    |  4 +-
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh      |  4 +-
 src/plugins/e-acsl/scripts/testrun.sh         |  4 +-
 .../e-acsl/bittree_model/e_acsl_bittree.h     |  4 +-
 .../e-acsl/bittree_model/e_acsl_bittree_api.h |  4 +-
 .../bittree_model/e_acsl_bittree_mmodel.c     |  4 +-
 src/plugins/e-acsl/share/e-acsl/e_acsl.h      |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_alias.h        |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_assert.h       |  4 +-
 src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_debug.h        |  4 +-
 .../share/e-acsl/e_acsl_floating_point.h      |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_format.h       |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_gmp_api.h      |  4 +-
 src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h |  4 +-
 .../share/e-acsl/e_acsl_libc_replacements.h   |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_malloc.h       |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_printf.h       |  3 +
 src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c  |  4 +-
 .../share/e-acsl/e_acsl_safe_locations.h      |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_shexec.h       |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_string.h       |  4 +-
 .../e-acsl/share/e-acsl/e_acsl_temporal.h     |  2 +-
 .../share/e-acsl/e_acsl_temporal_timestamp.h  |  2 +-
 .../e-acsl/share/e-acsl/e_acsl_trace.h        |  4 +-
 .../segment_model/e_acsl_segment_mmodel.c     |  4 +-
 .../segment_model/e_acsl_segment_tracking.h   |  4 +-
 .../segment_model/e_acsl_shadow_layout.h      |  4 +-
 src/plugins/e-acsl/temporal.ml                |  4 +-
 src/plugins/e-acsl/temporal.mli               |  4 +-
 src/plugins/e-acsl/tests/print.ml             |  4 +-
 src/plugins/e-acsl/translate.ml               |  4 +-
 src/plugins/e-acsl/translate.mli              |  4 +-
 src/plugins/e-acsl/typing.ml                  |  4 +-
 src/plugins/e-acsl/typing.mli                 |  4 +-
 src/plugins/e-acsl/visit.ml                   |  4 +-
 src/plugins/e-acsl/visit.mli                  |  4 +-
 91 files changed, 636 insertions(+), 249 deletions(-)
 create mode 100644 src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
 create mode 100644 src/plugins/e-acsl/headers/close-source/MODIFIED_DLMALLOC
 create mode 100644 src/plugins/e-acsl/headers/close-source/MODIFIED_LIB_GMP
 create mode 100644 src/plugins/e-acsl/headers/close-source/MODIFIED_SPARETIMELABS
 create mode 100644 src/plugins/e-acsl/headers/header_spec.txt
 create mode 100644 src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
 create mode 100644 src/plugins/e-acsl/headers/open-source/MODIFIED_DLMALLOC
 create mode 100644 src/plugins/e-acsl/headers/open-source/MODIFIED_LIB_GMP
 create mode 100644 src/plugins/e-acsl/headers/open-source/MODIFIED_SPARETIMELABS

diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index f804c3899dc..29aea1b1ba1 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 935abd3c882..6c10b16e3ae 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -1,8 +1,8 @@
 ##########################################################################
 #                                                                        #
-#  This file is part of Frama-C.                                         #
+#  This file is part of the Frama-C's E-ACSL plug-in.                    #
 #                                                                        #
-#  Copyright (C) 2007-2018                                               #
+#  Copyright (C) 2012-2018                                               #
 #    CEA (Commissariat à l'énergie atomique et aux énergies              #
 #         alternatives)                                                  #
 #                                                                        #
@@ -349,12 +349,19 @@ e-acsl-distrib-check:
 # Header #
 ##########
 
-EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac share/e-acsl/*.[ch] \
-  share/e-acsl/*/*.[ch] scripts/*.sh tests/print.ml man/e-acsl-gcc.sh.1
-EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE))
+ifneq ("$(FRAMAC_INTERNAL)","yes")
 
 EACSL_SPARETIMELABS=$(EACSL_PLUGIN_DIR)/share/e-acsl/e_acsl_printf.h
 
+EACSL_SHARE_BARE= share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
+EACSL_SHARE=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_SHARE_BARE))
+EACSL_CEA_SHARE=$(filter-out $(EACSL_SPARETIMELABS), $(wildcard $(EACSL_SHARE)))
+
+EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac \
+  scripts/*.sh tests/print.ml man/e-acsl-gcc.sh.1
+EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE)) \
+               $(EACSL_CEA_SHARE)
+
 # Files without header. contrib files keep their own header.
 EACSL_NOHEADER_BARE=INSTALL README VERSION license/* \
   doc/Changelog doc/doxygen/doxygen.cfg.in .depend tests/test_config.in \
@@ -362,23 +369,24 @@ EACSL_NOHEADER_BARE=INSTALL README VERSION license/* \
 
 EACSL_NOHEADER=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_NOHEADER_BARE))
 
-ifeq ("$(FRAMAC_INTERNAL)","yes")
-CEA_LGPL_HEADER=$(FRAMAC_ROOT_SRCDIR)/headers/open-source/CEA_LGPL
-# EACSL does not use hdrck mechanism
-HEADER_EXCEPTIONS+=\
-  $(wildcard $(EACSL_CEA_LGPL) $(EACSL_SPARETIMELABS) $(EACSL_NOHEADER))
-else
-CEA_LGPL_HEADER=$(EACSL_PLUGIN_DIR)/license/CEA_LGPL
-endif
-
+# valid values: open-source, close-source 
+EACSL_HEADERS?=open-source
 headers::
-	@echo "Applying Headers..."
+	@echo "Applying $(EACSL_HEADERS) Headers..."
 	headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
-                 -h $(CEA_LGPL_HEADER) $(EACSL_CEA_LGPL)
+                 -h $(EACSL_PLUGIN_DIR)/headers/$(EACSL_HEADERS)/CEA_LGPL_OR_PROPRIETARY.E_ACSL \
+                 $(EACSL_CEA_LGPL)
 	headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
-                 -h $(EACSL_PLUGIN_DIR)/license/SPARETIMELABS \
+                 -h $(EACSL_PLUGIN_DIR)/headers/$(EACSL_HEADERS)/MODIFIED_SPARETIMELABS \
                  $(EACSL_SPARETIMELABS)
+	headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
+                 -h $(EACSL_PLUGIN_DIR)/headers/$(EACSL_HEADERS)/MODIFIED_DLMALLOC \
+                 $(EACSL_PLUGIN_DIR)/contrib/libdlmalloc/dlmalloc.c
+	headache -c $(EACSL_PLUGIN_DIR)/license/headache_config.txt \
+                 -h $(EACSL_PLUGIN_DIR)/headers/$(EACSL_HEADERS)/MODIFIED_LIB_GMP \
+                 $(EACSL_PLUGIN_DIR)/contrib/libgmp/mini-gmp.[ch]
 
+endif
 
 ################
 # Generic part #
diff --git a/src/plugins/e-acsl/builtins.ml b/src/plugins/e-acsl/builtins.ml
index a88dd558e44..45467db85bc 100644
--- a/src/plugins/e-acsl/builtins.ml
+++ b/src/plugins/e-acsl/builtins.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/builtins.mli b/src/plugins/e-acsl/builtins.mli
index 367dd4143c8..7e1eb3f7b80 100644
--- a/src/plugins/e-acsl/builtins.mli
+++ b/src/plugins/e-acsl/builtins.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 576b85a5f46..d1376c9639d 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -1,8 +1,8 @@
 ##########################################################################
 #                                                                        #
-#  This file is part of Frama-C.                                         #
+#  This file is part of the Frama-C's E-ACSL plug-in.                    #
 #                                                                        #
-#  Copyright (C) 2007-2018                                               #
+#  Copyright (C) 2012-2018                                               #
 #    CEA (Commissariat à l'énergie atomique et aux énergies              #
 #         alternatives)                                                  #
 #                                                                        #
diff --git a/src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c b/src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c
index 98744d443fa..0f9de38fb1e 100644
--- a/src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c
+++ b/src/plugins/e-acsl/contrib/libdlmalloc/dlmalloc.c
@@ -1,21 +1,27 @@
-/*
-  This is a version (aka dlmalloc) of malloc/free/realloc written by
-  Doug Lea and released to the public domain, as explained at
-  http://creativecommons.org/publicdomain/zero/1.0/ Send questions,
-  comments, complaints, performance data, etc to dl@cs.oswego.edu
-
-* Version 2.8.6 Wed Aug 29 06:57:58 2012  Doug Lea
-   Note: There may be an updated version of this malloc obtainable at
-           ftp://gee.cs.oswego.edu/pub/misc/malloc.c
-         Check before installing!
-
-* This file has been modified by CEA for use together with Runtime Library
+/**************************************************************************/
+/*                                                                        */
+/*  This is a version (aka dlmalloc) of malloc/free/realloc written by    */
+/*  Doug Lea and released to the public domain, as explained at           */
+/*  http://creativecommons.org/publicdomain/zero/1.0/ Send questions,     */
+/*  comments, complaints, performance data, etc to dl@cs.oswego.edu       */
+/*                                                                        */
+/*  Version 2.8.6 Wed Aug 29 06:57:58 2012  Doug Lea                      */
+/*  Note: There may be an updated version of this malloc obtainable at    */
+/*          ftp://gee.cs.oswego.edu/pub/misc/malloc.c                     */
+/*        Check before installing!                                        */
+/*                                                                        */
+/*  File modified by CEA (Commissariat à l'énergie atomique et aux        */
+/*                        énergies alternatives).                         */
+/*                                                                        */
+/**************************************************************************/
+
+/* This file has been modified by CEA for use together with Runtime Library
   of the E-ACSL plugin of Frama-C.
   The changes introduced by CEA are limited to the following modifications:
     * Added declaration/definition of mspace_least_addr function
-    * Added functionality to modify prefix of `mspace_...` functions
+    * Added functionality to modify prefix of `mspace_...` functions. */
 
-* Quickstart
+/* Quickstart
 
   This library is all in one file to simplify the most common usage:
   ftp it, compile it (-O3), and link it into another program. All of
diff --git a/src/plugins/e-acsl/contrib/libgmp/mini-gmp.c b/src/plugins/e-acsl/contrib/libgmp/mini-gmp.c
index 797c94aad77..5764a9fcb9d 100644
--- a/src/plugins/e-acsl/contrib/libgmp/mini-gmp.c
+++ b/src/plugins/e-acsl/contrib/libgmp/mini-gmp.c
@@ -1,34 +1,41 @@
-/* mini-gmp, a minimalistic implementation of a GNU GMP subset.
-
-   Contributed to the GNU project by Niels Möller
-
-Copyright 1991-1997, 1999-2015 Free Software Foundation, Inc.
-
-This file is part of the GNU MP Library.
-
-The GNU MP Library is free software; you can redistribute it and/or modify
-it under the terms of either:
-
-  * the GNU Lesser General Public License as published by the Free
-    Software Foundation; either version 3 of the License, or (at your
-    option) any later version.
-
-or
-
-  * the GNU General Public License as published by the Free Software
-    Foundation; either version 2 of the License, or (at your option) any
-    later version.
-
-or both in parallel, as here.
-
-The GNU MP Library 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 copies of the GNU General Public License and the
-GNU Lesser General Public License along with the GNU MP Library.  If not,
-see https://www.gnu.org/licenses/.  */
+/********************************************************************************/
+/*                                                                              */
+/*     mini-gmp, a minimalistic implementation of a GNU GMP subset.             */
+/*                                                                              */
+/*     Contributed to the GNU project by Niels Möller                           */
+/*                                                                              */
+/*  Copyright 1991-1997, 1999-2015 Free Software Foundation, Inc.               */
+/*                                                                              */
+/*  This file is part of the GNU MP Library.                                    */
+/*                                                                              */
+/*  The GNU MP Library is free software; you can redistribute it and/or modify  */
+/*  it under the terms of either:                                               */
+/*                                                                              */
+/*    * the GNU Lesser General Public License as published by the Free          */
+/*      Software Foundation; either version 3 of the License, or (at your       */
+/*      option) any later version.                                              */
+/*                                                                              */
+/*  or                                                                          */
+/*                                                                              */
+/*    * the GNU General Public License as published by the Free Software        */
+/*      Foundation; either version 2 of the License, or (at your option) any    */
+/*      later version.                                                          */
+/*                                                                              */
+/*  or both in parallel, as here.                                               */
+/*                                                                              */
+/*  The GNU MP Library 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 copies of the GNU General Public License and the   */
+/*  GNU Lesser General Public License along with the GNU MP Library.  If not,   */
+/*  see https://www.gnu.org/licenses/.                                          */
+/*                                                                              */
+/*  File modified by CEA (Commissariat à l'énergie atomique et aux              */
+/*                        énergies alternatives).                               */
+/*                                                                              */
+/********************************************************************************/
 
 /* NOTE: All functions in this file which are not declared in
    mini-gmp.h are internal, and are not intended to be compatible
diff --git a/src/plugins/e-acsl/contrib/libgmp/mini-gmp.h b/src/plugins/e-acsl/contrib/libgmp/mini-gmp.h
index 4a192c2064f..1d9a2a2017e 100644
--- a/src/plugins/e-acsl/contrib/libgmp/mini-gmp.h
+++ b/src/plugins/e-acsl/contrib/libgmp/mini-gmp.h
@@ -1,32 +1,41 @@
-/* mini-gmp, a minimalistic implementation of a GNU GMP subset.
-
-Copyright 2011-2015 Free Software Foundation, Inc.
-
-This file is part of the GNU MP Library.
-
-The GNU MP Library is free software; you can redistribute it and/or modify
-it under the terms of either:
-
-  * the GNU Lesser General Public License as published by the Free
-    Software Foundation; either version 3 of the License, or (at your
-    option) any later version.
-
-or
-
-  * the GNU General Public License as published by the Free Software
-    Foundation; either version 2 of the License, or (at your option) any
-    later version.
-
-or both in parallel, as here.
-
-The GNU MP Library 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 copies of the GNU General Public License and the
-GNU Lesser General Public License along with the GNU MP Library.  If not,
-see https://www.gnu.org/licenses/.  */
+/********************************************************************************/
+/*                                                                              */
+/*     mini-gmp, a minimalistic implementation of a GNU GMP subset.             */
+/*                                                                              */
+/*     Contributed to the GNU project by Niels Möller                           */
+/*                                                                              */
+/*  Copyright 1991-1997, 1999-2015 Free Software Foundation, Inc.               */
+/*                                                                              */
+/*  This file is part of the GNU MP Library.                                    */
+/*                                                                              */
+/*  The GNU MP Library is free software; you can redistribute it and/or modify  */
+/*  it under the terms of either:                                               */
+/*                                                                              */
+/*    * the GNU Lesser General Public License as published by the Free          */
+/*      Software Foundation; either version 3 of the License, or (at your       */
+/*      option) any later version.                                              */
+/*                                                                              */
+/*  or                                                                          */
+/*                                                                              */
+/*    * the GNU General Public License as published by the Free Software        */
+/*      Foundation; either version 2 of the License, or (at your option) any    */
+/*      later version.                                                          */
+/*                                                                              */
+/*  or both in parallel, as here.                                               */
+/*                                                                              */
+/*  The GNU MP Library 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 copies of the GNU General Public License and the   */
+/*  GNU Lesser General Public License along with the GNU MP Library.  If not,   */
+/*  see https://www.gnu.org/licenses/.                                          */
+/*                                                                              */
+/*  File modified by CEA (Commissariat à l'énergie atomique et aux              */
+/*                        énergies alternatives).                               */
+/*                                                                              */
+/********************************************************************************/
 
 /* About mini-gmp: This is a minimal implementation of a subset of the
    GMP interface. It is intended for inclusion into applications which
diff --git a/src/plugins/e-acsl/dup_functions.ml b/src/plugins/e-acsl/dup_functions.ml
index dfccb58523a..45e382a42f8 100644
--- a/src/plugins/e-acsl/dup_functions.ml
+++ b/src/plugins/e-acsl/dup_functions.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/dup_functions.mli b/src/plugins/e-acsl/dup_functions.mli
index cf5a37ce57f..fa893ceabbe 100644
--- a/src/plugins/e-acsl/dup_functions.mli
+++ b/src/plugins/e-acsl/dup_functions.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/env.ml b/src/plugins/e-acsl/env.ml
index b72499902a3..9c604d2135e 100644
--- a/src/plugins/e-acsl/env.ml
+++ b/src/plugins/e-acsl/env.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/env.mli b/src/plugins/e-acsl/env.mli
index 429e4937ed1..7fe184e3d02 100644
--- a/src/plugins/e-acsl/env.mli
+++ b/src/plugins/e-acsl/env.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/error.ml b/src/plugins/e-acsl/error.ml
index 06157fdaac5..6276d7da7f7 100644
--- a/src/plugins/e-acsl/error.ml
+++ b/src/plugins/e-acsl/error.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/error.mli b/src/plugins/e-acsl/error.mli
index 1406fc1b846..3e59a8fa0cf 100644
--- a/src/plugins/e-acsl/error.mli
+++ b/src/plugins/e-acsl/error.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 9b05b9d91f0..fb8a42b8678 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/exit_points.mli b/src/plugins/e-acsl/exit_points.mli
index 9a32fe9e352..b130c98c686 100644
--- a/src/plugins/e-acsl/exit_points.mli
+++ b/src/plugins/e-acsl/exit_points.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/functions.ml b/src/plugins/e-acsl/functions.ml
index 45d20854ac4..22c8f1cd994 100644
--- a/src/plugins/e-acsl/functions.ml
+++ b/src/plugins/e-acsl/functions.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/functions.mli b/src/plugins/e-acsl/functions.mli
index 21b3849a83b..7c65ec95fd4 100644
--- a/src/plugins/e-acsl/functions.mli
+++ b/src/plugins/e-acsl/functions.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/gmpz.ml b/src/plugins/e-acsl/gmpz.ml
index 7f8e1b6e06a..ea9e81f9486 100644
--- a/src/plugins/e-acsl/gmpz.ml
+++ b/src/plugins/e-acsl/gmpz.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/gmpz.mli b/src/plugins/e-acsl/gmpz.mli
index 453ca4b3392..503d9887391 100644
--- a/src/plugins/e-acsl/gmpz.mli
+++ b/src/plugins/e-acsl/gmpz.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL b/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
new file mode 100644
index 00000000000..7387695e04b
--- /dev/null
+++ b/src/plugins/e-acsl/headers/close-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -0,0 +1,10 @@
+
+This file is part of the Frama-C's E-ACSL plug-in.
+
+Copyright (C) 2012-2018
+  CEA (Commissariat à l'énergie atomique et aux énergies
+       alternatives)
+
+All rights reserved.
+Contact CEA LIST for licensing.
+
diff --git a/src/plugins/e-acsl/headers/close-source/MODIFIED_DLMALLOC b/src/plugins/e-acsl/headers/close-source/MODIFIED_DLMALLOC
new file mode 100644
index 00000000000..216b3e540f1
--- /dev/null
+++ b/src/plugins/e-acsl/headers/close-source/MODIFIED_DLMALLOC
@@ -0,0 +1,14 @@
+
+This is a version (aka dlmalloc) of malloc/free/realloc written by
+Doug Lea and released to the public domain, as explained at
+http://creativecommons.org/publicdomain/zero/1.0/ Send questions,
+comments, complaints, performance data, etc to dl@cs.oswego.edu
+
+Version 2.8.6 Wed Aug 29 06:57:58 2012  Doug Lea
+Note: There may be an updated version of this malloc obtainable at
+        ftp://gee.cs.oswego.edu/pub/misc/malloc.c
+      Check before installing!
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/headers/close-source/MODIFIED_LIB_GMP b/src/plugins/e-acsl/headers/close-source/MODIFIED_LIB_GMP
new file mode 100644
index 00000000000..6ca6c4f658f
--- /dev/null
+++ b/src/plugins/e-acsl/headers/close-source/MODIFIED_LIB_GMP
@@ -0,0 +1,36 @@
+
+   mini-gmp, a minimalistic implementation of a GNU GMP subset.
+
+   Contributed to the GNU project by Niels Möller
+
+Copyright 1991-1997, 1999-2015 Free Software Foundation, Inc.
+
+This file is part of the GNU MP Library.
+
+The GNU MP Library is free software; you can redistribute it and/or modify
+it under the terms of either:
+
+  * the GNU Lesser General Public License as published by the Free
+    Software Foundation; either version 3 of the License, or (at your
+    option) any later version.
+
+or
+
+  * the GNU General Public License as published by the Free Software
+    Foundation; either version 2 of the License, or (at your option) any
+    later version.
+
+or both in parallel, as here.
+
+The GNU MP Library 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 copies of the GNU General Public License and the
+GNU Lesser General Public License along with the GNU MP Library.  If not,
+see https://www.gnu.org/licenses/.
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/headers/close-source/MODIFIED_SPARETIMELABS b/src/plugins/e-acsl/headers/close-source/MODIFIED_SPARETIMELABS
new file mode 100644
index 00000000000..98f92575c04
--- /dev/null
+++ b/src/plugins/e-acsl/headers/close-source/MODIFIED_SPARETIMELABS
@@ -0,0 +1,35 @@
+
+Copyright (c) 2004,2012 Kustaa Nyholm / SpareTimeLabs
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+
+Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+Neither the name of the Kustaa Nyholm or SpareTimeLabs nor the names
+of its contributors may be used to endorse or promote products derived
+from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT
+HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt
new file mode 100644
index 00000000000..93668ad32c4
--- /dev/null
+++ b/src/plugins/e-acsl/headers/header_spec.txt
@@ -0,0 +1,99 @@
+E_ACSL.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+INSTALL: .ignore
+Makefile.in: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+README: .ignore
+VERSION: .ignore
+builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+configure.ac: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+contrib/libdlmalloc/dlmalloc.c: MODIFIED_DLMALLOC
+contrib/libgmp/mini-gmp.c: MODIFIED_LIB_GMP
+contrib/libgmp/mini-gmp.h: MODIFIED_LIB_GMP
+doc/Changelog: .ignore
+doc/doxygen/doxygen.cfg.in: .ignore
+dup_functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+dup_functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+env.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+env.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+error.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+exit_points.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+exit_points.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+functions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+functions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+gmpr.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+gmpr.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+gmpz.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+gmpz.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+interval.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+interval.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+keep_status.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+keep_status.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+label.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+label.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+lfunctions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+lfunctions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+license/CEA_LGPL: .ignore
+license/LGPLv2.1: .ignore
+license/SPARETIMELABS: .ignore
+license/headache_config.txt: .ignore
+literal_strings.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+literal_strings.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+local_config.ml: .ignore
+local_config.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+loops.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+loops.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+main.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+misc.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+misc.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+mmodel_analysis.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+mmodel_analysis.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+options.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+options.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+prepare_ast.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+prepare_ast.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+quantif.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+quantif.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+rte.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+rte.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+scripts/testrun.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/bittree_model/e_acsl_bittree.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/bittree_model/e_acsl_bittree_api.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_alias.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_assert.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_bits.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_debug.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_floating_point.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_format.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_gmp_api.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_leak.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_libc_replacements.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_malloc.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_printf.h: MODIFIED_SPARETIMELABS
+share/e-acsl/e_acsl_rtl.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_safe_locations.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_shexec.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_string.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_stubs_for_real.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_temporal.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_temporal_timestamp.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/e_acsl_trace.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/segment_model/e_acsl_segment_mmodel.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/segment_model/e_acsl_segment_tracking.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+share/e-acsl/segment_model/e_acsl_shadow_layout.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+temporal.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+temporal.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+tests/print.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+tests/test_config.in: .ignore
+translate.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+translate.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+translate_lfunctions.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+translate_lfunctions.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+typing.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+typing.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+visit.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+visit.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL
diff --git a/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL b/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
new file mode 100644
index 00000000000..c081974e6b3
--- /dev/null
+++ b/src/plugins/e-acsl/headers/open-source/CEA_LGPL_OR_PROPRIETARY.E_ACSL
@@ -0,0 +1,19 @@
+
+This file is part of the Frama-C's E-ACSL plug-in.
+
+Copyright (C) 2012-2018
+  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 licenses/LGPLv2.1).
+
diff --git a/src/plugins/e-acsl/headers/open-source/MODIFIED_DLMALLOC b/src/plugins/e-acsl/headers/open-source/MODIFIED_DLMALLOC
new file mode 100644
index 00000000000..216b3e540f1
--- /dev/null
+++ b/src/plugins/e-acsl/headers/open-source/MODIFIED_DLMALLOC
@@ -0,0 +1,14 @@
+
+This is a version (aka dlmalloc) of malloc/free/realloc written by
+Doug Lea and released to the public domain, as explained at
+http://creativecommons.org/publicdomain/zero/1.0/ Send questions,
+comments, complaints, performance data, etc to dl@cs.oswego.edu
+
+Version 2.8.6 Wed Aug 29 06:57:58 2012  Doug Lea
+Note: There may be an updated version of this malloc obtainable at
+        ftp://gee.cs.oswego.edu/pub/misc/malloc.c
+      Check before installing!
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/headers/open-source/MODIFIED_LIB_GMP b/src/plugins/e-acsl/headers/open-source/MODIFIED_LIB_GMP
new file mode 100644
index 00000000000..6ca6c4f658f
--- /dev/null
+++ b/src/plugins/e-acsl/headers/open-source/MODIFIED_LIB_GMP
@@ -0,0 +1,36 @@
+
+   mini-gmp, a minimalistic implementation of a GNU GMP subset.
+
+   Contributed to the GNU project by Niels Möller
+
+Copyright 1991-1997, 1999-2015 Free Software Foundation, Inc.
+
+This file is part of the GNU MP Library.
+
+The GNU MP Library is free software; you can redistribute it and/or modify
+it under the terms of either:
+
+  * the GNU Lesser General Public License as published by the Free
+    Software Foundation; either version 3 of the License, or (at your
+    option) any later version.
+
+or
+
+  * the GNU General Public License as published by the Free Software
+    Foundation; either version 2 of the License, or (at your option) any
+    later version.
+
+or both in parallel, as here.
+
+The GNU MP Library 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 copies of the GNU General Public License and the
+GNU Lesser General Public License along with the GNU MP Library.  If not,
+see https://www.gnu.org/licenses/.
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/headers/open-source/MODIFIED_SPARETIMELABS b/src/plugins/e-acsl/headers/open-source/MODIFIED_SPARETIMELABS
new file mode 100644
index 00000000000..98f92575c04
--- /dev/null
+++ b/src/plugins/e-acsl/headers/open-source/MODIFIED_SPARETIMELABS
@@ -0,0 +1,35 @@
+
+Copyright (c) 2004,2012 Kustaa Nyholm / SpareTimeLabs
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+
+Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+Neither the name of the Kustaa Nyholm or SpareTimeLabs nor the names
+of its contributors may be used to endorse or promote products derived
+from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT
+HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+File modified by CEA (Commissariat à l'énergie atomique et aux
+                      énergies alternatives).
+
diff --git a/src/plugins/e-acsl/interval.ml b/src/plugins/e-acsl/interval.ml
index 0971117c11a..0f68e4bc8d0 100644
--- a/src/plugins/e-acsl/interval.ml
+++ b/src/plugins/e-acsl/interval.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/interval.mli b/src/plugins/e-acsl/interval.mli
index aa62d2d8f71..3d5fd8b3be2 100644
--- a/src/plugins/e-acsl/interval.mli
+++ b/src/plugins/e-acsl/interval.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/keep_status.ml b/src/plugins/e-acsl/keep_status.ml
index 8eba1600077..69da4223348 100644
--- a/src/plugins/e-acsl/keep_status.ml
+++ b/src/plugins/e-acsl/keep_status.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/keep_status.mli b/src/plugins/e-acsl/keep_status.mli
index a952d47eaee..fb780c54aa0 100644
--- a/src/plugins/e-acsl/keep_status.mli
+++ b/src/plugins/e-acsl/keep_status.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/label.ml b/src/plugins/e-acsl/label.ml
index 89949e3c727..d8c90534dff 100644
--- a/src/plugins/e-acsl/label.ml
+++ b/src/plugins/e-acsl/label.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/label.mli b/src/plugins/e-acsl/label.mli
index 7d636c85b18..3db8fa96dd9 100644
--- a/src/plugins/e-acsl/label.mli
+++ b/src/plugins/e-acsl/label.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/license/headache_config.txt b/src/plugins/e-acsl/license/headache_config.txt
index 3c7dcc85035..9bb003875b0 100644
--- a/src/plugins/e-acsl/license/headache_config.txt
+++ b/src/plugins/e-acsl/license/headache_config.txt
@@ -8,10 +8,10 @@
 # C source #
 ############
 | ".*\.h"      -> frame open:"/*" line:"*" close:"*/"
+| ".*\.i"      -> frame open:"/*" line:"*" close:"*/"
 | ".*\.c"      -> frame open:"/*" line:"*" close:"*/"
 | ".*\.ast"    -> frame open:"//" line:" " close:" "
 | ".*\.cc"     -> frame open:"/*" line:"*" close:"*/"
-| "perfcount.c.in" -> frame open: "/*" line: "*" close: "*/"
 
 #######
 # Asm #
@@ -27,23 +27,49 @@
 ############
 # Makefile #
 ############
-| ".*Makefile\..*" -> frame open:"#"  line:"#" close:"#"
+| ".*Make.*" -> frame open:"#"  line:"#" close:"#"
+| ".*\.mk" -> frame open:"#"  line:"#" close:"#"
 
 #################
 # Shell scripts #
 #################
+#note: the skip directive requires a filename starting by ".*" ??? 
+| "autocomplete_frama-c" -> frame open: "#" line: "#" close: "#"
+| "_frama-c" -> frame open: "#" line: "#" close: "#"
+| ".*_frama-c" -> skip match:"#compdef.*"
 | ".*\.sh" -> frame open:"#"  line:"#" close:"#"
 | ".*\.sh" -> skip match:"#!.*"
+| "frama-c" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c" -> skip match:"#!.*"
+| "frama-c-config" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c-config" -> skip match:"#!.*"
+| "frama-c-script" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c-script" -> skip match:"#!.*"
+| "frama-c-gui" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c-gui" -> skip match:"#!.*"
+| "frama-c-gui.byte" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c-gui.byte" -> skip match:"#!.*"
+| "frama-c.byte" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c.byte" -> skip match:"#!.*"
+| "frama-c.top" -> frame open:"#"  line:"#" close:"#"
+| ".*frama-c.top" -> skip match:"#!.*"
+
+################
+# Perl scripts #
+################
+| ".*\.perl" -> frame open:"#"  line:"#" close:"#"
+| "flamegraph.pl" -> frame open:"#"  line:"#" close:"#"
+| ".*flamegraph.pl" -> skip match:"#!.*"
 
 #########################
-# MS-Windows Ressources #
+# MS-Windows Resources #
 #########################
 | ".*\.rc" -> frame open:"#"  line:"#" close:"#"
 
 #############
 # man pages #
 #############
-| ".*\.[1-9]" -> frame open:".\\\"" line: " " close:""
+| ".*\.[1-9]" -> frame open:".\\\"" line: "-" close:""
 
 #############
 # Why files #
@@ -51,22 +77,52 @@
 | ".*\.why" -> frame open: "(*" line: "*" close: "*)"
 | ".*\.why\.src" -> frame open: "(*" line: "*" close: "*)"
 
+#############
+# Alt-Ergo files #
+#############
+| ".*\.mlw" -> frame open: "(*" line: "*" close: "*)"
+
 #############
 # Coq files #
 #############
 | ".*\.v" -> frame open: "(*" line: "*" close: "*)"
 
+#############
+# WP files #
+#############
+| ".*\.driver" -> frame open: "/*" line: "*" close: "*/"
+
+#####################
+# Why3 driver files #
+#####################
+| ".*\.drv" -> frame open: "(*" line: "*" close: "*)"
+
 ########
 # HTML #
 ########
-| ".*\.htm.*" -> frame open: "<!--" line: " " close: "-->"
+| ".*\.htm.*" -> frame open: "<!--" line: "-" close: "-->"
+
+#######
+# DTD #
+#######
+| ".*\.dtd" -> frame open: "<!--" line: " " close: "-->"
+
+#######
+# XSL #
+#######
+| ".*\.xsl" -> frame open: "<!--" line: " " close: "-->"
 
 #######
 # CSS #
 #######
 | ".*\.css" -> frame open: "/*" line: "*" close: "*/"
 # plug-in's ocamldoc introductions
-| "intro_.*\.txt" -> frame open: "@ignore" line: " " close: ""
+| "intro_.*\.txt" -> frame open: "#*" line: "*" close: "#"
+
+##########
+# PROLOG #
+##########
+| ".*\.pl" -> frame open: "%" line: "%" close: "%"
 
 ##############
 # Emacs Lisp #
diff --git a/src/plugins/e-acsl/literal_strings.ml b/src/plugins/e-acsl/literal_strings.ml
index b90fb4167ee..77b1cdcfcc4 100644
--- a/src/plugins/e-acsl/literal_strings.ml
+++ b/src/plugins/e-acsl/literal_strings.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/literal_strings.mli b/src/plugins/e-acsl/literal_strings.mli
index 5551aac2a24..d73cc6e2f14 100644
--- a/src/plugins/e-acsl/literal_strings.mli
+++ b/src/plugins/e-acsl/literal_strings.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/local_config.mli b/src/plugins/e-acsl/local_config.mli
index b6617a392cc..6374af51bc5 100644
--- a/src/plugins/e-acsl/local_config.mli
+++ b/src/plugins/e-acsl/local_config.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/loops.ml b/src/plugins/e-acsl/loops.ml
index b359b7beb1d..2d0551e2996 100644
--- a/src/plugins/e-acsl/loops.ml
+++ b/src/plugins/e-acsl/loops.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/loops.mli b/src/plugins/e-acsl/loops.mli
index 1f2d658a8e2..3a5dfa38146 100644
--- a/src/plugins/e-acsl/loops.mli
+++ b/src/plugins/e-acsl/loops.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/main.ml b/src/plugins/e-acsl/main.ml
index e1d7ac2aa2d..a78c2863e62 100644
--- a/src/plugins/e-acsl/main.ml
+++ b/src/plugins/e-acsl/main.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index b79512e1353..601728e0c01 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -1,8 +1,8 @@
+.\"------------------------------------------------------------------------
 .\"                                                                        
+.\"  This file is part of the Frama-C's E-ACSL plug-in.                    
 .\"                                                                        
-.\"  This file is part of Frama-C.                                         
-.\"                                                                        
-.\"  Copyright (C) 2007-2018                                               
+.\"  Copyright (C) 2012-2018                                               
 .\"    CEA (Commissariat à l'énergie atomique et aux énergies              
 .\"         alternatives)                                                  
 .\"                                                                        
@@ -18,7 +18,7 @@
 .\"  See the GNU Lesser General Public License version 2.1                 
 .\"  for more details (enclosed in the file licenses/LGPLv2.1).            
 .\"                                                                        
-.\"                                                                        
+.\"------------------------------------------------------------------------
 
 .TH E-ACSL-GCC.SH 1 2016-02-02
 
diff --git a/src/plugins/e-acsl/misc.ml b/src/plugins/e-acsl/misc.ml
index e4971d0f5b5..55ef595b98f 100644
--- a/src/plugins/e-acsl/misc.ml
+++ b/src/plugins/e-acsl/misc.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/misc.mli b/src/plugins/e-acsl/misc.mli
index 6c61e732290..c78ce824241 100644
--- a/src/plugins/e-acsl/misc.mli
+++ b/src/plugins/e-acsl/misc.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/mmodel_analysis.ml b/src/plugins/e-acsl/mmodel_analysis.ml
index cdecfdfdef9..1c3f78ee9e6 100644
--- a/src/plugins/e-acsl/mmodel_analysis.ml
+++ b/src/plugins/e-acsl/mmodel_analysis.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/mmodel_analysis.mli b/src/plugins/e-acsl/mmodel_analysis.mli
index 5db4477e492..ebf5c7f09f8 100644
--- a/src/plugins/e-acsl/mmodel_analysis.mli
+++ b/src/plugins/e-acsl/mmodel_analysis.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/options.ml b/src/plugins/e-acsl/options.ml
index 7652bd6715c..93797ae0bde 100644
--- a/src/plugins/e-acsl/options.ml
+++ b/src/plugins/e-acsl/options.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/options.mli b/src/plugins/e-acsl/options.mli
index d4b10ab5aa4..6e1347e43d7 100644
--- a/src/plugins/e-acsl/options.mli
+++ b/src/plugins/e-acsl/options.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/prepare_ast.ml b/src/plugins/e-acsl/prepare_ast.ml
index 909d6666996..4113123a9da 100644
--- a/src/plugins/e-acsl/prepare_ast.ml
+++ b/src/plugins/e-acsl/prepare_ast.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/prepare_ast.mli b/src/plugins/e-acsl/prepare_ast.mli
index c35114f2e27..c2db62e1ea8 100644
--- a/src/plugins/e-acsl/prepare_ast.mli
+++ b/src/plugins/e-acsl/prepare_ast.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/quantif.ml b/src/plugins/e-acsl/quantif.ml
index fa8fc69a5ef..30a72c560b5 100644
--- a/src/plugins/e-acsl/quantif.ml
+++ b/src/plugins/e-acsl/quantif.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/quantif.mli b/src/plugins/e-acsl/quantif.mli
index d8e8b9819c9..099a6a4c743 100644
--- a/src/plugins/e-acsl/quantif.mli
+++ b/src/plugins/e-acsl/quantif.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/rte.ml b/src/plugins/e-acsl/rte.ml
index 8a3a4e3c31b..5f12d7aa077 100644
--- a/src/plugins/e-acsl/rte.ml
+++ b/src/plugins/e-acsl/rte.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/rte.mli b/src/plugins/e-acsl/rte.mli
index 8b3ce9563b0..4af8130be29 100644
--- a/src/plugins/e-acsl/rte.mli
+++ b/src/plugins/e-acsl/rte.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 332d6914bf3..71cbb9b1ee6 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -1,9 +1,9 @@
 #!/bin/sh -e
 ##########################################################################
 #                                                                        #
-#  This file is part of Frama-C.                                         #
+#  This file is part of the Frama-C's E-ACSL plug-in.                    #
 #                                                                        #
-#  Copyright (C) 2007-2018                                               #
+#  Copyright (C) 2012-2018                                               #
 #    CEA (Commissariat à l'énergie atomique et aux énergies              #
 #         alternatives)                                                  #
 #                                                                        #
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index e37333cf358..865545f6a0f 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -1,9 +1,9 @@
 #!/bin/sh -e
 ##########################################################################
 #                                                                        #
-#  This file is part of Frama-C.                                         #
+#  This file is part of the Frama-C's E-ACSL plug-in.                    #
 #                                                                        #
-#  Copyright (C) 2007-2018                                               #
+#  Copyright (C) 2012-2018                                               #
 #    CEA (Commissariat à l'énergie atomique et aux énergies              #
 #         alternatives)                                                  #
 #                                                                        #
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
index 773d9a51c3e..d581f762e9d 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
index 78d0154a482..ae566998e00 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
index b8eb72ebb95..eafd0b80772 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl.h b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
index dc4ca8a67b7..1045095a0b6 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
index e42f6f1f47b..17518ac0333 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_alias.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
index d8a9bd51d86..81496109bee 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
index fc6c2a8faff..f13e46264b7 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
index 1df4b3f8ae9..2073a9aa1f3 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h
index 5d6f87bbdd3..8c6a6546161 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_floating_point.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
index ba032670bbd..fa78e400828 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_format.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h
index f7840e0effd..89d73da7064 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_api.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
index 7ff5cae7692..2b2f517986b 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_leak.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
index d12d18f39c8..0ef0a734af4 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_libc_replacements.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
index af99763c430..c216fba3fad 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
index e439fdd5420..729e8a1d633 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
@@ -31,6 +31,9 @@
 /*  (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE   */
 /*  OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.    */
 /*                                                                          */
+/*  File modified by CEA (Commissariat à l'énergie atomique et aux          */
+/*                        énergies alternatives).                           */
+/*                                                                          */
 /****************************************************************************/
 
 /*! ***********************************************************************
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
index c023812a87b..2d5d3668076 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_rtl.c
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h
index 340222cd3ac..d98a944cc10 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_safe_locations.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
index 86515d9bc3a..fea42b6d1e5 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_shexec.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
index 801a4712a29..c0e694b5815 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_string.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
index 48a17f54c63..6caa803e1b1 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal.h
@@ -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/LGPLv2.1).             */
+/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
 /*                                                                        */
 /**************************************************************************/
 
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h
index a99a4900e20..107f12ea88c 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_temporal_timestamp.h
@@ -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/LGPLv2.1).             */
+/*  for more details (enclosed in the file licenses/LGPLv2.1).            */
 /*                                                                        */
 /**************************************************************************/
 
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
index 6025027bd4d..4ba3454d266 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_trace.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
index 279c8c66137..580274d9b85 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
+++ b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
index c8248552b4a..100e167734f 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h
index 3ee6db579bf..0822602dd21 100644
--- a/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h
+++ b/src/plugins/e-acsl/share/e-acsl/segment_model/e_acsl_shadow_layout.h
@@ -1,8 +1,8 @@
 /**************************************************************************/
 /*                                                                        */
-/*  This file is part of Frama-C.                                         */
+/*  This file is part of the Frama-C's E-ACSL plug-in.                    */
 /*                                                                        */
-/*  Copyright (C) 2007-2018                                               */
+/*  Copyright (C) 2012-2018                                               */
 /*    CEA (Commissariat à l'énergie atomique et aux énergies              */
 /*         alternatives)                                                  */
 /*                                                                        */
diff --git a/src/plugins/e-acsl/temporal.ml b/src/plugins/e-acsl/temporal.ml
index eab40b42849..4d75476b7e8 100644
--- a/src/plugins/e-acsl/temporal.ml
+++ b/src/plugins/e-acsl/temporal.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/temporal.mli b/src/plugins/e-acsl/temporal.mli
index fb4d81db317..bd2e1606a1e 100644
--- a/src/plugins/e-acsl/temporal.mli
+++ b/src/plugins/e-acsl/temporal.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/tests/print.ml b/src/plugins/e-acsl/tests/print.ml
index 66946052058..4cd4e8bfd84 100644
--- a/src/plugins/e-acsl/tests/print.ml
+++ b/src/plugins/e-acsl/tests/print.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/translate.ml b/src/plugins/e-acsl/translate.ml
index e57580f53f2..037ac3a4dbf 100644
--- a/src/plugins/e-acsl/translate.ml
+++ b/src/plugins/e-acsl/translate.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/translate.mli b/src/plugins/e-acsl/translate.mli
index 4f8540341fa..7e58df3a032 100644
--- a/src/plugins/e-acsl/translate.mli
+++ b/src/plugins/e-acsl/translate.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/typing.ml b/src/plugins/e-acsl/typing.ml
index 8a8dee64fba..fa789522b48 100644
--- a/src/plugins/e-acsl/typing.ml
+++ b/src/plugins/e-acsl/typing.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/typing.mli b/src/plugins/e-acsl/typing.mli
index e8a74d55ae8..4195ec14f10 100644
--- a/src/plugins/e-acsl/typing.mli
+++ b/src/plugins/e-acsl/typing.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 91933f67a10..fa1a961c16f 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/e-acsl/visit.mli b/src/plugins/e-acsl/visit.mli
index 8e536081b30..ff9d8edb123 100644
--- a/src/plugins/e-acsl/visit.mli
+++ b/src/plugins/e-acsl/visit.mli
@@ -1,8 +1,8 @@
 (**************************************************************************)
 (*                                                                        *)
-(*  This file is part of Frama-C.                                         *)
+(*  This file is part of the Frama-C's E-ACSL plug-in.                    *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2018                                               *)
+(*  Copyright (C) 2012-2018                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
-- 
GitLab