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

sosy-lab / sv-benchmarks

Collection of Verification Tasks (MOVED, please follow the link)

https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks

184 stars 169 forks source link

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

Closed tautschnig closed 3 years ago

tautschnig commented 3 years ago

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.