awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
S2E avatar

S2E/s2e

0
View on GitHub↗
520 stars·96 forks·C++·10 viewss2e.systems/docs↗

S2e

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

Features

  • Firmware Emulation Frameworks - Platform for symbolic execution and automated testing of binaries.

Star history

Star history chart for s2e/s2eStar history chart for s2e/s2e

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to S2e

Similar open-source projects, ranked by how many features they share with S2e.
  • fastshift/x-trackFASTSHIFT avatar

    FASTSHIFT/X-TRACK

    6,250View on GitHub↗

    X-Track is a firmware project for an embedded bicycle computer that combines GPS-based speed and ride metrics with offline map navigation. It functions as a GPS bicycle speedometer, displaying speed, distance, altitude, and other ride data on a handlebar-mounted screen, while also serving as an offline map viewer that renders locally stored map tiles without an internet connection. The project distinguishes itself by including a firmware emulator that runs the embedded code on a PC, enabling development and testing without physical hardware. It also provides GPS-based clock calibration to aut

    Cbicyclegpsgps-tracking
    View on GitHub↗6,250
  • tianocore/edk2tianocore avatar

    tianocore/edk2

    6,061View on GitHub↗

    edk2 is a development project for creating system firmware that complies with the UEFI specification. It provides the necessary infrastructure to initialize hardware platforms and boot operating systems across multiple CPU architectures. The project utilizes a modular firmware architecture that decouples high-level management protocols from physical transport layers. It implements critical security features, including a measured boot chain, cryptographic primitives for image authentication, and support for Trusted Platform Module hardware and software implementations. Its capability surface

    Ccfirmwarepython
    View on GitHub↗6,061
  • embedded-sec/halucinatorembedded-sec avatar

    embedded-sec/halucinator

    165View on GitHub↗

    NOTE: For a more recent version of HALucinator see https://github.com/halucinator

    Python
    View on GitHub↗165
  • eurecom-s3/symqemueurecom-s3 avatar

    eurecom-s3/symqemu

    374View on GitHub↗

    SymQEMU: Compilation-based symbolic execution for binaries

    C
    View on GitHub↗374
See all 13 alternatives to S2e→

Frequently asked questions

What does s2e/s2e do?

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

What are the main features of s2e/s2e?

The main features of s2e/s2e are: Firmware Emulation Frameworks.

What are some open-source alternatives to s2e/s2e?

Open-source alternatives to s2e/s2e include: fastshift/x-track — X-Track is a firmware project for an embedded bicycle computer that combines GPS-based speed and ride metrics with… tianocore/edk2 — edk2 is a development project for creating system firmware that complies with the UEFI specification. It provides the… embedded-sec/halucinator — NOTE: For a more recent version of HALucinator see https://github.com/halucinator. eurecom-s3/symqemu — SymQEMU: Compilation-based symbolic execution for binaries. firmadyne/firmadyne — Platform for emulation and dynamic analysis of Linux-based firmware. bochs-emu/bochs — Bochs - Cross Platform x86 Emulator Project.