Software
During my stay at Bell Labs, I contributed to the development of GDA.
GDA Toolkit
GDA is a tool for scalable analysis of C code. Built into this distribution of GDA is an implementation of Andersen's aliasing analysis using sub-transitive graphs, as well as a dependence analysis for tracking dependencies between variables, fields etc.
The source code is now available
for download (readme.txt).
Copyright (c) 2002, Agere Systems
All rights reserved.