Toggle navigation
Home
People
Projects
Documents
Products
Courses
Login
Editing document
Tryear
Trmonth
Trnumber
Title
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
Urlsrcpaper
Urlpdfpresentation
Urlsrcpresentation
Urlavmedia
Urldoi
Urlpublisher
Urlgooglescholar
Urlciteseer
Pubin
Pubvol
Pubnum
Pubnum end
Pubpagefirst
Pubpagelast
Pubpagecount
Pubdate
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubdate end
2020
2021
2022
2023
2024
2025
2026
2027
2028
2029
2030
January
February
March
April
May
June
July
August
September
October
November
December
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Pubplace
Publisher
Ispublic
Islabdocument
Miscattributes
Document category
Main research area
Show
|
Back