Issues · pub / frama-c · GitLab

expression "&this->val" in logic function body causes framaCIRGen abort

#899 · created Jan 22, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
struct type inside 'extern "C"' causes crash, except as lhs of typedef

#891 · created Nov 13, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 2021
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
definition of virtual function in subclass causes crash

#888 · created Nov 17, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 1
updated Feb 22, 2021
throw/catch of struct causes crash

#886 · created Nov 10, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 2
updated Mar 29, 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
compile-time template recursion causes "multiply-defined" errors

#882 · created Dec 18, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
protected variable not visible in contract in subclass

#879 · created Dec 15, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 3
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
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
insufficient preconditions given to Alt-Ergo to prove obligation originating from virtual methods

#870 · created Nov 17, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
side effect of constructor call from global variable initialization ignored

#869 · created Dec 01, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 0
updated Feb 22, 2021
namespace prefix in annotation causes segmentation fault

#862 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- CLOSED
- 1
updated Mar 29, 2021
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
"->" in rhs of "==" in contract causes crash

#856 · created Nov 10, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 2
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
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
#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
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

Prev
1
2
3
4
Next