String Analysis for Software Verification and Security

by Muath Alkhalaf, Fang Yu, Tevfik Bultan

Book Overview

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

• Format: Hardcover
• Language: English
• ISBN: 3319686682
• ISBN13: 9783319686684
• Release Date: January 2018
• Publisher: Springer
• Length: 174 Pages
• Weight: 0.97 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"