2025-08-09 19:43 上海
8月20日上午10:00，报告主题基于路径覆盖的符号执行路径优先探索策略，可腾讯会议线上参加
Novel Path Prioritization for Symbolic Execution
via Path Cover
摘要
Symbolic execution is an essential program analysis technique to formally reason program behaviors and detect software vulnerabilities. Despite its effectiveness, symbolic execution has an inherent limitation: path explosion. Path explosion occurs when symbolic execution encounters an overwhelming number (exponential to the program size) of paths. Traditional approaches rank the vast number of paths with heuristic-based weights. However, they often fail to be generalized to diverse programs. In this talk, I will introduce our recent work, Empc (S&P’25), a novel path prioritization technique for symbolic execution. We compute a path cover, i.e., a minimal subset of paths that can cover all code blocks, then only search and schedule within the minimal path cover instead of the vast number of all possible paths. By reducing the path search space, Empc can significantly boost symbolic execution performance.
报告人：佘东冬 助理教授，香港科技大学
Dongdong She is an assistant professor at the Hong Kong University of Science and Technology, CSE department. He obtained his PhD from the CS department at Columbia University. Before Columbia, He earned his M.S. from UC Riverside and B.S. from Huazhong University of Science and Technology. He is broadly interested in security and machine learning. He is particularly interested in applying data-driven approaches (e.g., LLM, optimization) to solve traditional security problems (e.g., vulnerability detection, software testing, program analysis). His work has won distinguished paper awards in Oakland, ISSTA, best paper runner-up award in CCS and CSAW applied research award finalist.
活动安排
❖
时间：
2025年8月20日 上午10:00
地点：
复旦大学江湾校区交叉学科2号楼A2003
❖
腾讯会议：
会议号：593-840-767
会议密码：585010
