FDU-SSR: 系统软件安全和可靠性研究组 The System Security & Reliability research group at Fudan University

FDU-SSR

系统软件安全和可靠性研究组 The System Security & Reliability research group at Fudan University

https://yian-lang.net/guangliang

Repositories 2 Issues Pull Requests 1 Feeds People 25

Popular

新一代可证明内存安全语言“易安”：简洁+安全

5
2
1

莲花系统是复旦大学自主研发的多语言、指针级统一程序分析框架，支持Python、JavaScript、Java、TypeScript、C、Go、PHP等

14
19
2

14

19

2

LIAN莲花系统

莲花系统是复旦大学自主研发的多语言、指针级统一程序分析框架，支持Python、JavaScript、Java、TypeScript、C、Go、PHP等

Last updated: 1 day ago

21

Star

3

Fork

46%

Java

9%

HTML

8%

Rust

7%

5%

5%

4%

TeX

4%

CSS

3%

Other

9%