42 citations · 43 across the 4 of their papers we have counts for
1 paper · 1 filter
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-…