Issues · pub / frama-c · GitLab

Compilation crash if ocamllex.opt not installed

#1488 · created Mar 28, 2013 by Sylvie Boldo critical kernel
- CLOSED
- 5
updated Feb 22, 2021
non-constant size of 2-dim array leads to crash (some similarities to issue #852)

#1481 · created Jun 07, 2011 by mantis-gitlab-migration critical eva
- CLOSED
- 7
updated Feb 22, 2021
no hook table for parameter -plevel

#1456 · created Oct 23, 2012 by mantis-gitlab-migration critical kernel
- CLOSED
- 3
updated Feb 22, 2021
[Visitor] Cil.JustCopy does not work on functions with contracts

#1454 · created Oct 16, 2012 by Julien Signoles critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Frama-c fails when Starting Jessie Translation

#1388 · created Dec 21, 2011 by mantis-gitlab-migration ACSL critical kernel
- CLOSED
- 3
updated Feb 22, 2021
incompatible types for a correct spec

#1386 · created Nov 25, 2011 by Julien Signoles ACSL critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Using Filter without Value

#1382 · created Mar 02, 2012 by mantis-gitlab-migration critical kernel
- CLOSED
- 7
updated Feb 22, 2021
unrolling labeled loops

#1372 · created Apr 02, 2012 by Patrick Baudin critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Crash with multiple incompatible declarations

#1357 · created Oct 19, 2011 by Pascal Cuoq critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Crash when parsing an incorrect program with pointer to arrays

#1355 · created Feb 18, 2012 by Boris Yakobowski critical kernel
- CLOSED
- 6
updated Feb 22, 2021
failure: bad initialisation: Too many initializations of the AST

#1349 · created Sep 09, 2011 by Patrick Baudin critical metrics
- CLOSED
- 3
updated Feb 22, 2021
Cil wrongly authorizes references to local variables in static arrays

#1330 · created Jul 26, 2011 by Boris Yakobowski critical kernel
- CLOSED
- 2
updated Feb 22, 2021
incorrect AST generated

#1329 · created Aug 04, 2011 by Pascal Cuoq critical kernel
- CLOSED
- 3
updated Feb 22, 2021
File "src/memory_state/lmap.ml", line 931, characters 22-28: Assertion failed

#1320 · created Jul 25, 2011 by Benjamin Monate critical eva
- CLOSED
- 2
updated Feb 22, 2021
Crash du builtin memcpy, par une exception non rattrapable

#1313 · created Jul 07, 2011 by Boris Yakobowski critical eva
- CLOSED
- 3
updated Feb 22, 2021
Cil generates incorrect switch (with missing cases)

#1311 · created Jul 06, 2011 by Boris Yakobowski critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Incorrect loop unrolling in presence of switch

#1303 · created Jun 09, 2011 by Boris Yakobowski critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Unexpected error (Ival.Float_abstract.Bottom)

#1258 · created Mar 11, 2011 by mantis-gitlab-migration critical eva
- CLOSED
- 2
updated Feb 22, 2021
Incorrect handling of nearly-empty switch clauses with -simplify-cfg

#1255 · created Feb 13, 2011 by Boris Yakobowski 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

Prev
1
2
3
4
5
6
7
8
9
10
Next