Evaluating the effectiveness of pointer alias analyses

DOI10.1016/S0167-6423(00)00014-9MaRDI QIDQ5938707zbMATH OpenOpenAlexFDO

Authors Michael Hind, Anthony Pioli

Publication date 1 October 2001

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(00)00014-9

zbMATH Keywords

pointer analysis algorithms

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Automatic analysis of pointer aliasing for untyped programs
• A new approach to pointer analysis for assignments
• scientific article; zbMATH DE number 1834572
• A novel analysis space for pointer analysis and its application for bug finding
• A formally-verified alias analysis
• A Systematic Approach to Probabilistic Pointer Analysis

Cited in

(10)

• Automatic analysis of pointer aliasing for untyped programs
• Alias analysis in Java with reference-set representation for high-performance computing
• Alias analysis pointers in Pascal and Fortran 90. I: Dependence analysis between pointer references
• Error checking with client-driven pointer analysis
• scientific article; zbMATH DE number 1834572 (Why is no real title available?)
• scientific article; zbMATH DE number 1834573 (Why is no real title available?)
• scientific article; zbMATH DE number 2090848 (Why is no real title available?)
• Semi-sparse flow-sensitive pointer analysis
• Static Analysis
• Memory policy analysis for semantics specifications in Maude

This page was built for publication: Evaluating the effectiveness of pointer alias analyses

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