Text this: Black-box testing based on colorful taint analysis.