sosy-lab/sv-benchmarks

ntdrivers/parport.i.cil-2 is not memory safe

tautschnig opened this issue · 0 comments

The task eventually tries to access the memory pointed to by irp.Tail.Overlay.__annonCompField17.__annonCompField16.CurrentStackLocation->Parameters.FilterResourceRequirements.IoResourceRequirementList. This member is never initialised, and could thus point anywhere.