Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Banshee: A Scalable Constraint-Based Analysis John Kodumal1

Summary: Banshee: A Scalable Constraint-Based Analysis
John Kodumal1
and Alex Aiken2
EECS Department, University of California, Berkeley
Computer Science Department, Stanford University
Abstract. 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 Ban-
shee useful as a foundation for production program analyses.
1 Introduction
Program analyses that are simultaneously scalable, accurate, and efficient re-
main expensive to develop. One approach to lowering implementation cost is to
express the analysis using constraints. Constraints separate analysis specification
(constraint generation) from analysis implementation (constraint resolution). By
exploiting this separation, designers can benefit from existing algorithms for
constraint resolution. This separation helps, but leaves several problems unad-


Source: Aiken, Alex - Department of Computer Science, Stanford University


Collections: Computer Technologies and Information Sciences