# spa_chinese

**Repository Path**: tomgu1991/spa_chinese

## Basic Information

- **Project Name**: spa_chinese
- **Description**: Personal Chinese translation of Static Program Analysis(https://cs.au.dk/~amoeller/spa/).
静态程序分析的个人翻译。仅供学习使用
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2023-07-25
- **Last Updated**: 2023-10-22

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# spa_chinese
Personal Chinese translation of Static Program Analysis(https://cs.au.dk/~amoeller/spa/).
静态程序分析的个人翻译。
仅供学习使用。
如有违法版权，请联系我，删除内容。

## 介绍
静态分析技术，旨在不执行程序的情况下，对程序属性进行分析。
广泛应用于编译器、缺陷检测、代码分析等各种领域。
其中，Aarhus University大学Anders Møller教授的教材是一本值得学习的教材。
因此，计划在这个repo将教材的内容翻译成中文，帮助更多感兴趣的朋友感受静态分析技术的魅力！
在翻译的过程中，如果有一些特别的理解，将会以注释的方式进行补充！

Carpe diem seize the day : )

## Licence
我们遵循原书的licence：
This work is licensed under [a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License](https://creativecommons.org/licenses/by-nc-nd/4.0/).



TODO

1. 所有的练习题
2. 所有的数学公式用latex
3. 所有的引用
4. 整理TIP语法，形成cheatsheet
5. 整理Lattice里面的定义，形成cheatsheet