内容提要
文章讨论了Sanitizer在二进制层面的现状与挑战，重点分析了Address Sanitizer和Binary Thread Sanitizer的实现及其局限性，包括信息丢失、性能开销和可移植性等问题，提出了成功标准，并探讨了将现有Sanitizer移植到二进制层面的可行性。
关键要点
-
文章讨论了Sanitizer在二进制层面的现状与挑战。
-
重点分析了Address Sanitizer和Binary Thread Sanitizer的实现及其局限性。
-
提到信息丢失、性能开销和可移植性等问题。
-
提出了成功标准，包括正确性、有效的错误检测、性能、兼容性和可扩展性。
-
探讨了将现有Sanitizer移植到二进制层面的可行性。
-
Binary Sanitizer面临的挑战包括缺失源代码和IR信息。
-
信息丢失导致控制流信息、类型信息等在编译过程中消失。
-
Binary Sanitizer的性能开销可能高达5倍。
-
ASan、UBSan、MSan、TSan四种Sanitizer的移植可行性分析。
-
RETROWRITE实现了部分功能，但存在性能开销和适用性限制。
延伸问答
什么是Sanitizer，它的主要功能是什么？
Sanitizer是一种用于检测程序中的错误和漏洞的工具，主要功能是通过插桩技术在运行时发现内存错误、数据竞争等问题。
Address Sanitizer和Binary Thread Sanitizer的主要区别是什么？
Address Sanitizer主要在源代码层面进行插桩，而Binary Thread Sanitizer则在二进制层面进行操作，后者面临更多的挑战，如信息丢失和性能开销。
Binary Sanitizer面临哪些主要挑战？
Binary Sanitizer面临的信息丢失、性能开销高达5倍、缺失源代码和IR信息等挑战。
成功的Sanitizer需要满足哪些标准？
成功的Sanitizer应具备正确性、有效的错误检测、良好的性能、兼容性和可扩展性等标准。
如何将现有的Sanitizer移植到二进制层面？
移植现有Sanitizer到二进制层面需要考虑信息丢失和性能开销等问题，且不同类型的Sanitizer在移植时的可行性各异。
RETROWRITE在Sanitizer中的作用是什么？
RETROWRITE是一种二进制重写方案，能够实现部分Sanitizer的功能，但存在性能开销和适用性限制。
