Issues · pub / frama-c · GitLab

axiom "addr_le_def" given to Alt-Ergo considered too weak

#907 · created Jan 12, 2015 by Jochen Burghardt bug wp
- 7
updated Aug 05, 2021
"assigns" in statement contract causes abort or crash

#273 · created Feb 12, 2018 by Jochen Burghardt critical frama-clang
- 0
updated Feb 22, 2021
Any number of ";" should be allowed in specifications

#2240 · created Feb 10, 2011 by mantis-gitlab-migration ACSL enhancement kernel
- 0
updated Feb 22, 2021
An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows 3 of 3 tasks completed

#54 · created Jan 29, 2021 by varosi eva wp
- 3
updated Mar 29, 2021
ambiguity with consecutive comparison and ternary expressions

#575 · created Dec 05, 2015 by David Cok ACSL bug kernel
- 1
updated Feb 22, 2021
Alt-Ergo reports about " bool and int cannot be unified"

#280 · created Feb 05, 2018 by Jens Gerlach bug frama-clang
- 1
updated Feb 22, 2021
ACSL typing fails when performing unification of type variables

#590 · created Sep 24, 2015 by Patrick Baudin ACSL bug kernel
- 0
updated Mar 29, 2021
ACSL comment rejected in function template

#896 · created Jan 12, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
access to static struct fields unsupported in annotation

#638 · created May 07, 2015 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021

Prev
1
…
7
8
9
10
11
Next