TaintState () { TaintState taintState = TaintState.SAFE; for (Variable variable : myVariables) { if (variable.isField()) { taintState = TaintState.UNKNOWN; } else { taintState = taintState.join(variable.taintState()); } } return taintState; }