Issues · pub / frama-c · GitLab

non-compilable slice produced by frama-c

#36 · opened Oct 23, 2020 by Ivan Postolski bug confirmed slicing
- 2
updated Nov 18, 2020
the return statement of a called function was wrongly removed

#305 · opened May 23, 2017 by mantis-gitlab-migration bug slicing
- CLOSED
- 1
updated Feb 22, 2021
Slicing does not preserve some ACSL constructs

#608 · opened Jan 26, 2011 by Julien Signoles enhancement slicing
- CLOSED
- 11
updated Feb 22, 2021
Crah with the option -ulevel

#748 · opened Apr 30, 2014 by mantis-gitlab-migration critical slicing
- CLOSED
- 5
updated Feb 22, 2021
Crash in the case of multiple pragma statements

#989 · opened Aug 06, 2014 by mantis-gitlab-migration critical slicing
- CLOSED
- 1
updated Feb 22, 2021
Crash when selecting the calls to an unterminating functions

#1210 · opened Jun 13, 2013 by Julien Signoles critical slicing
- CLOSED
- 7
updated Feb 22, 2021
Slicing is sometimes not journalisable anymore

#1264 · opened Mar 31, 2011 by Julien Signoles bug slicing
- CLOSED
- 2
updated Feb 22, 2021
12816: Missing label in sliced program (csmith)

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

#1278 · opened Apr 28, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 6
updated Feb 22, 2021
r13089 sliced program computes differently from original (csmith)

#1290 · opened Apr 29, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 6
updated Feb 22, 2021
r13465, crash in slicing (csmith)

#1292 · opened May 14, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 7
updated Feb 22, 2021
sliced program computes differently from original (csmith)

#1307 · opened May 18, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 6
updated Feb 22, 2021
error: label ‘__invalid_label’ used but not defined (csmith)

#1318 · opened Jul 28, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 4
updated Feb 22, 2021
Sliced program computes differently from original (csmith)

#1341 · opened Sep 14, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 13
updated Feb 22, 2021
Slicer: slicing preserving some undesired function calls

#1396 · opened May 27, 2009 by Dillon Pariente bug slicing
- CLOSED
- 11
updated Feb 22, 2021
slicing crashes when there is no entry point to the function

#1507 · opened Jul 14, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 2
updated Feb 22, 2021
crash with information [kernel] error: unexpected error Extlib.NotYetImplemented("[logic_interp] not a lvalue")

#1508 · opened Jul 15, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 2
updated Feb 22, 2021
Stack overflow when slicing functions invoking themselves circularily

#1612 · opened Jul 14, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 4
updated Feb 22, 2021
invariant with quantifier not kept in computed slice

#1667 · opened Apr 13, 2010 by Dillon Pariente bug slicing
- CLOSED
- 7
updated Feb 22, 2021
Redirecting the output to a file does not work

#1746 · opened Jan 12, 2011 by mantis-gitlab-migration bug slicing
- CLOSED
- 12
updated Feb 22, 2021
untypable ACSL in a sliced program containing \result

#1749 · opened Jan 17, 2011 by Julien Signoles bug slicing
- CLOSED
- 4
updated Feb 22, 2021
r12793: slicing generates uncompilable code (sliced function called with too few arguments) (csmith)

#1759 · opened Apr 11, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 18
updated Feb 22, 2021
same conditions as 786, sliced program does not terminate when original does (csmith)

#1763 · opened Apr 11, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 21
updated Feb 22, 2021
Bug in slicing -- required C-statements getting knocked off from sliced code

#1764 · opened Feb 08, 2011 by mantis-gitlab-migration bug slicing
- CLOSED
- 7
updated Feb 22, 2021
untypable ACSL in a sliced program containing \at(p,label) when the label was removed

#1783 · opened Jan 19, 2011 by Patrick Baudin critical slicing
- CLOSED
- 13
updated Feb 22, 2021
Remove generated annotations from slicing results

#1809 · opened May 20, 2009 by mantis-gitlab-migration bug slicing
- CLOSED
- 9
updated Feb 22, 2021
Better PDG for undefined functions

#2057 · opened Feb 24, 2012 by mantis-gitlab-migration enhancement slicing
- CLOSED
- 4
updated Feb 22, 2021
14403: last slicing bug (csmith)

#2082 · opened Jul 31, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
14055: sliced program does not terminate (csmith)

#2085 · opened Jul 06, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
12825, sliced program does not terminate

#2150 · opened Apr 12, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
r13065, missing declaration for tmp variable in sliced program (csmith)

#2151 · opened Apr 28, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 5
updated Feb 22, 2021
r12951, sliced program does not terminate

#2154 · opened Apr 20, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 4
updated Feb 22, 2021
r12951, slicing is slow

#2155 · opened Apr 20, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 5
updated Feb 22, 2021
r12925: Slicing: missing label (csmith)

#2157 · opened Apr 18, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 2
updated Feb 22, 2021
sliced program does not terminate (csmith)

#2161 · opened Apr 29, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 4
updated Feb 22, 2021
r13521 sliced program does not terminate (csmith)

#2162 · opened May 18, 2011 by Pascal Cuoq bug slicing
- CLOSED
- 1
updated Feb 22, 2021
Crash during slicing

#2239 · opened Feb 09, 2011 by mantis-gitlab-migration bug slicing
- CLOSED
- 3
updated Feb 22, 2021
assigns clauses are missing from the sliced program

#2390 · opened Feb 04, 2010 by Pascal Cuoq enhancement slicing
- CLOSED
- 3
updated Feb 22, 2021
crash when unbound variable

#2478 · opened Jul 15, 2009 by mantis-gitlab-migration critical slicing
- CLOSED
- 4
updated Feb 22, 2021
Slicing leaves unreachable code

#2487 · opened Jul 15, 2009 by mantis-gitlab-migration enhancement slicing
- CLOSED
- 4
updated Feb 22, 2021
-slice-print ignored when -ocode is used

#2490 · opened Jul 15, 2009 by mantis-gitlab-migration bug slicing
- CLOSED
- 3
updated Feb 22, 2021
Slicing removes more code than it should

#2491 · opened Jul 24, 2009 by mantis-gitlab-migration bug slicing
- CLOSED
- 5
updated Feb 22, 2021
Indicates errors in annotations when should not

#2493 · opened Jul 14, 2009 by mantis-gitlab-migration bug slicing
- CLOSED
- 4
updated Feb 22, 2021