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.