Test case 73217

Description

CWE: 122 Heap Based Buffer Overflow
BadSource: Initialize data to a small buffer
GoodSource: Initialize data to a buffer large enough to hold a TwoIntsClass
Sinks:
GoodSink: Allocate a new class using placement new and a buffer that is large enough to hold the class
BadSink : Allocate a new class using placement new and a buffer that is too small
Flow Variant: 65 Data/control flow: data passed as an argument from one function to a function in a different source file called via a function pointer