Issues · pub / frama-c · GitLab

access to static struct fields unsupported in annotation

#638 · created May 07, 2015 by Jochen Burghardt bug 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
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
Alt-Ergo reports about " bool and int cannot be unified"

#280 · created Feb 05, 2018 by Jens Gerlach bug frama-clang
- 1
updated Feb 22, 2021
array-type parameter causes "Old style K&R" kernel warning with cxx plugin

#963 · created Jun 20, 2014 by Jochen Burghardt frama-clang
- CLOSED
- 2
updated Feb 22, 2021
"assigns" in statement contract causes abort or crash

#273 · created Feb 12, 2018 by Jochen Burghardt critical frama-clang
- 0
updated Feb 22, 2021
"\at" doesn't accept predicate argument label

#904 · created Jan 26, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
C++11 delegating constructor not supported

#287 · created Jan 19, 2018 by Jens Gerlach bug 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
can't handle lemma with 3 labels

#277 · created Feb 08, 2018 by Jochen Burghardt bug frama-clang
- 2
updated Feb 22, 2021
can't prove (trivial) validity of memory access of "p->a"

#642 · created May 04, 2015 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021
cast error with reference fields

#250 · created Aug 24, 2018 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 1
updated Mar 30, 2021
"catch(...)" causes crash

#940 · created Nov 13, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 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
C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}'

#267 · created Feb 12, 2018 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Mar 30, 2021
class expression causes abort in presence of user-defined destructor

#659 · created Dec 01, 2014 by Jochen Burghardt bug confirmed frama-clang
- CLOSED
- 1
updated Mar 29, 2021
CLASSNAME::PREDICATENAME not recognized as predicate (or even as term)

#660 · created Oct 30, 2014 by Jochen Burghardt confirmed enhancement frama-clang
- 3
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
clause "n<9-1" normalized to "n-1<9"

#1016 · created Jun 16, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
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

Prev
1
2
3
4
5
…
8
Next