Pointer Analysis for Multithreaded Programs

This paper presentsanovel interprocedural, #ow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations to which that pointer may point. The algorithm correctly handles a full range of constructs in multithreaded programs, including recursive functions, function pointers, structures, arrays, nested structures and arrays, pointer arithmetic, casts between pointer variables of di#erenttypes, heap and stack allocated memory, shared global variables, and thread-private global variables