- 2024-08-27 start.mp4
- 2024-08-27 01课程安排和要求.pptx
- 2024-08-27 本课程的成绩分布
- 2024-08-27 2-1.mp4
- 2024-08-27 2.2 文献检索(1).mp4
- 2024-08-27 3-1.mp4
- 2024-08-27 3.2 Software safety vs software security(1).mp4
- 2024-08-27 软件安全
- 2024-08-27 智能化软件工程技术
- 2024-08-27 3.3 什么是程序分析?.mp4
- 2024-08-27 什么是程序分析技术
- 2024-08-27 程序分析技术的分类
- 2024-08-27 智能化程序分析技术
- 2024-08-27 基于搜索的程序分析技术
- 2024-08-27 数据驱动的程序分析技术
- 2024-08-27 4-1.mp4
- 2024-08-27 4.2 静态程序分析方法.mp4
- 2024-08-27 4.3 静态程序分析参考资料(1).mp4
- 2024-08-27 静态程序分析方法
- 2024-08-27 静态分析方法
- 2024-08-27 静态分析方法
- 2024-08-27 静态分析方法
- 2024-08-27 静态分析流程
- 2024-08-27 静态程序分析的应用
- 2024-08-27 静态程序分析的属性
- 2024-08-27 5-1.mp4
- 2024-08-27 5.2 执行信息收集和动态分析方法.mp4
- 2024-08-27 动态程序分析方法
- 2024-08-27 在线概要生成
- 2024-08-27 随堂测验-动态符号执行
- 2024-08-27 动态程序分析的应用
- 2024-08-27 6-1(1).mp4
- 2024-08-27 6.2 静态程序分析示例.mp4
- 2024-08-27 什么是程序不变量
- 2024-08-27 程序不变量的推导方法
- 2024-08-27 程序不变量
- 2024-08-27 迭代近似
- 2024-08-27 7-1.mp4
- 2024-08-27 7.2 静态和动态程序分析技术的比较.mp4
- 2024-08-27 静态程序分析
- 2024-08-27 动态和静态程序分析的对比
- 2024-08-27 8-1(1).mp4
- 2024-08-27 8.2软件质量保障.mp4
- 2024-08-27 程序分析技术的应用
- 2024-08-27 9-1.mp4
- 2024-08-27 9.2控制流图(1).mp4
- 2024-08-27 9.3函数调用图和程序依赖图.mp4
- 2024-08-27 9.4静态单赋值和指向图.mp4
- 2024-08-27 token
- 2024-08-27 语法树
- 2024-08-27 随堂测试-控制流图
- 2024-08-27 程序依赖图
- 2024-08-27 调用图
- 2024-08-27 程序分析的范围
- 2024-08-27 敏感程度
- 2024-08-27 10-1.mp4
- 2024-08-27 10.2控制流和数据流分析工具.mp4
- 2024-08-27 程序中间表示生成工具
- 2024-08-27 随堂测试-影响准确性和效率的静态分析策略
- 2024-08-27 11-1.mp4
- 2024-08-27 11.2基于token序列的克隆代码检测方法.mp4
- 2024-08-27 11.3基于树的克隆代码检测方法.mp4
- 2024-08-27 11.4基于依赖图的克隆代码检测方法(1).mp4
- 2024-08-27 随堂测试-克隆代码的危害
- 2024-08-27 克隆代码检测方法
- 2024-08-27 克隆检测的应用
- 2024-08-27 12-1.mp4
- 2024-08-27 12.2 到达-定值分析.mp4
- 2024-08-27 12.3 活跃变量分析.mp4
- 2024-08-27 12.4 可用表达式分析.mp4
- 2024-08-27 12.5 非常繁忙表达式分析.mp4
- 2024-08-27 12.6 数据流分析框架.mp4
- 2024-08-27 什么是数据流分析
- 2024-08-27 到达定值分析
- 2024-08-27 数据流分析归类
- 2024-08-27 非常繁忙表达式
- 2024-08-27 13-1.mp4
- 2024-08-27 13.2基于依赖图可达的静态程序切片求解方法.mp4
- 2024-08-27 13.3正向切片VS反向切片.mp4
- 2024-08-27 13.4过程间VS过程内切片2(1).mp4
- 2024-08-27 静态程序切片
- 2024-08-27 13.5动态程序切片 算法1-标记执行路径.mp4
- 2024-08-27 13.6动态程序切片算法2-动态依赖图.mp4
- 2024-08-27 程序切片
- 2024-08-27 前向切片和反向切片
- 2024-08-27 动态切片
- 2024-08-27 14-1.mp4
- 2024-08-27 14.2基于语法树的程序插桩方法.mp4
- 2024-08-27 14.3二进制代码的插桩工具.mp4
- 2024-08-27 程序插桩
- 2024-08-27 程序插装方法
- 2024-08-27 15-1.mp4
- 2024-08-27 15.2不符合编码规范及潜在缺陷.mp4
- 2024-08-27 15.3故障类缺陷及示例.mp4
- 2024-08-27 15.4安全缺陷及示例.mp4
- 2024-08-27 15.5安全编码的相关学习材料.mp4
- 2024-08-27 软件缺陷
- 2024-08-27 16-1.mp4
- 2024-08-27 16.2基于缺陷模式的静态缺陷检测方法.mp4
- 2024-08-27 16.3静态软件缺陷检测工具.mp4
- 2024-08-27 16.4基于运行时监测的动态缺陷检测方法2.mp4
- 2024-08-27 16.5动态软件缺陷检测工具3.mp4
- 2024-08-27 静态和动态缺陷检测工具
- 2024-08-27 缺陷检测方法
- 2024-08-27 recon2017-mtl-05-philippe-biondi-xavier-mehrenberger-raphael-rigo-sarah-zennou-BinCAT-purrfecting-binary-static-analysis.mp4
- 2024-08-27 s2e.mp4
- 2024-08-27 zap.mp4
- 2024-11-19 15.1智能软件工程.pptx
- 2024-11-19 15.2智能化程序分析技术.pptx
- 2024-11-19 智能软件工程的涵义
- 2024-11-19 人工智能技术在软件工程中的应用
- 2024-11-19 机器学习技术及其在软件工程中的应用
- 2024-11-19 大模型在软件工程中的应用
- 2024-11-19 智能化程序分析技术
- 2024-11-19 基于搜索的程序分析技术
- 2024-11-19 数据驱动的程序分析技术
- 2024-11-19 16.1自动化程序修复技术概述.pptx
- 2024-11-19 16.2基于搜索的自动化程序修复.pptx
- 2024-11-19 16.3基于深度学习的自动化程序修复.pptx
- 2024-11-19 自动化程序修复技术
- 2024-11-19 基于搜索的自动化程序修复
- 2024-11-19 基于深度学习的自动化程序修复
- 2024-11-19 基于大模型的自动化程序修复