文章讨论了Sanitizer在二进制层面的现状与挑战，重点分析了Address Sanitizer和Binary Thread Sanitizer的实现及其局限性，包括信息丢失、性能开销和可移植性等问题，提出了成功标准，并探讨了将现有Sanitizer移植到二进制层面的可行性。