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 3 Issues Pull Requests Feeds People 23

Popular

复旦大学2026春编译课程Lab

4
1
9

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

5
2
1

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

14
16
2

4

1

9

Compile-2026-Spring-Lab

复旦大学2026春编译课程Lab

Last updated: 12 hours ago

5

2

1

yian易安语言

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

Last updated: 13 hours ago

14

16

2

LIAN莲花系统

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

Last updated: 10 days ago

19

Star

12

Fork

44%

Java

9%

HTML

8%

Rust

8%

5%

5%

TeX

4%

4%

CSS

3%

Other

9%