String Analysis for Software Verification and Security

Tevfik Bultan (u. a.)

ISBN 10: 3319886371 / ISBN 13: 9783319886374

Published by Springer, 2019

About this Item

String Analysis for Software Verification and Security | Tevfik Bultan (u. a.) | Taschenbuch | ix | Englisch | 2019 | Springer | EAN 9783319886374 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.

Seller Inventory # 115182766

Bibliographic Details

• Title: String Analysis for Software Verification and Security
• Publisher: Springer
• Publication Date: 2019
• Language: English
• ISBN 10: 3319886371
• ISBN 13: 9783319886374
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 11D millimeters 235 millimeters width by 155 millimeters height by 11 millimeters depth
• Weight: 289 grams
• Seller catalogs:
  • Bücher

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