Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Value-Range Analysis of C Programs
- Towards Proving the Absence of Buffer Overflow Vulnerabilities
- Bindende:
- Paperback
- Sider:
- 302
- Utgitt:
- 15. mai 2011
- Utgave:
- 12008
- Dimensjoner:
- 155x235x17 mm.
- Vekt:
- 498 g.
-
BLACK NOVEMBER
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 28. november 2024
Beskrivelse av 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.
Brukervurderinger av Value-Range Analysis of C Programs
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Value-Range Analysis of C Programs finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
