Black-box testing based on colorful taint analysis