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

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

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

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