Issues · pub / frama-c · GitLab

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
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
"->" in rhs of "==" in contract causes crash

#856 · created Nov 10, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 2
updated Feb 22, 2021
insufficient preconditions given to Alt-Ergo to prove assigns clause for mutable variable in contract of const method

#855 · created Nov 27, 2014 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
destructor call ignored by WP

#854 · created Nov 10, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 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
type "__fc_builtin_size_t" used in frama-c's own stddef.h version

#852 · created Nov 06, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 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
reference typedef causes conversion error in contract

#844 · created Oct 30, 2014 by Jochen Burghardt bug confirmed frama-clang
- 1
updated Feb 22, 2021
"operator==" not recognized as predicate name

#843 · created Oct 30, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 0
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
#include <foo> falls back to #include "foo" with misleading warning text

#840 · created Oct 30, 2014 by Jochen Burghardt enhancement frama-clang
- CLOSED
- 1
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
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
Comparison of different types in acsl clause causes segmentation fault

#837 · created Jul 30, 2014 by mantis-gitlab-migration 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
Simple exceptions are not supported

#835 · created Jul 18, 2014 by mantis-gitlab-migration enhancement frama-clang
- CLOSED
- 2
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
error message "unknown identifier 'xxx'" causes Frama-C to forget previous more severe errors

#833 · created Dec 15, 2014 by Jochen Burghardt bug confirmed frama-clang
- 2
updated Feb 22, 2021
illegal keyword in contract causes rest to be tacitly ignored

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

Prev
1
2
3
4
5
6
7
8
Next