UniMate AI
昆士兰大学/课程目录

CSSE4630

计算机软件工程

2 学分难度 超难👥 1 人学过

课程定位 CSSE4630（Principles of Program Analysis）是 UQ 课程体系中兼顾理论与实践的一门超难课程，核心目标是把“会看懂”升级为“会分析、会实现、会解释”。课程通常承担承上启下作用：前接基础概念，后接更高阶专题或项目。对准备走软件、数据、工程或研究路径的同学来说，这类课程的价值不只在分数，更在于建立可迁移的方法框架和稳定交付能力。 技术栈与学习内容 学习内容通常覆盖该方向的关键概念、方法与工具链，并通过练习或作业落实到具体场景。常见会使用 Python、R、MATLAB、C/C++ 或课程指定软件（以官方课纲为准）。课程强调的不只是“得到答案”，还包括假设条件、步骤完整性、结果解释与复现性。也就是说，你需要同时训练知识准确度、实现质量和表达清晰度。 课程结构 课程一般按周推进，前段搭建概念框架，中段进入题型训练与案例应用，后段做综合整合与评估冲刺。考核常见组合为 Quiz/Lab、作业、报告和期末评估。评分不仅看正确率，也看分析逻辑、书写/代码规范与结论表达。多数同学真正拉开差距的阶段在中后期：是否能持续输出，而不是临近截止日突击。 适合人群 适合希望夯实底层能力、提升问题拆解与建模能力、并改善学术或工程表达的同学。若你计划继续修读高阶课程，或希望在实习与求职中提升“把事情做对并讲清楚”的竞争力，这门课很

Syllabus

每周大纲

  1. 1

    Introduction to Program Analysis

    ### 📖 核心知识点：程序分析导论 课程介绍程序分析的目标和方法论。学习为什么需要自动化工具来检测 Bug 和安全漏洞（人工代码审查的局限性）。了解 Static Analysis（不运行程序）vs Dynamic Analysis（运行程序）的基本区别。概览课程将涉及的技术：Abstract Interpretation, Symbolic Execution, Fuzzing, Taint Analysis。 - **核心概念/公式**: Soundness (不遗漏) vs Completeness (不误报) 的权衡、Rice's Theorem (程序的非平凡属性不可判定)、Approximation 的必要性 ⏰ **本周节奏**: 难度 ⭐⭐⭐ | 预计投入 8h（PBL 1h + Lecture 1h + Workshop 1h + 自学 5h） 🎯 **考试关联**: Final Exam (60%, Hurdle ≥40%) 会考 Soundness/Completeness 的概念辨析。Concept Quiz (10%, Best 3 of 4)。 🧪 **Workshop**: 安装和配置程序分析工具链。探索开源项目中的已知 Bug 案例。 📌 **作业关联**: 理解分析方法的分类为 Assignment 1 (Static Analysis, 20%) 和 Assignment 2 (Dynamic Analysis, 10%) 奠定基础。 ⚠️ **易错点**: Sound 分析可能有误报 (False Positive) 但不会遗漏；Complete 分析可能遗漏但不会误报；实际工具通常既不完全 Sound 也不完全 Complete。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  2. 2

    Abstract Interpretation & Lattice Theory

    ### 📖 核心知识点：抽象解释与格论基础 学习 Abstract Interpretation 的理论框架。掌握 Lattice (格) 的数学定义：Partial Order, Join (⊔), Meet (⊓), Top (⊤), Bottom (⊥)。学习 Abstract Domain 的概念：将无限的程序状态映射到有限的抽象值。了解 Galois Connection (α, γ) 连接具体域和抽象域。 - **核心概念/公式**: Lattice 的偏序关系 ⊑、Galois Connection: α(concrete) → abstract, γ(abstract) → concrete、Widening 操作加速不动点收敛 ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐⭐ | 预计投入 10h（PBL 1h + Lecture 1h + Workshop 1h + 自学 7h）🔥 高压周 🎯 **考试关联**: Lattice 和 Abstract Interpretation 的理论是 Final Exam 的核心考点。 🧪 **Workshop**: 在纸上手工执行 Sign Domain ({-, 0, +, ⊤, ⊥}) 的抽象解释分析。 📌 **作业关联**: Concept Quiz 1 (Due Week 3) 覆盖本周内容。 ⚠️ **易错点**: Join 和 Meet 的方向容易搞反（Join 是最小上界 LUB，Meet 是最大下界 GLB）；Widening 可能导致精度大幅损失；Galois Connection 的 α 和 γ 的关系不是简单的逆函数。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  3. 3

    Control Flow & Data Flow Analysis

    ### 📖 核心知识点：控制流与数据流分析 学习 Control Flow Graph (CFG) 的构建方法。掌握 Data Flow Analysis 的经典框架：Reaching Definitions, Live Variables, Available Expressions。学习 Worklist Algorithm 迭代计算数据流方程到不动点。 - **核心概念/公式**: CFG 的 Basic Block 划分规则、Data Flow Equations: OUT[B] = GEN[B] ∪ (IN[B] - KILL[B])、Forward vs Backward Analysis、Chaotic Iteration ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: 数据流分析的手工计算是 Final Exam 的高频考题。Concept Quiz 1 截止。 🧪 **Workshop**: 手工构建 CFG 并计算 Reaching Definitions 和 Live Variables。 📌 **作业关联**: Concept Quiz 1 (2.5%, Due July 31) 截止。 ⚠️ **易错点**: Forward Analysis (如 Reaching Definitions) 和 Backward Analysis (如 Live Variables) 的方向容易搞混；GEN/KILL 集合的计算需要精确；迭代到不动点时忘记检查所有 Basic Block。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  4. 4

    Pointer Analysis & Alias Analysis

    ### 📖 核心知识点：指针分析与别名分析 学习 Pointer Analysis 的基本方法：Flow-insensitive, Flow-sensitive, Context-sensitive 的区别和精度/效率权衡。掌握 Andersen's Analysis 和 Steensgaard's Analysis 的基本原理。理解 Points-to Set 和 Alias Pair 的概念。 - **核心概念/公式**: Points-to Set: pts(p) = {o1, o2, ...}、Andersen's (Inclusion-based, O(n³)) vs Steensgaard's (Unification-based, O(nα(n)))、May-alias vs Must-alias ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐⭐ | 预计投入 10h（PBL 1h + Lecture 1h + Workshop 1h + 自学 7h）🔥 高压周 🎯 **考试关联**: Pointer Analysis 的算法和精度对比是 Final Exam 的重要内容。 🧪 **Workshop**: 手工执行 Andersen's Analysis 构建 Points-to Graph。 📌 **作业关联**: Assignment 1 (Static Analysis, 20%) 可能涉及 Pointer Analysis 工具的使用。 ⚠️ **易错点**: Flow-insensitive 分析忽略语句执行顺序，结果比 Flow-sensitive 更粗糙（更多 False Positive）；Steensgaard 的 Unification 是不可逆的（合并后不能拆分）。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  5. 5

    Static Analysis Tools & Practical Application

    ### 📖 核心知识点：静态分析工具与实际应用 学习工业级静态分析工具的工作原理和使用方法。掌握 Facebook Infer、Coverity、SonarQube 等工具的特点和适用场景。学习如何解读分析报告、判断 True Positive vs False Positive，以及如何对分析结果进行 Triage（分类处理）。 - **核心概念/公式**: Bug Pattern Database、False Positive Rate 指标、Incremental Analysis（只分析变更代码）、CI/CD 集成分析 ⏰ **本周节奏**: 难度 ⭐⭐⭐ | 预计投入 8h（PBL 1h + Lecture 1h + Workshop 1h + 自学 5h） 🎯 **考试关联**: 静态分析工具的能力和局限性是 Final Exam 的分析题内容。Concept Quiz 2 (Due Week 6)。 🧪 **Workshop**: 使用 Infer 分析开源 Java 项目，分类分析结果为 True/False Positive。 📌 **作业关联**: Assignment 1 (Static Analysis, 20%, Due Oct 3) 需要扩展或比较静态分析工具。 ⚠️ **易错点**: 工具报告的警告并非都是真 Bug（需要人工确认）；配置不当导致大量 False Positive 淹没真正的问题；不同工具对同一代码分析结果可能不同。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  6. 6

    Dynamic Analysis & Runtime Monitoring

    ### 📖 核心知识点：动态分析与运行时监控 学习 Dynamic Analysis 的方法论——通过运行程序来检测错误。掌握 Instrumentation（代码插桩）技术：Source-level 和 Binary-level。学习 Valgrind (Memory Error Detection)、AddressSanitizer、ThreadSanitizer 等工具。了解 Runtime Monitoring 和 Assertion Checking。 - **核心概念/公式**: Code Instrumentation 的 Overhead 评估、Valgrind 的 Shadow Memory 技术、AddressSanitizer 的 Red Zone 检测 Buffer Overflow ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: 动态分析方法和工具的原理是考试内容。Concept Quiz 2 截止。 🧪 **Workshop**: 使用 Valgrind 和 ASan 检测 C 程序中的内存错误（Use-after-free, Buffer Overflow, Memory Leak）。 📌 **作业关联**: Concept Quiz 2 (2.5%, Due Aug 13) 截止。Assignment 2 (Dynamic Analysis, 10%) 准备开始。 ⚠️ **易错点**: Dynamic Analysis 只能检测被执行到的代码路径中的 Bug（Coverage 依赖输入质量）；Valgrind 导致程序减速 10-50 倍；ASan 和 TSan 不能同时使用（冲突）。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  7. 7

    Symbolic Execution

    ### 📖 核心知识点：符号执行 学习 Symbolic Execution 的核心思想——用符号值替代具体值执行程序。掌握 Path Condition 的构建和 Constraint Solving (SMT Solver: Z3)。了解 Concolic Execution (Concrete + Symbolic) 的优势。学习 KLEE、angr 等符号执行工具。 - **核心概念/公式**: Symbolic State = (Path Condition, Symbolic Store)、Path Explosion Problem: 路径数随分支指数增长、Concolic Execution 的 Concrete 引导策略 ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐⭐ | 预计投入 10h（PBL 1h + Lecture 1h + Workshop 1h + 自学 7h）🔥 高压周 🎯 **考试关联**: 符号执行的原理、Path Condition 构建和 Path Explosion 问题是 Final Exam 高频考点。 🧪 **Workshop**: 手工对简单程序进行符号执行，构建 Path Condition 并用 Z3 求解测试输入。 📌 **作业关联**: Concept Quiz 3 (Due Week 8) 覆盖符号执行内容。 ⚠️ **易错点**: Path Explosion 是符号执行的最大挑战（循环和递归导致无限路径）；SMT Solver 对非线性约束的求解能力有限；外部函数调用（如系统调用）需要特殊处理（模拟或具体化）。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  8. 8

    Fuzzing & Automated Test Generation

    ### 📖 核心知识点：模糊测试与自动化测试生成 学习 Fuzzing（模糊测试）的基本原理。掌握 Coverage-guided Fuzzing (AFL/libFuzzer) 的反馈驱动机制。学习 Mutation-based vs Generation-based Fuzzing 的区别。了解 Hybrid Fuzzing（结合 Symbolic Execution 和 Fuzzing）。 - **核心概念/公式**: Coverage-guided Mutation: Seed → Mutate → Execute → Collect Coverage → Corpus Update、Edge Coverage vs Block Coverage、AFL 的 Fork Server 优化 ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: Fuzzing 的工作流程和 Coverage 反馈机制是考试内容。Concept Quiz 3 截止。 🧪 **Workshop**: 使用 AFL++ 对有漏洞的 C 程序进行 Fuzzing，找到 Crash Input。 📌 **作业关联**: Concept Quiz 3 (2.5%, Due Aug 28) 截止。 ⚠️ **易错点**: Fuzzing 是随机过程，结果不可重复；Coverage 饱和后难以发现新路径（需要更好的 Mutation 策略）；Crash 不一定是安全漏洞（需要可利用性分析）。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  9. 9

    Taint Analysis & Information Flow

    ### 📖 核心知识点：污点分析与信息流 学习 Taint Analysis 追踪不可信输入在程序中的传播。掌握 Source (污点源: 用户输入)、Sink (敏感操作: SQL 执行、文件写入)、Sanitizer (净化器) 的模型。学习 Forward Taint (Data Leakage 检测) 和 Backward Taint (Root Cause 分析)。 - **核心概念/公式**: Taint Propagation Rules: x = y + z → taint(x) = taint(y) ∪ taint(z)、Implicit Flow (条件分支导致的间接污染)、Over-tainting vs Under-tainting ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: Taint Analysis 的规则和 Source-Sink 模型是考试内容。Concept Quiz 4 (Due Week 10)。 🧪 **Workshop**: 使用 Taint Analysis 工具检测 Web 应用中的 SQL Injection 和 XSS 漏洞路径。 📌 **作业关联**: Assignment 1 (Static Analysis, 20%, Due Oct 3) 截止在即。 ⚠️ **易错点**: Implicit Flow 很难精确追踪（if(tainted) x=1 中 x 被间接污染）；Over-tainting 导致大量 False Positive；Sanitizer 的有效性分析不容易（某些 Sanitizer 可能被绕过）。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  10. 10

    Concurrency Bug Detection

    ### 📖 核心知识点：并发Bug检测 学习并发程序的特殊缺陷类型和检测方法。掌握 Data Race 的定义和 Happens-Before 关系。学习 Data Race Detector (ThreadSanitizer/Eraser Algorithm) 的工作原理。了解 Deadlock Detection (Lock Order Graph) 和 Atomicity Violation 检测。 - **核心概念/公式**: Data Race: 两个线程并发访问同一内存位置且至少一个是写操作、Lockset Algorithm: 交集为空则报告潜在 Race、Happens-Before Relation ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: 并发 Bug 的分类和检测方法是考试内容。Assignment 1 截止。Concept Quiz 4 截止。 🧪 **Workshop**: 使用 ThreadSanitizer 检测多线程 C++ 程序中的 Data Race 和 Deadlock。 📌 **作业关联**: Assignment 1 (20%, Due Oct 3) 截止提交。Concept Quiz 4 (2.5%, Due Sep 11) 截止。 ⚠️ **易错点**: Not all Data Races are bugs（但几乎所有都应该修复）；Happens-Before 分析可能遗漏依赖特定调度顺序才出现的 Race；Lockset 分析的 False Positive 率较高。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  11. 11

    Security Vulnerability Detection

    ### 📖 核心知识点：安全漏洞检测 学习常见安全漏洞的自动化检测方法。掌握 Buffer Overflow (Stack/Heap)、Use-After-Free、Integer Overflow 的检测技术。学习 CWE (Common Weakness Enumeration) 分类体系。了解漏洞利用的基本原理（为理解防御）：Stack Smashing, ROP Chain。 - **核心概念/公式**: Stack Buffer Overflow 的利用原理（覆写返回地址）、防御机制 (Stack Canary, ASLR, DEP/NX)、CWE Top 25 常见漏洞 ⏰ **本周节奏**: 难度 ⭐⭐⭐⭐ | 预计投入 9h（PBL 1h + Lecture 1h + Workshop 1h + 自学 6h） 🎯 **考试关联**: 安全漏洞类型和检测方法是 Final Exam 的考查内容。 🧪 **Workshop**: 分析含有安全漏洞的代码样本，使用静态和动态工具检测漏洞。 📌 **作业关联**: Assignment 2 (Dynamic Analysis, 10%, Due Oct 25) 截止在即。 ⚠️ **易错点**: 安全漏洞的严重性取决于可利用性（不是所有 Buffer Overflow 都可利用）；防御机制可以被绕过（ASLR + Info Leak）；检测工具可能遗漏某些漏洞类型。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto
  12. 12

    Advanced Topics & Tool Comparison Review

    ### 📖 核心知识点：高级主题与工具对比总复习 学习前沿的程序分析技术：Machine Learning for Bug Detection、Probabilistic Program Analysis。进行课程全面回顾，对比各种分析技术的 Soundness、Completeness、Scalability、Precision 四个维度。 - **核心概念/公式**: 分析技术对比矩阵 (Static/Dynamic/Symbolic/Fuzzing × Sound/Complete/Scalable/Precise)、ML-based Bug Detection 的 Training Data 偏差问题 ⏰ **本周节奏**: 难度 ⭐⭐⭐ | 预计投入 10h（PBL 1h + Lecture 1h + Workshop 1h + 自学 7h）📝 复习周 🎯 **考试关联**: Final Exam (60%, Hurdle ≥40%) 120 分钟闭卷（可带一张双面 A4 笔记）。覆盖全部 12 周。重点：Abstract Interpretation/Data Flow (25%)、Symbolic Execution (20%)、Fuzzing (15%)、Taint Analysis (15%)、Concurrency/Security (15%)、概念对比 (10%)。 🧪 **Workshop**: 最后一次 Workshop，往年真题练习和疑难答疑。 📌 **作业关联**: Assignment 2 (10%, Due Oct 25) 截止。所有 Concept Quiz (Best 3 of 4, 10%) 已完成。 ⚠️ **易错点**: 考试可带一张 A4 笔记纸（双面），需要提前精心整理；分析技术的对比题需要从多个维度综合回答；具体工具的操作细节不是考试重点，重点是理论原理。 （数据来源：2024 S2 UQ Course Profile，CSSE4630）

    TuesdayLectureThelectureeachweekwillbeusedto

Assessment

考核结构

Project Milestone

里程碑交付，评估设计与进度。

30%

Major Project/Thesis

核心项目或论文工作。

40%

Report/Presentation

技术报告与展示。

20%

Final Evaluation

期末综合评估。

10%

Assignments

作业详情

Assignment 1: Core Analysis

CSSE4630 Principles of Program Analysis 的核心分析与验证任务。

要求:提交分析报告、实验结果与关键图表/代码。

⏱ 预计 28 小时

Assignment 2: Integrated Project

完成端到端项目或专题研究任务。

要求:包含项目成果、展示材料与复盘。

⏱ 预计 36 小时

From Seniors

学长留下的

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

学姐说

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

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

往年考点 / 踩坑

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

毕业生去向(整体)

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

统计自 313 份脱敏校友证言

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）的整体分布，无法关联到具体学员或其所选课程；仅作为毕业生去向的总体社会证明展示。

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