A technique for finding storage allocation errors in C-language programs

Authors:
David R. Barach;David H. Taenzer;Robert E. Wells
Affiliations:
INTERACTIVE Systems, Inc., Estes Park, CO;INTERACTIVE Systems, Inc., Estes Park, CO;Bolt, Beranek, and Newman, Inc., Cambridge, MA
Venue:
ACM SIGPLAN Notices
Year:
1982

Citing 2
Cited 1

The C programming language

The C programming language
Design of the PEN video editor display module

Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation

A framework for the static verification of api calls

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a simple tool for diagnosing allocation errors in C-language [Kern 78] programs. Our tool consists of a traced replacement for the standard memory allocator, and a program to analyze traces. We have found this tool quite helpful in making long-running programs (e.g. text editors) more robust.