String Analysis for Software Verification and Security

• Κύριοι συγγραφείς: Bultan, Tevfik (Συγγραφέας), Yu, Fang (Συγγραφέας), Alkhalaf, Muath (Συγγραφέας), Aydin, Abdulbaki (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Θέματα: 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,...

Πίνακας περιεχομένων:

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