Precise Interprocedural Analysis in the Presence of Pointers to the Stack

DOI10.1007/978-3-642-19718-5_24zbMath1326.68107OpenAlexW1599912326MaRDI QIDQ3000594

Pascal Sotin, Bertrand Jeannet

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_24

Mathematics Subject Classification ID

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

Related Items

Lifting numeric relational domains to algebraic data types, Precise Interprocedural Analysis in the Presence of Pointers to the Stack, Inferring Effective Types for Static Analysis of C Programs

Uses Software

• Apron
• CUDD

Cites Work

• Unnamed Item
• Why does Astrée scale up?
• Precise Interprocedural Analysis in the Presence of Pointers to the Stack
• Grammar Analysis and Parsing by Abstract Interpretation
• Algebraic Methodology and Software Technology
• Static Analysis
• Static Analysis