静态分析工具Oink的定制和移植的中期报告.docxVIP

静态分析工具Oink的定制和移植的中期报告

一、项目简介

本次项目实践的目标是定制和移植静态分析工具Oink，以适应不同的需要。Oink是使用C++编写的静态分析工具，用于分析C程序的可达性分析。

二、完成情况

1.综述

本次项目主要完成了以下任务：

-研究近期Oink相关研究和使用情况，了解已有的Oink应用场景；

-详细分析Oink的源代码，熟悉Oink的基本设计结构和算法；

-定制Oink，根据不同的需求，添加新的分析功能或改进现有的分析功能；

-移植Oink，使其可以在新的平台或操作系统下运行。

2.研究Oink相关研究和使用情况

我们查阅了Oink项目的官方网站和相关论文，并收集了一些已有的使用案例。我们发现，Oink主要被应用于以下几个领域：

-代码分析：Oink可以用于对C代码进行一些静态分析，比如判别C程序中潜在的内存泄漏或者资源竞争等bug；

-模型检验：Oink也可以被用于一些模型检验中，比如对并发程序进行模型检验。

3.分析Oink源代码

在研究Oink源代码的过程中，我们发现Oink主要分为以下几个部分：

-基本的语句和表达式处理；

-编译器的调用；

-对AST（抽象语法树）的分析、转换等；

-模型检验算法。

代码量较大，主要都是C++代码。

4.定制Oink

我们根据自己的需求，添加了一些新的分析功能，主要包括：

-检查程序中