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

Cached

Download Links

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

Documents Related by Co-Citation

360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
73 Conditional must not aliasing for static race detection – Mayur Naik, Alex Aiken - 2007
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
449 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
227 Cloning-based context-sensitive pointer alias analysis using binary decision diagrams – John Whaley, Monica S. Lam - 2004
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
29 The set constraint/cfl reachability connection in practice – John Kodumal, Alex Aiken - 2004
26 Demanddriven points-to analysis for Java – M Sridharan, D Gopan, L Shan, R Bodík - 2005
129 Effective static race detection for Java – Mayur Naik, Alex Aiken, John Whaley - 2006
305 Two approaches to interprocedural dataflow analysis – M Sharir, A Pnueli - 1981
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
520 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
136 Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper) – Nenad Jovanovic, Christopher Kruegel, Engin Kirda - 2006
157 Precise analysis of string expressions – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2003
529 Perspectives on Program Analysis – Flemming Nielson - 1996