Issues · pub / frama-c · GitLab

value analysis crashed after I the ast was modified in a new project

#1823 · created Dec 11, 2013 by mantis-gitlab-migration critical eva
- CLOSED
- 1
updated Feb 22, 2021
Assertion failure in Ival.scale_div

#1186 · created Dec 09, 2013 by Boris Yakobowski critical eva
- CLOSED
- 2
updated Feb 22, 2021
Field 'find' required but not provided in src/ai/abstract_interp.cmi

#1228 · created Nov 28, 2013 by mantis-gitlab-migration critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Multiple contracts merge twice resutling in Kernel error

#1224 · created Nov 27, 2013 by David Mentré critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Syntax error because of pause instruction in inline assebly

#1223 · created Nov 27, 2013 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
r24011: failure: Invalid combination of type specifiers

#1183 · created Oct 09, 2013 by Pascal Cuoq critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Value analysis: bad type conversion plus unassigned fields in a struct leads to crash

#1238 · created Sep 04, 2013 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
Frama-C Kernel on a specific C file (unexpected error, assertion failed)

#1179 · created Sep 03, 2013 by David Mentré critical kernel
- CLOSED
- 3
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
Crash when selecting the calls to an unterminating functions

#1210 · created Jun 13, 2013 by Julien Signoles critical slicing
- CLOSED
- 7
updated Feb 22, 2021
AST integrity check failure with kernel-debug

#1159 · created Jun 03, 2013 by Guillaume Petiot critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Stack overflow when computing a PDG

#1206 · created May 30, 2013 by Julien Signoles critical pdg
- 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
22446: unknown sizes of types and value initialization

#996 · created May 07, 2013 by Pascal Cuoq critical eva
- CLOSED
- 5
updated Feb 22, 2021
Compilation crash if ocamllex.opt not installed

#1488 · created Mar 28, 2013 by Sylvie Boldo critical kernel
- CLOSED
- 5
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
Frama-C aborted because of internal error.

#1919 · created Dec 23, 2012 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
[wp] failure: not an integer (Blob)

#1925 · created Dec 15, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 1
updated Apr 14, 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

Prev
1
2
3
4
5
6
7
8
9
Next