程序分析SIG例会 2025-08-28 19:00-20:00(UTC+08:00)Beijing
议题(Agenda)
议题1、面向鸿蒙应用的并行化静态安全分析框架进度
议题2、面向鸿蒙应用的跨语言程序分析技术进度
与会人(Attendees)
- 黎立@lilicoding
- 徐凌云@xulingyun
- 孙波@bbsun
- 范刚@fangang1
- 黄建华@kubrick-hjh
- 何鑫@d_O_O_b
- 许丹@xudan16
- 薛义飞@yifei-xue
- 陈森@chens
- 柴仁超@chairenchao
- 赵彦杰@yanjiez
- 伍家乐@wjl
- 蒋贤潇@weixin_51670469
会议纪要(Minutes)
议题1、面向鸿蒙应用的并行化静态安全分析框架进度分享
汇报人： 柴仁超
会议结论：1、针对10个真实app进行测试，其中8个发现并发错误，有2个app是误报导致的检出；2、处理then这个HB关系导致的误报；3、处理aboutToAppear和aboutToDisappear这个HB关系导致的误报。
议题2、面向鸿蒙应用的跨语言程序分析技术
汇报人：伍家乐
会议结论：1. 二进制分析针对真实应用分析进行性能优化 2. 为各模块添加性能统计数据