...the next update of C-Atlas, Ensoft intends to update the capabilities of C-Atlas. These improvements are intended to provide a customizable approach to evaluating a program’s design, structure, and security. Such an update seeks to address any number of problems. Analyzing a C program’s memory management is one such problem. This project would seek to use C-Atlas to better analyze C memory management. In memory leak (memory management) analysis, the user must show that for every path forward from an variable’s allocation, there exists at least one deallocation site for that variable. This task is trivial, unless the variable’s allocation and deallocation(s) are separated by a vast field of possible control flow. C-Atlas offers a flexible interface for data flow graph generation as a solution to this problem. Through this interface, one may then produce connected data flow graphs, allowing a single variable’s path to be traced through multiple functions. This visual aide can greatly increase the time efficiency of performing memory leak analysis. The idea of this project was to write a script to produce meaningful data flow graphs for analyzing memory leaks. This script will seek to help confirm (or dispute) if some allocation site is dominated by some deallocation-site along every feasible data flow path. Finally, the script will be tested on a release of the XINU kernel. RESEARCH The research portion of this...
Words: 877 - Pages: 4
