GitHub repository: stefanbucur/s2e_docker
Primary language: Shell
Description: Docker image for S2E http://s2e.epfl.ch/