String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf

ISBN 10: 3319886371 / ISBN 13: 9783319886374

Editore: Springer 2019-02-13, 2019

Riguardo questo articolo

Codice articolo 6666-IUK-9783319886374

Dati bibliografici

• Titolo: String Analysis for Software Verification and Security
• Editore: Springer 2019-02-13
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 3319886371
• ISBN 13: 9783319886374
• Rilegatura: Paperback
• Condizione: New

Descrizione articolo

Riassunto

This is the first existing book focusing on string analysis

Discusses how string analysis techniques work and how they can be applied to vulnerability detection in modern software applications

This book can be used as a textbook for a course on string analysis, or as a supplementary book for a course on vulnerability detection