NESL Technical Report #: 2007-6-6
Abstract: This document details using the bddbddb tool, developed by Whaley and Lam, to implement a must-alias analysis for programs written in C. We currently generate and analyze constraints for a subset of C including simple pointer types, dynamic memory management with malloc and free, and if - else statements. We describe potential pathways to supporting a wider subset of C, such as loops and inter-procedural analysis of function calls, with minimal changes to our analysis. More challenging future work includes supporting (potentially recursive) data structures and adding context sensitivity.
Page (Count): 7
Public Document?: Yes
NESL Document?: Yes
Document category: Report