Issues · pub / frama-c · GitLab

Command "Show callgraph" fails.

#312 · created Jan 12, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
opam installation of frama-c-base fails

#311 · created Nov 07, 2017 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
syntax error before loop contract reported after loop contract

#310 · created May 08, 2017 by Jochen Burghardt bug kernel
- CLOSED
- 2
updated Feb 22, 2021
E-ACSL generates functions definitions without argument-names

#309 · created May 29, 2017 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 1
updated Feb 22, 2021
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
"pointer comparison" warning emitted for "p==NULL"

#298 · created Nov 11, 2016 by Jochen Burghardt bug eva
- 4
updated Feb 22, 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
Option "-lib-entry" results misses possible values of function pointers

#296 · created Nov 07, 2016 by Jochen Burghardt bug eva
- 1
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
How to use the "Callers ..." context menu item

#290 · created May 27, 2013 by mantis-gitlab-migration confirmed enhancement gui
- 2
updated Feb 22, 2021
std::bad_alloc not supported

#289 · created Jan 18, 2018 by Jens Gerlach bug confirmed frama-clang
- 2
updated Feb 22, 2021
range based for loop from C++11 not supported

#288 · created Jan 19, 2018 by Jens Gerlach bug frama-clang
- 0
updated Feb 22, 2021

Prev
1
…
60
61
62
63
64
65
66
67
68
…
74
Next