add some program analysis resource

FreshYou · Dec 30, 2021 · 9d0512c · 9d0512c
1 parent b01163a
commit 9d0512c
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 12 deletions.
diff --git a/Blogs.md b/Blogs.md
@@ -56,6 +56,8 @@
 
 1. [Program Analysis Resources](https://gist.github.com/MattPD/00573ee14bf85ccac6bed3c0678ddbef)
 
+2. [Yannis Smaragdakis](http://yanniss.github.io/)
+
 ## Programming Languages
 
 1. [Adrian Sampson](https://www.cs.cornell.edu/~asampson/)

diff --git a/Books.md b/Books.md
@@ -46,15 +46,7 @@
 
 17. [*Crafting Interpreters*](https://craftinginterpreters.com/) --Robert Nystrom
 
-## Linker && Loader
-
-1. [*Assemblers And Loaders*](http://www.davidsalomon.name/assem.advertis/AssemAd.html)  --David Salomon
-
-2. [*Linkers & Loaders*](https://www.amazon.com/dp/1558604960/) --John R. Levine
-
-3. [《程序员的自我修养：链接、装载与库》](https://book.douban.com/subject/3652388/)  --俞甲子，石凡，潘爱民
-
-## Compilers-LLVM
+### Compilers-LLVM
 
 1. [*Getting Started with LLVM Core Libraries*](https://www.amazon.com/dp/1782166920/) --Bruno Cardoso Lopes, Rafael Auler
 
@@ -72,13 +64,25 @@
 
    [中文版（非官方）](https://github.com/xiaoweiChen/Learn-LLVM-12) --Chen Xiaowei
 
+## Linker && Loader
+
+1. [*Assemblers And Loaders*](http://www.davidsalomon.name/assem.advertis/AssemAd.html)  --David Salomon
+
+2. [*Linkers & Loaders*](https://www.amazon.com/dp/1558604960/) --John R. Levine
+
+3. [《程序员的自我修养：链接、装载与库》](https://book.douban.com/subject/3652388/)  --俞甲子，石凡，潘爱民
+
 ## Program Analysis
 
 1. [*Lecture Notes on Static Analysis*](https://lara.epfl.ch/w/_media/sav08:schwartzbach.pdf) --Michael I. Schwartzbach
 
-2. [*Static Program Analysis*](https://cs.au.dk/~amoeller/spa/) --[Anders Møller](https://cs.au.dk/~amoeller/), Michael I. Schwartzbach
+2. [*Static Program Analysis*](https://cs.au.dk/~amoeller/spa/) --[Anders Møller](https://cs.au.dk/~amoeller/) --Michael I. Schwartzbach
+
+3. [*Program Analysis*](https://arxiv.org/ftp/arxiv/papers/2012/2012.10086.pdf) --Flemming Nielson, Hanne Riis Nielson. 2020
+
+4. [*Pointer Analysis*](https://yanniss.github.io/points-to-tutorial15.pdf) --Yannis Smaragdakis, George Balatsouras。 2015
 
-3. [静态程序分析入门教程](https://github.com/RangerNJU/Static-Program-Analysis-Book)
+5. [静态程序分析入门教程](https://github.com/RangerNJU/Static-Program-Analysis-Book)
 
 ## Virtual Machine && Runtime
 

diff --git a/Projects.md b/Projects.md
@@ -72,6 +72,10 @@ This is a simplified Dalvik virtual machine implementation written from scratch
 
 A shabby implementation of Java virtual machine in C.
 
+5. [Doop](http://doop.program-analysis.org/)
+
+Doop is a framework for pointer, or points-to, analysis of Java programs. Doop implements a range of algorithms, including context insensitive, call-site sensitive, and object-sensitive analyses, all specified modularly as variations on a common code base.
+
 ## Tools-RISC-V
 
 1. [Ripes](https://github.com/mortbopet/Ripes)

diff --git a/README.md b/README.md
@@ -17,4 +17,4 @@
 
 本库旨在收集程序语言与编译技术相关资源。目前收集的资料主要分为课程、书籍、论文、项目、博客和会议（论坛）。
 
-当前已经收集课程74+，书籍71+，项目22+，博客24+，会议&杂志14+, 论文45+。后续不断更新，欢迎大家star和fork，也欢迎大家发起PR添加新的内容。
+当前已经收集课程74+，书籍73+，项目23+，博客25+，会议&杂志14+, 论文45+。后续不断更新，欢迎大家star和fork，也欢迎大家发起PR添加新的内容。
Original file line number	Diff line number	Diff line change
Expand Up		@@ -17,4 +17,4 @@

		本库旨在收集程序语言与编译技术相关资源。目前收集的资料主要分为课程、书籍、论文、项目、博客和会议（论坛）。

		当前已经收集课程74+，书籍71+，项目22+，博客24+，会议&杂志14+, 论文45+。后续不断更新，欢迎大家star和fork，也欢迎大家发起PR添加新的内容。
		当前已经收集课程74+，书籍73+，项目23+，博客25+，会议&杂志14+, 论文45+。后续不断更新，欢迎大家star和fork，也欢迎大家发起PR添加新的内容。