返回首页
登录

CCF石家庄丨燕赵论坛:程序分析与测试

阅读量:26 2023-05-24 收藏本文

CCF石家庄会员活动中心(简称:CCF石家庄)于5月23日举办燕赵论坛。本次论坛邀请中国人民大学游伟博士做题目为二进制程序的分析与测试”的报告;论坛执行主席分别由河北科技大学信息学院副院长张晓明教授CCF石家庄执委河北科技大学张杨教授担任。论坛向CCF会员免费开放,CCF会员同时享有提问优先权!

CCF 燕赵论坛是中国计算机学会石家庄分部主办的系列性专业学术活动,由来自石家庄地区计算机相关领域的学者、企业家及其他各界精英参与策划与组织,以推动学术进步和技术成果应用为目标,主要活动形式有论坛和学术报告会等。

90分钟的介绍里,游博士结合多年的研究成果,跟科大学子分享了在无源代码的情况下,对编译好的二进制程序进行高层语义恢复,并在此基础上测试目标程序;此外,游博士详细介绍了概率分析和推理的建模方式,以实现有效且高效的二进制程序依赖分析、变量和数据类型恢复,之后分享了二进制程序模糊测试的最新研究进展。活动末尾,游博士与在场师生展开了进一步的交流讨论。本次论坛由河北科技大学张杨教授做总结发言,本次活动的主办单位、讲者、参会师生等表达了诚挚的感谢。本次论坛吸引了来自高校和企业界等100余位与会人员,讨论热烈,取得了圆满成功!