M4Secure: Making Memory Management More Secure