Demand-driven pointer analysis with strong updates via value-flow refinement

Y Sui, J Xue - arXiv preprint arXiv:1701.05650, 2017 - arxiv.org
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 …
被引用次数：3 相关文章
[PDF] researchgate.net

[PDF][PDF] Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement

Y Sui, J Xue - researchgate.net
Pointer analysis is one of the most fundamental static program analyses, on which virtually
all others are built. The goal of pointer analysis is to compute an approximation of the set of …

Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement

Y Sui, J Xue - 2021 - opus.lib.uts.edu.au
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 …

Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement

Y Sui, J Xue - arXiv e-prints, 2017 - ui.adsabs.harvard.edu
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 …