Benjamin Livshits, John Whaley, Monica S. Lam  Home/Search
Context Related
| stanford.edu/~livsh...reflection_tr.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.6: Connectivity-Based Garbage Collection - Hirzel (2004) (Correct)
0.4: Pixy: A Static Analysis Tool for Detecting Web.. - Jovanovic, Kruegel.. (2006) (Correct)
0.4: Precise Alias Analysis for Static Detection of Web.. - Jovanovic, Kruegel.. (Correct)
Similar documents based on text: More All
1.1: Cv - Livshits (Correct)
0.3: Cloning-Based Context-Sensitive Pointer Alias Analysis Using.. - Whaley, Lam (2004) (Correct)
0.3: Finding Application Errors and Security Flaws Using PQL: a .. - Martin, Livshits, Lam (2005) (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/article/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/article/livshits05reflection.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
246 Contextsensitive interprocedural points-to analysis in the p.. - Emami, Ghiya et al. - 1994
232 Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
190 Optimization of object-oriented programs using static class .. - rey, David et al. - 1995
71 Fast static analysis of C++ virtual function calls (context) - Bacon, Sweeney - 1996
30 A framework for call graph construction algorithms (context) - Grove, Chambers - 2001
27 Scaling Java points-to analysis using Spark (context) - Lhotak, Hendren - 2003
24 Call graph construction in object-oriented languages (context) - Grove, DeFouw et al. - 1997
15 Reducing indirect function call overhead in C++ programs (context) - Calder, Grunwald - 1994
13 ective Optimization of Statically Typed Object-Oriented Lang.. (context) - Bacon - 1998
13 Access rights analysis for Java - Koved, Pistoia et al. - 2002
11 Towards partially evaluating reflection in Java (context) - Braux, Noye - 1999
9 Eliminating virtual function calls in C++ programs (context) - Aigner, Holzle - 1996
5 Precise analysis of string expressions (context) - Christensen, Mller et al. - 2003
5 Finding security errors in Java programs with static analysi.. (context) - Livshits, Lam - 2005
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
5 Finding security errors in Java programs with static analysi.. (context) - Livshits, Lam - 2005
3 Java Reflection in Action (context) - Forman, Forman - 2004
1 Using run-time data for program comprehension (context) - Gschwind, Oberleitner et al. - 2003
1 netWorkTeaching DocumentPractical ReflectionCourse (context) - Gael, Cointe et al. - 2002
1 Tomcat: The Definitive Guide (context) - Brittain, Darwin - 2003
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)
Reflection Analysis for Java - Livshits, Whaley, Lam (2005) (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