From a07fab8c32580ab3fa5742262ff4c03b3162dd6a Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 25 Mar 2021 12:11:20 +0100
Subject: [PATCH] [eacsl] Update changelog
---
src/plugins/e-acsl/doc/Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index 05e7510ee51..1ef3673d4e0 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release>
############################
+-* E-ACSL [2021-03-25] Fix wrong computation of the base pointer when
+ calling \valid predicate leading to undetected array overflows.
-* E-ACSL [2021-02-24] Fix crash when running another analysis after
E-ACSL caused by E-ACSL breaking some internal kernel invariant
(frama-c/e-acsl#145).
--
GitLab