Value-flow-based demand-driven pointer analysis for C and C++

Y Sui, J Xue - IEEE Transactions on Software Engineering, 2018 - ieeexplore.ieee.org
We present Supa, a value-flow-based demand-driven flow-and context-sensitive pointer
analysis with strong updates for C and C++ programs. Supa enables computing points-to …
被引用次数：49 相关文章
[PDF] archive.org

[PDF][PDF] Value-Flow-Based Demand-Driven Pointer Analysis for C and C+

Y Sui, J Xue - scholar.archive.org
“© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained
for all other uses, in any cu Page 1 “© 2018 IEEE. Personal use of this material is permitted …

Value-Flow-Based Demand-Driven Pointer Analysis for C and C++

Y Sui, J Xue - IEEE Transactions on Software Engineering, 2020 - computer.org
We present Supa, a value-flow-based demand-driven flow-and context-sensitive pointer
analysis with strong updates for C and C++ programs. Supa enables computing points-to …
[PDF] researchgate.net

[PDF][PDF] Value-Flow-Based Demand-Driven Pointer Analysis for C and C+

Y Sui, J Xue - researchgate.net
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ Page 1 JOURNAL OF
LATEX CLASS FILES, VOL. 14, NO. 8, MARCH 2018 1 Value-Flow-Based Demand-Driven …
[PDF] github.io

[PDF][PDF] Value-Flow-Based Demand-Driven Pointer Analysis for C and C+

Y Sui, J Xue - yuleisui.github.io
Value-Flow-Based Demand-Driven Pointer Analysis for C and C++ Page 1 JOURNAL OF
LATEX CLASS FILES, VOL. 14, NO. 8, MARCH 2018 1 Value-Flow-Based Demand-Driven …
[PDF] uts.edu.au

[PDF][PDF] Value-Flow-Based Demand-Driven Pointer Analysis for C and C++

Y Sui - IEEE Transactions on Software Engineering, 2020 - opus.lib.uts.edu.au
“© 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained
for all other uses, in any cu Page 1 “© 2018 IEEE. Personal use of this material is permitted …

Value-Flow-Based Demand-Driven Pointer Analysis for C and C++

Y Sui, J Xue - IEEE Transactions on Software Engineering, 2018 - opus.lib.uts.edu.au
IEEE We present SUPA, a value-flow-based demand-driven flow-and context-sensitive
pointer analysis with strong updates for C and C++ programs. SUPA enables computing …

Value-Flow-Based Demand-Driven Pointer Analysis for C and C+

Y Sui, J Xue - IEEE TRANSACTIONS ON SOFTWARE …, 2020 - computer.org
We present SUPA, a value-flow-based demand-driven flow-and context-sensitive pointer
analysis with strong updates for C and C++ programs. SUPA enables computing points-to …