Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / S2E / s2e

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

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/S2E%2Fs2e

Stars: 398
Forks: 87
Open Issues: 4

License: other
Language: C++
Repo Size: 11.3 MB
Dependencies: 12

Created: over 4 years ago
Updated: about 1 month ago
Last pushed: about 2 months ago
Last synced: about 2 months ago

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

Funding links: https://github.com/sponsors/vitalych

Files
    Loading...
    Readme
    Loading...
    Dependencies
    guest/windows/pdbparser/packages.config nuget
    guest/windows/requirements.txt pypi
    .github/workflows/clang-format.yaml actions
    Dockerfile docker
    .github/workflows/build.yaml actions
    llvm/Dockerfile docker