Re: Suggestions for C malloc debugging tool

taustin@ichips.intel.com (Todd Austin)
25 Jan 1997 21:53:56 -0500

          From comp.compilers

Related articles
[3 earlier articles]
Re: Suggestions for C malloc debugging tool colas@aye.inria.fr (1997-01-09)
Re: Suggestions for C malloc debugging tool lijnzaad@ebi.ac.uk (Philip Lijnzaad) (1997-01-12)
Re: Suggestions for C malloc debugging tool dickey@clark.net (T.E.Dickey) (1997-01-12)
Re: Suggestions for C malloc debugging tool stephens@math.ruu.nl (1997-01-12)
Re: Suggestions for C malloc debugging tool cef@geodesic.com (Charles Fiterman) (1997-01-12)
Re: Suggestions for C malloc debugging tool patil@ch.hp.com (Harish Patil) (1997-01-22)
Re: Suggestions for C malloc debugging tool taustin@ichips.intel.com (1997-01-25)
Re: Suggestions for C malloc debugging tool mercier@cinenet.net (1997-01-25)
| List of all articles for this month |

From: taustin@ichips.intel.com (Todd Austin)
Newsgroups: comp.compilers
Date: 25 Jan 1997 21:53:56 -0500
Organization: Intel Corp.
References: 97-01-050 97-01-177
Keywords: C, debug

Joerg Schoen writes:
|> [ suggest instrumenting C source with pointer validity checking code]


Harish Patil <patil@ch.hp.com> writes:
|> As part of my Ph.D. thesis at UW-Madison I had developed such a C to C
|> translator for pointer and array access checking using a technique
|> called "guarding". I had also done a detailed comparison of our
|> translator with "Purify". A paper based on "guarding" appears in this
|> month's `Software -- Practice and Experience'.


An earlier attempt at a similar tool (although not as capable or robust
as Harish's design) is described in:


@ARTICLE{Austin:94,
    author = "T. M. Austin and S. E. Breach and G. S. Sohi",
    title = "Efficient Detection of All Pointer and Array Access
                                    Errors",
    journal = "Proceedings of the {ACM} {SIGPLAN} '94 Conference on
                                    Programming Language Design and Implementation",
    year = 1994,
    volume = 30,
    number = 6,
    pages = "",
    month = jun
}


Regards, -Todd
--
%% Todd Austin, taustin@ichips.intel.com
%% MicroComputer Research Labs, Intel Corporation, Hillsboro, Oregon
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.