Articles liés à String Analysis for Software Verification and Security

String Analysis for Software Verification and Security - Couverture souple

 
9783319686691: String Analysis for Software Verification and Security

L'édition de cet ISBN n'est malheureusement plus disponible.

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2018
  • ISBN 10 3319686690
  • ISBN 13 9783319686691
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783319686684: String Analysis for Software Verification and Security

Edition présentée

ISBN 10 :  3319686682 ISBN 13 :  9783319686684
Editeur : Springer International Publishin..., 2018
Couverture rigide