Showing cs.PLShow all
2 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.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…