A new approach to pointer analysis for assignments

DOI10.1007/BF02943202MaRDI QIDQ5942698zbMATH OpenOpenAlexFDO

Authors Bo Huang, Binyu Zang, Jing Li, Chuanqi Zhu

Publication date 16 December 2001

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943202

zbMATH Keywords

pointer analysispointer assignments

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Optimizing Pointer Analysis Using Bisimilarity
• Data dependence analysis in programs with pointers
• scientific article; zbMATH DE number 2090848
• Static Analysis
• Semi-sparse flow-sensitive pointer analysis

Cited in

(12)

• Automatic analysis of pointer aliasing for untyped programs
• Alias analysis pointers in Pascal and Fortran 90. I: Dependence analysis between pointer references
• Error checking with client-driven pointer analysis
• Designing programming languages for the analyzability of pointer data structures
• Optimizing Pointer Analysis Using Bisimilarity
• scientific article; zbMATH DE number 2090848 (Why is no real title available?)
• Static Analysis
• Static Analysis
• Static Analysis
• Evaluating the effectiveness of pointer alias analyses
• Fast and precise handling of positive weight cycles for field-sensitive pointer analysis
• A novel analysis space for pointer analysis and its application for bug finding

This page was built for publication: A new approach to pointer analysis for assignments

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