我们小组专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们的目标是研究创新的程序分析方法并实现切实有效的开发工具，来帮助程序开发人员和测试人员有效解决软件中普遍存在的可靠性和安全性问题。我们开发了静态分析检测系统Wukong。 Wukong实现了一系列深度程序分析方法，能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等编程语言及开发环境， 并能够从谷歌Chromium、 Bash、 sed、 大数据处理系统Hadoop等常见开源软件中发现数千已有商业工具无法检测到的深层错误和潜在安全漏洞， 其中数百个严重错误已经被开源社区确认，获得超过50个CVE。我们研究的方法和工具已经发表在系统、软工以及安全领域内顶级会议包括 SOSP、FSE、ASE、CGO、USENIX SECURITY、CCS上，获得过ASE2019杰出论文奖以及CCS2022最佳论文提名。更多信息请访问我们小组主页：ICT-PAG - Home. 

   

081202-计算机软件与理论

程序分析，软件安全,软件工程

2003-03--2007-08   University of New South Wales, Australia   博士
1993-09--1998-06   清华大学工程物理系   学士

   

2015-04~现在, 中国科学院计算技术研究所, 研究员
2011-06~2015-03,甲骨文公司澳大利亚实验室, 主管研究员 （Principal member of technical staff）
2008-06~2011-06,升阳公司实验室, 高级研究员（Senior Member of Technical Staff）
2007-09~2008-05,University of New South Wales, Australia, PostDoc
2001-08~2002-10,Celestry公司北京分公司, 软件工程师
1998-07~2001-07,中国科学院计算技术研究所, 助理研究员

编译程序高级教程

已指导学生

周卿  博士研究生  081201-计算机系统结构  

陆杰  博士研究生  081201-计算机系统结构  

王科峰  硕士研究生  085211-计算机技术  

何冬杰  硕士研究生  081201-计算机系统结构  

张馨元  硕士研究生  081201-计算机系统结构  

郑恒杰  硕士研究生  081202-计算机软件与理论  

现指导学生

袁挺  博士研究生  081201-计算机系统结构  

孟海宁  博士研究生  081202-计算机软件与理论  

刘晨  博士研究生  081202-计算机软件与理论  

李广威  博士研究生  081202-计算机软件与理论  

李昊峰  博士研究生  081202-计算机软件与理论  

陈宇翔  博士研究生  081202-计算机软件与理论  

黄永恒  硕士研究生  081202-计算机软件与理论