Buffer overflow detection on binary code

MaRDI QIDQ849950zbMATH OpenFDO

Authors Yanfei Zheng, Hui Li, Kefei Chen

Publication date 15 November 2006

Published in Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

zbMATH Keywords

feature abstract graphinteger range constraint

Mathematics Subject Classification ID

Applications of graph theory (05C90) Source coding (94A29)

Recommendations

• Static analysis method for detecting buffer overflow vulnerabilities
• Detection techniques of format-string vulnerabilities in binary files
• scientific article; zbMATH DE number 1979439
• scientific article; zbMATH DE number 1759650
• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection

Cited in

(7)

• Static analysis method for detecting buffer overflow vulnerabilities
• Buffer overflow management with class segregation
• Analyzing string buffers in C
• Detection techniques of format-string vulnerabilities in binary files
• Information Security
• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• scientific article; zbMATH DE number 1979439 (Why is no real title available?)

This page was built for publication: Buffer overflow detection on binary code

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