Issues · pub / frama-c · GitLab

Cint64 user constants have no textual representation

#1683 · created May 28, 2010 by Armand Puccetti bug kernel
- CLOSED
- 2
updated Feb 22, 2021
class expression causes abort in presence of user-defined destructor

#659 · created Dec 01, 2014 by Jochen Burghardt bug confirmed frama-clang
- CLOSED
- 1
updated Mar 29, 2021
clause labels not accepted by cxx plugin

#874 · created Dec 01, 2014 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 1
updated Feb 22, 2021
clause "n<9-1" normalized to "n-1<9"

#1016 · created Jun 16, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
cmdline.ml assertion error at line 88

#1565 · created Jun 05, 2009 by Armand Puccetti bug kernel
- CLOSED
- 2
updated Feb 22, 2021
code annotation placed above a local declaration are not correctly handled

#1362 · created Nov 04, 2011 by Virgile Prevosto ACSL bug kernel
- CLOSED
- 2
updated Feb 22, 2021
Code containing consts should be verifiable

#2366 · created May 18, 2010 by mantis-gitlab-migration enhancement jessie
- CLOSED
- 1
updated Apr 15, 2021
code normalisation issue when return variable is named __retres

#1551 · created Apr 23, 2009 by David Delmas bug kernel
- CLOSED
- 1
updated Feb 22, 2021
Command line arguments (argc/argv) are not marked as valid

#974 · created Jul 11, 2014 by Arvid Jakobsson bug e-acsl
- CLOSED
- 3
updated Feb 22, 2021
Command "Show callgraph" fails.

#312 · created Jan 12, 2017 by mantis-gitlab-migration bug gui
- CLOSED
- 5
updated Feb 22, 2021
Comments parsing

#1246 · created Oct 25, 2010 by Victoria Moya Lamiel bug kernel
- CLOSED
- 2
updated Feb 22, 2021
Comments parsing not always work

#1284 · created Jan 27, 2011 by mantis-gitlab-migration ACSL bug kernel
- CLOSED
- 3
updated Feb 22, 2021
Comparing a function pointer will NULL might raise incorrect warning

#1694 · created May 07, 2010 by Boris Yakobowski bug eva
- CLOSED
- 3
updated Feb 22, 2021
Comparison of different types in acsl clause causes segmentation fault

#837 · created Jul 30, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
comparison of structures not implemented

#1909 · created Apr 16, 2012 by mantis-gitlab-migration enhancement jessie
- CLOSED
- 6
updated Apr 15, 2021
compatibility between \null in ACSL and NULL in C in wp

#777 · created Feb 17, 2014 by mantis-gitlab-migration bug wp
- CLOSED
- 1
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
Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present.

#2508 · created Jun 02, 2009 by mantis-gitlab-migration critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Compilation fails after E-ACSL plugin with -g option

#13 · created Jun 10, 2020 by Nikolai Kosmatov
- CLOSED
- 2
updated Feb 22, 2021
compilation fails on i386 with gcc-7

#313 · created Sep 08, 2017 by Ralf Treinen critical e-acsl
- CLOSED
- 5
updated Feb 22, 2021

Prev
1
…
5
6
7
8
9
10
11
12
13
…
64
Next