Skip to content
Change the repository type filter

All

    Repositories list

    • Jupyter Notebook
      1100Updated Nov 8, 2024Nov 8, 2024
    • FirmFlaw

      Public
      The binary-level flaw analysis of real-world firmwares
      Jupyter Notebook
      0000Updated Jun 22, 2024Jun 22, 2024
    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      C++
      Other
      89600Updated Jun 18, 2024Jun 18, 2024
    • SEmu

      Public
      A Specification-Guided Approach for Firmware Emulation
      Python
      Other
      23510Updated Jun 18, 2024Jun 18, 2024
    • uEmu

      Public
      A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
      Python
      Other
      2213010Updated Nov 20, 2023Nov 20, 2023
    • qemu

      Public
      QEMU VM with generic KVM extensions for symbolic execution
      C
      Other
      18200Updated Oct 20, 2023Oct 20, 2023
    • IPEA

      Public
      Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation
      C
      GNU General Public License v3.0
      11510Updated Sep 8, 2023Sep 8, 2023
    • MCUSec Lab Home Page
      0100Updated Jul 25, 2023Jul 25, 2023
    • Real firmware fuzz-tested with uEmu
      41100Updated Mar 22, 2023Mar 22, 2023
    • manifest

      Public
      Contains the Google repo manifests to manage S2E sources
      15000Updated Mar 18, 2023Mar 18, 2023
    • AFL

      Public
      american fuzzy lop - a security-oriented fuzzer
      C
      Apache License 2.0
      635100Updated Jul 21, 2022Jul 21, 2022
    • microAFL

      Public
      C
      MIT License
      74400Updated Jul 15, 2022Jul 15, 2022
    • HARM

      Public
      HARM: Hardware-assisted Continuous Re-randomization for Microcontrollers
      C
      MIT License
      0600Updated Jul 12, 2022Jul 12, 2022
    • A project dedicated to build LLVM toolchain for 32-bit Arm embedded targets.
      Python
      Apache License 2.0
      98000Updated Apr 14, 2022Apr 14, 2022
    • Grbl-Advanced is a no-compromise, high performance, low cost alternative for CNC milling. This version of Grbl runs on a STM32F411RE / STM32F446RE Nucleo Board. Now with backlash compensation, multi-axis and Tool Table support!
      C
      GNU General Public License v3.0
      84000Updated Mar 24, 2022Mar 24, 2022
    • scripts

      Public
      Various build scripts
      Dockerfile
      6000Updated Aug 29, 2021Aug 29, 2021
    • Unit test samples evaluated by uEmu
      1100Updated Aug 15, 2021Aug 15, 2021
    • C
      51810Updated Feb 24, 2021Feb 24, 2021
    • decree

      Public
      Shell
      11000Updated Feb 3, 2019Feb 3, 2019