Issues · pub / frama-c · GitLab

Value.cmo needs LoopAnalysis.cmo

#321 · created Aug 11, 2017 by mantis-gitlab-migration bug eva
- CLOSED
- 3
updated Feb 22, 2021
Spelling errors

#320 · created Aug 11, 2017 by mantis-gitlab-migration bug documentation
- CLOSED
- 2
updated Feb 22, 2021
Make it build on bytecode architectures

#319 · created Aug 11, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 2
updated Feb 22, 2021
Duplicates are created on the tab "Messages"

#318 · created Feb 03, 2017 by mantis-gitlab-migration enhancement gui
- 3
updated Feb 22, 2021
Parser does not handle mixed concatenations of wide and non-wide strings

#315 · created Aug 07, 2013 by Pascal Cuoq enhancement kernel
- CLOSED
- 3
updated Feb 22, 2021
File frama-c/libc/features.h should include definition of the macro __GNUC_PREREQ from file /usr/include/features.h

#314 · created Oct 17, 2016 by Jochen Burghardt bug libc
- CLOSED
- 4
updated Apr 01, 2021
compilation fails on i386 with gcc-7

#313 · created Sep 08, 2017 by Ralf Treinen critical e-acsl
- CLOSED
- 5
updated Feb 22, 2021
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

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