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: 1 day 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 (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2024-12-07T19:19:01.000Z (15 days ago)
• Last Synced: 2024-12-21T01:05:02.157Z (1 day 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.5 MB
• Stars: 455
• Watchers: 12
• Forks: 90
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE

Awesome Lists containing this project

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 .