2 citations · 5 across the 11 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.SE2025
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
Yongchao Wang, Yuandao Cai, Charles Zhang
Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the scalability issue of…
cs.CR2025
A Survey of Operating System Kernel Fuzzing
Jiacheng Xu, He Sun, Shihao Jiang +8
The Operating System (OS) kernel is foundational in modern computing, especially with the proliferation of diverse computing devices. However, its development also comes with vulne…