String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)

Anthony W. Lin, Pablo Barcelo

We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to o…