南京大学 静态软件分析（static program analyzes）-- introduction 学习笔记

🚀 优质资源分享 🚀

学习路线指引（点击解锁）	知识定位	人群定位
🧡 Python实战微信订餐小程序 🧡	进阶级	本课程是python flask+微信小程序的完美结合，从项目搭建到腾讯云部署上线，打造一个全栈订餐系统。
💛Python量化交易实战💛	入门级	手把手带你打造一个易扩展、更安全、效率更高的量化交易系统
阅读目录(Content)

• 一、Programming Languages体系
• 二、Static Analysis定义
• 三、Why we need Static Analysis
• 四、Rice’s Theorem – 静态分析的局限
• 五、静态程序分析与类似技术的对比

• 静态程序分析
• 动态软件测试
• 形式化语义验证

回到顶部(go to top)# 一、Programming Languages体系

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

• 在理论部分，考虑的是如何设计一个语言的语法和语义，如何设计语言的类型系统等等问题。在过去十年中，语言核心几乎没有变化
• 有了语言的语法、语义和类型系统之后，我们需要支撑语言的运行。因此，在环境部分，需要考虑如何为运行中的程序提供运行时环境——如何设计编译器，在运行时需要怎样的支持（如内存的分配管理）等等。语言承载环境处于一个缓慢提升的阶段，主要集中在硬件设备以及高性能编程优化方