libbanshee/README

   1 This is banshee, a toolkit for constructing constraint-based program analyses.
   2 See the user manual in docs/banshee.ps for a complete description of banshee.
   3
   4 This is a beta release of banshee. Although banshee has been designed to solve
   5 many kinds of constraints, it has only been extensively tested on
   6 Andersen's-style points-to analysis.
   7
   8 banshee is distributed under the BSD license. See the COPYRIGHT file for more
   9 details.
  10
  11 Send bug reports to jkodumal@cs.berkeley.edu.