A Hybrid Approach for Safe Memory Management in C

DOI10.1007/978-3-540-79980-1_28zbMath1170.68415OpenAlexW1535846614MaRDI QIDQ5505437

Hai Zhou Ling, Mourad Debbabi, Zhen-rong Yang, Syrine Tlili

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79980-1_28

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (2)

Interprocedural and flow-sensitive type analysis for memory and type safety of C code ⋮ Automation of the construction of models of normal program behavior

Cites Work

• CCured
• Unnamed Item

This page was built for publication: A Hybrid Approach for Safe Memory Management in C