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