Client-driven pointer analysis

DOI10.1007/3-540-44898-5_12MaRDI QIDQ4813400zbMATH OpenFDO

Authors Samuel Z. Guyer, Calvin Lin

Publication date 13 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940214.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Error checking with client-driven pointer analysis
• Evaluating the effectiveness of pointer alias analyses
• Semi-sparse flow-sensitive pointer analysis
• A new approach to pointer analysis for assignments
• Estimating the impact of scalable pointer analysis on optimization

Cited in

(4)

• Error checking with client-driven pointer analysis
• Refinement-based CFG reconstruction from unstructured programs
• Efficient computation of parameterized pointer information for interprocedural analyses
• A new approach to pointer analysis for assignments

This page was built for publication: Client-driven pointer analysis

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