Issues · pub / frama-c · GitLab

wrong treatment for const arrays in lib-entry mode

#1259 · created Mar 21, 2011 by David Delmas bug eva
- CLOSED
- 8
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
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
possible unsoundness bug

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

#1247 · created Feb 12, 2011 by John Regher bug eva
- CLOSED
- 7
updated Feb 22, 2021
Value analysis: bad type conversion plus unassigned fields in a struct leads to crash

#1238 · created Sep 04, 2013 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
pointer comparable assert generated between void* and unsigned long

#1221 · created Nov 19, 2013 by Dillon Pariente bug eva
- CLOSED
- 2
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
Interpretation of @ assigns \result;

#1209 · created Jun 20, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 5
updated Feb 22, 2021
Smarter access to array of struct of array

#1204 · created Dec 10, 2011 by Pascal Cuoq enhancement eva
- CLOSED
- 7
updated Feb 22, 2021
Assertion failure in Ival.scale_div

#1186 · created Dec 09, 2013 by Boris Yakobowski critical eva
- CLOSED
- 2
updated Feb 22, 2021
uninitialized value can be passed through pointer, through return, but not through function argument

#1178 · created Jun 13, 2013 by Jochen Burghardt bug eva
- CLOSED
- 9
updated Feb 22, 2021
The post-conditon of [gets] got status invalid

#1160 · created May 30, 2013 by mantis-gitlab-migration bug eva
- CLOSED
- 4
updated Feb 22, 2021
Logging just enough information for failed pre-conditions

#1157 · created May 03, 2013 by Pascal Cuoq bug eva
- CLOSED
- 5
updated Feb 22, 2021
strange warning "postcondition got status invalid"

#1152 · created Feb 15, 2013 by Jochen Burghardt bug eva
- CLOSED
- 4
updated Feb 22, 2021
Unbound value Base.get_varinfo (Neon)

#1141 · created Mar 13, 2014 by Dillon Pariente bug eva
- CLOSED
- 3
updated Feb 22, 2021
evaluation of && and || in term position

#1135 · created Jan 26, 2012 by Julien Signoles enhancement eva
- CLOSED
- 4
updated Feb 22, 2021
double puzzle - precondition not proved using WP/Val plugin

#1022 · created Feb 28, 2014 by mantis-gitlab-migration bug eva
- CLOSED
- 3
updated Feb 22, 2021
22446: unknown sizes of types and value initialization

#996 · created May 07, 2013 by Pascal Cuoq critical eva
- CLOSED
- 5
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
Next