Sciweavers

3708 search results - page 142 / 742
» Programming with C Exceptions
Sort
View
POPL
2002
ACM
16 years 5 months ago
CCured: type-safe retrofitting of legacy code
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
George C. Necula, Scott McPeak, Westley Weimer
275
Voted

Book
524views
17 years 2 months ago
Programming The Nintendo Game Boy Advance: The Unofficial Guide
All you need to know about the Nintendo game development. You will need to be a proficient in the C Language in order to follow this book.
Jonathan S. Harbour
CCS
2003
ACM
15 years 10 months ago
Buffer overrun detection using linear programming and static analysis
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
Vinod Ganapathy, Somesh Jha, David Chandler, David...
IWPC
2003
IEEE
15 years 10 months ago
gccXfront: Exploiting gcc as a Front End for Program Comprehension Tools via XML/XSLT
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
Mark Hennessy, Brian A. Malloy, James F. Power
CC
2003
Springer
120views System Software» more  CC 2003»
15 years 10 months ago
Run-Time Type Checking for Binary Programs
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
Michael Burrows, Stephen N. Freund, Janet L. Wiene...