10% de desconto

Value-Range Analysis Of C Programs

Towards Proving The Absence Of Buffer Overflow Vulnerabilities

de Axel Simon
idioma: inglês
Editor: SPRINGER LONDON LTD, maio de 2011 ‧
177,78€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Value-Range Analysis Of C Programs

Towards Proving The Absence Of Buffer Overflow Vulnerabilities

de Axel Simon

Propriedade Descrição
ISBN: 9781849967020
Editor: SPRINGER LONDON LTD
Data de Lançamento: maio de 2011
Idioma: Inglês
Encadernação: Capa mole
Páginas: 302
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Informática > Programação
EAN: 9781849967020