https://github.com/S2E/s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.
https://github.com/S2E/s2e

analysis automated cgc coverage device drivers execution kvm linux llvm pov qemu reverse-engineering s2e symbolic testing vm vulnerabilities windows x86

Last synced: 3 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/S2E/s2e
• Owner: S2E
• License: other
• Created: 2020-01-07T21:32:41.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2023-12-10T12:11:23.000Z (7 months ago)
• Last Synced: 2023-12-11T00:26:40.218Z (7 months ago)
• Topics: analysis, automated, cgc, coverage, device, drivers, execution, kvm, linux, llvm, pov, qemu, reverse-engineering, s2e, symbolic, testing, vm, vulnerabilities, windows, x86
• Language: C++
• Homepage: https://s2e.systems/docs
• Size: 11.8 MB
• Stars: 364
• Watchers: 12
• Forks: 83
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE

Lists

• awesome-embedded-fuzzing - S2E

README

        
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 .