29 search results - page 2 / 6 » Static Analysis of the XEN Kernel using Frama-C |
SMI
2010
IEEE
13 years 2 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
ICCAD
2003
IEEE
14 years 1 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...
EUROSYS
2006
ACM
14 years 1 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
CC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...