Issues · pub / frama-c · GitLab

int a; main(){ return 100 / (int)(&a + 2); } fails to report a division by zero

#1554 · created May 04, 2009 by Pascal Cuoq bug eva
- CLOSED
- 1
updated Feb 22, 2021
A pure predicate in an axiomatic with some "unpure" axioms have some strange results

#2517 · created Apr 30, 2009 by François Bobot critical jessie
- CLOSED
- 1
updated Apr 15, 2021
The specifications of statements are not translated

#2426 · created Apr 30, 2009 by François Bobot bug jessie
- CLOSED
- 2
updated Apr 15, 2021
labels are not correctly translated in jessie+why

#2332 · created Apr 30, 2009 by François Bobot bug jessie
- CLOSED
- 4
updated Apr 15, 2021
Plug-in inout fails to parse clause /*@ assigns s[..]; */

#1597 · created Apr 28, 2009 by David Delmas enhancement eva
- CLOSED
- 4
updated Feb 22, 2021
frama-c --help

#2519 · created Apr 24, 2009 by Guillaume Melquiond bug kernel
- CLOSED
- 2
updated Feb 22, 2021
integer is not well-casted in real

#1549 · created Apr 24, 2009 by Sylvie Boldo bug kernel
- CLOSED
- 2
updated Feb 22, 2021
code normalisation issue when return variable is named __retres

#1551 · created Apr 23, 2009 by David Delmas bug kernel
- CLOSED
- 1
updated Feb 22, 2021
Conversion from integer to real

#1550 · created Apr 23, 2009 by Guillaume Melquiond bug kernel
- CLOSED
- 2
updated Feb 22, 2021
Jessie/Gwhy: cpulimit-win.c

#2520 · created Apr 11, 2009 by Dillon Pariente bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Jessie/GWhy/Gappa: format file and invalid POs proved valid

#2521 · created Apr 10, 2009 by Dillon Pariente bug jessie
- CLOSED
- 5
updated Apr 15, 2021
Jessie crashes on simple program without annotations

#2543 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Internal error with assign specification on bi-dimensional arrays

#2542 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Why- error :-jessie-no-regions and assigns does not work

#2535 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Default invariant should be inferred for loops

#2534 · created Apr 07, 2009 by Virgile Prevosto enhancement jessie
- CLOSED
- 3
updated Apr 15, 2021
Jessie-gui : call of coqide and --project option

#2526 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 2
updated Apr 15, 2021
Lithium fool the tool

#2525 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 2
updated Apr 15, 2021
GUI blocked (100% cpu used) when requested to display an assertion

#2524 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 3
updated Apr 15, 2021
Inability to prove assigns clauses on simple array code

#2523 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021
type invariants

#2473 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021

Prev
1
…
69
70
71
72
73
74
Next