The SPAN Pointer Analysis Package

The SPAN pointer analysis package is an implementation of our flow and context sensitive pointer analysis for multithreaded C programs. It is implemented in the SUIF Compiler Infrastructure, and has been used for memory access disambiguation in our research group and other research groups.

Source code and documentation for the SPAN pointer analysis package are available here.

Here is our PLDI paper on the SPAN pointer analysis algorithm:

Here are some of the projects that have used the SPAN pointer analysis package: