Verifying Data Structure Invariants in Device Drivers

download Verifying Data Structure Invariants in Device Drivers

of 22

  • date post

    01-Jan-2016
  • Category

    Documents

  • view

    21
  • download

    1

Embed Size (px)

description

Verifying Data Structure Invariants in Device Drivers. Scott McPeak (smcpeak@cs) George Necula (necula@cs). Motivation. Want to verify programs that use pointers Need precise description of heap’s shape Traditional alias analysis won’t do - PowerPoint PPT Presentation