Points-to and side-effect analyses for programs built with precompiled libraries

DOI10.1007/3-540-45306-7_3MaRDI QIDQ2764061zbMATH OpenFDO

Authors Atanas Rountev, Barbara G. Ryder

Publication date 22 January 2002

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/2027/20270020

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2087567
• Precise interprocedural side-effect analysis
• Modular control flow analysis for libraries
• Points-to analysis with efficient strong updates
• scientific article; zbMATH DE number 1975596

Cited in

(4)

• Precise interprocedural side-effect analysis
• Conditional Dyck-CFL reachability analysis for complete and efficient library summarization
• Modular analysis of executables using on-demand Heyting completion
• Modular control flow analysis for libraries

This page was built for publication: Points-to and side-effect analyses for programs built with precompiled libraries

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