String Analysis for Software Verification and Security /

String Analysis for Software Verification and Security /

Bibliographic Details
Main Authors: Bultan, Tevfik. (Author), Yu, Fang. (Author), Alkhalaf, Muath. (Author), Aydin, Abdulbaki. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Subjects:
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.
Table of Contents:
  • 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.

Similar Items