Giters

ysf / ropc-llvm

ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ROPC-LLVM

Compilador ROPC refactorizado y modificado para soportar un subconjunto básico del lenguaje intermedio de LLVM.

Antes de usarlo:

  • Hay que compilar la libería BAP. Ver lib/bap-0.4/INSTALL para más información.
  • Instalar un SMT solver (STP).
  • Instalar clang.

Para compilar un programa de prueba:

$ cd src
$ make
$ cd ../test/examples-llvm
$ make
$ cd ..
$ make test-llvm

Luego de que un programa es explotado, termina en segmentation fault.

Advertencia

Esto es un PoC, no esperar que ande sin modificaciones sobre un binario real.

Hay algunos problemas conocidos que están comentados en el código, referirse a ellos para más información.

Más Información

About

ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.

Languages

Language:C 60.3%Language:OCaml 26.4%Language:C++ 5.9%Language:Roff 2.0%Language:TeX 1.9%Language:Makefile 1.8%Language:Shell 0.6%Language:HTML 0.6%Language:M4 0.2%Language:Perl 0.1%Language:Standard ML 0.1%Language:Assembly 0.0%Language:Batchfile 0.0%Language:CSS 0.0%Language:Haskell 0.0%Language:D 0.0%