Skip to content

Latest commit

 

History

History
51 lines (39 loc) · 1.98 KB

COMPETITORS.md

File metadata and controls

51 lines (39 loc) · 1.98 KB
Raw

type++ evaluation against state-of-the-art

In our paper, we compare type++ against four other competitors.

  1. The type casting verification option of LLVM-CFI
  2. TypeSan [1]
  3. HexType [2]
  4. EffectiveSan [3]

Comparing against LLVM-CFI has been the subject of the evaluation in REAMDE.md.

In this document, we detail how to run type++ competitors but due to lack of time do not provide scripts for extracting results out of them.

TypeSan

Following the instructions in the TypeSan repository:

sudo apt-get install autoconf bison build-essential git libtool libtool-bin
git clone https://github.com/vusec/typesan.git
cd typesan
PATHSPEC="$HOME/cpu2006" ./autosetup.sh
./run-spec-typesan.sh benchmarks

HexType

git clone [email protected]:HexHive/HexType.git
./build.sh
./run-spec-typesan.sh benchmarks

EffectiveSan

wget https://github.com/GJDuck/EffectiveSan/releases/download/v0.1.1-alpha/effectivesan-0.1.1-alpha.tar.xz
tar xvfJ effectivesan-0.1.1-alpha.tar.xz
./spec2006/run-spec2006.sh

Paper references

[1] TypeSanitizer: Practical Type Confusion Detection Istvan Haller, Yuseok Jeon, Hui Peng, Mathias Payer, Herbert Bos, Cristiano Giuffrida, and Erik van der Kouwe. In CCS'16: ACM Conference on Computer and Communication Security, 2016

[2] HexType: Efficient Detection of Type Confusion Errors for C++ Yuseok Jeon, Priyam Biswas, Scott A. Carr, Byoungyoung Lee, and Mathias Payer. In CCS'17: ACM Conference on Computer and Communication Security, 2017

[3] EffectiveSan: type and memory error detection using dynamically typed C/C++." Gregory J. Duck and HC Yap Roland. In PLDI'18: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2018.