Banshee: A scalable constraint-based analysis toolkit (2005)

View PDF

Download Links

by John Kodumal , Alex Aiken
Venue:In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom
Citations:35 - 3 self

Active Bibliography

Banshee: A Practical Constraint-Based Analysis – John Kodumal, Alex Aiken
ABSTRACT Demand-Driven Points-to Analysis for Java – Manu Sridharan, Lexin Shan, Denis Gopan
of Programs]: Semantics of Programming Languages General Terms Theory – John Kodumal, Alex Aiken
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
685 A Survey of Program Slicing Techniques – F. Tip - 1995
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
486 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
32 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin