String Analysis for Software Verification and Security
69.97 CHF
Versandkostenfrei
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10472908
Beschreibung
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.
Eigenschaften
Breite: | 155 |
Gewicht: | 289 g |
Höhe: | 235 |
Länge: | 10 |
Seiten: | 174 |
Sprachen: | Englisch |
Autor: | Abdulbaki Aydin, Fang Yu, Muath Alkhalaf, Tevfik Bultan |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen