We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£108.62
Springer - Value-Range Analysis of C Programs Book
Price data last checked 26 day(s) ago - will refresh soon
Price History & Forecast
Last 65 days • 65 data points (No recent data available)
Price Distribution
Price distribution over 65 days • 2 price levels
Price Analysis
Most common price: £109 (54 days, 83.1%)
Price range: £107 - £109
Price levels: 2 different prices over 65 days
Description
Key Features
Provides a detailed description of static analysis methods designed to prove the absence of buffer overflows in C programs.
Explains how buffer overflows occur when input exceeds the capacity of a memory buffer, leading to potential system control.
Addresses the security risks where crafted input can trick defective programs into executing unauthorized encoded code.
Covers the limitations of current workarounds, such as new processor features, in containing buffer overflow threats.
Offers a conservative analysis approach to help identify and mitigate widespread security vulnerabilities in software.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1849967024
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 15 May 2011
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
String Analysis for Software Verification and Security
Springer
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
The Art of C Programming
Springer
Shape Analysis (Foundations and Trends® in Programming Languages)
Now Publishers Inc
'C' Programming in an Open Source Paradigm: A Hands on Approach (River Publishers Series in Information Science and Technology)
Taylor & Francis
Secure Programming Cookbook for C & C++ (Cookbooks Ser.)
O'Reilly
A Programmer's Companion to Algorithm Analysis
CRC Press
MALicious softWARE: Omnibus
MALicious softWARE: Omnibus
Springer Advances in Cyber Security - Principles and Techniques
Springer
Springer - Security in Computing Systems Monograph
Springer
Security and Policy Driven Computing
CRC Press
A Programmer's Companion to Algorithm Analysis
CRC Press
The Continuing Arms Race: Code-Reuse Attacks and Defenses (ACM Books)
Morgan & Claypool
C by Example: 29 (Cambridge Computer Science Texts, Series Number 29)
Cambridge University Press
The Verilog Hardware Description Language
Springer
Binary Code Fingerprinting for Cybersecurity: Application to Malicious Code Fingerprinting: 78 (Advances in Information Security, 78)
Springer
Software Reverse Engineering: Navigating x86 Windows Applications with Ghidra
Springer Binary Code Fingerprinting for Cybersecurity Book
Springer
CERT® C Coding Standard, Second Edition, The: 98 Rules for Developing Safe, Reliable, and Secure Systems (SEI Series in Software Engineering)
ADDISON-WESLEY
Springer Cyberspace Mimic Defense - Wireless Network Security
Springer
Introduction to SystemVerilog
Springer
Pointers in C Programming: A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays
Apress