Tools to make C programs safe: a deeper study

zbMATH Open1139.68330MaRDI QIDQ3373362FDOQ3373362

Authors: Jimin Wang, Ling-Di Ping, Xiaolang Yan, Xue-Zeng Pan, Hai-Bin Shen 

Publication date: 13 March 2006

Recommendations

• scientific article; zbMATH DE number 1962745
• scientific article; zbMATH DE number 1956458
• CCured, type-safe retrofitting of legacy code
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• scientific article; zbMATH DE number 2087570

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (7)

• CScout: a refactoring browser for C
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weaknesses analysis of C string functions based on topological space
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending C for checking shape safety

This page was built for publication: Tools to make C programs safe: a deeper study

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