The complexity of modern software makes it difficult to ship correct programs. Errors can cost
money and lives, so developers often use automated software analysis tools to hunt for …

We propose a low-overhead sampling infrastructure for gathering information from the
executions experienced by a program's user community. Several example applications …

Dynamically deployable software probes facilitate ad hoc runtime application monitoring
and troubleshooting. Using the latest features of Sun Microsystems' JDK 1.4, we have built a …

Static program analysis is the art of reasoning about the behavior of computer programs
without actually running them. This is useful not only in optimizing compilers for producing …

AWE is a prototype system for performing analysis of x86 executables in the absence of
source code or debugging information. It provides a modular infrastructure for integrating …

Complex software packages, particularly systems software, often require substantial
customization before being used. Small mistakes in configuration can lead to hard-to …

An important, but often neglected, goal of static analysis for detecting bugs is the ability to
show defects to the programmer quickly. Unfortunately, existing static analysis tools scale …

BACKGROUND Many Software systems go through extensive testing before they are
released in an attempt to eliminate bugs and improve performance. Often, testing is done ad …

Static program analysis complements traditional dynamic testing by discovering generic
patterns and relations in source code, which indicate software deficiencies such as memory …

We consider properties desirable for static analysis tools targeted at finding bugs in the real
open source code, and review tools based on various approaches to defect detection. A …