2022年5月27日
Proj THUDBFuzz Paper Reading: Resource Usage Analysis
摘要： Abstract Task: 将分析资源使用的Oracle形式化为resource usage analysis problem 将resource usage analysis problem通过基于类型的方法解决 1. Intro 程序以有效的⽅式访问资源是程序正确性的⼀个重要标准。例如，⼀个已 阅读全文
posted @ 2022-05-27 03:35 雪溯 阅读(19) 评论(0) 推荐(0) 编辑