[spion]

Thats because most tools that strongly focus on correctness are also designed to not allow the user to proceed despite the detected errors.

The real right thing to do there is to give the user a warning: visually mark the field as potentially tainted, but assume the user knows what they're doing and give them a result anyway. Let them decide how much they care about correctness in that particular case.