Openresty Python LUA

Openresty Python LUA 学习资料 QQ群:397745473

0%

南京大学软件分析课程学习笔记

发表于 更新于 分类于

南京大学软件分析课程学习笔记

QQ群：397745473

南京大学软件分析课程学习笔记

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
先是看到了朋友圈发出来的log4j2 的0day是如何被作者发现的 ( https://mp.weixin.qq.com/s/BhcW4WvvfZXKsrlVeChTrw )
然后 看到了 https://www.bilibili.com/read/cv14416770

课程: https://pascal-group.bitbucket.io/teaching.html 
课程直播时间为每周三上午10点到12点，直播间地址: https://live.bilibili.com/21833876 
统一回复关于南京大学《软件分析》课程的几个问题: https://www.bilibili.com/read/cv5322297


再就到了:
https://www.bilibili.com/video/BV1b7411K7P4	南京大学《软件分析》课程01（Introduction）
https://www.bilibili.com/video/BV1zE411s77Z	南京大学《软件分析》课程02（Intermediate Representation）
https://www.bilibili.com/video/BV1oE411K79d	南京大学《软件分析》课程03（Data Flow Analysis I）
https://www.bilibili.com/video/BV19741197zA	南京大学《软件分析》课程04（Data Flow Analysis II）
https://www.bilibili.com/video/BV1A741117it	南京大学《软件分析》课程05（Data Flow Analysis - Foundations I）
https://www.bilibili.com/video/BV1964y1M7nL	南京大学《软件分析》课程06（Data Flow Analysis - Foundations II）
https://www.bilibili.com/video/BV1GQ4y1T7zm	南京大学《软件分析》课程07（Interprocedural Analysis）
https://www.bilibili.com/video/BV1gg4y1z78p	南京大学《软件分析》课程08（Pointer Analysis）
https://www.bilibili.com/video/BV1NS4y1Q7UJ	南京大学《软件分析》课程09（Pointer Analysis - Foundations I）
https://www.bilibili.com/video/BV1fb4y1i7HY	南京大学《软件分析》课程10（Pointer Analysis - Foundations II）
https://www.bilibili.com/video/BV1wQ4y1v72e	南京大学《软件分析》课程11（Pointer Analysis - Context Sensitivity I）
https://www.bilibili.com/video/BV1aR4y1x7Zk	南京大学《软件分析》课程12（Pointer Analysis - Context Sensitivity II）
https://www.bilibili.com/video/BV1Fq4y1B74m	南京大学《软件分析》课程13（Static Analysis for Security）
https://www.bilibili.com/video/BV1wa411k7Uv	南京大学《软件分析》课程14（Datalog-Based Program Analysis）
https://www.bilibili.com/video/BV1gL411j7vS	南京大学《软件分析》课程15（CFL-Reachability and IFDS）
https://www.bilibili.com/video/BV1d3411s7tt	南京大学《软件分析》课程16（Soundness and Soundiness）

上完第一节课就被老周的讲课风格和知识点给吸引住了,停不下来. 认真学完课程,希望也能在软件分析中入个门.

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

1
2
南京大学《软件分析》课程01（Introduction）
课程地址: https://www.bilibili.com/video/BV1b7411K7P4

ExoticVanilla

大家好！我是南大的学生，目前正紧跟课程进度在Gitbook上撰写一份公开的教程，希望能够帮助到更多希望学习相关知识的人。

教程阅读地址是

https://ranger-nju.gitbook.io/static-program-analysis-book/

这是我第一次几乎独立地书写教程（目前有热心的同学也一起参与），会有很多做得不完善的地方，希望能够听到大家的意见和建议（联系方式在Github仓库的README中有哦）。

欢迎有意愿的参与者添加相关资料把这份教程越做越好！

当叮咚
会语法分析的同学好难找。
阿里云代码平台算法团队招聘代码分析技术同学，可以发简历给我zxd139922@alibaba-inc.com，让你上这门课有用武之地。

打个小广告，最近用语法分析提升了不少代码补全的准确率。最近我们开发了一个代码补全和示例搜索的IDEA插件，叫Alibaba Cloud AI Coding Assistant (Cosy)，能够基于深度学习模型和语法分析提供长序列代码补全，还可以在本地IDEA快速搜索示例代码。

1
2
第一课作业:
x

南京大学《软件分析》课程02（Intermediate Representation）

1
2
3
南京大学《软件分析》课程02（Intermediate Representation）
课程地址: https://www.bilibili.com/video/BV1zE411s77Z	
课件地址: https://pascal-group.bitbucket.io/lectures/IR.pdf

Bing-知乎

想了解llvm的，可以看看熊英飞老师的课件： https://xiongyingfei.github.io/SA/2017/main.htm

2020-03-06 17:5417回复

罗蓉就是罗蓉最新版 https://xiongyingfei.github.io/SA/2021/main.htm

Funny1dog:

推荐cs_6340 Static Program Analysis，如果大家需要，我可以把课件和视频传到网盘里，还有我找的其他资料

Funny1dog:

回复 @倒转的月时计 :链接:https://pan.baidu.com/s/1gAe97GqulDfG790qih6E8w 密码:vu1l

Funny1dog回复 @grimcake :还在上传到网盘，还有一个是youtube的https://www.youtube.com/watch?v=SIem8ZIe1xk&list=RDQMJWjiIE_BcbY&start_radio=1

Funny1dog回复 @倒转的月时计 :https://cs.au.dk/~amoeller/spa/

Funny1dog回复 @倒转的月时计 :https://www.cc.gatech.edu/~harrold/6340/cs6340_fall2009/Schedule/index.html

Funny1dog回复 @倒转的月时计 :http://rightingcode.org/lessons.html

程序分析国外教程：http://www.cs.cmu.edu/~aldrich/courses/15-819O-13sp/

b站的星: 程序分析国外教程：http://www.cs.cmu.edu/~aldrich/courses/15-819O-13sp/

我是小木鱼
Static Program Analysis
AndersMøllerandMichaelI.Schwartzbach
December16,2019

下载地址 https://cs.au.dk/~amoeller/spa/spa.pdf

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
编译器和静态分析器的区别 
AST vs IR


Context-FreeGrammar

3AC 
3地址码
变量 常量 临时变量  
右侧最多只有一个操作符
Soot 作为java程序中最流行的静态分析器

Soot
Most popular static analysis framework for Java
https://github.com/Sable/soot/wiki/Tutorials
https://github.com/Sable/soot
Soot’s IR is Jimple: typed 3-address code


SSA

CFG 控制流图 control flow graph
小明家驿站建了个qq交流群:493323628

Basic Blocks（BB）

南京大学《软件分析》课程03（Data Flow Analysis I）

1
2
3
4
数据流分析
https://www.bilibili.com/video/BV1oE411K79d	南京大学《软件分析》课程03（Data Flow Analysis I）
https://pascal-group.bitbucket.io/lectures/DFA-AP.pdf

1
2
3
4
5
6
7
8
9
10
11
小乖他爹-知乎: 
收集了包括本门课程在内的接近40门课程，都是编译器和程序分析相关的，感兴趣的可以关注下：
https://github.com/shining1984/PL-Compiler-Resource

小炮萌狗:
可以在这里看我们去年的课件 https://pascal-group.bitbucket.io/courses/program-analysis-2020f/

上港上港势不可挡:
我用Rust实现了三个算法：
https://github.com/lengyijun/software-analysis
上港上港势不可挡: https://zhuanlan.zhihu.com/p/374421457

南京大学《软件分析》课程04（Data Flow Analysis II）

1
https://www.bilibili.com/video/BV19741197zA	南京大学《软件分析》课程04（Data Flow Analysis II）

QQ群：397745473

相关文章

欢迎关注我的其它发布渠道