Frama-C Bug Tracking System
Unassigned ^ ] (1 - 1 / 1)
0001467
Parser does not handle mixed concatenations of wide and non-wide strings
Kernel - 2016-07-05 17:34
Resolved ^ ] (1 - 7 / 7)
0002146
1 attachment(s)
Frama-C does not support standard C digraphs
Kernel - 2016-08-25 13:42
0002246
1 attachment(s)
Switch statements seem to be unsound
Plug-in > wp - 2016-08-23 13:42
0002240
1 attachment(s)
expression "b--3" accepted in ACSL (interpreted as "b - -3"), but not in C
Kernel > ACSL implementation - 2016-07-28 14:06
0002224
the documented grammar does not allow completeness clauses in statement contracts
Documentation > ACSL - 2016-07-25 15:03
0002237
4 attachment(s)
Frama-C is unsound when employing both alt-ergo and cvc4
Plug-in > wp - 2016-07-25 10:26
0002213
Can't install E-ACSL plugin
Plug-in > E-ACSL - 2016-02-26 15:15
0001817
1 attachment(s)
Literal strings in global arrays with compound initializers are not correctly initialized
Plug-in > E-ACSL - 2015-12-14 21:49
Recently Modified ^ ] (1 - 10 / 1022)
0002146
1 attachment(s)
Frama-C does not support standard C digraphs
Kernel - 2016-08-25 13:42
0002246
1 attachment(s)
Switch statements seem to be unsound
Plug-in > wp - 2016-08-23 13:42
0002245
1 attachment(s)
Nested scopes may cause issues with the validity of created pointers
Plug-in > wp - 2016-08-17 15:35
0002235
Functions that claim to return a struct but don't cause a crash
Kernel - 2016-08-12 09:54
0002244
1 attachment(s)
Logic with read clauses can have their values invalidated by writes to separated memory locations
Plug-in > wp - 2016-08-08 22:39
0002236
tset issues in manual "acsl-implementation-Aluminium-20160501.pdf"
Documentation > manuals - 2016-08-03 10:18
0000772
Incorrect location of warnings emitted by value analysis
Plug-in > value analysis - 2016-08-02 16:58
0002242
1 attachment(s)
"Builtin already registered" after Reparse
Plug-in > wp - 2016-07-31 21:50
0002241
1 attachment(s)
Implicit casting from integer to real causes failure in WP proof generation
Plug-in > wp - 2016-07-29 14:11
0002240
1 attachment(s)
expression "b--3" accepted in ACSL (interpreted as "b - -3"), but not in C
Kernel > ACSL implementation - 2016-07-28 14:06

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2016 MantisBT Team
Powered by Mantis Bugtracker