String Analysis for Software Verification and Security

• Main Authors: Bultan, Tevfik (Author), Yu, Fang (Author), Alkhalaf, Muath (Author), Aydin, Abdulbaki (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer security.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Systems and Data Security.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

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,...