Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026
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…
cs.PL2023
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…
cs.PL2017
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…