Issues · pub / frama-c · GitLab

value analysis crashed after I the ast was modified in a new project

#1823 · created Dec 11, 2013 by mantis-gitlab-migration critical eva
- CLOSED
- 1
updated Feb 22, 2021
untypable ACSL in a sliced program containing \at(p,label) when the label was removed

#1783 · created Jan 19, 2011 by Patrick Baudin critical slicing
- CLOSED
- 13
updated Feb 22, 2021
Evaluation in the logic can cause crashes

#1781 · created Oct 25, 2011 by Boris Yakobowski critical eva
- CLOSED
- 1
updated Feb 22, 2021
Cash in value analysis of sliced project

#1761 · created Apr 13, 2011 by Patrick Baudin critical eva
- CLOSED
- 3
updated Feb 22, 2021
_ not supported as member name in struct

#1758 · created Mar 30, 2011 by mantis-gitlab-migration critical kernel
- CLOSED
- 9
updated Feb 22, 2021
Crash for inout analysis

#1756 · created Mar 26, 2011 by mantis-gitlab-migration critical inout
- CLOSED
- 6
updated Feb 22, 2021
Selecting "occurrence" crashes Frama-C

#1715 · created Jul 28, 2010 by mantis-gitlab-migration critical occurrence
- CLOSED
- 2
updated Feb 22, 2021
Crash when a 'break' occurs outside a proper statement

#1687 · created Apr 13, 2010 by Boris Yakobowski critical kernel
- CLOSED
- 1
updated Feb 22, 2021
crash in parser when double definition of variable in two different files, in some order

#1649 · created Aug 06, 2009 by Pascal Cuoq critical kernel
- CLOSED
- 3
updated Feb 22, 2021
Stack overflow when slicing functions invoking themselves circularily

#1612 · created Jul 14, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 4
updated Feb 22, 2021
-ocode causes crach

#1585 · created Jul 15, 2009 by mantis-gitlab-migration critical kernel
- CLOSED
- 2
updated Feb 22, 2021
Jessie translation unexpected failure

#1540 · created Feb 11, 2010 by David Delmas critical jessie
- CLOSED
- 2
updated Apr 15, 2021
Incorrect 'assert false' in value analysis

#1536 · created Feb 01, 2010 by Boris Yakobowski critical eva
- 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
[kernel] user error: problem while loading file <filename_report> (input_value: integer too large)

#1528 · created Oct 21, 2009 by mantis-gitlab-migration critical kernel
- CLOSED
- 3
updated Feb 22, 2021
assign makes Jessie crash

#1527 · created Oct 26, 2009 by mantis-gitlab-migration critical jessie
- CLOSED
- 4
updated Apr 15, 2021
Uncaught exception: Uncaught exception: File "jc/jc_interp.ml", line 897, characters 11-17: Assertion failed

#1524 · created Oct 27, 2009 by mantis-gitlab-migration critical jessie
- CLOSED
- 4
updated Apr 15, 2021
Uncaught exception in scope

#1518 · created Aug 25, 2009 by Pascal Cuoq critical scope
- CLOSED
- 6
updated Feb 22, 2021
crash with information [kernel] error: unexpected error Extlib.NotYetImplemented("[logic_interp] not a lvalue")

#1508 · created Jul 15, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 2
updated Feb 22, 2021
slicing crashes when there is no entry point to the function

#1507 · created Jul 14, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 2
updated Feb 22, 2021

Prev
1
2
3
4
5
6
7
8
…
10
Next