Sciweavers

3708 search results - page 142 / 742
» Programming with C Exceptions
Sort
View
POPL
2002
ACM
16 years 7 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

Book
524views
17 years 4 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
16 years 8 hour 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
16 years 1 days 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»
16 years 8 hour 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...