Issues · pub / frama-c

New issue

Cil does not correctly handle ACSL annotations with nested comments when called with -pp-annot

#2160 · created May 03, 2011 by Boris Yakobowski ACSL critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Value analysis crashes in lib-entry mode with peculiar context

#2158 · created May 11, 2011 by David Delmas critical eva
- CLOSED
- 1
updated Feb 22, 2021
r12925: Slicing: missing label (csmith)

#2157 · created Apr 18, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 2
updated Feb 22, 2021
wrong generation of assigns \nothing at function call

#2156 · created Apr 18, 2011 by Patrick Baudin bug rte
- CLOSED
- 1
updated Feb 22, 2021
r12951, slicing is slow

#2155 · created Apr 20, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 5
updated Feb 22, 2021
r12951, sliced program does not terminate

#2154 · created Apr 20, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 4
updated Feb 22, 2021
r13065, missing declaration for tmp variable in sliced program (csmith)

#2151 · created Apr 28, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 5
updated Feb 22, 2021
12825, sliced program does not terminate

#2150 · created Apr 12, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
initial value of structures

#2149 · created Apr 14, 2011 by Patrick Baudin bug wp
- CLOSED
- 2
updated Feb 22, 2021
Hypothesis missing about pointed datatypes

#2147 · created Apr 08, 2011 by Patrick Baudin bug wp
- CLOSED
- 0
updated Feb 22, 2021
Sparecode removes definitions which should be kept.

#2145 · created Mar 21, 2011 by mantis-gitlab-migration bug sparecode
- CLOSED
- 3
updated Feb 22, 2021
unsigned constants truncated (csmith)

#2144 · created Mar 23, 2011 by Pascal Cuoq bug kernel
- CLOSED
- 0
updated Feb 22, 2021
Impact analysis does not catch Pdg.Top (returned on variadic calls)

#2143 · created Mar 29, 2011 by Boris Yakobowski critical impact
- CLOSED
- 2
updated Feb 22, 2021
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
Use of Cabs2cil.fresh_global

#2137 · created Jan 20, 2011 by Boris Yakobowski bug eva
- CLOSED
- 7
updated Feb 22, 2021
alt-ergo version managment

#2134 · created Dec 16, 2010 by mantis-gitlab-migration bug wp
- CLOSED
- 1
updated Feb 22, 2021
Crash

#2133 · created Jan 17, 2011 by mantis-gitlab-migration bug jessie
- CLOSED
- 6
updated Apr 15, 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
bad default assigns generation

#2127 · created Sep 19, 2011 by mantis-gitlab-migration bug kernel
- CLOSED
- 4
updated Feb 22, 2021