Analysis of software patches using numerical abstract interpretation

DOI10.1007/978-3-030-32304-2_12MaRDI QIDQ6536289zbMATH OpenFDO

Authors David Delmas, Antoine Miné

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-32304-2_12

Mathematics Subject Classification ID

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

Recommendations

• Abstract Semantic Differencing for Numerical Programs
• Modular demand-driven analysis of semantic difference for program versions
• Abstract semantic diffing of evolving concurrent programs
• Abstract Semantic Diffing of Evolving Concurrent Programs
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences

Cites work

• Abstract Semantic Differencing for Numerical Programs
• scientific article; zbMATH DE number 2087546 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Modular demand-driven analysis of semantic difference for program versions
• Secure information flow by self-composition
• Static analysis of finite precision computations
• The octagon abstract domain

Cited in

(1)

• An input-output relational domain for algebraic data types and functional arrays

This page was built for publication: Analysis of software patches using numerical abstract interpretation

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