Issues · pub / frama-c · GitLab

Unexpected error (Failure("int_of_string")).

#2210 · created Feb 02, 2011 by John Regher critical wp
- CLOSED
- 2
updated Feb 22, 2021
Gui crash with a new global variable

#2245 · created Feb 01, 2011 by Victoria Moya Lamiel critical gui
- CLOSED
- 4
updated Feb 22, 2021
Error during plugin compilation

#2253 · created Jan 21, 2011 by mantis-gitlab-migration compilation critical
- CLOSED
- 6
updated Feb 22, 2021
untypable ACSL in a sliced program containing \at(p,label) when the label was removed

#1783 · created Jan 19, 2011 by Patrick Baudin critical slicing
- CLOSED
- 13
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
/usr/share/frama-c/libc/stdio.h:107:[jessie] failure: Unexpected exception.

#2252 · created Jan 11, 2011 by David Mentré critical jessie
- CLOSED
- 4
updated Apr 15, 2021
Unexpected error (Stack overflow) during WP

#2205 · created Jan 10, 2011 by Benjamin Monate critical wp
- CLOSED
- 4
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
Logging huge messages makes kernel crashing

#1202 · created Nov 10, 2010 by mantis-gitlab-migration critical kernel
- CLOSED
- 8
updated Feb 22, 2021
Selecting "occurrence" crashes Frama-C

#1715 · created Jul 28, 2010 by mantis-gitlab-migration critical occurrence
- CLOSED
- 2
updated Feb 22, 2021
Predicate Sorted causes crash (norm.ml:1524:10)

#2270 · created Jul 09, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 3
updated Apr 15, 2021
The procedure entry point freeaddrinfo could not be located in the dynamic link library WS2_32.dll

#2221 · created Jul 08, 2010 by mantis-gitlab-migration critical gui
- CLOSED
- 2
updated Feb 22, 2021
crash

#2271 · created Jul 07, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 5
updated Apr 15, 2021
struct-type expression in loop-assigns causes crash

#2272 · created Jun 28, 2010 by Jochen Burghardt critical jessie
- CLOSED
- 2
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
error in analyzing xen 4.0.0 code

#2325 · created Jun 19, 2010 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
Segmentation fault: plugin reading from Cil_types

#2368 · created May 17, 2010 by mantis-gitlab-migration critical kernel
- CLOSED
- 1
updated Feb 22, 2021
volatile annotation breaks type checker

#2370 · created May 12, 2010 by mantis-gitlab-migration critical jessie
- CLOSED
- 1
updated Apr 15, 2021
Jessie translation fails with double assignment

#2377 · created Apr 13, 2010 by Victoria Moya Lamiel critical jessie
- CLOSED
- 3
updated Apr 15, 2021
Crash when a 'break' occurs outside a proper statement

#1687 · created Apr 13, 2010 by Boris Yakobowski critical kernel
- CLOSED
- 1
updated Feb 22, 2021

Prev
1
…
4
5
6
7
8
9
10
Next