resource. The product assumes that P is immutable between the check and the
manipulation.
A Time-of-check Time-of-use Race Condition Vulnerability occurs when an actor
can directly or indirectly modify the assumed-immutable property, P, between the