Tools to make C programs safe: a deeper study

MaRDI QIDQ3373362zbMATH OpenFDO

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

Publication date 13 March 2006

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cited in

(7)

• Extending C for checking shape safety
• scientific article; zbMATH DE number 1956458 (Why is no real title available?)
• scientific article; zbMATH DE number 1962745 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• scientific article; zbMATH DE number 2100547 (Why is no real title available?)
• Weaknesses analysis of C string functions based on topological space
• CScout: a refactoring browser for C

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)