|
1
|
RUNTIME MONITORING OF C PROGRAMS FOR SECURITY AND CORRECTNESS
– Suan Hsi Yong
- 2004
|
|
115
|
Memory Management with Explicit Regions
– David Gay, Alex Aiken
- 1998
|
|
|
PRACTICAL LOW-OVERHEAD ENFORCEMENT OF MEMORY SAFETY FOR C PROGRAMS
– Santosh Ganapati Nagarakatte
|
|
113
|
ABCD: Eliminating Array Bounds Checks on Demand
– Rastislav Bodik , Rajiv Gupta, Vivek Sarkar
- 2000
|
|
7
|
ABCD: Eliminating Array-Bounds Checks on Demand
– Rastislav Bodik, Rajiv Gupta, Vivek Sarkar
- 2000
|
|
9
|
Code injection in C and C++ : A survey of vulnerabilities and countermeasures
– Yves Younan, Wouter Joosen, Frank Piessens
- 2004
|
|
1
|
Efficient Intraprocedural Array Bound Checking
– Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Ronan Keryell
|
|
7
|
Eliminating Range Checks Using Static Single Assignment Form
– John Gough, Herbert Klaeren
- 1994
|
|
27
|
Optimizing Array Reference Checking in Java Programs
– José E. Moreira, Samuel P. Midkiff, Samuel P. Midkiff, Jos E. Moreira, Marc Snir, Marc Snir
- 1998
|
|
100
|
Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions
– Radu Rugina, Martin Rinard
- 2000
|
|
62
|
Elimination of Redundant Array Subscript Range Checks
– Priyadarshan Kolte, Michael Wolfe
- 1995
|
|
49
|
From Flop to MegaFlops: Java for Technical Computing
– J. E. Moreira, S. P. Midkiff, M. Gupta
- 1998
|
|
41
|
Efficient Run-time Monitoring Using Shadow Processing
– Harish Patil, Charles Fischer
- 1995
|
|
|
Published in the Proceedings of the Principles of Programming Languages, 2002, pages??–?? CCured: Type-Safe Retrofitting of Legacy Code
– George C. Necula, Scott Mcpeak, Westley Weimer
|
|
286
|
CCured: Type-Safe Retrofitting of Legacy Code
– George C. Necula, Scott McPeak, Westley Weimer
- 2002
|
|
91
|
CCured: Type-Safe Retrofitting of Legacy Software
– George C. Necula, Jeremy Condit, Matthew Harren, Scott Mcpeak, Westley Weimer
- 2005
|
|
2
|
WHATSAT: Dynamic heap type inference for program understanding and debugging
– Marina Polishchuk, Ben Liblit, Chloë W. Schulze, Marina Polishchuk
- 2006
|
|
41
|
An efficient and backwards-compatible transformation to ensure memory safety of c programs
– Wei Xu, Daniel C. Duvarney, R. Sekar
- 2004
|
|
48
|
Interprocedural Symbolic Analysis
– Paul Havlak
- 1994
|
