系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
Gang Fan
最新
SQLess: Dialect-Agnostic SQL Query Simplification
Accelerating Build Dependency Error Detection via Virtual Build
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
引用
×