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

Active Bibliography

Banshee: A Practical Constraint-Based Analysis – John Kodumal, Alex Aiken
of Programs]: Semantics of Programming Languages General Terms Theory – John Kodumal, Alex Aiken
27 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis – Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su
68 Polymorphic versus monomorphic flow-insensitive points-to analysis for C – Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken - 2000
4 Secure Execution Environment via Program Shepherding – Saman P. Amarasinghe, V L Kiriansky, Vladimir L. Kiriansky - 2003
20 Incremental and demand-driven points-to analysis using logic programming – Diptikalyan Saha - 2005
17 Incremental evaluation of tabled logic programs – Diptikalyan Saha, C. R. Ramakrishnan - 2003
Scalable, Precise Context-Sensitive Top-Down Process for Modular Points-to Analysis – Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
2 Compaction Algorithm for Precise Modular Context-Sensitive Points-to Analysis – Hong-Seok Kim, Erik M. Nystrom, Ronald D. Barnes, Wen-Mei W. Hwu - 2003
39 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – Ondrej Lhoták - 2002
121 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
10 Exploiting pointer and location equivalence to optimize pointer analysis – Ben Hardekopf, Calvin Lin - 2007
6 Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis – Guoqing Xu, Atanas Rountev, Manu Sridharan - 2009
10 Interactive, Scalable, Declarative Program Analysis: From Prototype to Implementation – William C. Benton, et al. - 2007
29 The set constraint/cfl reachability connection in practice – John Kodumal, Alex Aiken - 2004
2 Toward the Integration of Symbolic and Numerical Static Analysis – Arnaud Venet
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001