Yuanpeng Wang, Zhineng Zhong, Zhenkai Liang, Ding Li, Yao Guo 0001, Xiangqun Chen. SymFlow: Event-Chain-Aware Symbolic Execution for Serverless Sensitive Data Flow Detection. In Jerónimo Castrillón, Christian Dietrich 0001, editors, Proceedings of the 27th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2026, Boulder, CO, USA, June 15-16, 2026. pages 57-69, ACM, 2026. [doi]
Abstract is missing.