Checkmate: cornering C++ dynamic memory errors with checked pointers