This repository includes s2e-core with the git submodule. Please use the following commands to construct the directory. $ git clone git@github.com:ut-issl/s2e-user ...