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-…