Weaknesses analysis of C string functions based on topological space

MaRDI QIDQ5127680zbMATH OpenFDO

Authors Mengxiao Gong, Huiyang Xie

Publication date 27 October 2020

zbMATH Keywords

C languagecontinuous mappingstring functiontopological spaceweakness

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Continuous maps (54C05) Theory of programming languages (68N15)

Recommendations

• Static Analysis of String Manipulations in Critical Embedded C Programs
• scientific article; zbMATH DE number 1832225
• A to Z: C language shortcomings
• Tools to make C programs safe: a deeper study
• Analyzing string buffers in C

Cited in

(1)

• scientific article; zbMATH DE number 1832225 (Why is no real title available?)

This page was built for publication: Weaknesses analysis of C string functions based on topological space

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