Proj THUDBFuzz Paper Reading: Resource Usage Analysis

Abstract

Task:

1. 将分析资源使用的Oracle形式化为resource usage analysis problem
2. 将resource usage analysis problem通过基于类型的方法解决

1. Intro

程序以有效的⽅式访问资源是程序正确性的⼀个重要标准。例如，⼀个已分配的内存单元应该最终被释放，并且在释放之后，不应读取或更新单元。
上述⼯作中攻击的问题是相似的：有不同类型的原语来访问资源（初始化、读取、写⼊、交易位置
等），我们希望确保这些原语以有效的顺序应⽤
我们基于类型的分析不需要程序员的类型注释来指导分析。我们的分析⾃动收集有关如何访问资源的信息，并检查它是否符合程序员的意图。