String Analysis for Software Verification and Security - Bultan, Tevfik; Yu, Fang.; Alkhalaf, Muath; Aydin, Abdulbaki; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Computer security; Programming languages (Electronic computers).; Software engineering; Computer logic; Mathematical logic; Computer science-Mathematics.; Systems and Data Security; Programming Languages, Compilers, Interpreters; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation