Skip to content
/ s2e Public

S2E: A platform for multi-path program analysis with selective symbolic execution.

License

Notifications You must be signed in to change notification settings

S2E/s2e

Folders and files

NameName
Last commit message
Last commit date
Jul 27, 2024
Jun 2, 2024
Jul 27, 2024
Apr 20, 2024
Mar 13, 2022
Dec 7, 2024
Mar 13, 2022
May 28, 2023
May 2, 2024
Sep 22, 2024
Jun 2, 2024
Apr 20, 2024
Apr 6, 2024
Apr 8, 2023
Jan 16, 2020
Apr 29, 2022
Dec 7, 2024
Dec 10, 2023
Mar 10, 2024
Mar 13, 2022
May 17, 2022
Apr 20, 2024
Feb 17, 2020
Apr 20, 2024
Jan 17, 2020
May 28, 2023
May 1, 2020

Repository files navigation

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.