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.