VIP20

本课程属于：004-AI漏洞挖掘与渗透 网络安全工程与攻防实战 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

智能代码分析：揪出深层漏洞

📚 共计 30 章节

漏洞猎人入门

什么是深层漏洞？代码分析的思维模型与安全世界观。

思维模型安全观

静态分析基础

AST抽象语法树原理、Python的ast模块实战。

控制流分析

构建CFG控制流图，识别不可达代码与死逻辑。

数据流分析

定义-使用链、到达定值分析，追踪变量污染。

定义-使用污染

符号执行入门

符号变量与约束求解器Z3的基础使用。

路径爆炸问题

如何剪枝？启发式搜索与路径优先级。

剪枝启发式

污点分析技术

source-sink模型，实战检测SQL注入。

污点SQL注入

跨函数分析

调用图构建，跨过程污点传播。

调用图跨过程

指向分析、别名分析，处理Python可变对象。

别名可变对象

类型推断与漏洞

动态类型语言的静态类型推导，检测类型混淆。

类型推导混淆

语义补丁检测

基于AST的代码变更模式识别，揪出“换皮”漏洞。

反序列化漏洞

pickle反序列化原理，静态检测危险类。

pickle反序列化

检测os.system、subprocess中的未净化输入。

命令注入shell

检测open()、Path()中的路径拼接漏洞。

路径遍历Path

SSRF服务端请求伪造

检测requests.get()中的URL注入。

XSS跨站脚本

在Flask/Django模板中检测未转义输出。

检测权限绕过、越权操作的静态模式。

检测文件操作中的TOCTOU模式。

Python中C扩展的缓冲区溢出静态检测。

缓冲区C扩展

检测硬编码密钥、弱密码、错误配置。

供应链安全

检测依赖库中的已知漏洞（CVE匹配）。

代码相似度检测

基于AST哈希的克隆检测，发现抄袭漏洞。

克隆AST哈希

机器学习辅助

用CodeBERT做漏洞分类，提升检出率。

基于可达性分析的False Positive过滤策略。

误报可达性

规则引擎设计

编写自定义Semgrep/CodeQL规则。

大规模分析

分布式代码分析架构，处理百万行代码。

分布式大规模

将分析工具嵌入GitHub Actions流水线。

自动生成漏洞报告，含PoC与修复建议。

分析开源项目（如Flask、Django）的真实漏洞。

构建你自己的智能代码分析系统。