String Analysis for Software Verification and Security
Buch in deiner Nähe kaufen
Beschreibung
This is the first existing book focusing on string analysis
Discusses how string analysis techniques work and how they can be applied to vulnerability detection in modern software applications
This book can be used as a textbook for a course on string analysis, or as a supplementary book for a course on vulnerability detection
This is the first existing book focusing on string analysis Discusses how string analysis techniques work and how they can be applied to vulnerability detection in modern software applications This book can be used as a textbook for a course on string analysis, or as a supplementary book for a course on vulnerability detection
Autor*in
Tevfik Bultan
Themen in »String Analysis for Software Verification and Security«
Automated sanitization synthesis Automated string analysis Computer security Input validation and sanitization Java Modern programming languages Modern software systems Software verification String analysis Vulnerability detection Program verification Formal methods Symbolic verification Automated abstraction Automata-based strong analysis
Stimmen zu »String Analysis for Software Verification and Security«
“The book can be said to be tailored as a handy manual for researchers looking for algebraic approaches based on the manipulation of regular expressions (in a large sense) and on solving string constraints, over inputs provided by users in web applications, for handling security issues in these applications.” (Siva Anantharaman, Mathematical Reviews, November, 2019)
()