Don't we still have tag/effects tracking? I think that is supposed to solve a similar problem (telling the developer to not exhibit certain prohibited behaviors somewhere.)
Though that requires various APIs properly tag the functions and I do not believe most of them do.
