Issues · pub / frama-c · GitLab

loop assigns crash

#2036 · created Dec 29, 2010 by mantis-gitlab-migration enhancement jessie
- CLOSED
- 2
updated Apr 15, 2021
ltl does not accept state charts with transitions invoking dynamic function pointers

#2033 · created Jun 01, 2012 by mantis-gitlab-migration bug wp
- CLOSED
- 5
updated Apr 15, 2021
Feedback about value analysis degeneration

#2032 · created Jun 26, 2012 by mantis-gitlab-migration enhancement eva
- CLOSED
- 10
updated Feb 22, 2021
Jessie incorrectly handles initialization of array

#2031 · created Jan 12, 2012 by mantis-gitlab-migration bug jessie
- CLOSED
- 1
updated Apr 15, 2021
Parser does not complain about superfluous }

#2027 · created Sep 01, 2012 by Boris Yakobowski bug kernel
- CLOSED
- 1
updated Feb 22, 2021
Identical lvals not equal in Cil_datatype.Lval.Hashtbl

#2026 · created Aug 08, 2012 by mantis-gitlab-migration enhancement kernel
- CLOSED
- 2
updated Feb 22, 2021
two axioms with same name cause crash

#2019 · created Jul 16, 2012 by Jochen Burghardt critical kernel
- CLOSED
- 1
updated Feb 22, 2021
Upgrading WP causes crash in Jessie

#2018 · created Jul 02, 2012 by mantis-gitlab-migration critical wp
- CLOSED
- 3
updated Feb 22, 2021
imprecision in PDG when unreachable statements

#2013 · created Jun 11, 2012 by mantis-gitlab-migration bug scope
- CLOSED
- 8
updated Feb 22, 2021
Several types for the same function

#2012 · created May 04, 2012 by mantis-gitlab-migration bug kernel
- CLOSED
- 3
updated Feb 22, 2021
Port to OCamlgraph 1.8.2

#2011 · created May 16, 2012 by mantis-gitlab-migration bug kernel
- CLOSED
- 1
updated Feb 22, 2021
state chart implemented in multiple files cannot be analysed by aorai

#2010 · created Jun 04, 2012 by mantis-gitlab-migration aoraï bug
- CLOSED
- 12
updated Feb 22, 2021
"for" clause is refused

#2008 · created Apr 16, 2012 by mantis-gitlab-migration ACSL bug kernel
- CLOSED
- 1
updated Feb 22, 2021
incorrect UINT8_MAX (and others)

#2004 · created Apr 04, 2012 by mantis-gitlab-migration bug kernel
- CLOSED
- 2
updated Feb 22, 2021
Rename frama-c-gui.config

#2000 · created Feb 21, 2012 by mantis-gitlab-migration enhancement gui
- CLOSED
- 2
updated Feb 22, 2021
Bitwise Operators

#1999 · created Feb 29, 2012 by Loïc Correnson bug wp
- CLOSED
- 2
updated Feb 22, 2021
RTE does not check for downcast of unsigned integer

#1997 · created Feb 07, 2012 by mantis-gitlab-migration bug rte
- CLOSED
- 5
updated Feb 22, 2021
Imprecise result on almost deterministic program

#1992 · created Jan 28, 2012 by Boris Yakobowski bug eva
- CLOSED
- 5
updated Feb 22, 2021
"volatile" ignored

#1991 · created Jan 30, 2012 by Jochen Burghardt bug eva
- CLOSED
- 3
updated Feb 22, 2021
foo ? (void)x : (signed char)y (csmithreduction)

#1990 · created Feb 05, 2012 by Pascal Cuoq bug kernel
- CLOSED
- 3
updated Feb 22, 2021

Prev
1
…
14
15
16
17
18
19
20
21
22
…
64
Next