Issues · pub / frama-c

New issue

Frama-c crash with Cil.SizeOfError sizeof(void)

#2551 · opened Apr 20, 2021 by Karine EM eva kernel
- 1
updated Apr 20, 2021
Frama-c crash with z.Overflow error

#2550 · opened Apr 06, 2021 by Karine EM kernel
- 2
updated Apr 06, 2021
Undefined behavior in pointer arithmetic 2 of 3 tasks completed

#2549 · opened Apr 02, 2021 by Ricardo M. Correia
- 2
updated Apr 02, 2021
Error: Unbound value Why3.Whyconf.load_default_config_if_needed 1 of 3 tasks completed

#2548 · opened 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 · opened Mar 26, 2021 by Qix wp
- 10
updated Mar 31, 2021
Problems with a simplest Arduino program, that contain only "Arduino.h" include.

#2546 · opened Feb 23, 2021 by varosi frama-clang libc
- 1
updated Mar 05, 2021
An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows 3 of 3 tasks completed

#54 · opened Jan 29, 2021 by varosi eva wp
- 3
updated Mar 29, 2021
Documentation for Report plug-in is not correct 3 of 3 tasks completed

#53 · opened Jan 29, 2021 by varosi documentation report
- 2
updated Mar 29, 2021
Unexpected behavior when using shift and multiplication

#51 · opened Jan 07, 2021 by BaptistePollien
- CLOSED
- 8
updated Feb 22, 2021
[Why3 Error] Type mismatch between ieee float.Float32.t and real

#50 · opened Jan 06, 2021 by BaptistePollien
- CLOSED
- 1
- 3
updated Jan 07, 2021
select()'s contract assigns {read,write,error}fds arguments even if they are NULL pointers

#48 · opened Dec 11, 2020 by fx-carton
- CLOSED
- 1
- 5
updated Feb 22, 2021
Why3 configuration for Frama-C

#47 · opened Dec 11, 2020 by Allan Blanchard wp
- 0
updated Mar 31, 2021
Question: Dump why3 file generated by frama-c

#46 · opened Dec 06, 2020 by Leo Viezens wp
- 2
updated Mar 29, 2021
Crash on subdivided evaluation by inout for an unsatisfiable guard 3 of 3 tasks completed

#45 · opened Dec 04, 2020 by Karine EM eva
- CLOSED
- 1
- 2
updated Feb 22, 2021
Frama-C 22 beta also runs on macOS 11.0.1 Beta ("Big Sur")

#43 · opened Nov 06, 2020 by Jens Gerlach
- CLOSED
- 1
- 19
updated Apr 15, 2021
Z3 and CVC4 working for Frama-C 22 (Titanium) beta after some initial problems 3 of 3 tasks completed

#41 · opened Nov 01, 2020 by Jens Gerlach wp
- CLOSED
- 1
- 28
updated Apr 13, 2021
installing Frama-C 22 beta on Ubuntu 20.04 fails 3 of 3 tasks completed

#40 · opened Oct 29, 2020 by Jens Gerlach
- CLOSED
- 1
- 13
updated Apr 13, 2021
non-compilable slice produced by frama-c

#36 · opened Oct 23, 2020 by Ivan Postolski bug confirmed slicing
- 2
updated Nov 18, 2020
Frama-C --version lacks \n

#35 · opened Oct 15, 2020 by libguestfs
- 1
updated Oct 15, 2020
Frama-C should exit with non-zero if proving failed

#34 · opened Oct 15, 2020 by libguestfs
- CLOSED
- 3
updated Oct 15, 2020