String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Versandkostenfrei!
Versandfertig in 6-10 Tagen
64,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
32 °P sammeln!
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis...