Static analysis to detect taint in java programs