View Full Document

10 views

Unformatted text preview:

Dynamic Points To Sets A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization Markus Mock Manuvir Das Craig Chambers and Susan J Eggers Department of Computer Science and Engineering University of Washington Box 352350 Seattle WA 98195 2350 mock chambers eggers cs washington edu Microsoft Research Redmond WA 98052 manuvir microsoft com UW CSE Technical Report 01 03 01 Microsoft Research Technical Report MSR TR 2001 38 March 2001 Dynamic Points To Sets A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization Markus Mock Manuvir Das Craig Chambers and Susan J Eggers Microsoft Research Redmond WA 98052 manuvir microsoft com Department of Computer Science and Engineering University of Washington Box 352350 Seattle WA 98195 2350 mock chambers eggers cs washington edu Abstract that two expressions might be aliased i e refer to the same object Several classes of pointer analysis algorithms have been designed While flow and context sensitive algorithms potentially produce more precise results they generally do not scale well In addition recent work 5 9 suggests that for typical C programs e g SPEC benchmarks Das s fast and highly scalable algorithm produces results as good as those of a contextsensitive algorithm However even its points to sets are often still on the order of tens or even hundreds of objects Clearly such points to sets are too large to be very useful in a program understanding tool where the user might like to know what objects a pointer store might modify Instead of designing yet another pointer analysis algorithm we wanted to find out how well the statically computed points to set agree with actual program behavior i e how many different objects are referenced at a particular pointer dereference compared to the number of objects in the points to set computed by a state of the art pointer analysis algorithm Dynamic points to sets may tell us how close actual



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Dynamic Points To Sets and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Dynamic Points To Sets and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?