Issues · pub / frama-c · GitLab

WP crashes on generation of PO for assigns clause (assertion failure in MemVar.ml)

#571 · created Jun 02, 2015 by Virgile Prevosto bug wp
- CLOSED
- 1
updated Feb 22, 2021
WP crashes on the given function

#490 · created Sep 09, 2015 by mantis-gitlab-migration ACSL bug kernel
- CLOSED
- 5
updated Feb 22, 2021
WP crashes with \pointer_comparable

#527 · created Feb 03, 2016 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 2021
[wp] crash when using a type invariant in place of a predicate 3 of 3 tasks completed

#23 · created Aug 02, 2020 by Jakub Szabelewski
- CLOSED
- 1
- 1
updated Feb 22, 2021
WP detect a non-natural loop on a do-while(0) loop

#518 · created Aug 19, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 4
updated Apr 15, 2021
WP doesn't warn about volatile variables

#1024 · created Jun 06, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Apr 15, 2021
[wp] failure: not an integer (Blob)

#1925 · created Dec 15, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 2021
[WP] Failure to verify range information after bitwise and on signed integers

#2589 · created Jan 03, 2022 by GuerricChupin wp
- CLOSED
- 4
updated Jan 11, 2022
[WP] Frama-C Vanadium crashes when calling RTE through WP on complicated or abstract structures

#2566 · created Jul 07, 2021 by Yani ZIANI
- CLOSED
- 8
updated Jul 20, 2021
WP ignores some goal

#1191 · created Dec 20, 2013 by mantis-gitlab-migration bug wp
- CLOSED
- 15
updated Feb 22, 2021
WP ignores some goals when 'initialized' is used in hypotheses

#776 · created Mar 04, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Feb 22, 2021
WP: Incorrect assigns global/static handling

#18 · created Jun 15, 2020 by Alex Coffin wp
- CLOSED
- 1
- 1
updated Feb 22, 2021
WP inserts unwanted new lines into Coq proofs

#385 · created Jan 02, 2017 by Jens Gerlach bug wp
- CLOSED
- 1
updated Apr 15, 2021
WP: internal error: only the kernel should set the status of property assumes

#261 · created Jul 04, 2018 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021
WP is not able to validate a statically declared structure followed by a memset

#246 · created Jul 11, 2018 by Patricia Mouy bug wp
- CLOSED
- 3
updated Feb 22, 2021
[WP] Lange Projekt course Stack Overflow in WP Plugin since 23.0

#2572 · created Sep 10, 2021 by Andreas Werner
- CLOSED
- 1
- 5
updated Oct 27, 2021
[wp] non-provable local typing constraints in lemmas

#2 · created May 06, 2020 by Jens Gerlach wp
- CLOSED
- 29
updated May 28, 2021
WP output of loop variant's goal doesn't have location of loop variant

#569 · created Dec 03, 2015 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Feb 22, 2021
WP-Plugin crashes due to an internal error

#701 · created Sep 12, 2014 by mantis-gitlab-migration critical wp
- CLOSED
- 2
updated Feb 22, 2021
WP-Plugin crashes due to an internal error when terms of sets during union have different types

#919 · created Dec 22, 2014 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 15, 2021

Prev
1
…
57
58
59
60
61
62
63
64
Next