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

Table of Contents:

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