mirror of
https://gcc.gnu.org/git/gcc.git
synced 2024-11-27 05:44:15 +08:00
6de9cd9a88
From-SVN: r81764
11 lines
476 B
Plaintext
11 lines
476 B
Plaintext
This is banshee, a toolkit for constructing constraint-based program analyses.
|
|
See the user manual in docs/banshee.ps for a complete description of banshee.
|
|
|
|
This is a beta release of banshee. Although banshee has been designed to solve
|
|
many kinds of constraints, it has only been extensively tested on
|
|
Andersen's-style points-to analysis.
|
|
|
|
banshee is distributed under the BSD license. See the COPYRIGHT file for more
|
|
details.
|
|
|
|
Send bug reports to jkodumal@cs.berkeley.edu. |