Analyzing string buffers in C
From MaRDI portal
Publication:2996136
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
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (5)
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)