Items related to String Analysis for Software Verification and Security

String Analysis for Software Verification and Security - Softcover

 
9783319686691: String Analysis for Software Verification and Security

This specific ISBN edition is currently not available.

Synopsis

1 Introduction: String Manipulating Programs and Difficulty of Their Analysis.- 2 String Manipulating Programs and Difficulty of Their Analysis.- 3 State Space Exploration.- 4 Automata Based String Analysis.- 5 Relational String Analysis.- 6 Abstraction and Approximation.- 7 Constraint-based String Analysis.- 8 Vulnerability Detection and Sanitization Synthesis.- 9 Differential String Analysis and Repair.- 10 Tools.- 11 A Brief Survey of Related Work.- 12 Conclusions.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2018
  • ISBN 10 3319686690
  • ISBN 13 9783319686691
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319686684: String Analysis for Software Verification and Security

Featured Edition

ISBN 10:  3319686682 ISBN 13:  9783319686684
Publisher: Springer, 2018
Hardcover