A Hybrid Approach for Safe Memory Management in C

DOI10.1007/978-3-540-79980-1_28MaRDI QIDQ5505437zbMATH OpenOpenAlexFDO

Authors Syrine Tlili, Zhen-rong Yang, Hai Zhou Ling, M. Debbabi

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)

Recommendations

• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• Safe manual memory management in Cyclone
• Static Analysis of String Manipulations in Critical Embedded C Programs
• A type system for static and dynamic checking of C++ pointers
• scientific article; zbMATH DE number 1962745

Cites work

• scientific article; zbMATH DE number 1332634 (Why is no real title available?)
• CCured, type-safe retrofitting of legacy code

Cited in

(4)

• Safe manual memory management in Cyclone
• A study of dynamic memory management in C++ programs.
• Automation of the construction of models of normal program behavior
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

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

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