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

StayYoung_Naive:
真的是一个宝藏老师！！！！！！ 不知道up是谭老师李老师 这门课最让我感动的是李老师说的 「哪怕你将来去开个奶茶店 和计算机毫无关系 也希望从这门（务虚的）课中 清楚自己喜欢的是什么」 现在正在挣扎在业务代码中。。。每天工作得很痛苦 听到这段话真的很感动 拜托老师可以更完所有的课程[大哭][大哭][大哭][大哭] 真的拜托了 非常感谢

【回复】时隔半年你有机会学到完整的课程了哦！查看Gitbook给作者一些反馈吧。https://ranger-nju.gitbook.io/static-program-analysis-book/
【回复】回复 @RangerUJN :精彩 已star
【回复】哪怕我以后连奶茶店都没法开，只能当个奶茶店店员，我也要听
没有25分钟的视频不看:
大家好！我是南大的学生，目前正紧跟课程进度在Gitbook上撰写一份公开的教程，希望能够帮助到更多希望学习相关知识的人。教程阅读地址是https://ranger-nju.gitbook.io/static-program-analysis-book/ 这是我第一次几乎独立地书写教程（目前有热心的同学也一起参与），会有很多做得不完善的地方，希望能够听到大家的意见和建议（联系方式在Github仓库的README中有哦）。 欢迎有意愿的参与者添加相关资料把这份教程越做越好！

【回复】回复 @Lninic :请问你们有Tai-e那个包吗，写作业要用的，但是没有开源出来，不知道直接用Soot会不会也行，Soot可以支持java9了
【回复】回复 @thekillersep :https://github.com/RangerNJU/Static-Program-Analysis-Book
MelloYY:
up主将来会把本门课程全部放到b站吗…[跪了]

【回复】支持UP主把课程搬到网上，让南京大学的课惠及更多人。
Funny1dog:
推荐cs_6340 Static Program Analysis，有课件和视频，可以作为本课程的补充

【回复】https://cis547.github.io/ https://omscs.gatech.edu/cs-6340-software-analysis 这个老师去upenn了，哈哈，俩个都是他讲的
【回复】给个地址[喜极而泣][喜极而泣][喜极而泣]
keyBiValid:
南京大学计院都是少壮派啊，蒋炎岩也好喜欢[喜极而泣]

跑到北极找企鹅:
sourcebrella员工打卡，有大量hc，感兴趣的可以来尝试一下(=・ω・=)

【回复】回复 @跑到北极找企鹅 :[doge]
【回复】回复 @ValKmjolnir :太真实了[doge]
anders221:
做安全研究的时候，经常会看到一些论文利用高级程序分析技术：包括污点分析/信息流分析/数据流分析/控制流分析/过程间分析/指针分析/别名分析。以前没有系统性学过这方面课程，这是我看到的第一个公开课，感激不尽。

【回复】回复 @楠昭er : 我没有专门研究程序分析，主要是程序分析可以用于解决一些安全问题，所以对此稍微有一些了解
【回复】目前也准备做软件安全分析这方面的研究，你做这个多久了呀？
蚁景网安实验室:
是个大佬 先关注了[热词系列_知识增加]

【回复】回复 @l0nmar :巧合[吃瓜][藏狐]
【回复】怎么这个下面也能看到你???
【回复】回复 @bambooslip :我是小运营[跪了]
我在B站干什么:
突然不想开学了，这样就可以一直在网上蹭课了。。

河南赵同学:
听的我都怀疑人生了，我80年的，都41岁了，搞了20多年的软件工程，但是这些内容都没有学过，只会用各类软件，但不清楚原理。后来想一想，我会很多他们也不会，也就平衡了，每个人都有自己的长项，取长补短就OK。

【回复】回复 @菜狗诚 :那可能你的圈子比较优秀
【回复】术业有专攻。凡是博士，其必定专精一项而弱于其他。
时雨天下第一:
龙书挺简单，这是什么暴论，哭了[笑哭]

【回复】这门课和编译原理有关系嘛
深海奈奈:
老师救救孩子吧，我老师上课就瞎念ppt，人品风评极差的老师，慕课上也没有软件分析的好点的课程，希望up继续更新视频[大哭]

梣伊光:
大赞，国内搞PL的太少了，基本上就南大和P大比较有名。顺便有课程网站吗？

【回复】你把计算所和软件所往哪里放
【回复】回复 @辰伊光 :软件所有PLCT实验室。可以了解一下
【回复】计算所国重也有做这个的
我看天晴:
希望up能把这套课程很好地继续下去！国内相关的好的课程太少了[星星眼]

时雨天下第一:
相见很晚呀，毕业三年了才意识到自己真正感兴趣的东西。不过也不算晚