4 citations · 7 across the 5 of their papers we have counts for
5 papers
Qihe: A General-Purpose Static Analysis Framework for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang +6
In the past decades, static analysis has thrived in software, facilitating applications in bug detection, security, and program understanding. These advanced analyses are largely u…
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma, Shengyuan Yang, Tian Tan +3
Over the past decades, context sensitivity has been considered as one of the most effective ideas for improving the precision of pointer analysis for Java. However, despite great p…
Tai-e: A Static Analysis Framework for Java by Harnessing the Best Designs of Classics
Tian Tan, Yue Li
Static analysis is a mature field with applications to bug detection, security analysis, and code optimization, etc. To facilitate these applications, static analysis frameworks pl…
Understanding and Analyzing Java Reflection
Yue Li, Tian Tan, Jingling Xue
Java reflection has been increasingly used in a wide range of software. It allows a software system to inspect and/or modify the behaviour of its classes, interfaces, methods and f…
Ripple: Reflection Analysis for Android Apps in Incomplete Information Environments
Yifei Zhang, Tian Tan, Yue Li +1
Despite its widespread use in Android apps, reflection poses graving problems for static security analysis. Currently, string inference is applied to handle reflection, resulting i…