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
5
Closed
124
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}}
Created date
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Smarter access to array of struct of array
#1204
· created
Dec 10, 2011
by
Pascal Cuoq
enhancement
eva
CLOSED
7
updated
Feb 22, 2021
value analysis memory consumption problem when using -lib-entry option
#1988
· created
Nov 25, 2011
by
mantis-gitlab-migration
bug
eva
CLOSED
1
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
Invalid handling of shift of pointer address
#1979
· created
Oct 27, 2011
by
Boris Yakobowski
bug
eva
CLOSED
2
updated
Feb 22, 2021
Evaluation in the logic can cause crashes
#1781
· created
Oct 25, 2011
by
Boris Yakobowski
critical
eva
CLOSED
1
updated
Feb 22, 2021
Invariant used only in absence of precondition
#2099
· created
Oct 23, 2011
by
Boris Yakobowski
bug
eva
CLOSED
1
updated
Feb 22, 2021
Warnings in presence of Top floats
#1980
· created
Oct 23, 2011
by
Boris Yakobowski
bug
eva
CLOSED
7
updated
Feb 22, 2021
Wrong result when subtle promotions involved in x86_32 (csmith)
#2102
· created
Oct 21, 2011
by
Pascal Cuoq
bug
eva
CLOSED
2
updated
Feb 22, 2021
Slicing generates empty program (csmith)
#1775
· created
Sep 19, 2011
by
Pascal Cuoq
bug
eva
CLOSED
7
updated
Feb 22, 2021
Valid access to literal w_chart string address considered invalid
#2122
· created
Sep 02, 2011
by
Benjamin Monate
bug
eva
CLOSED
0
updated
Feb 22, 2021
Should warn for overlapping lv=lv; assignments
#295
· created
Sep 01, 2011
by
Pascal Cuoq
bug
eva
CLOSED
5
updated
Mar 29, 2021
strange value-set for loop-variable in presence of flexible array
#2180
· created
Aug 12, 2011
by
Jochen Burghardt
eva
CLOSED
1
updated
Feb 22, 2021
Bogus uninitialized value messages for trivial safe program
#2184
· created
Aug 11, 2011
by
mantis-gitlab-migration
bug
eva
CLOSED
1
updated
Feb 22, 2021
Improve Db.Properties.Interp.loc_to_loc
#2119
· created
Aug 05, 2011
by
Boris Yakobowski
bug
eva
CLOSED
3
updated
Feb 22, 2021
interest for a built-in memset function
#1794
· created
Aug 05, 2011
by
David Delmas
enhancement
eva
CLOSED
4
updated
Feb 22, 2021
Option -val-signed-overflow-alarms misses some overflow
#2189
· created
Jul 26, 2011
by
Boris Yakobowski
bug
eva
CLOSED
1
updated
Feb 22, 2021
File "src/memory_state/lmap.ml", line 931, characters 22-28: Assertion failed
#1320
· created
Jul 25, 2011
by
Benjamin Monate
critical
eva
CLOSED
2
updated
Feb 22, 2021
Results differ between value analysis and GCC on bitfields
#1316
· created
Jul 25, 2011
by
Benjamin Monate
bug
eva
CLOSED
2
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
Widen hints for a variable should not influence the values for other variables
#543
· created
Jul 04, 2011
by
Boris Yakobowski
bug
eva
CLOSED
5
updated
Feb 22, 2021
Prev
1
2
3
4
5
6
7
Next