On Saturday, September 17, 2005, at 06:41 AM, shreyas krishnan wrote: > I am trying to insert code which before pointer dereferences > would check if the pointer dereference is valid. Just like mudflap? If so, use those options from the manual.