Issues · pub / frama-c · GitLab

Crash on Startup of frama-c-gui on WSL

#2587 · created Dec 14, 2021 by moemode gui
- CLOSED
- 6
updated Jan 18, 2022
Unexpected error "Z.shift_left" with invalid_argument with -eva option when the code had syntax errors

#2556 · created May 18, 2021 by arindam-8
- CLOSED
- 5
updated Jan 11, 2022
[WP] Failure to verify range information after bitwise and on signed integers

#2589 · created Jan 03, 2022 by GuerricChupin wp
- CLOSED
- 4
updated Jan 11, 2022
suggest to provide a command-line option for checking if every loop or recursion has a termination measuring function attached

#951 · created Nov 27, 2014 by Jochen Burghardt enhancement kernel wp
- CLOSED
- 2
updated Jan 10, 2022
loop invariant as hypothesis

#1821 · created Jan 20, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 1
- 3
updated Jan 05, 2022
** (frama-c-gui:11256): CRITICAL **

#2586 · created Dec 05, 2021 by ankit247 gui
- CLOSED
- 3
updated Dec 14, 2021
Eva plugin crashed with program calling memset

#2576 · created Oct 05, 2021 by Karine EM eva
- CLOSED
- 3
updated Dec 03, 2021
[WP] Correction of loop-based copy function not prooved if using 32-bit integer sizes

#2584 · created Oct 29, 2021 by AlexCid
- CLOSED
- 5
updated Nov 23, 2021
Stack overflow with WP in MemTyped.Layout.compare_slot

#2583 · created Oct 26, 2021 by GuerricChupin
- CLOSED
- 2
updated Nov 03, 2021
[WP] Lange Projekt course Stack Overflow in WP Plugin since 23.0

#2572 · created Sep 10, 2021 by Andreas Werner
- CLOSED
- 1
- 5
updated Oct 27, 2021
Frama-c fails parsing gcc/llvm single source test case with typedef depended on function's parameter

#2574 · created Sep 15, 2021 by Karine EM parsing
- CLOSED
- 3
updated Oct 20, 2021
No support for complex numbers via the keyword _Complex

#2559 · created May 28, 2021 by Karine EM kernel parsing
- CLOSED
- 3
updated Oct 20, 2021
Parsing a file with including some bits of the STL

#2579 · created Oct 20, 2021 by Harshit Singhal
- CLOSED
- 1
updated Oct 20, 2021
Frama-c crash with z.Overflow error

#2550 · created Apr 06, 2021 by Karine EM kernel
- CLOSED
- 5
updated Oct 13, 2021
[EVA] Question about \tainted

#2577 · created Oct 07, 2021 by Alix Trieu eva
- CLOSED
- 2
updated Oct 08, 2021
Arch Linux package uninstallable due to dependency that no longer exists 2 of 3 tasks completed

#2565 · created Jul 04, 2021 by Olivier Nicole
- CLOSED
- 1
updated Oct 06, 2021
[WP] Soundness issue when handling a pointer on a structure containing an array.

#2575 · created Sep 20, 2021 by AlexCid feedback-needed wp
- CLOSED
- 1
- 6
updated Oct 06, 2021
Shape of VC depends on selection of properties

#125 · created Oct 08, 2018 by Jens Gerlach bug wp
- CLOSED
- 4
updated Sep 21, 2021
Develop strategies to efficiently run WP with different ATP and Coq

#1145 · created Mar 14, 2014 by Jens Gerlach enhancement wp
- CLOSED
- 0
updated Sep 21, 2021
poor errors message texts for Hoare memory model checks

#334 · created Jun 15, 2017 by Jochen Burghardt wp
- CLOSED
- 1
updated Sep 21, 2021

Prev
1
2
3
4
5
…
63
Next