Issues · pub / frama-c · GitLab

E-ACSL: compilation fail: generated functions doesn't have static inline attributes

#308 · created May 29, 2017 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 1
updated Feb 22, 2021
predicate overloading causes crash when multiple files are given to wp

#307 · created Jul 30, 2015 by Jochen Burghardt ACSL critical kernel
- CLOSED
- 5
updated Feb 22, 2021
repeated predicate definitions in separate file cause crash

#306 · created Jul 31, 2017 by Jochen Burghardt critical kernel
- CLOSED
- 4
updated Feb 22, 2021
the return statement of a called function was wrongly removed

#305 · created May 23, 2017 by mantis-gitlab-migration bug slicing
- CLOSED
- 1
updated Feb 22, 2021
Support for struct containing flexible array members

#303 · created May 29, 2017 by mantis-gitlab-migration bug kernel
- CLOSED
- 3
updated Mar 23, 2021
Substraction results in unknown values

#301 · created Sep 17, 2015 by mantis-gitlab-migration bug eva
- CLOSED
- 9
updated Mar 26, 2021
suggest to provide and document a unique warning string to grep for in value-analysis output files

#297 · created Nov 28, 2016 by Jochen Burghardt eva
- CLOSED
- 4
updated Feb 22, 2021
Should warn for overlapping lv=lv; assignments

#295 · created Sep 01, 2011 by Pascal Cuoq bug eva
- CLOSED
- 5
updated Mar 29, 2021
opam upgrade/update failed to update frama-c

#294 · created Dec 07, 2017 by mantis-gitlab-migration bug kernel
- CLOSED
- 3
updated Feb 22, 2021
Incorrect overflow and cast assertions for bitfields

#293 · created Jun 26, 2017 by Kostyantyn Vorobyov bug rte
- CLOSED
- 3
updated Feb 22, 2021
Incorrect dependency assignment using arraay inside for loop

#291 · created Jan 11, 2018 by mantis-gitlab-migration bug from
- CLOSED
- 2
updated Feb 22, 2021
BTS does not allow do select "Frama-C 16 Sulfur" as "Product Version"

#284 · created Jan 18, 2018 by Jens Gerlach bug documentation
- CLOSED
- 1
updated Feb 22, 2021
no diagnostics on wrong keyword

#282 · created Jan 31, 2018 by Jens Gerlach bug frama-clang
- CLOSED
- 2
updated Mar 30, 2021
kernel warns about invalid implicit conversion

#279 · created Jan 31, 2018 by Jens Gerlach bug frama-clang
- CLOSED
- 3
updated Mar 30, 2021
predicate argument type "struct S" accepted by Frama-C, but not by Frama-clang

#278 · created Feb 08, 2018 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 1
updated Mar 30, 2021
loop assigns clause ginored under strange circumstances

#268 · created Feb 12, 2018 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Mar 30, 2021
C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}'

#267 · created Feb 12, 2018 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Mar 30, 2021
frama-c/jessie crashes with Unexpected error (Cil.SizeOfError("Undefined sizeof on a function.", _)).

#263 · created May 29, 2018 by mantis-gitlab-migration critical jessie
- CLOSED
- 1
updated Apr 20, 2021
Strange difference in generated Coq code between Chlorine and Sulfur

#262 · created May 09, 2018 by Jens Gerlach critical wp
- CLOSED
- 9
updated Feb 22, 2021
WP: internal error: only the kernel should set the status of property assumes

#261 · created Jul 04, 2018 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Feb 22, 2021

Prev
1
…
53
54
55
56
57
58
59
60
61
…
64
Next