软件分析课笔记——介绍

class 1 介绍

逛b站的时候，发现南京大学开设了软件分析课，和我目前学的课程有很大的重合。由于学校开的网课没有好好听，打算好好做人跟着南大的老师学一下静态分析课的内容。
ps：由于我的笔记是用Typora上写，写完再上传的，所以格式会有点问题，请见谅；并且笔记里面可能会有表述、语病等方面的问题。

严格来说，静态分析就是属于程序语言的研究领域，并且是应用部分

1. 程序语言

   • 理论部分

     （1）语言设计

     （2）类型系统

     （3）语义、逻辑等。。。。

   • 环境：就是让语言跑起来

     （1）编译器

     （2）运行系统

   • 应用：程序是否能正常运行、是否合理等的证明

     （1）程序分析

     （2）程序验证

     （3）程序合成
     
     命令式语言：C、C++、Java（就是命令计算机一步一步执行）

   函数式语言：JavaScript

   逻辑式语言：

   目前的发展：语言内核没有改变，但是程序变得越复杂和庞大。

   =>所以，如何保证