dynamic-rabbits's Introduction

Dynamic Rabbits

This is the version used to conduct our experiments for the paper titled "The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation" and presented at AsiaCCS 2020.

We use a machine installed with 32-bit Ubuntu 14.04.6 We also tested on 16.04 LTS.

Dependencies:

sudo apt-get install build-essential git wget python cmake g++ g++-multilib libboost-dev \
                     libpython-dev zlib1g-dev libnuma-dev lsof \
                     libxml2-dev libtool imagemagick php

To build:

source set_paths.sh
./build_all.sh x86_32 Release

To test:

./run_tests.sh

dynamic-rabbits's People

Contributors

Stargazers

Watchers

dynamic-rabbits's Issues

unable to find drbbdup library

Thanks for taking the time to answer my question. I cannot find the implementation of the drbbdup library that exists in Dynamorio under this link https://github.com/johnfxgalea/dynamorio

How to find the truncation point

Thank you for taking the time to consider my issues. When a basic block needs to be truncated, how to find the truncation point. Where should I find the implementation of this function in the code？

Script for building DynamoRIO samples fails.

It was reported by a user that compilation for the Dynamic Rabbits now fails due to the script responsible for building DynamoRIO.

In particular CMake fails at this point:

CMake Error at CMakeLists.txt:309 (DR_install):Unknown CMake command "DR_install"

The above stems from code responsible for building DynamoRIO samples, which are also built via make install, rendering the code unnecessary. The removal of that part of the script is an easy fix.

How to get the defalult case value?

Thank you for taking the time to answer my issues.
in your paper,you give an example bb:
mov eax, dword ptr [eax] mov dword ptr [ebp], eax mov ecx, dowrd ptr [ebx]
why the default(tainted) case value of this example is 0x15(10101)?
I think if the size of this bb's in_out_set is 5,it's default case value is (11111).Is my understanding wrong?

Recommend Projects