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 动态成员 19

热门

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

5
3
1

莲花系统是复旦大学自主研发的多语言、指针级统一程序分析框架，可支持任一语言，并提供函数级大模型Tools

14
21
2

5

3

1

yian易安语言

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

最近更新: 22小时前

14

21

2

LIAN莲花系统

莲花系统是复旦大学自主研发的多语言、指针级统一程序分析框架，可支持任一语言，并提供函数级大模型Tools

最近更新: 3天前