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.
Forked from
redox-os / gcc
200345 commits behind, 60677 commits ahead of the upstream repository.
bothner
authored
* engine/util.c (vfail): Remove unnecessary sync, fsync, and fflush. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@84253 138bc75d-0d04-0410-961f-82ee72b054a4
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| engine | ||
| libcompat | ||
| points-to | ||
| .cvsignore | ||
| AUTHORS | ||
| COPYING | ||
| COPYRIGHT | ||
| ChangeLog | ||
| INSTALL | ||
| Makefile.am | ||
| Makefile.in | ||
| NEWS | ||
| README | ||
| aclocal.m4 | ||
| config.h.in | ||
| configure | ||
| configure.ac | ||