Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vu... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Numerisk analyse
  5. Kompilatorer og fortolkere
  6. Softwareudvikling
  7. Matematisk datateori
  8. Value-Range Analysis of C Programs: Towards Proving the...

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

(Bog, Paperback / softback, Engelsk)
Forfatter: Axel Simon
Forlag: Springer London Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Kompilatorer og fortolkere Matematisk datateori Numerisk analyse Softwareudvikling
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfatter Axel Simon
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. Softcover of orig. ed. 2008
Udgivelsesdato 15-05-2011
Første udgivelsesår 2011
Illustrationer 119 Illustrations, black and white; XXII, 302 p. 119 illus.
Originalsprog United Kingdom
Sideantal 302
Indbinding Paperback / softback
Forlag Springer London Ltd
Sideoplysninger 302 pages, 119 Illustrations, black and white; XXII, 302 p. 119 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9781849967020