系统与软件安全实验室
系统与软件安全实验室
新闻
成员
科研成果
联系我们
中文 (简体)
English
Value-flow analysis
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Modern static analyzers often need to simultaneously check a few dozen or even hundreds of value-flow properties, causing serious …
Qingkai Shi
,
Rongxin Wu
,
Gang Fan
,
Charles Zhang
PDF
引用
Paper Link
引用
×