Static analysis method for detecting buffer overflow vulnerabilities

DOI10.1007/S11086-005-0030-8MaRDI QIDQ2432979zbMATH OpenOpenAlexWikidataFDO

Authors F. M. Puchkov, K. A. Shapchenko

Publication date 26 October 2006

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11086-005-0030-8

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• scientific article; zbMATH DE number 1979439
• Buffer overflow detection on binary code
• Static analysis for proactive security

Cites work

• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1832225 (Why is no real title available?)
• Gröbner bases and systems of algebraic equations

Cited in

(12)

• Analyzing string buffers in C
• Method for automated program errors search in complex data processing algorithms
• Detection techniques of format-string vulnerabilities in binary files
• Using static analysis to reduce dynamic analysis overhead
• Methods of detection of program bugs in computer systems
• scientific article; zbMATH DE number 1905095 (Why is no real title available?)
• An automatic testing method of invalid arithmetic operations
• scientific article; zbMATH DE number 1759650 (Why is no real title available?)
• Information Security
• Buffer overflow detection on binary code
• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• A memory-related vulnerability detection approach based on vulnerability model with Petri Net

This page was built for publication: Static analysis method for detecting buffer overflow vulnerabilities

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