String constraints with concatenation and transducers solved efficiently
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, and automatic test-case generation. A popular string analysis technique includes symbolic executions, which at their core us...
Main Authors: | , , , , |
---|---|
Format: | Journal article |
Published: |
Association for Computing Machinery
2017
|