Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
di-opt pushed source Apr 6, 2017
include pushed source Apr 6, 2017
server-bins pushed source Apr 6, 2017
static pushed source Apr 6, 2017
LICENSE-2.0.txt pushed source Apr 6, 2017
Makefile.inc pushed source Apr 6, 2017
README.md updated readme Apr 6, 2017
envsetup.sh pushed source Apr 6, 2017
run-ta-static.sh pushed source Apr 6, 2017

README.md

TypeArmor

This software is the open-source component of our paper "A Tough call: Mitigating Advanced Code-Reuse Attacks At The Binary Level", published in IEEE Security & Privacy (S&P) 2016. It currently only includes the static analysis of our work, allowing you to retrieve argument count information for callees and callsites of compiled C/C++ applications.

This code is released under the Apache 2.0 license.

Disclaimer

If, for some weird reason, you think running this code broke your device, you get to keep both pieces.

Installation

To build the static analysis pass, we first need to build Dyninst. Although we used an older version for our paper, the current latest version (9.3.1) should work just fine.

Note that the following was tested in a VirtualBox VM running Ubuntu Server 16.04.2 LTS. I might share a copy of this VM in the future or upon request.

First install some packages:

sudo apt-get install build-essential cmake 
sudo apt-get install libboost-all-dev libelf-dev libiberty-dev

Next, download and build Dyninst.

cd
wget https://github.com/dyninst/dyninst/archive/v9.3.1.tar.gz
tar -zxvf v9.3.1.tar.gz
cd dyninst-9.3.1
mkdir install
cd install
cmake .. -DCMAKE_INSTALL_PREFIX=`pwd`
make -j2
make install

Next, download and build TypeArmor:

cd 
git clone git@github.com:vusec/typearmor.git
cd typearmor
# update DYNINST_ROOT in ./envsetup.sh
. build_envsetup
cd static
make
make install
cd ..
cd di-opt
make
make install

You can now run TypeArmor on any given binary. The repository is shipped with the binaries used in our S&P paper:

cd
cd server-bins
../run-ta-static.sh ./nginx

This will generate new binary info file(s) in ../out/binfo.*. Log output will be pushed to ./ta.log.

binfo format

Each binfo.* file contains different sections:

  • [varargs] Variadic functions:

    <address> = <min consumed argccount> (<function symbol>)

  • [args] Regular (non-variadic) functions:

    <address> = <min consumed argcount> (<function symbol>)

  • [icall-args] Indirect callsites:

    <address> = <max prepared argcount> (<function symbol>.<callsite index in function>)

  • [plts] PLT entries.

  • [disas-errors] Disassembly errors.

  • [non-voids] Functions that seem to be of type non-void (i.e., they write RAX):

    <address> = <function symbol>

  • [prof-goals] Indirect calls that could benefit from a profiling sessions:

    <call address> = <function symbol>.<index> -> <address of function from which we could not backtrack> = <target_function_symbol>

  • [unused] Function is never used.

  • [done] Marker that indicates the end of the binfo.