String solving with word equations and transducers: towards a logic for analysing mutation XSS
We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, little is known about the decidability of their combined theory, which is esp...
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
Association for Computing Machinery
2016
|