Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Issues
Open
19
Closed
173
All
192
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Popularity
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
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