PROPERTY stating that the contents of the buffer must be less than or equal to
the allocated size of the buffer RESOURCE and a BEHAVIOR exists that violates
said PROPERTY.
If the PRODUCT BEHAVES in a stack / heap environment (Is there a specific vuln