4 citations · 5 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
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…
cs.PL2017
Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement
Yulei Sui, Jingling Xue
We present a new demand-driven flow- and context-sensitive pointer analysis with strong updates for C programs, called SUPA, that enables computing points-to information via value-…