sosy-lab/sv-benchmarks

Task ntdrivers/floppy2 is not memory safe

tautschnig opened this issue · 0 comments

Much like floppy.i.cil-1.c, floppy2.i.cil.c uses _SLAM_alloc_dummy to implement malloc, and thus memory safety cannot be ensured. The task should have the verdicts changed.