近日，2024年度北京市科学技术奖励评选名单正式公布，由清华大学牵头，水木羽林、统信软件和斗象科技等单位联合完成的“桌面操作系统安全自主可控关键技术及应用”项目荣获科学技术进步奖一等奖。

“北京市科学技术奖”是由北京市政府设立的省部级科技奖项，旨在表彰在北京市科学技术进步活动中，完成和应用推广创新性科技成果，为推动科技进步和经济社会发展作出突出贡献的个人和组织。本次荣获一等奖，无疑在水木羽林的荣誉簿上增添了浓墨重彩的一笔。

此次项目中，水木羽林携手合作伙伴在操作系统内核及上层应用代码的缺陷检测和漏洞挖掘方向上取得多项重大技术突破。该项目发明了静态分析与动态缺陷检测协同的未知缺陷检测技术，在各类目标系统内核检测中显著超越国际同类工具，成功挖掘出大量高危未知漏洞/零日漏洞，其中多项被收录于国家信息安全漏洞库。

此外，在装机应用质量保障方面，该项目创新性地提出了基于精准状态感知的并行集成测试方法和基于语义建模的应用输入生成技术，缺陷检测效率与覆盖范围上实现了大幅度提升，测试速度获得显著优化，成功发现并协助修复了海量潜在缺陷，其成果多次获得国际知名厂商的公开致谢。