Write Skew Vulnerabilities

Detect cases where two constraints are violated because the database perceives them as mutually exclusive.