A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fahndrich, Jeffrey S. Foster, and Zhendong Su
Second International Workshop on Types in Compilation (TIC), pages 78-96. Kyoto, Japan. March 1998.

BANE (the Berkeley Analysis Engine) is a publically available toolkit for constructing type- and constraint-based program analyses. We describe the goals of the project, the rationale for BANE's overall design, some examples coded in BANE, and briefly compare BANE with other program analysis frameworks.

[ pdf | ps.gz ]