Reflection, which is widely used in practice, poses a significant obstacle to program analysis. Reflective calls can be analyzed statically or dynamically. Static analysis can be more sound, but may introduce many false reflective targets and thus sometimes make it unscalable. In contrast, dynamic analysis can be precise, but may miss many true reflective targets due to low code coverage.
Jie introduces Mirror, the first automatic reflection analysis for Java that reaps the benefits of both worlds. In it's static analysis, a novel reflection-oriented slicing technique is applied to identify a small number of small path-based slices for a reflective call so that different reflective targets are likely exercised along these different paths. This preserves the soundness of pure static reflection analysis as much as possible, improves its scalability, and reduces substantially its false positive rate. In its dynamic analysis, these slices are executed with automatically generated test cases to report the reflective targets accessed. This significantly improves the code coverage of pure dynamic analysis. Jie discusses how the team evaluated Mirror against a state-of-the-art dynamic reflection analysis tool, Tamiflex, by using a set of 10 large real-world Java applications. Mirror detects 12.5% - 933.3% more reflective targets efficiently (in 362.8 seconds on average) without producing any false positives. These new targets enable 5 -
174949 call-graph edges to be reachable in the application code.
With Mirror, more reflective targets can be resolved precisely and quickly, rendering a larger part of the codebase to be visible to many analysis tools such as bug detectors and security analyzers.
Jie liu is a PhD student supervised by Prof. Jingling Xue at School of Computer Science and Engineering, University of New South Wales (UNSW).
Jie received his B.Eng degree in Software Engineering from Northwestern Polytechnical University (NPU) in 2014. Before joining UNSW, Jie studied in Fudan University as a postgraduate student from 2014 to 2015. Jie started pursuing his PhD in February 2016.
Jie's research interests are program analysis, software engineering and programming languages.
Jie Liu - http://www.cse.unsw.edu.au/~jieliu/
Oracle Labs Australia - http://labs.oracle.com/locations/australia
Mineral purifiers naturally sanitize the water while keeping the amount of chemical additives to a minimum, saving time and money.
Chlorine - most common type of cleaning system Frog - Mineral based system that helps reduce amount of needed chlorine Nature 2 - Mineral based system that can be combined with salt water systems Salt System - creates chlorine from salt for a less chemical swimming experience Baquacil - Chlorine-free system that is less irritating to eyes and easier on pool liners.
Rising Sun Pools also offers a number of private-label cleaning supplies to keep your pool sparkling. Stop by one of our showrooms for details.
Rising Sun Pools is proud to carry Sundance Spas in-ground hot tubs. See our Hot Tubs section for more information.
Privacy is usually a concern and should incorporate various design elements such as trees, walls, fences, screen, shrubs, gardens or whatever you like that accomplishes your goal.