String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)

Lukas Holik, Petr Janku, Anthony W. Lin +2

String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection of cross-site scripting (XSS)…