String Analysis for Software Verification and SecurityКНИГИ » ПРОГРАММИНГ
Название: String Analysis for Software Verification and Security Автор: Tevfik Bultan, Fang Yu Издательство: ?Springer Год: 2018 Формат: PDF Размер: 10 Мб Язык: английский / English
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, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis.
String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
String Field Theory: A Modern Introduction Название: String Field Theory: A Modern Introduction Автор: Harold Erbin Издательство: Springer Год: 2021 Формат: PDF, EPUB Страниц: 438 Размер: 21,9...
Analysis and Design of Algorithms Название: Analysis and Design of Algorithms Автор: Shefali Singhal, Neha Garg Издательство: BPB Publications Год: 2018 Страниц: 193 Язык:...
The Art of String Figures Название: The Art of String Figures Автор: International String Figure Association Издательство: Dover Publications Год: 2018 Формат: epub Страниц:...
A First Course in String Theory Название: A First Course in String Theory Автор: Barton Zwiebach Издательство: Cambridge University Press Год: 2004 Формат: PDF Страниц: 571 Размер:...
Навигация
Вход на сайт
Реклама
String Analysis for Software Verification and Security 
