南京大学《软件分析》课程网站
大家好，南京大学《软件分析》课程的网站已经建好了，课程网址为https://tai-e.pascal-lab.net/lectures.html（2023.3更新）。我们会陆续在这里公布我们每节课的课件（现已公布8节课的课件）。全部课件都会公布出来供大家学习参考。
还有一件事情要向大家说明一下。我们这门课是第一次开课，目前一直在准备当中。但实际上南京大学的老师已经在4月13号正式进入学校工作了，很多工作和科研任务接踵而至，对准备课程带来了巨大的挑战，进而我们很难充分准备接下来的课程，出于对自身的要求，我们不想将没有充分准备好的课程录像上传。因此，我们决定从本周开始，将不再上传课程录像。
但是，我们看到一些校外的同学对静态程序分析非常感兴趣并想继续学习，我们还希望能尽可能地帮助到这些同学，因此在南大正式开学前，我们将继续在B站直播课程（不改用Zoom等学校推荐会议软件），课程直播时间为每周三上午10点到12点，直播间地址https://live.bilibili.com/21833876。
------------------------------------------------------------
更新：因为调课缘故，本学期最后一节课的直播时间为6月12日（本周五）晚上8点到10点，主要内容为Soundness and Soundiness，欢迎感兴趣的同学届时观看😏
------------------------------------------------------------
对于时间上不方便的同学，我们会尽可能将课件制作得详尽易懂，让大家可以通过课件就能get到相关知识。
再次感谢同学们对本课程的资瓷和鼓励，祝大家学业进步，乐在其中；少些浮躁，多些自信。加油！
