String Analysis For Software Verification And Security

This Book Discusses Automated String-analysis Techniques, Focusing Particularly On Automata-basednbsp;static String Analysis. It Covers The Following Topics: Automata-basesnbsp;string Analysis, Computing Pre And Post-conditions Of Basic Stringnbsp;operations Using Automata, Symbolic Representation Of Automata, Forwardnbsp;and Backward String Analysis Using Symbolic Automata Representation, Constraint-based String Analysis, String Constraint Solvers, Relational Stringnbsp;analysis, Vulnerability Detection Using String Analysis, String Abstractions, Differential String Analysis, And Automated Sanitization Synthesis Usingnbsp;string Analysis. String Manipulation Is A Crucial Part Of Modern Software Systems; Fornbsp;example, It Is Extensively In Input Validation And Sanitization And Innbsp;dynamic Code And Query Generation.