Analysis of software patches using numerical abstract interpretation

DOI10.1007/978-3-030-32304-2_12zbMATH Open1539.68061MaRDI QIDQ6536289

Antoine Miné, David Delmas

Publication date: 19 April 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Abstract Semantic Differencing for Numerical Programs
• Static Analysis of Finite Precision Computations
• Secure information flow by self-composition
• Modular Demand-Driven Analysis of Semantic Difference for Program Versions

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