Issues · pub / frama-c · GitLab

non-compilable slice produced by frama-c

#36 · created Oct 23, 2020 by Ivan Postolski bug confirmed slicing
- 2
updated Nov 18, 2020
Syntax error in reorder_defs.ml after running make

#128 · created Oct 03, 2019 by mantis-gitlab-migration confirmed critical frama-clang
- 2
updated Feb 22, 2021
Can't use e-acsl on a dynamic library containing all the instrumentations

#179 · created Jan 22, 2019 by mantis-gitlab-migration confirmed critical e-acsl
- 2
updated Feb 22, 2021
missing E-ACSL code when ignoring asm annotation

#183 · created Dec 05, 2018 by mantis-gitlab-migration bug confirmed e-acsl
- 2
updated Mar 30, 2021
insufficient contracts for generated constructors and assignment operator(s)

#276 · created Feb 07, 2018 by Jens Gerlach confirmed enhancement frama-clang
- 2
updated Mar 30, 2021
warning from kernel about exceptions

#283 · created Jan 31, 2018 by Jens Gerlach confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
std::bad_alloc not supported

#289 · created Jan 18, 2018 by Jens Gerlach bug confirmed frama-clang
- 2
updated Feb 22, 2021
It is impossble to change log file without kinds of message changing.

#372 · created Jan 19, 2017 by mantis-gitlab-migration confirmed enhancement kernel
- 1
updated Feb 22, 2021
Redefintion of variables in same scope is allowed in annotations

#634 · created Jun 01, 2015 by mantis-gitlab-migration ACSL bug confirmed kernel
- 1
updated Feb 22, 2021
value analysis assumes dynamic_cast between unrelated classes to succeed, rather than to yield NULL

#670 · created Feb 09, 2015 by Jochen Burghardt bug confirmed frama-clang
- 2
updated Feb 22, 2021
mixed virtual/nonvirtual base class causes error

#588 · created Feb 09, 2015 by Jochen Burghardt confirmed enhancement frama-clang
- 4
updated Feb 22, 2021
virtual base class causes error

#673 · created Feb 05, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
use of "CLASSNAME::VARIABLENAME" in assigns clase causes abort

#664 · created Feb 05, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
exception identifier from catch() statement unknown in contracts, but not in code

#906 · created Feb 02, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
can't compare pointer and reference for equality in contract

#903 · created Jan 22, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
type def'd as template typename causes SEGV when used in logic functions

#900 · created Jan 22, 2015 by Jochen Burghardt confirmed critical frama-clang
- 1
updated Feb 22, 2021
catching a superclass causes crash

#898 · created Jan 15, 2015 by Jochen Burghardt confirmed critical frama-clang
- 0
updated Feb 22, 2021
recursive logic integer function definition causes error

#897 · created Jan 15, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
ACSL comment rejected in function template

#896 · created Jan 12, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
unprovable obligation generated for "ensures" in presence of exceptions

#895 · created Jan 08, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021

Prev
1
2
3
4
Next