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

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

Cited in

(12)

• Methods of detection of program bugs in computer systems
• 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
• Analyzing string buffers in C
• An automatic testing method of invalid arithmetic operations
• scientific article; zbMATH DE number 1759650 (Why is no real title available?)
• scientific article; zbMATH DE number 1905095 (Why is no real title available?)
• Method for automated program errors search in complex data processing algorithms
• Detection techniques of format-string vulnerabilities in binary files
• Information Security
• Using static analysis to reduce dynamic analysis overhead
• Buffer overflow detection on binary code

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)