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
4
Closed
125
All
129
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}}
Updated date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
if((int)(&a+2)) fails to warn about being unspecified
#1553
· created
May 05, 2009
by
Pascal Cuoq
bug
eva
CLOSED
1
updated
Feb 22, 2021
Crash on subdivided evaluation by inout for an unsatisfiable guard
3 of 3 tasks completed
#45
· created
Dec 04, 2020
by
Karine EM
eva
CLOSED
1
2
updated
Feb 22, 2021
Incorrect 'assert false' in value analysis
#1536
· created
Feb 01, 2010
by
Boris Yakobowski
critical
eva
CLOSED
0
updated
Feb 22, 2021
malloc.h can't be preprocessed: __func__ is not a macro
#1526
· created
Nov 03, 2009
by
mantis-gitlab-migration
bug
eva
CLOSED
3
updated
Feb 22, 2021
Eva: Differs from C specification on pointer arithmetic
2 of 3 tasks completed
#15
· created
Jun 12, 2020
by
Alex Coffin
eva
CLOSED
5
updated
Feb 22, 2021
Incorrect states passed to value analysis callbacks in presence of slevel
#1253
· created
Feb 20, 2011
by
Boris Yakobowski
bug
eva
CLOSED
6
updated
Feb 22, 2021
Interpretation of @ assigns \result;
#1209
· created
Jun 20, 2013
by
mantis-gitlab-migration
bug
eva
CLOSED
5
updated
Feb 22, 2021
FRAMA_C_MALLOC_INFINITE not used in stdlib.c
#1418
· created
Jun 18, 2012
by
mantis-gitlab-migration
bug
eva
CLOSED
4
updated
Feb 22, 2021
validity of a field defined in an abstract struct typedef
#1211
· created
Sep 26, 2013
by
Dillon Pariente
bug
eva
CLOSED
4
updated
Feb 22, 2021
wrong origin displayed in the GUI
#1402
· created
Sep 20, 2009
by
Pascal Cuoq
bug
eva
CLOSED
5
updated
Feb 22, 2021
relation chains exploited incompletely
#1394
· created
Jan 26, 2012
by
Jochen Burghardt
enhancement
eva
CLOSED
6
updated
Feb 22, 2021
Emitted assertion wrongly reduces to bottom (apparently) (csmith)
#1379
· created
Nov 19, 2011
by
Pascal Cuoq
bug
eva
CLOSED
12
updated
Feb 22, 2021
Bad AST generation ?
#1374
· created
Apr 04, 2012
by
mantis-gitlab-migration
bug
eva
CLOSED
5
updated
Feb 22, 2021
Crash du builtin memcpy, par une exception non rattrapable
#1313
· created
Jul 07, 2011
by
Boris Yakobowski
critical
eva
CLOSED
3
updated
Feb 22, 2021
wrong interpretation when a bit-field receives the result of a function (csmith)
#1289
· created
May 11, 2011
by
Pascal Cuoq
bug
eva
CLOSED
2
updated
Feb 22, 2021
Serial conversions in function result (csmith)
#1275
· created
Apr 17, 2011
by
Pascal Cuoq
bug
eva
CLOSED
2
updated
Feb 22, 2021
Value may be incorrect in presence of several ensures
#1265
· created
Jan 26, 2011
by
Julien Signoles
bug
eva
CLOSED
3
updated
Feb 22, 2021
Unexpected error (Ival.Float_abstract.Bottom)
#1258
· created
Mar 11, 2011
by
mantis-gitlab-migration
critical
eva
CLOSED
2
updated
Feb 22, 2021
Unsoundness in value analysis when bitfield initializer exceeds range (csmith)
#1256
· created
Feb 13, 2011
by
John Regher
bug
eva
CLOSED
6
updated
Feb 22, 2021
possible unsoundness bug
#1248
· created
Feb 12, 2011
by
John Regher
bug
eva
CLOSED
4
updated
Feb 22, 2021
Prev
1
2
3
4
5
6
7
Next