PT4C : a C program tracer
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.