PT4C : a C program tracer

Date
2006-01-01
Authors
Harvey, Daniel
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Journal Issue
Series
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.

Description
Keywords
Computer Engineering
Citation
DOI
Source