---
title: "软件安全"
date: 2018-12-29
lastmod: 2020-01-05
weight: 4
type: 
icon: #
description: "软件安全"
# search related keywords
---

- 编译构建
  - 词语法解析
  - AST构建及序列化
  - 中间指令及代码生成
- 程序分析
  - 编译流程基础概念
    - AST/CFG/CG
  - 程序分析基础原理
    - 活跃变量分析
    - SSA
    - 污点传播分析
  - 复杂程序分析方法
    - 数据流迭代分析
    - 静态符号执行
    - 约束求解
  - 分析架构
    - 增量分析
    - 全程序分析
- 软件安全原理
  - 软件漏洞成因，修复及缓解技术
  - 编程语言及开发工具的安全机制及检测技术
- 软件保护与破解
  - 代码加密保护
  - 软件防篡改技术
  - 软件水印
  - 软件多样化（多副本）
  - 反逆向技术
    - 反调试
    - 反混淆
    - 自修改代码
    - 代码分离
    - 虚拟机
  - 基于网络或硬件的保护