Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

eBook, PDF

String Analysis for Software Verification and Security (eBook, PDF)

Beschreibung

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

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 8.27MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer Nature Switzerland
• Seitenzahl: 174
• Erscheinungstermin: 4. Januar 2018
• Englisch
• ISBN-13: 9783319686707
• Artikelnr.: 53059324

Rezensionen

"The book can be said to be tailored as a handy manual for researchers looking for algebraic approaches based on the manipulation of regular expressions (in a large sense) and on solving string constraints, over inputs provided by users in web applications, for handling security issues in these applications." (Siva Anantharaman, Mathematical Reviews, November, 2019)