diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 05e7510ee516f4b4dbf613b0ecd8594eebd852bf..1ef3673d4e0349d506407602f7ae5da12c76a8b9 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).