PT4C : a C program tracer

Thumbnail Image
Date
2006-01-01
Authors
Harvey, Daniel
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Authors
Research Projects
Organizational Units
Journal Issue
Is Version Of
Versions
Series
Department
Abstract

Program analysis tools can be useful to the software engineer to aid in program understanding. Program understanding can include the discovery of dynamic memory errors, the ability to track pointers, and the ability to follow variable dependencies in a target code. Many program analysis tools exist, but few of them have the capability to perform point specific, inter-procedural program analysis. We present a program analysis tool that is point specific and inter-procedural. In addition, it is also capable of detecting pointer and dynamic memory errors. These errors include unassigned pointers, dangling pointers, memory leaks, and double-frees. The tool's point specific analysis provides detailed statement level data flow information including in-set, read-write pairs, and pointer graphs.

Comments
Description
Keywords
Citation
DOI
Source
Copyright
Sun Jan 01 00:00:00 UTC 2006