BANE

Program-Transformation.Org: The Program Transformation Wiki

Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html

The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow and type inference systems.

The toolkit has been developed by AlexAiken and students.