122 search results - page 1 / 25 » Bounded Model Checking of Pointer Programs |
CSL
2005
Springer
14 years 4 months ago
2005
Springer
AADEBUG
1997
Springer
14 years 3 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
DAC
2003
ACM
14 years 11 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
FMICS
2010
Springer
13 years 11 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
ASPLOS
2008
ACM
14 years 24 days ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...