Banshee: A Scalable Constraint-Based Analysis Toolkit [chapter]

John Kodumal, Alex Aiken
2005 Lecture Notes in Computer Science  
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.
doi:10.1007/11547662_16 fatcat:ma27gswyvrdaniurstkitre6ba