程序分析的利器:深入了解符号执行(Symbolic Execution)
126人正在学习

上海控安

2025-07-08 14:24
1.符号执行的基础原理 2.符号执行的实践应用 3.典型应用场景 ……
  • 程序分析的利器:深入了解符号执行(Symbolic Execution)

    程序分析的利器:深入了解符号执行(Symbolic Execution)

    课程时长 00:31:07

陈威

陈威,毕业于同济大学计算机科学学院,目前担任上海控安可信软件创新研究院测试工具链组研发工程师,主要从事代码自动化测试等方向研究。