Static analysis method for detecting buffer overflow vulnerabilities

DOI10.1007/S11086-005-0030-8zbMATH Open1103.68469OpenAlexW2054084068WikidataQ122585501 ScholiaQ122585501MaRDI QIDQ2432979FDOQ2432979

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

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

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Gröbner bases and systems of algebraic equations
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Analyzing string buffers in C
• Buffer overflow detection on binary code
• Title not available (Why is that?)
• An automatic testing method of invalid arithmetic operations
• Information Security
• Title not available (Why is that?)
• Detection techniques of format-string vulnerabilities in binary files
• Methods of detection of program bugs in computer systems
• Using static analysis to reduce dynamic analysis overhead

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)