Issues · pub / frama-c · GitLab

[frama-clang] std::forward with non-primitive type causes NON TERMINATING

#2564 · created Jun 21, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 4
updated Apr 22, 2022
[frama-clang] Cannot parse C++14 variable template

#2562 · created Jun 08, 2021 by Stefan Gränitz frama-clang
- 0
updated Jun 09, 2021
[frama-clang] Cannot parse C++14 generic lambda

#2561 · created Jun 08, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 1
updated Apr 14, 2022
[frama-clang] Cannot parse built-in function __underlying_type()

#2558 · created May 26, 2021 by Stefan Gränitz frama-clang
- CLOSED
- 5
updated Jul 14, 2021
Problems with a simplest Arduino program, that contain only "Arduino.h" include.

#2546 · created Feb 23, 2021 by varosi frama-clang libc
- 1
updated Oct 06, 2021
Frama-clang include problem with directory hierarchy

#1021 · created Jun 04, 2014 by Jens Gerlach bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Frama-Clang fails to parse simple predicate

#1017 · created Jun 13, 2014 by Jens Gerlach bug 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
Static attribute can not be accessed

#988 · created Jun 27, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
Use of axioms in axiomatic specification is not supported

#987 · created Jul 25, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
"\nothing" unrecognized in assigns clause

#965 · created Jun 02, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
label argument of \at unrecognized

#964 · created Jun 16, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 2
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
Frama-clang has problems with "decreases" clauses

#962 · created Jun 20, 2014 by Jens Gerlach bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
contract completely ignored if preceeded by initial comment

#961 · created Jun 27, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 3
updated Feb 22, 2021
No access to inherited members of a struct in acsl clauses.

#941 · created Jul 23, 2014 by mantis-gitlab-migration bug frama-clang
- CLOSED
- 2
updated Feb 22, 2021
"catch(...)" causes crash

#940 · created Nov 13, 2014 by Jochen Burghardt critical frama-clang
- CLOSED
- 1
updated Feb 22, 2021
use of later-defined nested class type in method signature causes error

#939 · created Dec 11, 2014 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021
exception identifier from catch() statement unknown in contracts, but not in code

#906 · created Feb 02, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
"*" in quantifier in axiom causes SEGV

#905 · created Jan 29, 2015 by Jochen Burghardt bug frama-clang
- CLOSED
- 1
updated Feb 22, 2021

Prev
1
2
3
4
5
…
8
Next