test for taint analysis