Follow
( Publications: 34 | Followers: 0 )

Towards Shape Analysis for Device Drivers

PRESET_IRP ResetIrp,temp,tempnext; PDEVICE_EXTENSION de; ……… KeAcquireSpinLock(&de->ResetSpinLock, &Irql); ResetIrp = (PRESET_IRP) de->Flink2; while ...

Publish on Category: All 1

0

Embed

Share

Upload

Towards Shape Analysis for Device Drivers