南京大学《软件分析》课程14（Datalog-Based Program Analysis）
南京大学《软件分析》课程07（Interprocedural Analysis）
南京大学《软件分析》课程15（CFL-Reachability and IFDS）
南京大学《软件分析》课程06（Data Flow Analysis - Foundations II）
南京大学《软件分析》课程10（Pointer Analysis - Foundations II）
南京大学《软件分析》课程11（Pointer Analysis - Context Sensitivity I）
南京大学《软件分析》课程04（Data Flow Analysis II）
南京大学《软件分析》课程05（Data Flow Analysis - Foundations I）
谭浩强《C程序设计》第5版分章节授课视频 ！！C语言 C语言基础入门 谭浩强 C大学教材
南京大学《软件分析》课程12（Pointer Analysis - Context Sensitivity II）
【2026最新】这绝对是B站最牛的计算机基础课程，一次性全搞懂！全套入门级全套完整课程计算机、操作系统及因特网的基础知识等，编程入门零基础大学生，案例解析！
【全65集】计算机基础教程（组成原理+操作系统+计算机网络）
90后南京大学教师VLOG | 带学生参加顶级会议
南京大学《软件分析》课程09（Pointer Analysis - Foundations I）
王道2027版操作系统习题讲解
“大学除了专业知识，还应该学些什么？” 南京大学《SICP》课堂李樾老师的絮絮叨叨
静态程序分析框架“太阿”的设计之道
南京大学《软件分析》课程01（Introduction）
中国人民大学 王珊 数据库系统概论（第6版）课程视频
南京大学《软件分析》课程13（Static Analysis for Security）
