Static Analysis of Java Reflection
Reflection is a dynamic language feature that poses a major obstacle to static analyses, especially pointer analysis. In this talk, I will introduce several techniques/tools, ELF, SOLAR, TAILOR and RIPPLE, developed in my research group for statically handling reflection in the context of a pointer analysis. I will discuss some challenges and possible future research directions on reflection analysis.
Jingling Xue received his BSc and MSc degrees in Computer Science and Engineering from Tsinghua University in 1984 and 1987, respectively, and his PhD degree in Computer Science and Engineering from Edinburgh University in 1992. He is currently a Scientia Professor in the School of Computer Science and Engineering, University of New South Wales, Australia, where he leads the Programming Languages and Compilers Group.
Jingling Xue’s main research interest has been programming languages and compilers for over 25 years. He is currently supervising a group of postdocs and PhD students on a number of topics including programming and compiler techniques for multi-core processors and embedded systems, concurrent programming models, static and dynamic program analysis for bugs and security vulnerabilities, security analysis of Android apps, and automatic parallelization of programs for parallel and distributed systems. His research has been supported by Intel, Sun Microsystems, Oracle, Huawei and Australian Research Council.
Jingling Xue is interested in sharing the outcomes of his research projects in the form of open-source tools (http://www.cse.unsw.edu.au/~jingling/tools.html).
Jingling Xue is an Associate Editor for several journals, including IEEE Transactions on Computers (2011 – 2015), Software: Practice and Experience, and Journal of Computer Science and Technology. He has served as a program committee member in numerous conferences in his field.