南京大学《软件分析》课程01（Introduction）_哔哩哔哩_bilibili

Name: 南京大学《软件分析》课程01（Introduction）
Uploaded: 2020-02-26T11:16:10.000Z
Duration: 1 h 57 min 19 s
Channel: 甜品专家
Description: 《软件分析》课程网站（含课件、实验作业、实验文档）： https://tai-e.pascal-lab.net/lectures.html 《软件分析》实验作业在线评测：https://oj.pascal-lab.net/

甜品专家

《软件分析》课程网站（含课件、实验作业、实验文档）： https://tai-e.pascal-lab.net/lectures.html《软件分析》实验作业在线评测：https://oj.pascal-lab.net/, 视频播放量 159983、弹幕量 2125、点赞数 3768、投硬币枚数 3916、收藏人数 8966、转发人数 1984, 视频作者 甜品专家, 作者简介 真的以为，我能遁出红尘。，相关视频：【北京大学公开课】软件分析技术-熊英飞，南京大学计算机系2021级《计算机程序的构造和解释》Lab07&Hw07编程录像，计算机系统基础（二）南京大学 主讲：袁春风 南京大学，南京大学《软件分析》课程14（Datalog-Based Program Analysis），南京大学《软件分析》课程07（Interprocedural Analysis），【公开课】计算机组成原理Mips-南京大学-袁春风，南京大学《软件分析》课程09（Pointer Analysis - Foundations I），给南大计科新生的本科通关攻略（课程篇），静态程序分析框架“太阿”的设计之道，静态分析基础教程（基于南京大学软件分析课程，静态程序分析）