£108.62

Springer - Value-Range Analysis of C Programs Book

Name: Springer - Value-Range Analysis of C Programs Book
Brand: Springer
Price: 108.62 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£109 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 19 days • 19 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 19 days • 1 price levels

Days at Price

Price Analysis

Most common price: £109 (19 days, 100.0%)

Price range: £109 - £109

Price levels: 1 different prices over 19 days

Description

Buffer overflows remain one of the most widespread security vulnerabilities in modern computing. When input is written into a memory buffer that is not large enough to hold that input, it can allow a malicious person to gain control over a computer system. By using crafted input, attackers can trick defective programs into executing code encoded within the input itself. This book from Springer addresses these critical security threats by describing a static analysis method. The text focuses on a technique that aims to prove the absence of buffer overflows in C programs. While many workarounds like new processor features have been proposed to contain these threats, this work provides a specialized approach through conservative analysis. It is an essential resource for those studying computer science architecture and software security to understand how to identify and prevent memory-based vulnerabilities in C programming.

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

Springer - Value-Range Analysis of C Programs Book

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Shape Analysis (Foundations and Trends® in Programming Languages)

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Springer - Source Code Optimization for Embedded Software

Why Learn C: Go Behind the Curtain of Modern Systems with C23

Intelligent Speculative Compiler Optimizations: A Conceptual Framework and its Application to the Optimization of Memory Accesses

Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD

Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)

The Art of C Programming

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

CERT® C Coding Standard, Second Edition, The: 98 Rules for Developing Safe, Reliable, and Secure Systems (SEI Series in Software Engineering)

Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Code, Understand Stack Memory Usage, and Reconstruct C/C++ Code with Intel x64

'C' Programming in an Open Source Paradigm: A Hands on Approach (River Publishers Series in Information Science and Technology)

Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture

Modern Parallel Programming with C++ and Assembly Language: X86 SIMD Development Using AVX, AVX2, and AVX-512

Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications

Optimizing Compilers for Modern Architectures: A Dependence-based Approach

Writing a C Compiler: Build a Real Programming Language from Scratch

Programming Language Implementation: A Practical Introduction with Python

x64 Assembly Language Step-by-Step: Programming with Linux (Tech Today)

Mastering Malware Analysis: A malware analyst's practical guide to combating malicious software, APT, cybercrime, and IoT attacks, 2nd Edition

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Modern X86 Assembly Language Programming: Covers X86 64-bit, AVX, AVX2, and AVX-512

A Programmer's Companion to Algorithm Analysis