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

• Lecture Slides pdf