This is the archived S2E 1.0 repo. We do not maintain it anymore. - View it on GitHub