String Analysis for Software Verification and Secu

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

ISBN 10: 3319886371 / ISBN 13: 9783319886374

Published by Springer, 2019

About this Item

New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.

Seller Inventory # POD-213649

Bibliographic Details

• Title: String Analysis for Software Verification and Secu
• Publisher: Springer
• Publication Date: 2019
• Language: English
• ISBN 10: 3319886371
• ISBN 13: 9783319886374
• Binding: Soft cover
• Condition: Brand New

About this title

Synopsis

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