Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Books - Springer London Ltd - 9781848000162 - June 26, 2008
In case cover and title do not match, the title is correct

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

Axel Simon

Price
CA$ 258.99

Ordered from remote warehouse

Expected delivery Dec 25 - Jan 8, 2025
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition

The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation. Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.

302 pages, 1, black & white illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 26, 2008
ISBN13 9781848000162
Publishers Springer London Ltd
Pages 302
Dimensions 155 × 235 × 19 mm   ·   630 g
Language English  
Show all

More by Axel Simon

See all of Axel Simon ( e.g. Hardcover Book and Paperback Book )