I just added a section on bounds checking to #LLSoftSecBook, please take a look! Feedback and contributions to this or any other part of the book are welcome! https://llsoftsec.github.io/llsoftsecbook/#bounds-checking