UBfuzz: Finding Bugs in Sanitizer Implementations:
https://arxiv.org/abs/2401.04538v1

“介绍了一个新的测试框架UBfuzz,用于验证编译器中的sanitizer实现,发现了sanitizer中的31个漏洞,揭示了sanitizer存在的严重虚假负问题。”
 
 
Back to Top