Issues · pub / frama-c · GitLab

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

#2551 · opened Apr 20, 2021 by Karine EM eva kernel
- 1
updated Apr 20, 2021
WP crash when type casting in lemma

#1023 · opened Jun 06, 2014 by mantis-gitlab-migration critical wp
- 1
- 0
updated Apr 15, 2021
Logic with read clauses can have their values invalidated by writes to separated memory locations

#410 · opened Aug 08, 2016 by mantis-gitlab-migration bug wp
- 0
updated Apr 15, 2021
validity of obligation from statement contract depends on whether the statement is enclosed in block {}

#625 · opened Jun 01, 2015 by Jochen Burghardt bug wp
- 2
updated Apr 15, 2021
Post-state of statement spec

#1912 · opened Mar 25, 2011 by mantis-gitlab-migration bug wp
- 5
updated Apr 15, 2021
wp: the example from Getting Started guide doesn't work (all goals are Unknown)

#389 · opened Dec 14, 2016 by mantis-gitlab-migration enhancement parsing
- 13
updated Apr 15, 2021
Make find(1) command POSIX-compliant

#513 · opened Apr 09, 2016 by mantis-gitlab-migration bug wp
- 0
updated Apr 15, 2021
Generate footprint from reads clauses of logic declarations

#1146 · opened Mar 13, 2014 by Jens Gerlach enhancement wp
- 0
updated Apr 14, 2021
Expose ACSL annotations through host language pragmas

#264 · opened Mar 08, 2018 by mantis-gitlab-migration ACSL enhancement kernel
- 0
updated Apr 14, 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
"Unknown Error" with Alt-Ergo 3 of 3 tasks completed

#2547 · opened Mar 26, 2021 by Qix wp
- 10
updated Mar 31, 2021
Why3 configuration for Frama-C

#47 · opened Dec 11, 2020 by Allan Blanchard wp
- 0
updated Mar 31, 2021
missing E-ACSL code, control flow graph, function pointer

#182 · opened Dec 11, 2018 by mantis-gitlab-migration bug e-acsl
- 3
updated Mar 30, 2021
missing E-ACSL code when ignoring asm annotation

#183 · opened Dec 05, 2018 by mantis-gitlab-migration bug confirmed e-acsl
- 2
updated Mar 30, 2021
Failure to record global variable with initialiser

#174 · opened Dec 04, 2015 by Kostyantyn Vorobyov bug e-acsl
- 0
updated Mar 30, 2021
insufficient contracts for generated constructors and assignment operator(s)

#276 · opened Feb 07, 2018 by Jens Gerlach confirmed enhancement frama-clang
- 2
updated Mar 30, 2021
Frama-clang reports overloading ambiguity where Frama-C doesn't

#270 · opened Feb 12, 2018 by Jochen Burghardt enhancement frama-clang
- 0
updated Mar 30, 2021
Nested VLA are not supported

#581 · opened Mar 25, 2014 by Pascal Cuoq enhancement kernel
- 0
updated Mar 29, 2021
ACSL typing fails when performing unification of type variables

#590 · opened Sep 24, 2015 by Patrick Baudin ACSL bug kernel
- 0
updated Mar 29, 2021

Prev
1
2
3
4
5
…
11
Next