S2E Build Scripts

This repository contains scripts to build S2E and package it in docker images.

You should use this repository in conjunction with repo:

cd $S2EDIR
repo init -u git://github.com/s2e/manifest.git
repo sync

Please refer to the S2E documentation for build instructions.