Issues · pub / frama-c · GitLab

11 if-statements lead to why-runtime >12 min

#2251 · created Jan 25, 2011 by Jochen Burghardt jessie
- CLOSED
- 2
updated Apr 15, 2021
12799, doubtful choice of promotion x86_64 mode (csmith)

#1276 · created Apr 11, 2011 by Pascal Cuoq bug kernel
- CLOSED
- 2
updated Feb 22, 2021
12816: Missing label in sliced program (csmith)

#1268 · created Apr 11, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 4
updated Feb 22, 2021
12825, sliced program does not terminate

#2150 · created Apr 12, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
14055: sliced program does not terminate (csmith)

#2085 · created Jul 06, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
14292: warn for unspecified side-effect that are separated by a function call (csmith)

#1786 · created Jul 25, 2011 by Pascal Cuoq bug kernel
- CLOSED
- 2
updated Feb 22, 2021
14403: last slicing bug (csmith)

#2082 · created Jul 31, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
17514, -unspecified-access and if (*p = (*p < 3)) (csmith)

#1368 · created Mar 10, 2012 by Pascal Cuoq bug kernel
- CLOSED
- 2
updated Feb 22, 2021
17517: defined program behaves differently after going through -print (csmith)

#2066 · created Mar 10, 2012 by Pascal Cuoq bug kernel
- CLOSED
- 1
updated Feb 22, 2021
17944 using option -unspecified-access, no alarm for x + (x=0)

#1376 · created Apr 07, 2012 by Pascal Cuoq bug kernel
- CLOSED
- 2
updated Feb 22, 2021
-2147483647<=0 unprovable by Simplify, except in switch

#2419 · created Feb 22, 2010 by Jochen Burghardt enhancement jessie
- CLOSED
- 2
updated Apr 15, 2021
22446: unknown sizes of types and value initialization

#996 · created May 07, 2013 by Pascal Cuoq critical eva
- CLOSED
- 5
updated Feb 22, 2021
2D variable length array

#223 · created Nov 03, 2015 by Julien Signoles bug kernel
- CLOSED
- 0
updated Feb 22, 2021
Able to assert a false statement

#803 · created Mar 03, 2015 by mantis-gitlab-migration bug wp
- CLOSED
- 2
updated Apr 15, 2021
access to nested union/struct component causes crash

#893 · created Jun 06, 2014 by Jochen Burghardt confirmed critical kernel
- CLOSED
- 2
updated Mar 29, 2021
access to static struct fields unsupported in annotation

#638 · created May 07, 2015 by Jochen Burghardt bug frama-clang
- 0
updated Feb 22, 2021
access to volatile variable is eliminated from AST

#1190 · created Dec 26, 2013 by Pascal Cuoq bug kernel
- CLOSED
- 3
updated Feb 22, 2021
ACSL builtins

#1929 · created May 10, 2011 by Loïc Correnson enhancement wp
- CLOSED
- 2
updated Feb 22, 2021
ACSL comment rejected in function template

#896 · created Jan 12, 2015 by Jochen Burghardt bug confirmed frama-clang
- 0
updated Feb 22, 2021
ACSL label LoopEntry not handled by WP

#1173 · created Jan 30, 2013 by mantis-gitlab-migration bug wp
- CLOSED
- 3
updated Feb 22, 2021

Prev
1
2
3
4
5
…
74
Next