in cnova/DFAchecks.cpp [258:265]
int handle_pointer() { int* int_ptr = new int; delete_ptr(int_ptr); *int_ptr = 1; return 0; }