Search Sciweavers | Sciweavers

3256 search results - page 29 / 652

» Mixin-Based Programming in C

click to vote

AADEBUG
1997
Springer

243views Software Engineering» more AADEBUG 1997»

Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

14 years 1 months ago

Download www.ep.liu.se

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...

Richard W. M. Jones, Paul H. J. Kelly

claim paper

Read More »

click to vote

SIGSOFT
2003
ACM

163views Software Engineering» more SIGSOFT 2003»

Tracking pointers with path and context sensitivity for bug detection in C programs

14 years 10 months ago

Download suif.stanford.edu

This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...

V. Benjamin Livshits, Monica S. Lam

claim paper

Read More »

click to vote

SCAM
2009
IEEE

167views Software Engineering» more SCAM 2009»

A Value Analysis for C Programs

14 years 4 months ago

Download www.dcs.kcl.ac.uk

Géraud Canet, Pascal Cuoq, Benjamin Monate

claim paper

Read More »