Not particularly mainstream, but I remember Ballerina having this: https://ballerina.io/1.0/learn/by-example/taint-checking.html https://ballerina.io/1.0/learn

Not particularly mainstream, but I remember Ballerina having this: https://ballerina.io/1.0/learn/by-example/taint-checking.html https://ballerina.io/1.0/learn/by-example/taint-checking.htm...