Disjunctive relational abstract interpretation for interprocedural program analysis

DOI10.1007/978-3-030-11245-5_7MaRDI QIDQ2287076zbMATH OpenOpenAlexFDO

Authors Rémy Boutonnet, Nicolas Halbwachs

Publication date 23 January 2020

Full work available at URL https://doi.org/10.1007/978-3-030-11245-5_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Interprocedurally Analysing Linear Inequality Relations
• Interprocedural analyses: a comparison
• Static Analysis
• Computing Procedure Summaries for Interprocedural Analysis
• Calling context abstraction with shapes

Cited in

(5)

• scientific article; zbMATH DE number 3881854 (Why is no real title available?)
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Lifting numeric relational domains to algebraic data types
• PREMAP: a unifying PREiMage APproximation framework for neural networks
• An input-output relational domain for algebraic data types and functional arrays

This page was built for publication: Disjunctive relational abstract interpretation for interprocedural program analysis

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