Login

Alkhalaf, Muath

String Analysis for Software Verification and Security

Alkhalaf, Muath - String Analysis for Software Verification and Security, ebook

103,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319686707
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

2. String Manipulating Programs and Difficulty of Their Analysis
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

3. State Space Exploration
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

4. Automata Based String Analysis
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

5. Relational String Analysis
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

6. Abstraction and Approximation
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

7. Constraint-Based String Analysis
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

8. Vulnerability Detection and Sanitization Synthesis
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

9. Differential String Analysis and Repair
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

10. Tools
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

11. A Brief Survey of Related Work
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

12. Conclusions
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

Keywords: 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

Author(s)
 
 
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783319686707
Printed ISBN
978-3-319-68668-4

Similar titles