1. A computer implemented method for generating machine instructions including memory access monitoring instructions, said method comprising the steps of: receiving as input a first set of machine instructions, said first set of machine instructions being specific to a computer processor with each machine instruction of said first set corresponding to an instruction executable by said computer processor, said first set of machine instructions including memory access instructions that access a region of memory; and generating a second set of machine instructions from said first set of machine instructions and having additional machine instructions that are memory monitoring instructions, said memory monitoring instructions checking memory status information for said region of memory accessed by said memory access instructions, said memory status information including an allocated state and an unallocated state.