Ecosyste.ms: Repos

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

GitHub / clayne / s2e

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

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

Fork of S2E/s2e
Stars: 0
Forks: 0
Open Issues: 0

License: other
Language: C++
Repo Size: 9.07 MB
Dependencies: 10

Created: about 2 years ago
Updated: 26 days ago
Last pushed: 26 days ago
Last synced: 26 days ago

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

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