Issues · pub / frama-c · GitLab

E-ACSL type system crash

#346 · created Feb 24, 2017 by Kostyantyn Vorobyov critical e-acsl
- CLOSED
- 0
updated Feb 22, 2021
GMP typing issue

#343 · created Oct 14, 2016 by Kostyantyn Vorobyov bug e-acsl
- CLOSED
- 0
updated Feb 22, 2021
Incorrectness when early exiting a block

#338 · created Apr 07, 2014 by Julien Signoles bug e-acsl
- CLOSED
- 0
updated Feb 22, 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
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
e-acsl-gcc failes on macOS

#266 · created Feb 23, 2018 by Jens Gerlach bug e-acsl
- 8
updated Feb 22, 2021
Cannot compile variable length arrays

#253 · created Jul 15, 2014 by Arvid Jakobsson bug e-acsl
- CLOSED
- 6
updated Feb 22, 2021
E-ACSL: vla handling

#252 · created Jul 01, 2018 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 4
updated Feb 22, 2021
E-ACSL: proper bitfileds handling

#236 · created May 29, 2017 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 1
updated Feb 22, 2021
E-ACSL: internal error: raised at file "src/libraries/project/project.ml", line 402

#234 · created Jul 06, 2018 by mantis-gitlab-migration bug e-acsl
- CLOSED
- 4
updated Feb 22, 2021
Generate out-of-scope variable when using quantified variable in a \old

#231 · created Apr 25, 2014 by Julien Signoles bug e-acsl
- CLOSED
- 1
updated Feb 22, 2021
Plug-in crash with "Unregistered_library_function" error

#197 · created Dec 04, 2015 by Kostyantyn Vorobyov bug e-acsl
- CLOSED
- 5
updated Feb 22, 2021
missing E-ACSL code when ignoring asm annotation

#183 · created Dec 05, 2018 by mantis-gitlab-migration bug confirmed e-acsl
- 2
updated Mar 30, 2021
missing E-ACSL code, control flow graph, function pointer

#182 · created Dec 11, 2018 by mantis-gitlab-migration bug e-acsl
- 3
updated Mar 30, 2021
E-ACSL crash with RTE generated assertion with booleans

#180 · created Dec 03, 2018 by mantis-gitlab-migration confirmed critical e-acsl
- CLOSED
- 11
updated Apr 20, 2021
Can't use e-acsl on a dynamic library containing all the instrumentations

#179 · created Jan 22, 2019 by mantis-gitlab-migration confirmed critical e-acsl
- 2
updated Feb 22, 2021
Incorrect handling of \initialized when initialized struct is passed to a function by value

#177 · created Jun 13, 2017 by Kostyantyn Vorobyov bug e-acsl
- 0
updated Feb 22, 2021
Failure to record global variable with initialiser

#174 · created Dec 04, 2015 by Kostyantyn Vorobyov bug e-acsl
- 0
updated Mar 30, 2021
Failure to detect overflows into an allocated area within a struct

#172 · created Aug 24, 2017 by Kostyantyn Vorobyov bug e-acsl
- 1
updated Feb 22, 2021

Prev
1
2
3
Next