Logga in

Alkhalaf, Muath

String Analysis for Software Verification and Security

Alkhalaf, Muath - String Analysis for Software Verification and Security, e-bok

91,40€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9783319686707
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

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

Författare
 
 
 
Utgivare
Springer
Utgivningsår
2017
Språk
en
Utgåva
1
Kategori
Datateknik, Datakommunikation
Format
E-bok
eISBN (PDF)
9783319686707
Tryckt ISBN
978-3-319-68668-4

Liknande e-böcker