107 search results - page 9 / 22 » Static Detection of Dynamic Memory Errors |
PLDI
1999
ACM
14 years 2 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
SIGSOFT
2002
ACM
14 years 11 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
1 — Sampling is increasingly utilized by passive measurement systems to save the resources consumption. However, the widely adopted static linear sampling selects packets with th...