partial taint analysis fixed