How To Protect from Buffer Underwrites

• Requirements specification: The choice could be made to use a language that is not susceptible to these issues.
• Implementation: Sanity checks should be performed on all calculated values used as index or for pointer arithmetic.