登陆
注册
首页
知识
资讯
工具
学堂
活动
合作
首页
>
学堂
>
共性技术课
>
程序分析的利器:深入了解符号执行(Symbolic Execution)
程序分析的利器:深入了解符号执行(Symbolic Execution)
有
126人
正在学习
上海控安
2025-07-08 14:24
1.符号执行的基础原理 2.符号执行的实践应用 3.典型应用场景 ……
课程介绍
课节视频
收藏
发布评论
2000
发布评论
程序分析的利器:深入了解符号执行(Symbolic Execution)
课程时长 00:31:07
当前播放
陈威
陈威,毕业于同济大学计算机科学学院,目前担任上海控安可信软件创新研究院测试工具链组研发工程师,主要从事代码自动化测试等方向研究。
推荐课程
1
基于SOTIF的预期功能安全开发与验证
2
面向车辆行业的WP.29国际网络安全法案和ISO/SAE 21434标准的影响分析及应对
3
从1开始快速了解功能安全系列
温馨提示
本篇为付费内容,购买后即可观看完整内容!
我知道了
已完成
数据加载中