S2E: A platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
[PDF][PDF] Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.
Attacks that exploit out-of-bounds errors in C and C++ programs are still prevalent despite
many years of research on bounds checking. Previous backwards compatible bounds …
many years of research on bounds checking. Previous backwards compatible bounds …
Improving the reliability of commodity operating systems
Despite decades of research in extensible operating system technology, extensions such as
device drivers remain a significant cause of system failures. In Windows XP, for example …
device drivers remain a significant cause of system failures. In Windows XP, for example …
Improving the reliability of commodity operating systems
Despite decades of research in extensible operating system technology, extensions such as
device drivers remain a significant cause of system failures. In Windows XP, for example …
device drivers remain a significant cause of system failures. In Windows XP, for example …
Coccinelle: 10 years of automated evolution in the Linux kernel
The Coccinelle C-program matching and transformation tool was first released in 2008 to
facilitate specification and automation in the evolution of Linux kernel code. The novel …
facilitate specification and automation in the evolution of Linux kernel code. The novel …
Automatic device driver synthesis with Termite
Faulty device drivers cause significant damage through down time and data loss. The
problem can be mitigated by an improved driver development process that guarantees …
problem can be mitigated by an improved driver development process that guarantees …
Better extensibility through modular syntax
R Grimm - ACM SIGPLAN Notices, 2006 - dl.acm.org
We explore how to make the benefits of modularity available for syntactic specifications and
present Rats!, a parser generator for Java that supports easily extensible syntax. Our parser …
present Rats!, a parser generator for Java that supports easily extensible syntax. Our parser …
[PDF][PDF] Testing {Closed-Source} Binary Device Drivers with {DDT}
DDT is a system for testing closed-source binary device drivers against undesired
behaviors, like race conditions, memory errors, resource leaks, etc. One can metaphorically …
behaviors, like race conditions, memory errors, resource leaks, etc. One can metaphorically …
The design and implementation of microdrivers
V Ganapathy, MJ Renzelmann, A Balakrishnan… - ACM Sigplan …, 2008 - dl.acm.org
Device drivers commonly execute in the kernel to achieve high performance and easy
access to kernel services. However, this comes at the price of decreased reliability and …
access to kernel services. However, this comes at the price of decreased reliability and …
Tolerating hardware device failures in software
Hardware devices can fail, but many drivers assume they do not. When confronted with real
devices that misbehave, these assumptions can lead to driver or system failures. While …
devices that misbehave, these assumptions can lead to driver or system failures. While …