Abstract cofibered domains: Application to the alias analysis of untyped programs
From MaRDI portal
Publication:5030205
DOI10.1007/3-540-61739-6_53zbMath1482.68098OpenAlexW1537510808MaRDI QIDQ5030205
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
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