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

Axel Simon
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 1st ed. Softcover of orig. ed. 2008 edition

Price
S$ 207
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 12 - 22, 2026
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:

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  

More by Axel Simon

Show all

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