A flow-insensitive-complete program representation

DOI10.1007/978-3-030-94583-1_10zbMath1498.68080OpenAlexW4205784628MaRDI QIDQ2152650

David Pichardie, Solène Mirliaz

Publication date: 8 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-94583-1_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Sawja
• PAGAI

Cites Work

• Unnamed Item
• Unnamed Item
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• Sawja: Static Analysis Workshop for Java
• Abstraction of Optional Numerical Values
• Static Analysis

This page was built for publication: A flow-insensitive-complete program representation