IEEE - Institute of Electrical and Electronics Engineers, Inc. - Value-Flow-Based Demand-Driven Pointer Analysis for C and C++

Author(s): Yulei Sui ; Jingling Xue
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (CD): 2326-3881
ISSN (Electronic): 1939-3520
ISSN (Paper): 0098-5589
DOI: 10.1109/TSE.2018.2869336
Regular:

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 information via... View More

Advertisement