Analyzing string buffers in C

DOI10.1007/3-540-45719-4_25MaRDI QIDQ2996136zbMATH OpenOpenAlexFDO

Authors Axel Simon, Andy King

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/13750/1/AnaSim.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static Analysis of String Manipulations in Critical Embedded C Programs
• Static analysis method for detecting buffer overflow vulnerabilities
• Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
• Buffer overflow detection on binary code
• scientific article; zbMATH DE number 1832225

Cited in

(6)

• scientific article; zbMATH DE number 1832225 (Why is no real title available?)
• Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
• Splitting the Control Flow with Boolean Flags
• Weaknesses analysis of C string functions based on topological space
• Speeding up polyhedral analysis by identifying common constraints
• The two variable per inequality abstract domain

This page was built for publication: Analyzing string buffers in C

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