Portal de Periódicos da CAPES

Banshee: A Scalable Constraint-Based Analysis Toolkit

2005; Springer Science+Business Media; Linguagem: Inglês

10.1007/11547662_16

1611-3349

John Kodumal, Alex Aiken,

Formal Methods in Verification

We introduce Banshee, a toolkit for constructing constraint-based 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.