4 citations · 4 across the 2 of their papers we have counts for
2 papers
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-…
cs.CR2016★ 4 cited
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…