Issues · pub / frama-c

New issue

[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] Soundness issue when handling a pointer on a structure containing an array.

#2575 · created Sep 20, 2021 by AlexCid feedback-needed wp
- CLOSED
- 1
- 6
updated Oct 06, 2021
Error: Unbound value Why3.Whyconf.load_default_config_if_needed 1 of 3 tasks completed

#2548 · created Mar 30, 2021 by Qix confirmed wp
- CLOSED
- 1
- 3
updated Apr 13, 2021
"Unknown Error" with Alt-Ergo 3 of 3 tasks completed

#2547 · created Mar 26, 2021 by Qix wp
- CLOSED
- 11
updated Jun 01, 2021
Surprising goal generated with unsigned long long int

#2247 · created Jan 04, 2011 by Benjamin Monate bug wp
- CLOSED
- 1
updated Feb 22, 2021
cannot proof the rte assertion in the loop for

#2246 · created Feb 01, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021
Carbon beta coqide: need write rights to /usr/local/share/frama-c

#2227 · created Dec 15, 2010 by Holger Blasum bug wp
- CLOSED
- 2
updated Feb 22, 2021
Unexpected error (Failure("int_of_string")).

#2210 · created Feb 02, 2011 by John Regher critical wp
- CLOSED
- 2
updated Feb 22, 2021
[wp] warning: Stronger goal store_AppelerVerifier_post_6 (1 warning)

#2209 · created Dec 21, 2010 by Stephane Duprat bug wp
- CLOSED
- 2
updated Feb 22, 2021
warning: Degenerated goal

#2206 · created Jan 07, 2011 by Stephane Duprat bug wp
- CLOSED
- 8
updated Feb 22, 2021
Unexpected error (Stack overflow) during WP

#2205 · created Jan 10, 2011 by Benjamin Monate critical wp
- CLOSED
- 4
updated Feb 22, 2021
unprovable po with -split

#2203 · created Dec 17, 2010 by Stephane Duprat bug wp
- CLOSED
- 2
updated Feb 22, 2021
Issue INSTALL guidance that alt-ergo has to be up-to-date (0.92 apparently)

#2197 · created Dec 16, 2010 by Holger Blasum bug wp
- CLOSED
- 3
updated Feb 22, 2021
initial value of structures

#2149 · created Apr 14, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
Hypothesis missing about pointed datatypes

#2147 · created Apr 08, 2011 by Patrick Baudin bug wp
- CLOSED
- 0
updated Feb 22, 2021
alt-ergo version managment

#2134 · created Dec 16, 2010 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Feb 22, 2021
Wp rises an error in if you use struct and long long type, with wp-rte option

#2117 · created Aug 12, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Feb 22, 2021
wp-plugin does not generate coq *.v goals.

#2116 · created Aug 15, 2011 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Feb 22, 2021
Problems when using ptests.

#2105 · created Oct 12, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
suspicious axiomatization of included,zrange,zunion in .sx file

#2087 · created Dec 15, 2011 by Jochen Burghardt wp
- CLOSED
- 2
updated Apr 15, 2021