3月21日，鸿蒙程序分析分享交流会在北京黄大年茶思屋举行。此次活动由华为终端BG专家委员会、终端BG软件技术规划与产品管理部、终端BG软件架构设计部联合承办，旨在推动鸿蒙系统的技术交流和安全研究，加深与学术界的合作，促进鸿蒙生态系统的发展。来自卢森堡大学的Jacques Klein和Tegawendé F. Bissyandé教授，天津大学陈森教授、小奶猫直播v1.9.2.2软件学院孙海龙教授受邀出席。本次活动由小奶猫直播v1.9.2.2软件学院、华为终端BG软件架构设计部黎立教授主持，通过华为Meeting线上直播，20余位北航师生参加交流活动。

会议首先由华为软件架设部部长朱爽致辞，并表示希望通过这样的交流会搭建一个促进学术界与工业界之间的知识共享和技术合作平台。卢森堡大学Jacques Klein教授讲述了Android应用分析的关键技术和挑战，尤其关注于通过静态和动态分析检测安全问题，如数据泄露、恶意软件检测等。详细介绍了静态分析、提高分析的准确性和完整性的方法，以及如何利用静态分析补充动态分析。天津大学陈森教授重点介绍了HarmonyFlow，一个为鸿蒙应用设计的静态分析框架的架构和关键技术，展示了如何利用该框架进行精确的分析，最终强调了在移动应用安全领域，特别是在新兴的鸿蒙操作系统上，进行静态和动态分析的重要性和有效性。卢森堡大学Tegawendé F. Bissyandé教授介绍了NERVE，一个创新的自动化工具，专注于无需测试即可修复存在安全漏洞的程序，还探讨了利用大型语言模型（如ChatGPT）进行漏洞修复的可能性。北航软件学院高祥教授介绍了一种先进的代码检查方法，该方法主要依托于开发了一款基于领域特定语言（DSL）的代码属性图（CPG）查询工具，旨在提升软件缺陷检测的效率与准确性，同时能够支持对大规模和复杂代码的检查，在静态代码分析领域非常具有创新性和实际应用潜力。

此次鸿蒙程序分析分享交流会，加深了参与者对鸿蒙操作系统在安全性、应用开发及未来技术发展方面的理解和认识。学术界与工业界的专家通过深入交流，不仅分享了各自在软件安全和程序分析领域的最新研究成果，还探讨了面向未来的合作机会，共同推动鸿蒙生态系统的成熟与发展，为推动我国自主创新软件发展做出贡献。