登陆
注册
程序分析的利器：深入了解符号执行（Symbolic Execution）
有126人正在学习
上海控安
2025-07-08 14:24
1.符号执行的基础原理
2.符号执行的实践应用
3.典型应用场景
……
陈威
陈威，毕业于同济大学计算机科学学院，目前担任上海控安可信软件创新研究院测试工具链组研发工程师，主要从事代码自动化测试等方向研究。
陈威，毕业于同济大学计算机科学学院，目前担任上海控安可信软件创新研究院测试工具链组研发工程师，主要从事代码自动化测试等方向研究。
已完成
数据加载中
