added instrumentation for null assertion checks after malloc calls