Showing 2024Show all
2 papers · 1 filter
cs.CR2024
SAND: Decoupling Sanitization from Fuzzing for Low Overhead
Ziqiao Kong, Shaohua Li, Heqing Huang +1
Sanitizers provide robust test oracles for various software vulnerabilities. Fuzzing on sanitizer-enabled programs has been the best practice to find software bugs. Since sanitizer…
cs.CR2024
UBfuzz: Finding Bugs in Sanitizer Implementations
Shaohua Li, Zhendong Su
In this paper, we propose a testing framework for validating sanitizer implementations in compilers. Our core components are (1) a program generator specifically designed for produ…