Abstract: String constraint problems faced by program analysis tools are pervasive in programming, but datasets built specifically for real-world string constraints are rare. To understand the ...