2023年12月2日，2023年度CCF中国软件大会软件程序语义深度理解前沿进展论坛成功召开。
本次论坛由南京大学卜磊老师和国防科技大学陈振邦老师主持，计算机研究与发展期刊代表侯丽珊老师致辞，旨在反映程序语义理解及其应用相关研究前沿进展与实践，并推动国内相关研究向深度发展。论坛邀请了来自清华大学、南京大学、国防科技大学、电子科技大学和航天科技集团的相关领域学者作为论坛嘉宾，主要关注抽象解释、静态分析、符号执行等相关技术的最新进展。此外，论坛还邀请了中国科学院大学张健教授做题为“程序分析与测试数据生成”的特邀报告。本次论坛得到了学术界和工业界相关领域研究者的广泛参与，座无虚席。
✦ +
本次论坛分两个阶段举行。论坛第一阶段由南京大学卜磊老师主持，包括一个特邀报告和2篇论文报告，并在每位论坛嘉宾报告结束后为其颁发证书。首先是由中国科学院大学张健教授的题为“程序分析与测试数据生成”的精彩主题报告。张健老师首先介绍了自动推理和逻辑公式可满足性的内容，并讲述了自己在不同描述语言下的约束满足问题以及模型计数等领域的研究，其次讲述了程序分析和测试的相关内容，并讲述了自己在符号执行、静态分析以及程序性能估算等方面的前瞻性研究，最后张老师对程序分析的相关技术作出总结并提出了自己的感想和思考，表示程序分析大有可为。接下来由国防科技大学陈立前老师做题为“抽象解释及其应用进展研究”的报告，主要阐述抽象解释理论的概述和发展、基于抽象解释的程序分析、基于抽象解释的可信人工智能以及对未来研究方向的展望等内容。最后是由南京大学谭添老师做题为“Java指针分析：上下文敏感技术的发展”的报告，通过相关例子呈现了针对java程序的指针分析过程，并呈现了指针分析中上下文敏感可扩展性差的问题，提出在指针流图上通过三种模式消除指向图上指向汇合点的边并额外添加指向分叉点的边的方式，达到不使用上下文也能达到上下文敏感的效果。
论坛第二阶段由国防科技大学陈振邦老师主持。首先由清华大学的王明哲系统性地介绍了模糊测试中典型的静态插桩方法，并对静态插桩的优化方向进行展望。随后来自电子科技大学的宋书玮介绍智能合约中Gas优化面临的主要挑战，并回顾基于预先定义的Pattern等智能合约优化方法，最后总结了智能合约可扩展性的未来研究方向。随后来自航天科技集团502所的李超介绍了原子性违反的缺陷检测技术，通过路径不敏感的数据流分析进行访问交错模式的匹配，后续通过收集路径约束裁剪不可行路径，最后对中断驱动型程序静态分析框架等进行展望。最后是来自南京大学的周彭介绍基于多线程并行的符号执行引擎设计与实现，线程间通过窃取实现负载均衡，并共享基于反例约束求解的约束缓存，提高了符号执行的效率。最后论坛圆满结束。
