Articoli correlati a String Analysis for Software Verification and Security

String Analysis for Software Verification and Security - Brossura

Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath

 
9783319686691: String Analysis for Software Verification and Security
Brossura
ISBN 10: 3319686690 ISBN 13: 9783319686691
Casa editrice: Springer, 2018

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2018
  • ISBN 10 3319686690
  • ISBN 13 9783319686691
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319686684: String Analysis for Software Verification and Security

Edizione in evidenza

ISBN 10:  3319686682 ISBN 13:  9783319686684
Casa editrice: Springer-Nature New York Inc, 2018
Rilegato