Analyzing Stripped Device-Driver Executables
No abstract available.
Related papers
- WYSINWYX: What you see is not what you eXecute TOPLAS 2010
- Towards Shape Analysis for Device Drivers VMCAI 2007
- Toward compositional verification of interruptible OS kernels and device drivers PLDI 2016
- KISS: keep it simple and sequential PLDI 2004
- Fairness for Infinite-State Systems TACAS 2015
- Analyzing memory management methods on integrated CPU-GPU systems ISMM 2017
- The SLAM project: debugging system software via static analysis POPL 2002
- A principled approach to operating system construction in Haskell ICFP 2005