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
80
Closed
66
All
146
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}}
Title
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
suggest to document Frama-C's handling of return value optimization
#876
· created
Dec 08, 2014
by
Jochen Burghardt
confirmed
frama-clang
1
updated
Feb 22, 2021
suggest to suppress warning about passing void value via return statement
#868
· created
Nov 27, 2014
by
Jochen Burghardt
confirmed
enhancement
frama-clang
1
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
template parameter type can't used in typedef
#650
· created
Nov 17, 2014
by
Jochen Burghardt
bug
confirmed
frama-clang
5
updated
Feb 22, 2021
throw without argument causes crash
#894
· created
Jan 08, 2015
by
Jochen Burghardt
bug
confirmed
frama-clang
1
updated
Feb 22, 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
unknown variable in contract is not treated as an error
#285
· created
Jan 30, 2018
by
Jens Gerlach
bug
frama-clang
1
updated
Feb 22, 2021
unprovable obligation generated for "ensures" in presence of exceptions
#895
· created
Jan 08, 2015
by
Jochen Burghardt
bug
confirmed
frama-clang
1
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
use of "CLASSNAME::VARIABLENAME" in assigns clase causes abort
#664
· created
Feb 05, 2015
by
Jochen Burghardt
bug
confirmed
frama-clang
1
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
use of "new" causes warning
#839
· created
Oct 30, 2014
by
Jochen Burghardt
confirmed
frama-clang
3
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
user-defined type not accepted after builtin type in quantifier chain
#269
· created
Feb 12, 2018
by
Jochen Burghardt
bug
frama-clang
0
updated
Feb 22, 2021
value analysis assumes dynamic_cast between unrelated classes to succeed, rather than to yield NULL
#670
· created
Feb 09, 2015
by
Jochen Burghardt
bug
confirmed
frama-clang
2
updated
Feb 22, 2021
variable declared in "for" init-part unrecognized in loop body assigns clause; 100% verification degree reported nevertheless
#271
· created
Feb 12, 2018
by
Jochen Burghardt
bug
frama-clang
0
updated
Feb 22, 2021
variable declared in loop initializer is unknown in loop body "assert"
#647
· created
Apr 27, 2015
by
Jochen Burghardt
bug
frama-clang
0
updated
Feb 22, 2021
virtual base class causes error
#673
· created
Feb 05, 2015
by
Jochen Burghardt
bug
confirmed
frama-clang
1
updated
Feb 22, 2021
warning from kernel about exceptions
#283
· created
Jan 31, 2018
by
Jens Gerlach
confirmed
enhancement
frama-clang
1
updated
Feb 22, 2021
Wp can't prove validity of access to public variable from superclass
#841
· created
Nov 13, 2014
by
Jochen Burghardt
bug
confirmed
frama-clang
1
updated
Feb 22, 2021
Prev
1
2
3
4
Next