Issues · pub / frama-c · GitLab

Missing cast in code generated by RTE

#181 · created Dec 17, 2018 by Julien Signoles bug confirmed rte
- CLOSED
- 1
updated Apr 20, 2021
E-ACSL crash with RTE generated assertion with booleans

#180 · created Dec 03, 2018 by mantis-gitlab-migration confirmed critical e-acsl
- CLOSED
- 11
updated Apr 20, 2021
Frama-C/Jessie: memory set problem

#2445 · created Apr 07, 2009 by Virgile Prevosto bug confirmed jessie
- CLOSED
- 2
updated Apr 15, 2021
Frama-C/Jessie: typing error

#2456 · created Apr 07, 2009 by Virgile Prevosto bug confirmed jessie
- CLOSED
- 1
updated Apr 15, 2021
Jessie: struct field's validity

#2357 · created May 27, 2009 by Dillon Pariente bug confirmed jessie
- CLOSED
- 2
updated Apr 15, 2021
type error in generated why file

#2494 · created Jul 09, 2009 by Fabrice Derepas bug confirmed jessie
- CLOSED
- 2
updated Apr 15, 2021
assigns nothing ?

#2339 · created Oct 26, 2010 by mantis-gitlab-migration bug confirmed jessie
- CLOSED
- 3
updated Apr 15, 2021
zombie processes (again)

#526 · created Feb 01, 2016 by Jens Gerlach bug confirmed wp
- CLOSED
- 5
updated Apr 15, 2021
translation to why3 of int* argument to logic function

#371 · created Feb 02, 2017 by Jochen Burghardt bug confirmed wp
- CLOSED
- 6
updated Apr 15, 2021
insufficient precoditions given to Alt-Ergo to prove validity of memory access for user-defined "->" operator

#878 · created Dec 11, 2014 by Jochen Burghardt bug confirmed wp
- CLOSED
- 3
updated Apr 15, 2021
Error: Unbound value Why3.Whyconf.load_default_config_if_needed 1 of 3 tasks completed

#2548 · created Mar 30, 2021 by Qix confirmed wp
- CLOSED
- 1
- 3
updated Apr 13, 2021
invalid links to "ACSL by Example"

#163 · created Jun 08, 2019 by Jens Gerlach confirmed website
- CLOSED
- 2
updated Mar 30, 2021
float constant in contract causes crash

#636 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 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
function called in initialization of a static/global variable

#808 · created Apr 01, 2014 by Franck Vedrine bug confirmed frama-clang
- CLOSED
- 1
updated Mar 29, 2021
parsing of hex int constant swallows following semicolon

#858 · created Nov 24, 2014 by Jochen Burghardt bug confirmed frama-clang
- CLOSED
- 1
updated Mar 29, 2021
namespace prefix in annotation causes segmentation fault

#862 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 1
updated Mar 29, 2021
throw/catch of struct causes crash

#886 · created Nov 10, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 2021
struct type inside 'extern "C"' causes crash, except as lhs of typedef

#891 · created Nov 13, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 2021
access to nested union/struct component causes crash

#893 · created Jun 06, 2014 by Jochen Burghardt confirmed critical kernel
- CLOSED
- 2
updated Mar 29, 2021