Reflection is a highly dynamic language feature that poses grave problems for static analyses. In the Java setting, reflection is ubiquitous in large programs. Any handling of reflection will be approximate, and overestimating its reach in a large codebase can be catastrophic for precision and scalability. We present an approach for handling reflection with improved empirical soundness (as measured against prior approaches and dynamic information) in the context of a points-to analysis. Our approach is based on the combination of string-flow and points-to analysis from past literature augmented with (a) substring analysis and modeling of partial string flow through string builder classes; (b) new techniques for analyzing reflective entities...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Android developers heavily use reflection in their apps for legitimate reasons. However, reflection ...
Static analysis on source code or binary code retrieves information about a software program. In obj...
Reflection is a highly dynamic language feature that poses grave problems for static analyses. In th...
Reflection has always been a thorn in the side of Java static analysis tools. Without a full treatm...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
The behavior of software that uses the Java Reflection API is fundamentally hard to predict by analy...
Java reflection is increasingly used in a range of software and framework architectures.It allows a ...
Static analyses for reflection and other dynamic language features have recently increased in number...
Static program analyses and transformations for Java face many problems when analyzing programs that...
Static program analyses and transformations for Java face many problems when analyzing programs that...
We introduce Solar, the first reflection analysis that allows its soundness to be reasoned about whe...
It is popular and appealing to design and construct a persistent programming language by extending t...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Android developers heavily use reflection in their apps for legitimate reasons. However, reflection ...
Static analysis on source code or binary code retrieves information about a software program. In obj...
Reflection is a highly dynamic language feature that poses grave problems for static analyses. In th...
Reflection has always been a thorn in the side of Java static analysis tools. Without a full treatm...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
The behavior of software using the Java Reflection API is fundamentally hard to predict by analyzing...
The behavior of software that uses the Java Reflection API is fundamentally hard to predict by analy...
Java reflection is increasingly used in a range of software and framework architectures.It allows a ...
Static analyses for reflection and other dynamic language features have recently increased in number...
Static program analyses and transformations for Java face many problems when analyzing programs that...
Static program analyses and transformations for Java face many problems when analyzing programs that...
We introduce Solar, the first reflection analysis that allows its soundness to be reasoned about whe...
It is popular and appealing to design and construct a persistent programming language by extending t...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Reflective systems allow their own structures to be altered from within. Here we are concerned with ...
Android developers heavily use reflection in their apps for legitimate reasons. However, reflection ...
Static analysis on source code or binary code retrieves information about a software program. In obj...