Computer Science – Programming Languages
Scientific paper
2011-08-12
Proceeding of ICSCT 2010, Kunming, China, November 2010
Computer Science
Programming Languages
Scientific paper
Points-to analysis is the problem of approximating run-time values of pointers statically or at compile-time. Points-to sets are used to store the approximated values of pointers during points-to analysis. Memory usage and running time limit the ability of points-to analysis to analyze large programs. To our knowledge, works which have implemented a bit-vector representation of points-to sets so far, allocates bits for each pointer without considering pointer's type. By considering the type, we are able to allocate bits only for a subset of all abstract objects which are of compatible type with the pointer's type and as a consequence improve the memory usage and running time. To achieve this goal, we number abstract objects in a way that all the abstract objects of a type and all of its sub-types be consecutive in order. Our most efficient implementation uses about 2.5 times less memory than hybrid points-to set (default points-to set in Spark) and also improves the analysis time for sufficiently large programs.
Khademzadeh Ahmed
Toussi Hamid A.
No associations
LandOfFree
Improving bit-vector representation of points-to sets using class hierarchy does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Improving bit-vector representation of points-to sets using class hierarchy, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Improving bit-vector representation of points-to sets using class hierarchy will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-16839