Automatic analysis of pointer aliasing for untyped programs

DOI10.1016/S0167-6423(99)00012-XzbMath0948.68018OpenAlexW1983820815MaRDI QIDQ1818078

Arnaud J. Venet

Publication date: 4 January 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00012-x

zbMATH Keywords

abstract interpretationcofibered domains

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Generalised multi-pattern-based verification of programs with linear linked structures ⋮ Abstract interpretation of graphs ⋮ Quantitative static analysis of communication protocols using abstract Markov chains

This page was built for publication: Automatic analysis of pointer aliasing for untyped programs