kirancodes.me
To Proof Maintenance & Beyond!
PLDI 1994★ Most Influential PLDI Paper (awarded 2004)

ATOM - A System for Building Customized Program Analysis Tools

Amitabh Srivastava, Alan Eustace

Abstract

ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It provides the common infrastructure present in all code-instrumenting tools; this is the difficult and time-consuming part. The user simply defines the tool-specific details in instrumentation and analysis routines. Building a basic block counting tool like Pixie with ATOM requires only a page of code.

Related papers