Issues · pub / frama-c

New issue

Why error with logic functions returning a pointer

#2533 · created May 20, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 2
updated Apr 15, 2021
"//@ assert i >= CHAR_MIN;" not proven for char

#2512 · created May 25, 2009 by Jens Gerlach bug jessie
- CLOSED
- 1
updated Apr 15, 2021
"assert i >= 0;" not proven for unsigned char

#2513 · created May 25, 2009 by Jens Gerlach bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Jessie: struct field's validity

#2357 · created May 27, 2009 by Dillon Pariente bug confirmed jessie
- CLOSED
- 2
updated Apr 15, 2021
Jessie: infinite or not annotated loops

#2441 · created May 27, 2009 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Jessie: float_P[..] expected instead of real

#2539 · created May 27, 2009 by Dillon Pariente bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Jessie: memory in memeory set

#2540 · created May 27, 2009 by Dillon Pariente bug jessie
- CLOSED
- 1
updated Apr 15, 2021
(* TODO: parameters *)

#2437 · created Jun 02, 2009 by Sylvie Boldo critical jessie
- CLOSED
- 2
updated Apr 15, 2021
Unable to verify pointer dereferencing

#2537 · created Jun 09, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 3
updated Apr 15, 2021
\at(...,Post) in assigns clause

#1575 · created Jun 22, 2009 by Dillon Pariente bug jessie
- CLOSED
- 3
updated Apr 15, 2021
type error in generated why file

#2494 · created Jul 09, 2009 by Fabrice Derepas bug confirmed jessie
- CLOSED
- 2
updated Apr 15, 2021
Error while processing legitimate C construction

#2330 · created Jul 14, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 4
updated Apr 15, 2021
Frama-C cannot process properly arrays of structures

#2492 · created Jul 14, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Jessie internal error

#2436 · created Jul 22, 2009 by mantis-gitlab-migration critical jessie
- CLOSED
- 3
updated Apr 15, 2021
Mise en hypothèse de la précondition d'une opération appelée

#2489 · created Aug 24, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Recursive logic definitions are not correctly translated.

#2453 · created Aug 27, 2009 by François Bobot bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Static linking of the jessie plugin fails when using a non-local Jc

#2469 · created Sep 01, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 2
updated Apr 15, 2021
internal error when analyzing max.h

#1901 · created Sep 11, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 4
updated Apr 15, 2021
A very strange problem

#2219 · created Sep 11, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Problems with solver configuration

#2265 · created Sep 11, 2009 by mantis-gitlab-migration bug jessie
- CLOSED
- 3
updated Apr 15, 2021