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
Altmetrics
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.

Series Number
Journal Issue
Is Version Of
Versions
Series
Academic or Administrative Unit
Type
thesis
Comments
Rights Statement
Copyright
Sun Jan 01 00:00:00 UTC 2006
Funding
Supplemental Resources
Source