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
More than 70 assets.
Earn with us.
Four steps to start trading.
New User Registration.
Determine whether the price of an asset is above or below the current price by expiry time.
Select the investment amount for the purchased option and open an order.
A Detailed FiNMAX Review To Investigate The Reliability Of The Broker.
Intro To FiNMAX Trading.
FiNMAX is one of the latest binary options brokers to cater to the global demand for improved binary options services. Although we see a lot of brokers trying different permutations and combinations while developing their binary options brokerage, FiNMAX is content with sticking to the tried and tested formula of a straightforward binary options service. The Binary Options market is a thriving industry, and brokers try to introduce new and innovative features that are designed to gain an edge in the competitive marketplace. Due to the ever-improving brokerage environment, traders these days have some of the most advanced binary options accounts and products that enable them to enjoy large profits than ever before.
FiNMAX, instead of trying out new concepts in binary trading, has taken all the accomplished products and services that are prevalent in the markets and added them to their brokerage account. As a result, what you get is a reasonably competent binary options account that cover all key aspects of binary options trading in an affordable package. Of course, not all is well with FiNMAX, as the broker has failed to address some of the pressing concerns that are relevant to its clients. In our FiNMAX binary options review, we give you a relatively transparent outline of what makes FiNMAX a good choice of a brokerage, and what are all the negative aspects that you should contemplate before opening an account.
Under first impressions, it is clear that FiNMAX has clearly understood all the primary requirements of traders. In fact, FiNMAX tries hard to display itself as a genuine binary options trading company, despite its humble beginnings in 2016. It was certainly refreshing to see that FiNMAX is located in the UK, with additional offices in Bulgaria, Cyprus, Australia, Canada, and Italy. The professionally designed website also leaves no stones unturned as to the commitment of the company towards ensuring complete transparency in its products and services.