Inferring Effective Types for Static Analysis of C Programs

DOI10.1016/j.entcs.2012.10.006zbMath1294.68057OpenAlexW1975490105WikidataQ113318049 ScholiaQ113318049MaRDI QIDQ5170179

Pascal Sotin, Bertrand Jeannet

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.10.006

zbMATH Keywords

static analysistype inferenceC programming languagefinite typesBoolean types

Mathematics Subject Classification ID

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

Uses Software

• Cyclone
• CIL

Cites Work

• The octagon abstract domain
• Typing Local Control and State Using Flow Analysis
• Precise Interprocedural Analysis in the Presence of Pointers to the Stack
• Unnamed Item
• Unnamed Item

This page was built for publication: Inferring Effective Types for Static Analysis of C Programs