Efficient computation of parameterized pointer information for interprocedural analyses

DOI10.1007/3-540-47764-0_16MaRDI QIDQ4779116zbMATH OpenFDO

Authors Donglin Liang, Mary Jean Harrold

Publication date 24 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-47764-0_16

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Precise interprocedural analysis in the presence of pointers to the stack
• Semi-sparse flow-sensitive pointer analysis
• Client-driven pointer analysis
• Evaluating the effectiveness of pointer alias analyses
• Computing Procedure Summaries for Interprocedural Analysis

Cited in

(1)

• Modular inference of subprogram contracts for safety checking

This page was built for publication: Efficient computation of parameterized pointer information for interprocedural analyses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779116)