Skip to content

Commit 4471af9

Browse files
waderwuwaderwu
committed
update readme
1 parent b662b1e commit 4471af9

1 file changed

Lines changed: 5 additions & 3 deletions

File tree

‎README.md‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -33,11 +33,13 @@ you can use the docker we builded like docker-compose.yml
3333
- [x] RTA
3434
- [ ] 指针分析
3535
- [x] 上下文无关指针分析
36-
- [ ] 一阶上下文调用点敏感指针分析
37-
- [ ] 一阶上下文对象敏感指针分析
38-
- [ ] 一阶上下文类型敏感指针分析
36+
- [x] 一阶上下文调用点敏感指针分析
37+
- [x] 一阶上下文对象敏感指针分析
38+
- [x] 一阶上下文类型敏感指针分析
39+
- [ ] 可选择上下文敏感指针分析
3940
- [ ] 污点分析
4041
- [x] 上下文无关ptaint
42+
- [ ] 上下文敏感ptaint
4143

4244
## Usage
4345

0 commit comments

Comments
 (0)