in cnova/DFAchecks.cpp [306:315]
void aioob() {
int buffer[100];
for (int i = 0; i <= 100; i++)
buffer[i] = 0; // buffer overflow when i is equal to 100
std::array<int, 3> a = {1, 2, 3};
a[a.size()] = 4; // a overflow when index is equal to a.size()
}