Issues · pub / frama-c · GitLab

suggest to document Frama-C's handling of return value optimization

#876 · created Dec 08, 2014 by Jochen Burghardt confirmed frama-clang
- 1
updated Feb 22, 2021
suggest to suppress warning about passing void value via return statement

#868 · created Nov 27, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
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
template parameter type can't used in typedef

#650 · created Nov 17, 2014 by Jochen Burghardt bug confirmed frama-clang
- 5
updated Feb 22, 2021
throw without argument causes crash

#894 · created Jan 08, 2015 by Jochen Burghardt bug confirmed frama-clang
- 1
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
unknown variable in contract is not treated as an error

#285 · created Jan 30, 2018 by Jens Gerlach bug frama-clang
- 1
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
use of body-declared variable in loop annotation causes crash

#648 · created Nov 27, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
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
use of initialized array causes crash

#887 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Feb 22, 2021
use of "new" causes warning

#839 · created Oct 30, 2014 by Jochen Burghardt confirmed frama-clang
- 3
updated Feb 22, 2021
use of template class in default template argument in namespace causes crash

#889 · created Nov 17, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
updated Feb 22, 2021
user-defined type not accepted after builtin type in quantifier chain

#269 · created Feb 12, 2018 by Jochen Burghardt bug frama-clang
- 0
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
variable declared in "for" init-part unrecognized in loop body assigns clause; 100% verification degree reported nevertheless

#271 · created Feb 12, 2018 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021
variable declared in loop initializer is unknown in loop body "assert"

#647 · created Apr 27, 2015 by Jochen Burghardt bug frama-clang
- 0
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
warning from kernel about exceptions

#283 · created Jan 31, 2018 by Jens Gerlach confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
Wp can't prove validity of access to public variable from superclass

#841 · created Nov 13, 2014 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021

Prev
1
2
3
4
Next