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