Verification of String-Manipulating Programs

Lecturer: 郁方 Fang Yu

Syllabus

  • Introduction to string analysis, string automata and its symbolic representation
  • Pre- and post-image computations on automata of common string operations
  • Widening and fixpoint acceleration, forward and backward reachability analyses of string-manipulating programs
  • From string analysis to size analysis, composite analysis and relational analysis
  • String abstractions for string verification
  • Automatic detection and removal of Web application vulnerabilities
  • Stranger tool demonstration

Course Materials

  • Lecture Slides pdf
en/lecture/string.txt · Last modified: 2011/06/28 04:46 by yuf