Static analysis method for detecting buffer overflow vulnerabilities

DOI10.1007/s11086-005-0030-8zbMath1103.68469OpenAlexW2054084068WikidataQ122585501 ScholiaQ122585501MaRDI QIDQ2432979

K. A. Shapchenko, F. M. Puchkov

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

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