TaintState () { if (isField()) return TaintState.UNKNOWN; TaintState taintState = myDeclaration.taintState(); if (taintState == TaintState.TAINTED) return taintState; for (Assignment assignment : myAssignments) { TaintState assignmentState = assignment.taintState(); if (assignmentState == TaintState.TAINTED) return assignmentState; if (taintState == TaintState.SAFE) taintState = assignmentState; } return taintState; }