可用于代码检查，例如数组越界，内存释放等，简单好用。