Issues · pub / frama-c · GitLab

WP crash when type casting in lemma

#1023 · created Jun 06, 2014 by mantis-gitlab-migration critical wp
- 1
- 0
updated Apr 15, 2021
type def'd as template typename causes SEGV when used in logic functions

#900 · created Jan 22, 2015 by Jochen Burghardt confirmed critical frama-clang
- 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
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
use of initialized array causes crash

#887 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Feb 22, 2021
non-predicate on right-hand size of "|" causes segmentation fault

#864 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Mar 29, 2021
placement new causes crash

#853 · created Nov 10, 2014 by Jochen Burghardt confirmed critical frama-clang
- 1
updated Feb 22, 2021
method call in initializer of global constant causes segmentation fault

#674 · created Dec 01, 2014 by Jochen Burghardt confirmed critical frama-clang
- 2
updated Feb 22, 2021
indexing of string literal apparently causes memory leak in framaCIRGen

#666 · created Nov 24, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
updated Feb 22, 2021
use of body-declared variable in loop annotation causes crash

#648 · created Nov 27, 2014 by Jochen Burghardt confirmed critical frama-clang
- 3
updated Feb 22, 2021
loop invariant referring to body-local variable causes crash, when body is enclosed in curly braces "{...}"

#646 · created Apr 27, 2015 by Jochen Burghardt critical frama-clang
- 1
updated Mar 29, 2021
declarations of static variable of class type in function body causes crash

#640 · created Nov 27, 2014 by Jochen Burghardt confirmed critical frama-clang
- 1
updated Mar 29, 2021
direct initialisation of bool by nullptr

#286 · created Jan 22, 2018 by Jens Gerlach critical frama-clang
- 1
updated Feb 22, 2021
Frama-Clang crashes on error in contract

#281 · created Jan 31, 2018 by Jens Gerlach critical frama-clang
- 0
updated Feb 22, 2021
"Here" as predicate label in statement contract causes Segmentation fault

#274 · created Feb 12, 2018 by Jochen Burghardt critical frama-clang
- 0
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
frama-clang fails to compile

#240 · created Oct 01, 2018 by mantis-gitlab-migration critical frama-clang
- 3
updated Feb 22, 2021
Can't use e-acsl on a dynamic library containing all the instrumentations

#179 · created Jan 22, 2019 by mantis-gitlab-migration confirmed critical e-acsl
- 2
updated Feb 22, 2021
Syntax error in reorder_defs.ml after running make

#128 · created Oct 03, 2019 by mantis-gitlab-migration confirmed critical frama-clang
- 2
updated Feb 22, 2021