*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.
 
----
CategorySystem, CategoryAnalysis