Banshee: A Scalable Constraint-Based Analysis Toolkit

Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis based on backtracking, and fast persistence. These features make Banshee useful as a foundation for production program analyses.

• Type: Conference
• Year: 2005
• Where: SAS
• Authors: John Kodumal, Alexander Aiken
• Keywords: Constraintbased Analyses, Features Make Banshee, Formal Methods, Production Program Analyses, SAS 2005