Runtime Checking for Paired Functions in Device Drivers
暂无分享,去创建一个
Shi-Min Hu | Yu-Ping Wang | Jia-Ju Bai | Hu-Qiu Liu | Shimin Hu | Jia-Ju Bai | Yuping Wang | Hu-Qiu Liu
[1] Asim Kadav,et al. Tolerating hardware device failures in software , 2009, SOSP '09.
[2] Brian N. Bershad,et al. Improving the reliability of commodity operating systems , 2005, TOCS.
[3] M. Mellia,et al. Click vs. Linux: two efficient open-source IP network stacks for software routers , 2005, HPSR. 2005 Workshop on High Performance Switching and Routing, 2005..
[4] Asim Kadav,et al. Understanding modern device drivers , 2012, ASPLOS XVII.
[5] Carsten Sinz,et al. LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR , 2012, VSTTE.
[6] George C. Necula,et al. SafeDrive: safe and recoverable extensions using language-based techniques , 2006, OSDI '06.
[7] Zhenmin Li,et al. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code , 2005, ESEC/FSE-13.
[8] Wei Zhang,et al. Automated Concurrency-Bug Fixing , 2012, OSDI.
[9] Sriram K. Rajamani,et al. Thorough static analysis of device drivers , 2006, EuroSys.
[10] Benjamin Livshits,et al. Tracking pointers with path and context sensitivity for bug detection in C programs , 2003, ESEC/FSE-11.
[11] Dawson R. Engler,et al. Bugs as deviant behavior: a general approach to inferring errors in systems code , 2001, SOSP.
[12] Brian N. Bershad,et al. Recovering device drivers , 2004, TOCS.
[13] Junfeng Yang,et al. An empirical study of operating systems errors , 2001, SOSP.
[14] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[15] Xi Wang,et al. Improving Integer Security for Systems with KINT , 2012, OSDI.