Banshee: A Scalable Constraint-Based Analysis Toolkit
Abstract elided by the publisher.
Related papers
- Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits TOPLAS 2001
- A User Interface Toolkit Based on Graphical Objects and Constraints OOPSLA 1988
- The set constraint/CFL reachability connection in practice PLDI 2004
- Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis SAS 2010
- GameTime: A Toolkit for Timing Analysis of Software TACAS 2011
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference ECOOP 2024
- Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis CC 2026