Issues · pub / frama-c · GitLab

frama-c always crashes when I install new plugins

#2142 · created Feb 28, 2011 by mantis-gitlab-migration critical kernel
- CLOSED
- 1
updated Feb 22, 2021
crash bug in r11859

#2139 · created Feb 12, 2011 by John Regher critical eva
- CLOSED
- 1
updated Feb 22, 2021
size of long array can't be represented with OCaml int

#2131 · created Jun 28, 2010 by Jochen Burghardt critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Passing multi-dimensional arrays via reference fails

#2071 · created Feb 13, 2012 by mantis-gitlab-migration critical jessie
- CLOSED
- 1
updated Apr 15, 2021
WP 0.5 crashes with an Unbound label parameter 'Here'

#2039 · created Jan 11, 2012 by Mounir Assaf critical wp
- CLOSED
- 1
updated Feb 22, 2021
Unexpected exception in block_length

#2038 · created Dec 09, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 2
updated Apr 15, 2021
two axioms with same name cause crash

#2019 · created Jul 16, 2012 by Jochen Burghardt critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Upgrading WP causes crash in Jessie

#2018 · created Jul 02, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 3
updated Feb 22, 2021
Crash when casting something to type void

#1984 · created Nov 10, 2011 by Boris Yakobowski critical kernel
- CLOSED
- 7
updated Feb 22, 2021
defining two axioms with same name causes kernel crash

#1978 · created Oct 28, 2011 by Jochen Burghardt critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Incorrect cil merging in presence of ACSL annotations

#1971 · created Jan 17, 2011 by Boris Yakobowski critical kernel
- CLOSED
- 2
updated Feb 22, 2021
\separated

#1962 · created Jan 21, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 3
updated Apr 15, 2021
Multiple branches to a label/loop entries crashes wp

#1960 · created Oct 13, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 15, 2021
[wp] failure: not an integer (Blob)

#1925 · created Dec 15, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 2021
Frama-C aborted because of internal error.

#1919 · created Dec 23, 2012 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Crash with Invalid argument for Frama_C_alloc_size function

#1891 · created Nov 14, 2012 by mantis-gitlab-migration critical eva
- CLOSED
- 1
updated Feb 22, 2021
proc name in assigns clause causes crash

#1889 · created Nov 01, 2012 by Jochen Burghardt critical wp
- CLOSED
- 1
updated Feb 22, 2021
[kernel] failure: Cannot find file libc/__fc_builtin_for_normalization.i

#1850 · created May 29, 2013 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
"src/project/project.ml", line 678 Assertion failed

#1836 · created Jul 29, 2013 by mantis-gitlab-migration critical gui
- CLOSED
- 1
updated Feb 22, 2021
unexpected stack overflow in value analysis

#1835 · created Feb 25, 2013 by Jochen Burghardt critical eva
- CLOSED
- 14
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
…
10
Next