A Hybrid Approach for Safe Memory Management in C

DOI10.1007/978-3-540-79980-1_28zbMATH Open1170.68415OpenAlexW1535846614MaRDI QIDQ5505437FDOQ5505437

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• CCured, type-safe retrofitting of legacy code
• Title not available (Why is that?)

Cited In (4)

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

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)