Description: 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.
File list (Check if you may need any files):
Release.1.0.tar
Download