Benjamin Livshits, John Whaley, Monica S. Lam  Home/Search
Context Related
| stanford.edu/~livshits/p...aplas05r.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~livshits/work (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reflection has always been a thorn in the side of Java static analysis tools. Without a full treatment of reflection, static analysis tools are both incomplete because some parts of the program may not be included in the application call graph, and unsound because the static analysis does not take into account reflective features of Java that allow writes to object fields and method invocations. However, accurately analyzing reflection has always been di#cult, leading to most static... (Update)
Cited by: More
Reflection Analysis for Java - Benjamin Livshits John (2005) (Correct)
Active bibliography (related documents): More All
0.4: Connectivity-Based Garbage Collection - Hirzel (2004) (Correct)
0.3: Using Datalog with Binary Decision Diagrams for Program.. - Whaley, Avots, Carbin, Lam (Correct)
0.2: Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (Correct)
Similar documents based on text: More All
0.3: Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (Correct)
0.3: Tracking Pointers with Path and Context Sensitivity for Bug.. - Livshits, Lam (2003) (Correct)
0.3: Cv - Livshits (Correct)
Related documents from co-citation: More All
2: Partial Evaluation in Reflective System Implementations - Ruf - 1993
2: Compilers: Principles (context) - Aho, Sethi et al. - 1986
2: Evaluating a demand-driven technique for call graph construction - Agrawal, Li et al. - 2002
BibTeX entry: (Update)
Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java, http:// suif.stanford.edu/ # livshits/papers/tr/reflection tr.pdf. Technical report, Stanford University (2005) http://citeseer.ist.psu.edu/livshits05reflection.html More
@misc{ livshits05reflection,
author = "B. Livshits and J. Whaley and M. Lam",
title = "Reflection analysis for Java",
text = "Livshits, B., Whaley, J., Lam, M.S.: Reflection analysis for Java, http://
suif.stanford.edu/ # livshits/papers/tr/reflection tr.pdf. Technical report,
Stanford University (2005)",
year = "2005",
url = "citeseer.ist.psu.edu/livshits05reflection.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
232 Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
190 Optimization of object-oriented programs using static class .. - Dean, Grove et al. - 1995
75 Practical virtual method call resolution for Java - Sundaresan, Hendren et al. - 2000
67 Call graph construction in objectoriented languages - Grove, DeFouw et al. - 1997
62 Scalable propagation-based call graph construction algorithm.. - Tip, Palsberg - 2000
46 Practical experience with an application extractor for Java - Tip, La et al. - 1999
30 A framework for call graph construction algorithms (context) - Grove, Chambers - 2001
18 Cloning-based context-sensitive pointer alias analysis using.. - Whaley, Lam - 2004
15 Towards partial evaluation of full Scheme - Thiemann - 1996
13 ective Optimization of Statically Typed Object-Oriented Lang.. (context) - Bacon, Fast - 1998
13 Access rights analysis for Java - Koved, Pistoia et al. - 2002
11 Towards partially evaluating reflection in Java (context) - Braux, Noye - 1999
9 Partial evaluation in reflective system implementations - Ruf - 1993
6 SABER: Smart Analysis Based Error Reduction (context) - Reimer, Schonberg et al. - 2004
5 Pointer analysis in the presence of dynamic class loading (context) - Hirzel, Diwan et al. - 2004
5 Evaluating a demand driven technique for call graph construc.. - Agrawal, Li et al. - 2002
4 Finding and preventing run-time error handling mistakes - Weimer, Necula - 2004
3 Java Reflection in Action (context) - Forman, Forman - 2004
3 Context-sensitive program analysis as database queries - Lam, Whaley et al. - 2005
2 Reflection analysis for Java - Livshits, Whaley et al. - 2005
2 netWorkTeaching DocumentPractical ReflectionCourse (context) - Segura, reflection et al. - 2002
Documents on the same site (http://suif.stanford.edu/~livshits/work.html): More
Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (Correct)
Defining a Set of Common Benchmarks for Web Application Security - Livshits (Correct)
Cv - Livshits (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC