A Catalog of Research Compiler Infrastructures and Tools

BANSHEE is a toolkit for specifying program analyses as set or term constraint problems. From the web page:

BANSHEE is a toolkit that simplfies the task of building constraint-based program analyses. Program analyses are widely used in compilers and software engineering tools for discovering or verifying specific properties of software systems, such as type safety and opportunities for program optimization. To use BANSHEE, the analysis designer provides a short specification file describing the kinds of constraints used in the analysis. From this specification, BANSHEE builds a customized constraint resolution engine which solves those constraints very efficiently. BANSHEE also builds a customized interface for that engine which is easy to use.

This entry was posted on Saturday, December 22nd, 2007 at 10:20 pm and is filed under Analysis frameworks, C and/or C++. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.