A flow-insensitive-complete program representation

DOI10.1007/978-3-030-94583-1_10MaRDI QIDQ2152650zbMATH OpenOpenAlexFDO

Authors Solène Mirliaz, David Pichardie

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)

Recommendations

• scientific article; zbMATH DE number 1759999
• Semi-sparse flow-sensitive pointer analysis
• Points-to analysis with efficient strong updates
• scientific article; zbMATH DE number 3874581
• Simple relational correctness proofs for static analyses and program transformations

Cites work

• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Abstraction of Optional Numerical Values
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
• Sawja: static analysis workshop for Java
• Static Analysis
• The octagon abstract domain

Describes a project that uses

Uses Software

• PAGAI
• Sawja

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

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