Buffer overflow detection on binary code

zbMATH Open1104.94008MaRDI QIDQ849950FDOQ849950

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)

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

zbMATH Keywords

feature abstract graphinteger range constraint

Mathematics Subject Classification ID

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

Cited In (7)

• Static analysis method for detecting buffer overflow vulnerabilities
• Analyzing string buffers in C
• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• Title not available (Why is that?)
• Buffer overflow management with class segregation
• Information Security
• Detection techniques of format-string vulnerabilities in binary files

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)