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
19
Closed
173
All
192
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
Frama-C GUI crashes under OS X
#623
· created
Mar 31, 2015
by
Jens Gerlach
critical
gui
CLOSED
14
updated
Feb 22, 2021
frama-c/jessie crashes with Unexpected error (Cil.SizeOfError("Undefined sizeof on a function.", _)).
#263
· created
May 29, 2018
by
mantis-gitlab-migration
critical
jessie
CLOSED
1
updated
Apr 20, 2021
Frama-C Kernel on a specific C file (unexpected error, assertion failed)
#1179
· created
Sep 03, 2013
by
David Mentré
critical
kernel
CLOSED
3
updated
Feb 22, 2021
Frama-Clang crashes on error in contract
#281
· created
Jan 31, 2018
by
Jens Gerlach
critical
frama-clang
0
updated
Feb 22, 2021
frama-clang fails to compile
#240
· created
Oct 01, 2018
by
mantis-gitlab-migration
critical
frama-clang
3
updated
Feb 22, 2021
FRama C Nitrogen Nitrogen-20111001
#520
· created
Feb 22, 2016
by
mantis-gitlab-migration
critical
pdg
CLOSED
2
updated
Feb 22, 2021
FRama C Nitrogen Nitrogen-20111001 crash during pdg construction
#523
· created
Feb 22, 2016
by
mantis-gitlab-migration
critical
pdg
CLOSED
0
updated
Feb 22, 2021
Frama-C stops with unexpected failure (Ref. "norm.ml:1105:8")
#1530
· created
Oct 21, 2009
by
mantis-gitlab-migration
critical
jessie
CLOSED
5
updated
Apr 15, 2021
Functions that claim to return a struct but don't cause a crash
#344
· created
Jun 21, 2016
by
mantis-gitlab-migration
critical
kernel
CLOSED
3
updated
Feb 22, 2021
Goto outside of a block with assigns property
#2218
· created
Apr 04, 2011
by
mantis-gitlab-migration
critical
kernel
CLOSED
2
updated
Feb 22, 2021
Gui crash with a new global variable
#2245
· created
Feb 01, 2011
by
Victoria Moya Lamiel
critical
gui
CLOSED
4
updated
Feb 22, 2021
"Here" as predicate label in statement contract causes Segmentation fault
#274
· created
Feb 12, 2018
by
Jochen Burghardt
critical
frama-clang
0
updated
Feb 22, 2021
Impact analysis does not catch Pdg.Top (returned on variadic calls)
#2143
· created
Mar 29, 2011
by
Boris Yakobowski
critical
impact
CLOSED
2
updated
Feb 22, 2021
incompatible types for a correct spec
#1386
· created
Nov 25, 2011
by
Julien Signoles
ACSL
critical
kernel
CLOSED
3
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
incorrect AST generated
#1329
· created
Aug 04, 2011
by
Pascal Cuoq
critical
kernel
CLOSED
3
updated
Feb 22, 2021
Incorrect cil merging in presence of ACSL annotations
#1971
· created
Jan 17, 2011
by
Boris Yakobowski
critical
kernel
CLOSED
2
updated
Feb 22, 2021
Incorrect handling of nearly-empty switch clauses with -simplify-cfg
#1255
· created
Feb 13, 2011
by
Boris Yakobowski
critical
kernel
CLOSED
2
updated
Feb 22, 2021
Incorrect loop unrolling in presence of switch
#1303
· created
Jun 09, 2011
by
Boris Yakobowski
critical
kernel
CLOSED
3
updated
Feb 22, 2021
indexing of string literal apparently causes memory leak in framaCIRGen
#666
· created
Nov 24, 2014
by
Jochen Burghardt
confirmed
critical
frama-clang
3
updated
Feb 22, 2021
Prev
1
2
3
4
5
6
7
8
9
10
Next