String Analysis For Software Verification And Security - Tevfik Bultan - Paperback - en Book

This Book Discusses Automated String-analysis Techniques, Focusing Particularly On Automata-basedstatic String Analysis. It Covers The Following Topics: Automata-basesstring Analysis, Computing Pre And Post-conditions Of Basic Stringoperations Using Automata, Symbolic Representation Of Automata, Forwardand Backward String Analysis Using Symbolic Automata Representation,constraint-based String Analysis, String Constraint Solvers, Relational Stringanalysis, Vulnerability Detection Using String Analysis, String Abstractions,differential String Analysis, And Automated Sanitization Synthesis Usingstring Analysis. String Manipulation Is A Crucial Part Of Modern Software Systems; Forexample, It Is Used Extensively In Input Validation And Sanitization And Indynamic Code And Query Generation.