Issues · pub / frama-c · GitLab

"logic set<struct something *> f(...)" throw a syntax error

#2495 · created May 25, 2009 by François Bobot bug kernel
- CLOSED
- 3
updated Feb 22, 2021
Order of the functions in gui

#2496 · created Jun 18, 2009 by mantis-gitlab-migration bug gui
- CLOSED
- 8
updated Feb 22, 2021
int -> integer -> real

#2506 · created Jun 05, 2009 by Sylvie Boldo bug kernel
- CLOSED
- 1
updated Feb 22, 2021
Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present.

#2508 · created Jun 02, 2009 by mantis-gitlab-migration critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Jessie: static function specification

#2509 · created May 27, 2009 by Dillon Pariente bug kernel
- CLOSED
- 4
updated Feb 22, 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
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
frama-c --help

#2519 · created Apr 24, 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
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
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
Lithium fool the tool

#2525 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 2
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
Make install removes files

#2532 · created Jun 05, 2009 by Sylvie Boldo bug kernel
- CLOSED
- 3
updated Feb 22, 2021
Why error with logic functions returning a pointer

#2533 · created May 20, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 2
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
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
Unable to verify pointer dereferencing

#2537 · created Jun 09, 2009 by mantis-gitlab-migration 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
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
Jessie crashes on simple program without annotations

#2543 · created Apr 07, 2009 by Virgile Prevosto bug jessie
- CLOSED
- 1
updated Apr 15, 2021
"Unknown Error" with Alt-Ergo 3 of 3 tasks completed

#2547 · created Mar 26, 2021 by Qix wp
- CLOSED
- 11
updated Jun 01, 2021
Error: Unbound value Why3.Whyconf.load_default_config_if_needed 1 of 3 tasks completed

#2548 · created Mar 30, 2021 by Qix confirmed wp
- CLOSED
- 1
- 3
updated Apr 13, 2021
Frama-c crash with z.Overflow error

#2550 · created Apr 06, 2021 by Karine EM kernel
- CLOSED
- 5
updated Oct 13, 2021
Frama-c crash with Cil.SizeOfError sizeof(void)

#2551 · created Apr 20, 2021 by Karine EM eva kernel
- CLOSED
- 5
updated Apr 30, 2021
Error when using docker file with Singularity

#2554 · created May 13, 2021 by thuynt_57
- CLOSED
- 8
updated Sep 03, 2021
Crash in abstract_interp with an unexpected error when the input program has a syntax error.

#2555 · created May 17, 2021 by Karine EM eva parsing
- CLOSED
- 2
updated May 21, 2021
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
[frama-clang] Cannot parse built-in function __underlying_type()

#2558 · created May 26, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 5
updated Jul 14, 2021
No support for complex numbers via the keyword _Complex

#2559 · created May 28, 2021 by Karine EM kernel parsing
- CLOSED
- 4
updated Apr 27, 2022
[frama-clang] Cannot parse C++14 generic lambda

#2561 · created Jun 08, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 1
updated Apr 14, 2022
Frama-C crashed with an unexpected error Abstract_interp.Error_Bottom

#2563 · created Jun 09, 2021 by Karine EM eva
- CLOSED
- 4
updated Jun 10, 2021
[frama-clang] std::forward with non-primitive type causes NON TERMINATING

#2564 · created Jun 21, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 4
updated Apr 22, 2022
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] Frama-C Vanadium crashes when calling RTE through WP on complicated or abstract structures

#2566 · created Jul 07, 2021 by Yani ZIANI
- CLOSED
- 8
updated Jul 20, 2021
struct fields not assignable if any are const

#2571 · created Aug 27, 2021 by Aaron Carroll
- CLOSED
- 1
- 1
- 1
updated Aug 31, 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
[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
Eva plugin crashed with program calling memset

#2576 · created Oct 05, 2021 by Karine EM eva
- CLOSED
- 3
updated Dec 03, 2021
[EVA] Question about \tainted

#2577 · created Oct 07, 2021 by Alix Trieu eva
- CLOSED
- 6
updated Feb 15, 2022
Parsing a file with including some bits of the STL

#2579 · created Oct 20, 2021 by Harshit Singhal
- CLOSED
- 1
updated Oct 20, 2021
Problem in _CoqProject generation

#2581 · created Oct 24, 2021 by Kailiang Ji
- CLOSED
- 1
- 1
updated Jan 25, 2022
Stack overflow with WP in MemTyped.Layout.compare_slot

#2583 · created Oct 26, 2021 by GuerricChupin
- CLOSED
- 2
updated Nov 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
** (frama-c-gui:11256): CRITICAL **

#2586 · created Dec 05, 2021 by ankit247 gui
- CLOSED
- 3
updated Dec 14, 2021
Crash on Startup of frama-c-gui on WSL

#2587 · created Dec 14, 2021 by moemode gui
- CLOSED
- 6
updated Jan 18, 2022
Frama-c crashes with "src/kernel_services/abstract_interp/ival.ml", line 444, characters 31-37: Assertion failed

#2588 · created Dec 17, 2021 by Karine EM
- CLOSED
- 1
updated Jan 24, 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
Frama-c crash with Unexpected error (Invalid_argument("Array.make"))

#2590 · created Jan 10, 2022 by Karine EM
- CLOSED
- 5
updated Feb 09, 2022
Unsafe uses of Obj in Unmarshal

#2594 · created Jan 25, 2022 by Vincent Laviron 25 (Manganese)
- CLOSED
- 2
updated May 30, 2022
install error

#2598 · created Mar 15, 2022 by JaeD-Shin
- CLOSED
- 2
updated Mar 15, 2022
Problem with dependencies: Alt-Ergo set to 1.01

#2599 · created Mar 15, 2022 by JaeD-Shin
- CLOSED
- 1
- 4
updated May 11, 2022
[WP] [RTE] Unable to verify valid memory access in array using bitwise-ANDed index when array is function parameter

#2601 · created Mar 15, 2022 by Costava confirmed enhancement wp
- CLOSED
- 3
updated May 30, 2022
[findlib] package 'why3' not found

#2602 · created Mar 16, 2022 by JaeD-Shin
- CLOSED
- 9
updated Mar 17, 2022
package 'why3' error

#2603 · created Mar 17, 2022 by JaeD-Shin
- CLOSED
- 1
updated Mar 17, 2022
e-acsl-gcc.sh segmentation fault

#2604 · created Mar 20, 2022 by JaeD-Shin e-acsl
- CLOSED
- 0
updated May 12, 2022
Segmentation fault of e-acsl(feat.E-acsl user manual)

#2605 · created Mar 25, 2022 by JaeD-Shin
- CLOSED
- 1
updated May 12, 2022
How to downgrade Frama-C

#2606 · created Mar 25, 2022 by JaeD-Shin
- CLOSED
- 0
updated Mar 25, 2022
[WP] Fails to verify loop invariant of type-independent pattern-fill function only when type of array elements is floating point

#2608 · created Apr 08, 2022 by Costava
- CLOSED
- 2
updated May 30, 2022
Unexpected error (File "src/plugins/value/engine/evaluation.ml", line 1176, characters 14-20: Assertion failed)

#2610 · created May 10, 2022 by Karine EM eva
- CLOSED
- 2
updated Jun 10, 2022
Frama-c instal

#2611 · created May 11, 2022 by JaeD-Shin
- CLOSED
- 2
updated May 12, 2022
e-acsl-gcc.sh syntax error

#2612 · created May 12, 2022 by JaeD-Shin
- CLOSED
- 1
updated May 29, 2022
Asking the UI to evaluate an invalid ACSL term makes the UI crash

#2614 · created Jun 01, 2022 by AlexCid
- CLOSED
- 1
updated Jun 10, 2022
[Feature Request] Add original src line number in WP proof obligation files.

#2618 · created Jun 23, 2022 by stephengaito
- CLOSED
- 5
updated Jun 24, 2022

Prev
1
…
9
10
11
12
13
Next