Understanding EXC_BAD_ACCESS: A Deep Dive into Mach Kernel and C Code