Detection techniques of format-string vulnerabilities in binary files

DOI10.3724/SP.J.1087.2008.02495MaRDI QIDQ5188863zbMATH OpenFDO

Authors Long-jie Zhang, Xiaofang Xie, Sheng-Zhi Yuan, Jiang Tang

Publication date 6 March 2010

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2008.02495

zbMATH Keywords

binary filesformat-string vulnerabilitiesstack pointervulnerabilities detection

Mathematics Subject Classification ID

Computer system organization (68M99)

Recommendations

• Buffer overflow detection on binary code
• Black-box testing based on colorful taint analysis
• Static analysis method for detecting buffer overflow vulnerabilities
• Automata-based symbolic string analysis for vulnerability detection
• A Model for Security Vulnerability Pattern

Cited in

(2)

• Black-box testing based on colorful taint analysis
• Buffer overflow detection on binary code

This page was built for publication: Detection techniques of format-string vulnerabilities in binary files

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