Issues · pub / frama-c · GitLab

use of template class from namespace causes crash

#890 · created Nov 17, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 1
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
contract of template function specialization taken to refer to next plain function below

#884 · created Jan 05, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
method contract in template specialization class unimplemented

#881 · created Dec 18, 2014 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
"&p->a" causes abort when "->" is user-defined

#877 · created Dec 11, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
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
variable in then-part of "?:" in ACSL clause causes syntax error

#875 · created Nov 27, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 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
different error messages for "0<x" and "0<x<9" when x is of class type

#872 · created Dec 01, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 1
updated Feb 22, 2021
how to specify equality of references, rather than of values, in contract?

#863 · created Nov 24, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 0
updated Feb 22, 2021
Liskov substitution principle not checked for methods of same name and signature in super- and subclass

#857 · created Nov 20, 2014 by Jochen Burghardt enhancement frama-clang
- 1
updated Feb 22, 2021
placement new causes crash

#853 · created Nov 10, 2014 by Jochen Burghardt confirmed critical frama-clang
- 1
updated Feb 22, 2021
Declaration order of static class member

#851 · created Nov 02, 2014 by Jens Gerlach bug confirmed frama-clang
- 0
updated Feb 22, 2021
Frama-Clang does allow access to private fields within annotations

#850 · created May 30, 2014 by Jens Gerlach confirmed enhancement kernel
- 2
updated Feb 22, 2021
ACSL parsing of greater-than relation with references

#838 · created Sep 12, 2014 by Virgile Prevosto bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
Parsing error with arrow operator

#836 · created Jul 25, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
Inheritance of members does not work when chained

#834 · created Jul 04, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 3
updated Feb 22, 2021
provide option to activate a plugin in command-line help

#829 · created Jun 02, 2014 by Jochen Burghardt ACSL
- 1
updated Feb 22, 2021
typo in gui message

#828 · created Jun 02, 2014 by Jochen Burghardt gui
- CLOSED
- 1
updated Feb 22, 2021
frama-clang and WP: unverified precondition of member function

#826 · created May 25, 2014 by Jens Gerlach bug wp
- CLOSED
- 2
updated Feb 22, 2021

Prev
1
…
58
59
60
61
62
63
64
65
66
…
74
Next