String analysis for software verification and security. ([2017])

• Record Type: Book
• Further Information: Note: Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin.
• Authors: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Copyright Date: 2017
• Extent: 1 online resource
• Subjects: 005.14; Computer science; Computer software -- Verification; COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing; Computer software -- Verification; 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; Computers -- Programming Languages -- General; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Data Processing; Programming & scripting languages: general; Software Engineering; Computer programming / software development; Mathematical theory of computation; Maths for computer scientists; Computer security; Software engineering; Logic design; Algebra -- Data processing; Computers -- Security -- General; Computer security; Electronic books
• Languages: English
• ISBNs: 9783319686707; 3319686704; 3319686682; 9783319686684
• Related ISBNs: 9783319686684
• Notes: Note: Includes bibliographical references.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.