Analyzing string buffers in C

DOI10.1007/3-540-45719-4_25zbMATH Open1275.68060OpenAlexW1607645463MaRDI QIDQ2996136FDOQ2996136

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
• Splitting the Control Flow with Boolean Flags
• 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)