Interprocedural and flow-sensitive type analysis for memory and type safety of C code

DOI10.1007/s10817-009-9121-1zbMath1192.68125OpenAlexW2063428900MaRDI QIDQ835770

Mourad Debbabi, Syrine Tlili

Publication date: 31 August 2009

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9121-1

zbMATH Keywords

type safetyC languagememory safetytype and effect analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25)

Uses Software

• Cyclone
• MOPS

Cites Work

• Unnamed Item
• Predicate abstraction of ANSI-C programs using SAT
• Program Analysis Using Symbolic Ranges
• Polymorphic type, region and effect inference
• Static Analysis
• A Hybrid Approach for Safe Memory Management in C
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Interprocedural and flow-sensitive type analysis for memory and type safety of C code