10% OFF

Value-Range Analysis Of C Programs

Towards Proving The Absence Of Buffer Overflow Vulnerabilities

by Axel Simon
language: english
Publisher: SPRINGER LONDON LTD, May of 2011 ‧
177,78€
10% OFF CARD
free shipping
Sell ​​your book
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.

Value-Range Analysis Of C Programs

Towards Proving The Absence Of Buffer Overflow Vulnerabilities

by Axel Simon

Property Description
ISBN: 9781849967020
Publisher: SPRINGER LONDON LTD
Release Date: May of 2011
Language: English
Cover: Softcover
Pages: 302
Format: Book
Categories: Books in English > Computing > Schedule
EAN: 9781849967020