2 papers
cs.PL2024
Scaling Inter-procedural Dataflow Analysis on the Cloud
Zewen Sun, Yujin Zhang, Duanchen Xu +11
Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysi…
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…