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
208
Closed
1,261
All
1,469
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
11 if-statements lead to why-runtime >12 min
#2251
· created
Jan 25, 2011
by
Jochen Burghardt
jessie
CLOSED
2
updated
Apr 15, 2021
12799, doubtful choice of promotion x86_64 mode (csmith)
#1276
· created
Apr 11, 2011
by
Pascal Cuoq
bug
kernel
CLOSED
2
updated
Feb 22, 2021
12816: Missing label in sliced program (csmith)
#1268
· created
Apr 11, 2011
by
Pascal Cuoq
bug
slicing
CLOSED
4
updated
Feb 22, 2021
12825, sliced program does not terminate
#2150
· created
Apr 12, 2011
by
Pascal Cuoq
bug
slicing
CLOSED
1
updated
Feb 22, 2021
14055: sliced program does not terminate (csmith)
#2085
· created
Jul 06, 2011
by
Pascal Cuoq
bug
slicing
CLOSED
1
updated
Feb 22, 2021
14292: warn for unspecified side-effect that are separated by a function call (csmith)
#1786
· created
Jul 25, 2011
by
Pascal Cuoq
bug
kernel
CLOSED
2
updated
Feb 22, 2021
14403: last slicing bug (csmith)
#2082
· created
Jul 31, 2011
by
Pascal Cuoq
bug
slicing
CLOSED
1
updated
Feb 22, 2021
17514, -unspecified-access and if (*p = (*p < 3)) (csmith)
#1368
· created
Mar 10, 2012
by
Pascal Cuoq
bug
kernel
CLOSED
2
updated
Feb 22, 2021
17517: defined program behaves differently after going through -print (csmith)
#2066
· created
Mar 10, 2012
by
Pascal Cuoq
bug
kernel
CLOSED
1
updated
Feb 22, 2021
17944 using option -unspecified-access, no alarm for x + (x=0)
#1376
· created
Apr 07, 2012
by
Pascal Cuoq
bug
kernel
CLOSED
2
updated
Feb 22, 2021
-2147483647<=0 unprovable by Simplify, except in switch
#2419
· created
Feb 22, 2010
by
Jochen Burghardt
enhancement
jessie
CLOSED
2
updated
Apr 15, 2021
22446: unknown sizes of types and value initialization
#996
· created
May 07, 2013
by
Pascal Cuoq
critical
eva
CLOSED
5
updated
Feb 22, 2021
2D variable length array
#223
· created
Nov 03, 2015
by
Julien Signoles
bug
kernel
CLOSED
0
updated
Feb 22, 2021
Able to assert a false statement
#803
· created
Mar 03, 2015
by
mantis-gitlab-migration
bug
wp
CLOSED
2
updated
Apr 15, 2021
access to nested union/struct component causes crash
#893
· created
Jun 06, 2014
by
Jochen Burghardt
confirmed
critical
kernel
CLOSED
2
updated
Mar 29, 2021
access to static struct fields unsupported in annotation
#638
· created
May 07, 2015
by
Jochen Burghardt
bug
frama-clang
0
updated
Feb 22, 2021
access to volatile variable is eliminated from AST
#1190
· created
Dec 26, 2013
by
Pascal Cuoq
bug
kernel
CLOSED
3
updated
Feb 22, 2021
ACSL builtins
#1929
· created
May 10, 2011
by
Loïc Correnson
enhancement
wp
CLOSED
2
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 label LoopEntry not handled by WP
#1173
· created
Jan 30, 2013
by
mantis-gitlab-migration
bug
wp
CLOSED
3
updated
Feb 22, 2021
Prev
1
2
3
4
5
…
74
Next