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}}
Manual
Priority
Created date
Updated date
Milestone due date
Due date
Popularity
Label priority
Manual
Title
An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows
3 of 3 tasks completed
#54
· created
Jan 29, 2021
by
varosi
eva
wp
3
updated
Mar 29, 2021
Option "-lib-entry" results misses possible values of function pointers
#296
· created
Nov 07, 2016
by
Jochen Burghardt
bug
eva
1
updated
Feb 22, 2021
"pointer comparison" warning emitted for "p==NULL"
#298
· created
Nov 11, 2016
by
Jochen Burghardt
bug
eva
4
updated
Feb 22, 2021
Unexpected error (Stack overflow) with large array sizes and expressions
#2585
· created
Nov 08, 2021
by
arindam-8
eva
0
updated
Jan 28, 2022
Unexpected error (File "src/plugins/value/engine/evaluation.ml", line 1176, characters 14-20: Assertion failed)
#2610
· created
May 10, 2022
by
Karine EM
eva
1
updated
May 10, 2022