Add a buffer-overflow detection example

Modified from our ISSTA'11 paper