Skip to content
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
C++ C CMake Python Makefile Assembly Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
docs docs: removed reference to Ubuntu 14 Feb 8, 2020
guest Switched license to MIT Feb 17, 2020
klee Fixed end namespace comment Jan 26, 2020
libcoroutine Add 'libcoroutine/' from commit 'd109f6a7a4dd2daff0d8b3477024de23de49… Jan 7, 2020
libcpu libcpu: use march=x86-64 for LLVM helpers Jan 27, 2020
libfsigc++ Fixed end namespace comment Jan 26, 2020
libq Reformatted source with llvm 9.0 clang-format Jan 26, 2020
libs2e Switched license to MIT Feb 17, 2020
libs2ecore Switched license to MIT Feb 17, 2020
libs2eplugins Switched license to MIT Feb 17, 2020
libtcg Reformatted source with llvm 9.0 clang-format Jan 26, 2020
libvmi Switched license to MIT Feb 17, 2020
lua Added makefiles and scripts to build libs2e Jan 16, 2020
scripts scripts/windows: fixed url in provisioning script Feb 17, 2020
testsuite testsuite: fixed path to build scripts Jan 18, 2020
tools Switched license to MIT Feb 17, 2020
.clang-format Added makefiles and scripts to build libs2e Jan 16, 2020
.gitignore Added .gitignore Jan 17, 2020
Dockerfile Switched license to MIT Feb 17, 2020
LICENSE Switched license to MIT Feb 17, 2020
Makefile
README.md Updated readme files Jan 17, 2020
run-clang-format.sh testsuite: fixed code style Jan 17, 2020
test-clang-format.sh Added script to test clang-format in CI Feb 8, 2020

README.md

S2E Library

This repository contains all the necessary components to build libs2e.so. This shared library is preloaded in QEMU to enable symbolic execution.

Please refer to the documentation in the docs directory for build and usage instructions. You can also find it online on https://s2e.systems/docs.

You can’t perform that action at this time.