Banshee: A scalable constraint-based analysis toolkit (2005)
by
John Kodumal
,
Alex Aiken
| Venue: | In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom |
| Citations: | 24 - 0 self |
BibTeX
@INPROCEEDINGS{Kodumal05banshee:a,
author = {John Kodumal and Alex Aiken},
title = {Banshee: A scalable constraint-based analysis toolkit},
booktitle = {In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom},
year = {2005},
pages = {218--234}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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
