Effective Soundness-Guided Reflection Analysis


Solar is a static analysis framework that strives to automate sound reflection analysis for Java programs (under some assumptions) introduced in our paper titled "Effective Soundness-Guided Reflection Analysis", SAS'2015. Solar is able to resolve reflection more soundly than previous approaches. In addition, it can accurately identify the places in a program where reflection is resolved unsoundly or imprecisely, enabling lightweight annotations to improve the analysis quality. Solar was developed by Yue Li and Tian Tan.

Solar can also output its reflection analysis results with the format that is supported by Soot. You can let Soot receive the results of Solar easily by following the instructions in the tutorial.


GPL v3


The tar.gz file includes four important files:


The authors wish to thank the Doop team for making Doop available, and LogicBlox Inc. for providing us its Datalog engine.