String Analysis for Software Verification and Security /

String Analysis for Software Verification and Security /

Detalles Bibliográficos
Autores principales: Bultan, Tevfik. (Autor), Yu, Fang. (Autor), Alkhalaf, Muath. (Autor), Aydin, Abdulbaki. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Materias:
Computer security.
Programming languages (Electronic computers).
Software engineering.
Computer logic.
Mathematical logic.
Computer science—Mathematics.
Systems and Data Security.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Tabla de Contenidos:
  • 1 Introduction: String Manipulating Programs and Difficulty of Their Analysis
  • 2 String Manipulating Programs and Difficulty of Their Analysis
  • 3 State Space Exploration
  • 4 Automata Based String Analysis
  • 5 Relational String Analysis
  • 6 Abstraction and Approximation
  • 7 Constraint-based String Analysis
  • 8 Vulnerability Detection and Sanitization Synthesis
  • 9 Differential String Analysis and Repair
  • 10 Tools
  • 11 A Brief Survey of Related Work
  • 12 Conclusions.

Ejemplares similares