符号执行是一种相对精确的程序分析技术。虽然符号执行近年来被广泛应用于各类软件系统的自动测试与分析，并取得不错效果，但符号执行的进一步发展与应用仍面临路径空间爆炸和约束求解这两个根本挑战。本报告将介绍团队近期在应对这两个挑战的相关成果和研究思考，并对不同层面和背景下的具体技术挑战进行探讨，同时展望符号执行未来的发展。
符号执行
陈振邦
