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

仓库 3 任务 Pull Requests 动态成员 20

热门

易安语言文档说明完全版

3
0
0

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

4
0
1

莲花系统是复旦大学自主研发的多语言、高精度程序安全分析框架

15
15
2

3

0

0

易安语言文档

易安语言文档说明完全版

最近更新: 12小时前

4

0

1

yian易安语言

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

最近更新: 13小时前

15

15

2

LIAN莲花系统

莲花系统是复旦大学自主研发的多语言、高精度程序安全分析框架

最近更新: 1天前

15

Star

3

Fork

39%

Java

10%

HTML

9%

Rust

8%

7%

7%

6%

TeX

4%

Jupyter Notebook

3%

其他

9%