UniMate AI

COMP6131

软件安全分析

6 学分难度

COMP6131 专注于发现和评估软件系统中安全漏洞的先进技术。课程涵盖了静态程序分析、符号执行、模糊测试(Fuzzing)以及逆向工程。学生将学习如何使用专业工具自动化寻找安全隐患,理解漏洞产生的根本原因,并探讨如何通过自动化分析提升软件供应链的安全性。这是安全研究员和高级安全工程师的必修课。

Course decision

选课先看

先看考核重心、截止节奏和入门要求,再决定这门课是否适合你的学期安排。

考核总权重

100%

3 项考核

最高单项

40%

Final Exam

期末考试

以官方 outline 为准

Hurdle

未列出

当前考核表没有 Hurdle 标记

Deadline map

考核时间线

按截止周排列作业节点;持续考核会保留在下方完整考核结构中。

Week 9

Vulnerability Analysis Project

35%

针对特定开源软件的深度安全分析项目

Week 10

Lab Assignments

25%

使用分析工具发现漏洞的实验

Week 11

Final Exam

40%

综合考试

Syllabus

每周大纲

默认只展示每周独有的知识重点;节奏、考核、Tutorial 和避坑信息按需展开。

  1. 1

    安全分析导论

    自动化验证与人工审计,漏洞分类

  2. 2

    静态分析基础

    控制流图 (CFG), 数据流分析

  3. 3

    污点分析 (Taint Analysis)

    追踪不受信任的输入,隐式流处理

  4. 4

    符号执行 (Symbolic Execution)

    路径探索,SMT 求解器集成 (Z3)

  5. 5

    模糊测试 (Fuzzing 1)

    基于变异的 Fuzzing, AFL 基础

  6. 6

    灵活性周 (Flex Week)

    无新内容

  7. 7

    进阶模糊测试

    反馈驱动,结构化 Fuzzing (LibFuzzer)

  8. 8

    逆向工程基础

    反汇编,反编译技术,二进制分析

  9. 9

    动态二进制分析

    插桩技术 (Pin/Frida), 运行时漏洞检测

  10. 10

    分析报告与修复建议

    自动化报告生成,期末回顾

Assessment

考核结构

Lab Assignments

使用分析工具发现漏洞的实验

25%

Week 10

Vulnerability Analysis Project

针对特定开源软件的深度安全分析项目

35%

Week 9

Final Exam

综合考试

40%

Week 11

Assignments

作业详情

Vulnerability Analysis Project

选择一个中型开源项目,应用静态分析和模糊测试寻找其中的安全漏洞,并提供详细的分析报告和修复 PoC

重点: 工具链应用, 漏洞成因分析

要求:报告需包含完整漏洞触发路径

⏱ 预计 40 小时

From Seniors

学长留下的

基础信息谁都查得到,真正值钱的是过来人的经验。

学姐说

比你早一年的学长留下的真实经验 —— ChatGPT 给不了。

这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。

往年考点 / 踩坑

这门课暂无往年考点记录。

毕业生去向(整体)

下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。

统计自 317 份脱敏校友证言

Deloitte

6 位校友

岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer

Zerologix

4 位校友

岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer

Servian

4 位校友

岗位:Full-stack Developer · Data Engineer · Consultant

关于这块数据,我们说实话

雇主墙来自脱敏毕业生证言(testimonials)的整体分布,无法关联到具体学员或其所选课程;仅作为毕业生去向的总体社会证明展示。

我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。