Vertel uw vrienden over dit artikel:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
Prijs
€ 181,99
Besteld in een afgelegen magazijn
Verwachte levering 22 jul. - 1 aug.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities 2008 edition
Axel Simon
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 26 juni 2008 |
| ISBN13 | 9781848000162 |
| Uitgevers | Springer London Ltd |
| Pagina's | 302 |
| Afmetingen | 155 × 235 × 19 mm · 630 g |
| Taal en grammatica | Engels |
Alles tonen
Meer door Axel Simon
Bekijk alles van Axel Simon ( bijv. Paperback Book en Hardcover Book )