Tryear: 2007

Trmonth: 6

Trnumber: 6

Title: Must-alias Analysis for C using bddbddb

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.

Filename:

File:

Urlpdfpaper: http://nesl.ee.ucla.edu/fw/documents/reports/2007/shea07must.pdf

Urlsrcpaper:

Urlpdfpresentation:

Urlsrcpresentation:

Urlavmedia:

Urldoi:

Urlpublisher:

Urlgooglescholar:

Urlciteseer:

Pubin:

Pubvol:

Pubnum:

Pubnum end:

Pubpagefirst:

Pubpagelast:

Pubpagecount: 7

Pubdate: 2007-06-01

Pubdate end:

Pubplace: UCLA

Publisher:

Ispublic: true

Islabdocument: true

Miscattributes:

Document category: #<DocumentCategory:0x007f418ca70948>

Main research area:

Edit | Back