Must-alias Analysis for C using bddbddb [Report]

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

Date: 2007-06-01

Place: UCLA

Public Document?: Yes

NESL Document?: Yes

Document category: Report