Task ntdrivers/floppy2 is not memory safe
tautschnig opened this issue · 0 comments
tautschnig commented
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.