Perspectives on Program Analysis (1996)

Cached

Download Links

by Flemming Nielson
Citations:526 - 33 self

Documents Related by Co-Citation

1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
119 Program Analysis via Graph Reachability – Thomas Reps - 1997
24 Static analysis for dynamic XML – Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach - 2002
172 Soot - a java optimization framework – Raja Vallée-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon, Phong Co - 1999
520 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
113 Types for safe locking – Cormac Flanagan - 1999
199 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
399 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
721 Security policies and security models – J A Goguen, J Meseguer - 1982
89 Defending against Injection Attacks through Context-Sensitive String Evaluation – Tadeusz Pietraszek, Chris Vanden Berghe, Chris V, En Berghe - 2005
147 Automatically hardening web applications using precise tainting – Anh Nguyen-tuong, Salvatore Guarnieri, Doug Greene, David Evans - 2005
73 Noxes: A Client-Side Solution for Mitigating Cross-Site Scripting Attacks – Engin Kirda, Christopher Kruegel, Giovanni Vigna, Nenad Jovanovic - 2006
277 Intrusion Detection via Static Analysis – David Wagner, Drew Dean - 2001