Skip to content

Commit

Permalink
Add 'software analysis 2020' of xiongyingfei and add the static-progr…
Browse files Browse the repository at this point in the history
…am-analysis-book
  • Loading branch information
shining1984 committed Mar 31, 2021
1 parent dd1b1b3 commit d0b8b6b
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 1 deletion.
2 changes: 2 additions & 0 deletions Books.md
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,8 @@

2. [*Static Program Analysis*](https://cs.au.dk/~amoeller/spa/) --[Anders Møller](https://cs.au.dk/~amoeller/), Michael I. Schwartzbach

3. [静态程序分析入门教程](https://github.com/RangerNJU/Static-Program-Analysis-Book)

## Virtual Machine && Runtime

1. [*Virtual Machines: Versatile Platforms for Systems and Processes*](https://www.amazon.com/dp/1558609105) --Jim Smith, Ravi Nair
Expand Down
6 changes: 5 additions & 1 deletion Courses.md
Original file line number Diff line number Diff line change
Expand Up @@ -119,7 +119,11 @@

5. Carnegie Mellon University: [17-355/17-665/17-819 Program Analysis](http://www.cs.cmu.edu/~aldrich/courses/17-355-18sp/)

6. Peking University: [Software Analysis](https://xiongyingfei.github.io/SA/2019/main.htm) --Yingfei Xiong(熊英飞)
6. Peking University:

[Software Analysis 2019](https://xiongyingfei.github.io/SA/2019/main.htm) --Yingfei Xiong(熊英飞)

[Software Analysis 2020(video)](https://liveclass.org.cn/cloudCourse/#/courseDetail/8mI06L2eRqk8GcsW) --Yingfei Xiong(熊英飞)

7. Nanjing University

Expand Down

0 comments on commit d0b8b6b

Please sign in to comment.