String Analysis for Software Verification and Security

Bultan, Tevfik/ Yu, Fang/ Alkhalaf, Muath/ Aydin, Abdulbaki

ISBN 10: 3319886371 / ISBN 13: 9783319886374

Editore: Springer-Verlag New York Inc, 2019

Riguardo questo articolo

reprint edition. 184 pages. 9.25x6.10x0.47 inches. In Stock. Codice articolo x-3319886371

Dati bibliografici

Titolo: String Analysis for Software Verification ...

Casa editrice: Springer-Verlag New York Inc

Data di pubblicazione: 2019

Legatura: Paperback

Condizione: Brand 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