Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Value-Range Analysis of C Programs

- Towards Proving the Absence of Buffer Overflow Vulnerabilities

Über Value-Range Analysis of C Programs

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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781849967020
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 302
  • Veröffentlicht:
  • 15. Mai 2011
  • Ausgabe:
  • 12008
  • Abmessungen:
  • 155x235x17 mm.
  • Gewicht:
  • 498 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von Value-Range Analysis of C Programs

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.

Kund*innenbewertungen von Value-Range Analysis of C Programs



Ähnliche Bücher finden
Das Buch Value-Range Analysis of C Programs ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.