Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon - Books - Springer London Ltd - 9781849967020 - May 15, 2011
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 Softcover reprint of hardcover 1st ed. 2008 edition

Axel Simon

Price
CA$ 257.49

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 Softcover reprint of hardcover 1st ed. 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, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 15, 2011
ISBN13 9781849967020
Publishers Springer London Ltd
Pages 302
Dimensions 155 × 235 × 17 mm   ·   453 g
Language English  
Show all

More by Axel Simon

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