A scalable nonuniform pointer analysis for embedded programs

DOI10.1007/978-3-540-27864-1_13MaRDI QIDQ5466556zbMATH OpenOpenAlexFDO

Authors Arnaud J. Venet

Publication date 24 August 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Semi-sparse flow-sensitive pointer analysis
• Estimating the impact of scalable pointer analysis on optimization
• Nonuniform alias analysis of recursive data structures and arrays
• A new approach to pointer analysis for assignments
• Points-to analysis as a system of linear equations

Cited in

(10)

• Automatic analysis of pointer aliasing for untyped programs
• Generalised multi-pattern-based verification of programs with linear linked structures
• Partitioned memory models for program analysis
• Verifying pointer and string analyses with region type systems
• Designing programming languages for the analyzability of pointer data structures
• Nonuniform alias analysis of recursive data structures and arrays
• Points-to analysis as a system of linear equations
• Semi-sparse flow-sensitive pointer analysis
• Languages and Compilers for Parallel Computing
• Fast and precise handling of positive weight cycles for field-sensitive pointer analysis

Describes a project that uses

Uses Software

• Octagon

This page was built for publication: A scalable nonuniform pointer analysis for embedded programs

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