A Hybrid Approach for Safe Memory Management in C
From MaRDI portal
Publication:5505437
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
Cited in
(4)
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)