Verification of String-Manipulating Programs

Lecturer: 郁方 Fang Yu


  • 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
zh-tw/lecture/string.txt · 上一次變更: 2011/04/29 04:49 來自 mht208