3 papers
cs.SE2026
Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs
Shaoyu Yang, Haifeng Lin, Chunrong Fang +6
Deep learning (DL) frameworks are critical AI infrastructures that often hide bugs with serious security implications. While dynamic approaches such as fuzzing are effective in unc…
cs.SE2024
HardRace: A Dynamic Data Race Monitor for Production Use
Xudong Sun, Zhuo Chen, Jingyang Shi +5
Data races are critical issues in multithreaded program, leading to unpredictable, catastrophic and difficult-to-diagnose problems. Despite the extensive in-house testing, data rac…
cs.CR2024
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
Yiyu Zhang, Tianyi Liu, Yueyang Wang +6
Dynamic taint analysis (DTA), as a fundamental analysis technique, is widely used in security, privacy, and diagnosis, etc. As DTA demands to collect and analyze massive taint data…