安全代码审查

概述

安全代码审查是识别代码中安全漏洞的重要方法。本技能提供安全代码审查的方法、工具和最佳实践。

审查范围

1. 输入验证

检查项目：

• 用户输入验证
• 参数验证
• 数据过滤
• 边界检查

2. 输出编码

检查项目：

• XSS防护
• 输出编码
• 内容安全策略
• 响应头设置

3. 认证授权

检查项目：

• 认证机制
• 会话管理
• 权限控制
• 密码处理

4. 加密和密钥

检查项目：

• 数据加密
• 密钥管理
• 哈希算法
• 随机数生成

审查方法

1. 静态分析

使用SAST工具：

# SonarQube
sonar-scanner

# Checkmarx
# 使用Web界面

# Fortify
sourceanalyzer -b project build.sh
sourceanalyzer -b project -scan

# Semgrep
semgrep --config=auto .

2. 手动审查

审查清单：

• 输入验证
• 输出编码
• SQL注入
• XSS漏洞
• 认证授权
• 加密使用
• 错误处理
• 日志记录

3. 代码模式识别

危险函数：

# Python危险函数
eval()
exec()
pickle.loads()
os.system()
subprocess.call()

// Java危险函数
Runtime.exec()
ProcessBuilder()
Class.forName()

// PHP危险函数
eval()
exec()
system()
passthru()

常见漏洞模式

SQL注入

危险代码：

String query = "SELECT * FROM users WHERE id = " + userId;
Statement stmt = connection.createStatement();
ResultSet rs = stmt.executeQuery(query);

安全代码：

String query = "SELECT * FROM users WHERE id = ?";
PreparedStatement stmt = connection.prepareStatement(query);
stmt.setInt(1, userId);
ResultSet rs = stmt.executeQuery();

XSS漏洞

危险代码：

document.innerHTML = userInput;
element.innerHTML = "<div>" + userInput + "</div>";

安全代码：

element.textContent = userInput;
element.setAttribute("data-value", userInput);
// 或使用编码库
element.innerHTML = escapeHtml(userInput);

命令注入

危险代码：

import os
os.system("ping " + user_input)

安全代码：

import subprocess
subprocess.run(["ping", "-c", "1", validated_input])

路径遍历

危险代码：

String filePath = "/uploads/" + fileName;
File file = new File(filePath);

安全代码：

String basePath = "/uploads/";
String fileName = Paths.get(fileName).getFileName().toString();
String filePath = basePath + fileName;
File file = new File(filePath);
if (!file.getCanonicalPath().startsWith(basePath)) {
    throw new SecurityException("Invalid path");
}

硬编码密钥

危险代码：

String apiKey = "1234567890abcdef";
String password = "admin123";

安全代码：

String apiKey = System.getenv("API_KEY");
String password = keyStore.getPassword("db_password");

工具使用

SonarQube

# 启动SonarQube
docker run -d -p 9000:9000 sonarqube

# 运行扫描
sonar-scanner \
  -Dsonar.projectKey=myproject \
  -Dsonar.sources=. \
  -Dsonar.host.url=http://localhost:9000

Semgrep

# 安装
pip install semgrep

# 运行扫描
semgrep --config=auto .

# 使用规则
semgrep --config=p/security-audit .

CodeQL

# 创建数据库
codeql database create database --language=java --source-root=.

# 运行查询
codeql database analyze database security-and-quality.qls --format=sarif-latest

审查清单

输入验证

• 所有用户输入都经过验证
• 使用白名单验证
• 验证数据类型和范围
• 处理特殊字符

输出编码

• HTML输出编码
• URL编码
• JavaScript编码
• SQL参数化

认证授权

• 强密码策略
• 安全的会话管理
• 权限验证
• 多因素认证

加密

• 使用强加密算法
• 密钥安全存储
• 传输加密
• 存储加密

错误处理

• 不泄露敏感信息
• 统一错误响应
• 记录错误日志
• 异常处理

最佳实践

1. 安全编码规范

• 遵循OWASP Top 10
• 使用安全编码指南
• 代码审查流程
• 安全培训

2. 自动化工具

• 集成SAST工具
• CI/CD安全检查
• 自动化扫描
• 结果分析

3. 代码审查流程

• 同行审查
• 安全专家审查
• 定期审查
• 记录问题

注意事项

• 结合工具和人工审查
• 关注业务逻辑漏洞
• 定期更新工具规则
• 建立安全编码文化