Points-to analysis as a system of linear equations

DOI10.1007/978-3-642-15769-1_26MaRDI QIDQ4930745zbMATH OpenOpenAlexFDO

Authors Rupesh Nasre, R. Govindarajan

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL http://eprints.iisc.ac.in/36050/1/nasre-sas10-linear.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1975596
• Points-to analysis with efficient strong updates
• Hash consed points-to sets
• Semi-sparse flow-sensitive pointer analysis
• Static Analysis

Cited in

(7)

• On the non-approximability of points-to analysis
• Hash consed points-to sets
• The Complexity of Andersen’s Analysis in Practice
• scientific article; zbMATH DE number 1956463 (Why is no real title available?)
• scientific article; zbMATH DE number 1975596 (Why is no real title available?)
• Static Analysis
• Programming Languages and Systems

This page was built for publication: Points-to analysis as a system of linear equations

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