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

Add missing initialisation in ntdrivers/parport.i.cil-2 #1271

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 was never initialised, and could thus point anywhere.

Fixes: #1269

dbeyer commented 3 years ago

@tautschnig Is it possible to get this fixed, so that we can merge #1272?

tautschnig commented 3 years ago

@tautschnig Is it possible to get this fixed, so that we can merge #1272?

Yes, I'll work on it.

tautschnig commented 3 years ago

Cleaned up, including a split into multiple (small) commits.

dbeyer commented 3 years ago

1272 was approved, this this one needs to be merged as well.