Trying to do taint tracking (which tbh, I would love to be in the language just for the name), leaves the problem of programmers having to be careful, and not make mistakes.....but it's not just making mistakes in their own code, it's not making mistakes across whole organisations. This
guys talk goes into how taint tracking just didn't work that well for google, as it's just too hard to reason about.