Skip to main content

License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Towards Proving the Absence of Buffer Overflow Vulnerabilities
    Axel Simon
    978-1-84800-017-9
    2008
    Edition 1
    • Complete formal specification of a static analysis of a real-world programming language
    • New techniques to soundly handle the wrapping of integers, overlapping memory accesses and pointer arithmetic, thereby providing an analysis of C that is faithful to the bit-level
    • Includes supplementary material: sn.pub/extras
    €280 €252
    10% OFF

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.