skip to main content
Department of Computer Science University of Colorado Boulder
cu: home | engineering | mycuinfo | about | cu a-z | search cu | contact cu cs: about | calendar | directory | catalog | schedules | mobile | contact cs
home · events · colloquia · 2001-2002 · 
 

Colloquium - Ryder

 
11/14/2001
2:00pm-3:00pm
ECOT 831

Data-flow Analysis of Program Fragments
Rutgers University

Traditional data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fragment data-flow analysis as an alternative approach which computes data-flow information for a specific program fragment. The analysis is parameterized by the additional information available about the rest of the program.

Barbara Ryder photo

We have developed a model of how to design a fragment analysis for an existing whole-program data-flow analysis, and have explored two specific uses of our model. The first refines the results of an inexpensive whole-program pointer alias analysis for a module of a C program, obtaining more fine-grained information for this fragment (i.e., module). The second performs separable points-to and side effect analyses of a C client program which uses a library. In this second application, we show how to analyze the library separate from the client code, summarize the possible effects the library code can have on client code, and then separately analyze the client code using this summary. In this case, the analysis of the client code is a fragment analysis. Both uses of fragment analysis have been empirically evaluated. Initial results on the cost and precision indicate possible applicability to real-world software.

This work was presented, in part, at the Conference on the Foundations of Software Engineering (1999), the International Conference on Compiler Construction (2001), and in technical report DCS-TR-423 October 2000, available from the PROLANGS website.

This research was funded, in part, by NSF grants CCR-980465 and CCR-9900989, Siemens Corporate Research, and Edison Design Group.

Special talk hosted by Alexander Wolf.


The Department holds colloquia throughout the Fall and Spring semesters. These colloquia, open to the public, are typically held on Thursday afternoons, but sometimes occur at other times as well. If you would like to receive email notification of upcoming colloquia, subscribe to our Colloquia Mailing List. If you would like to schedule a colloquium, see Colloquium Scheduling.

Sign language interpreters are available upon request. Please contact Stephanie Morris at least five days prior to the colloquium.

 
See also:
Department of Computer Science
College of Engineering and Applied Science
University of Colorado Boulder
Boulder, CO 80309-0430 USA
Questions/Comments?
Send email to

Engineering Center Office Tower
ECOT 717
+1-303-492-7514
FAX +1-303-492-2844
XHTML 1.0/CSS2 ©2012 Regents of the University of Colorado
Privacy · Legal · Trademarks
May 5, 2012 (13:29)
 
.