Doop学习 part 1

最新推荐文章于 2024-09-16 07:13:42 发布

heern

最新推荐文章于 2024-09-16 07:13:42 发布

阅读量545

点赞数

文章标签： java 开发语言

本文链接：https://blog.csdn.net/m0_73679848/article/details/126817839

版权

本文介绍了Doop作为一个Gradle项目的特性，包括如何在离线模式下运行，以及两种自定义规则的方法。Doop的执行流程涉及Soot生成Jimple文件，转换为Datalog引擎输入，通过Souffle执行分析。此外，文章讨论了可能遇到的OOM错误和解决方法，并指出Doop的学习挑战，建议结合bytecodedl进行指针分析和污点路径挖掘。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

doop仓库是一个gradle项目， `./doop` 其实就是一个bash去调用gradle命令

#!/usr/bin/env bash

ARGS=""
while [ "$1" != "" ]; do
    case "$1" in
        # Quote arguments with spaces.
        *\ * )
            ARGS="${ARGS} '$1'"
            ;;
        *)
            ARGS="${ARGS} $1"
            ;;
    esac
    shift
done

# Export number of terminal columns for help display.
if command -v 'tput' &> /dev/null
then
    export COLUMNS=`tput cols`
fi
eval "./gradlew :run -Pargs=\"$ARGS\""

还提供了一个 ./doopOffline ，就是离线模式的doop。通常在每次调用Doop时，底层构建系统都会检查所有依赖库的更新版本。有时可能需要在离线模式下调用doop。为此目的有一个替代脚本。

#!/bin/bash
eval './gradlew :run -Pargs="'$@'" --offline'

其实就是gradle加了一个offline参数

Doop 执行流程大致可以分为几步：

使用soot生成jimple文件
使用 --generate-jimple 参数可以输出jimple文件，在 output/$(uuid)/database/jimple 文件夹下
将jimple文件转换为datalog引擎的输入事实（.facts）
使用souffle引擎执行选定的分析，将关系输出为 .csv ，即分析结果

以长城杯b4bycoffee为例，解压springboot项目，将class文件打包为jar包

unzip b4bycoffee.jar
cd BOOT-INF/classes
jar -cvf classes.jar *

然后运行

./doop -a context-insensitive --in

最低0.47元/天解锁文章

Doop学习 part 1

doop仓库是一个gradle项目， ./doop 其实就是一个bash去调用gradle命令

doop仓库是一个gradle项目， `./doop` 其实就是一个bash去调用gradle命令