Tag Archives: Binary

WhitePaper: Erlang/OTP System Documentation


Erlang/OTP System Documentation WhitePaper

Chapters

  • Installing the Binary Release
  • Building and Installing Erlang/OTP
  • Cross Compiling Erlang/OTP
  • How to Build Erlang/OTP on Windows
  • Patching OTP Applications

A multiplatform open source Binary Analysis and Reverse engineering Framework


barf README directory structure fixed. 5 days ago
pyasmjit Initial commit. 11 days ago
LICENSE Initial commit. 11 days ago
README.rst README update. 3 days ago

BARF Project

So far the BARF Project is composed of the following packages:

  • BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework
  • PyAsmJIT : A JIT for the Intel x86_64 architecture.
  • BARFgadgets : A tool built upon BARF that lets you search, classifiy and verify ROP gadgets inside a binary program. More information in barf/tools/gadgets.

All packages were tested on Ubuntu 12.04 and 14.04 (x86_64).

Taming a Wild Nanomite-protected MIPS Binary With Symbolic Execution: No Such Crackme


Taming a Wild Nanomite-protected MIPS Binary With Symbolic Execution: No Such Crackme

As last year, the French conference No Such Con returns for its second edition in Paris from the 19th of November until the 21th of November. And again, the brilliant Eloi Vanderbeken put together a series of three security challenges especially for this occasion. Apparently, the three tasks have already been solved by awesome @0xfab which won the competition, hats off :).

To be honest I couldn’t resist to try at least the first step, as I know that Eloi always builds really twisted and nice binaries ; so I figured I should just give it a go!

But this time we are trying something different though: this post has been co-authored by both Emilien Girault (@emiliengirault) and I. As we have slightly different solutions, we figured it would be a good idea to write those up inside a single post. This article starts with an introduction to the challenge and will then fork, presenting my solution and his.

As the article is quite long, here is the complete table of contents: