Tai-e- 基于程序分析的安全漏洞检测框架

其他报告

综合其他

2024-08-26

新用户首篇研报专享优惠价

VIP会员可免费获取全部研报，开通VIP

报告摘要

Tai-e:基于程序分析的安全漏洞检测框架演讲人：谭添南京大学自我介绍研究方向为程序分析与程序设计语言，对运用程序分析技术解决安全问题特别感兴趣。研究成果发表在TOPLAS、PLDI、OOPSLA、.

购买后查看完整研报

浏览 3下载 0