Towards Shape Analysis for Device Drivers
No abstract available.
Related papers
- Thread-modular shape analysis PLDI 2007
- Analyzing Stripped Device-Driver Executables TACAS 2008
- Toward compositional verification of interruptible OS kernels and device drivers PLDI 2016
- AutoPA: automatically generating active driver from original passive driver code CGO 2018
- Generalizing Shape Analysis with Gradual Types ECOOP 2024
- The SLAM project: debugging system software via static analysis POPL 2002
- WYSINWYX: What you see is not what you eXecute TOPLAS 2010
- Termination proofs for systems code PLDI 2006