Abstract cofibered domains: Application to the alias analysis of untyped programs

DOI10.1007/3-540-61739-6_53zbMath1482.68098OpenAlexW1537510808MaRDI QIDQ5030205

Arnaud J. Venet

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_53

zbMATH Keywords

abstract interpretationaffine subspaceabstract semanticsabstract domainwidening operator

Mathematics Subject Classification ID

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

Related Items (6)

A generic framework for heap and value analyses of object-oriented programming languages ⋮ The Undefined Domain: Precise Relational Information for Entities That Do Not Exist ⋮ On collecting semantics for program analysis ⋮ Lifting numeric relational domains to algebraic data types ⋮ Widening and narrowing operators for abstract interpretation ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation

Cites Work

• Affine relationships among variables of a program
• Grammar Analysis and Parsing by Abstract Interpretation
• Abstract interpretation and application to logic programs
• Static analysis of arithmetical congruences
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstract cofibered domains: Application to the alias analysis of untyped programs