复旦大学-杨广亮 - 复旦大学-杨广亮

yanggl@fudan.edu.cn

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

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

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

5 2 1