Just saw this while watching the re:Invent presentation on youtube. Your memcpy_check is incomplete, since it checks the destination address against NULL but does not check the source address: #de...