Fail-safe ANSI-C compiler: An approach to making C programs secure

DOI10.1007/3-540-36532-X_9MaRDI QIDQ4418570zbMATH OpenFDO

Authors Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa

Publication date 11 August 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2609/26090133.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Data encryption (aspects in computer science) (68P25)

Recommendations

• Tools to make C programs safe: a deeper study
• CCured, type-safe retrofitting of legacy code
• Cleanness checking of string manipulations in C programs via integer analysis
• Extending C for checking shape safety
• Static Analysis of String Manipulations in Critical Embedded C Programs

Cited in

(5)

• Avoid a void: The eradication of null dereferencing
• Tools to make C programs safe: a deeper study
• CIL: Intermediate language and tools for analysis and transformation of C programs
• CCured, type-safe retrofitting of legacy code
• A Hybrid Approach for Safe Memory Management in C

Describes a project that uses

Uses Software

• CCured

This page was built for publication: Fail-safe ANSI-C compiler: An approach to making C programs secure

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