Alkhalaf, Muath
String Analysis for Software Verification and Security
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
- Alkhalaf, Muath
- Aydin, Abdulbaki
- Bultan, Tevfik
- Yu, Fang
- Utgivare
- Springer
- Utgivningsår
- 2017
- Språk
- en
- Utgåva
- 1
- Sidantal
- 9 sidor
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783319686707
- Tryckt ISBN
- 978-3-319-68668-4