南京大学静态软件分析（static program analyzes）是什么？

本文共计2299个文字，预计阅读时间需要10分钟。

南京大学+静态软件分析（static program analyzes）— 简介+学习笔记+一、编程语言体系+静态程序分析是+编程语言中+应用+层面下的一个细分领域，它是一个非常重要的核心内容。

南京大学 静态软件分析（static program analyzes）-- introduction 学习笔记 一、Programming Languages体系

静态程序分析是编程语言中应用层面下的一个细分领域，它是一个非常重要的核心内容。

• 在理论部分，考虑的是如何设计一个语言的语法和语义，如何设计语言的类型系统等等问题。在过去十年中，语言核心几乎没有变化
• 有了语言的语法、语义和类型系统之后，我们需要支撑语言的运行。因此，在环境部分，需要考虑如何为运行中的程序提供运行时环境——如何设计编译器，在运行时需要怎样的支持（如内存的分配管理）等等。