place requiring the output buffer RESOURCE to have a VALIDITY PROPERTY such that
the RESOURCE must be large enough to store the result of the MANIPULATION.
If the PRODUCT does not enforce this POLICY, an ATTACKER can provide a path that
will be too large for the output buffer RESOURCE and may cause a buffer overflow