Issues · pub / frama-c · GitLab

if((int)(&a+2)) fails to warn about being unspecified

#1553 · created May 05, 2009 by Pascal Cuoq bug eva
- CLOSED
- 1
updated Feb 22, 2021
Crash on subdivided evaluation by inout for an unsatisfiable guard 3 of 3 tasks completed

#45 · created Dec 04, 2020 by Karine EM eva
- CLOSED
- 1
- 2
updated Feb 22, 2021
Incorrect 'assert false' in value analysis

#1536 · created Feb 01, 2010 by Boris Yakobowski critical eva
- CLOSED
- 0
updated Feb 22, 2021
malloc.h can't be preprocessed: __func__ is not a macro

#1526 · created Nov 03, 2009 by mantis-gitlab-migration bug eva
- CLOSED
- 3
updated Feb 22, 2021
Eva: Differs from C specification on pointer arithmetic 2 of 3 tasks completed

#15 · created Jun 12, 2020 by Alex Coffin eva
- CLOSED
- 5
updated Feb 22, 2021
Incorrect states passed to value analysis callbacks in presence of slevel

#1253 · created Feb 20, 2011 by Boris Yakobowski bug eva
- CLOSED
- 6
updated Feb 22, 2021
Interpretation of @ assigns \result;

#1209 · created Jun 20, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 5
updated Feb 22, 2021
FRAMA_C_MALLOC_INFINITE not used in stdlib.c

#1418 · created Jun 18, 2012 by mantis-gitlab-migration bug eva
- CLOSED
- 4
updated Feb 22, 2021
validity of a field defined in an abstract struct typedef

#1211 · created Sep 26, 2013 by Dillon Pariente bug eva
- CLOSED
- 4
updated Feb 22, 2021
wrong origin displayed in the GUI

#1402 · created Sep 20, 2009 by Pascal Cuoq bug eva
- CLOSED
- 5
updated Feb 22, 2021
relation chains exploited incompletely

#1394 · created Jan 26, 2012 by Jochen Burghardt enhancement eva
- CLOSED
- 6
updated Feb 22, 2021
Emitted assertion wrongly reduces to bottom (apparently) (csmith)

#1379 · created Nov 19, 2011 by Pascal Cuoq bug eva
- CLOSED
- 12
updated Feb 22, 2021
Bad AST generation ?

#1374 · created Apr 04, 2012 by mantis-gitlab-migration bug eva
- CLOSED
- 5
updated Feb 22, 2021
Crash du builtin memcpy, par une exception non rattrapable

#1313 · created Jul 07, 2011 by Boris Yakobowski critical eva
- CLOSED
- 3
updated Feb 22, 2021
wrong interpretation when a bit-field receives the result of a function (csmith)

#1289 · created May 11, 2011 by Pascal Cuoq bug eva
- CLOSED
- 2
updated Feb 22, 2021
Serial conversions in function result (csmith)

#1275 · created Apr 17, 2011 by Pascal Cuoq bug eva
- CLOSED
- 2
updated Feb 22, 2021
Value may be incorrect in presence of several ensures

#1265 · created Jan 26, 2011 by Julien Signoles bug eva
- CLOSED
- 3
updated Feb 22, 2021
Unexpected error (Ival.Float_abstract.Bottom)

#1258 · created Mar 11, 2011 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
Unsoundness in value analysis when bitfield initializer exceeds range (csmith)

#1256 · created Feb 13, 2011 by John Regher bug eva
- CLOSED
- 6
updated Feb 22, 2021
possible unsoundness bug

#1248 · created Feb 12, 2011 by John Regher bug eva
- CLOSED
- 4
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
Next