Results 1 -
1 of
1
Banshee: A scalable constraint-based analysis toolkit
- In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom
, 2005
"... 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 foun ..."
Abstract
-
Cited by 24 (0 self)
- Add to MetaCart
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. 1
