Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
pub
frama-c
Issues
Open
3
Closed
122
All
125
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
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
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
"pointer comparison" warning emitted for "p==NULL"
#298
· created
Nov 11, 2016
by
Jochen Burghardt
bug
eva
4
updated
Feb 22, 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
