**AddressSanitizer**：AddressSanitizer 通过编译器自动插入和内存相关的断言，实现代码正确性的检查。对于复杂性超出人类掌控的系统 (例如操作系统内核)，这样的机制是至关重要的。另一种保证正确性的途径则是通过编程语言的限制，使人类无法写出具有某种类型的错误——例如自动内存管理的语言。