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

仓库 2 任务 Pull Requests 1 动态成员 25

热门

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

14
19
2

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

5
2
1

14

19

2

LIAN莲花系统

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

最近更新: 11小时前

21

Star

3

Fork

48%

Java

9%

HTML

7%

Rust

7%

5%

5%

4%

TeX

3%

CSS

3%

其他

9%